在芬兰奥卢的最后一场会议中,ISO
C++委员会完成了C++17功能列表的定义。在会议中,通过了许多新的语言和库的功能,包括constexpr iftemplate <auto>、结构化绑定和一些其他的功能。

C++ 17 标准发布:编写维护更便捷

姓名:丁子峻    学号:16020188015

转载自:

【嵌牛导读】:C++17 是继 C++14 之后,C++ 编程语言 ISO/IEC
标准的下一次修订的非正式名称。而就在12月5日,ISO C++ 委员会正式发布了
C++ 17 标准。

【嵌牛鼻子】:编程、程序猿、C++、标准、维护

【嵌牛提问】:C++17相比C++14有什么进步之处呢?

【嵌牛正文】:

正如委员会成员Jens
Weller所写道,现在功能列表已经完成,即将开始复查阶段:

 澳门新葡萄京所有网站 1

何为 C++ 17?

C++17 是继 C++14 之后,C++ 编程语言 ISO/IEC
标准的下一次修订的非正式名称。而就在12月5日,ISO C++ 委员会正式发布了
C++ 17 标准,官方名称为 ISO/IEC 14882:2017。

澳门新葡萄京所有网站 2

接下来的两次会议主要会推进复查、反馈和国家级机构标记的问题。这不会给标准增加新的内容,但是可能有轻微或重大变化。

昨日,ISO C++
委员会正式发布了 C++ 17
标准,正式名称为 ISO/IEC 14882:2017。

C++ 17 标准化图表

澳门新葡萄京所有网站 3

在奥卢的最后一次委员会议上,C++17新增的功能中,Weller强调了以下功能:

澳门新葡萄京所有网站 4

C ++ 17 主要特性

基于 C++ 11,C++ 17 旨在使 C++
成为一个不那么臃肿复杂的编程语言,以简化该语言的日常使用,使开发者可以更简单地编写和维护代码。

C++ 17 是对 C++ 语言的重大更新,引入了许多新的语言特性:

UTF-8 字符文字;

折叠表达式 (fold expressions):用于可变的模板;

澳门新葡萄京所有网站,内联变量 (inline variables):允许在头文件中定义变量;

在 if 和 switch 语句内可以初始化变量;

结构化绑定 (Structured Binding):for (auto [key,value] : my_map)
{…};

类模板参数规约 (Class Template Argument Deduction):用 pair p{1, 2.0};
替代 pair{1, 2.0};;

更多的特性还有:

使 static_assert 的文本信息可选;

删除 trigraphs;

在模板参数中允许使用 typename(作为替代类);

来自 braced-init-list 的新规则用于自动推导;

嵌套命名空间的定义,例如:使用 namespace X::Y { … } 代替 namespace X {
namespace Y { … }};

允许命名空间和枚举器的属性;

新的标准属性:[[fallthrough]], [[maybe_unused]] 和
[[nodiscard]];

对所有非类型模板参数进行常量评估;

Fold 表达式,用于可变的模板;

A compile-time static if with the form if constexpr(expression);

结构化的绑定声明,现在允许 auto [a, b] = getTwoReturnValues();

在某些情况下,确保通过编译器进行 copy elision(Guaranteed copy elision
by compilers in some cases);

一些用于对齐内存分配的扩展;

构造函数的模板推导,允许使用 std::pair(5.0, false) 代替 std::pair(5.0,
false);

__has_include,允许由预处理程序指令检查头文件的可用性;

__cplusplus 的值更改为 201703L;

此外,C++ 17 还带来了并行 STL,派生自 Boost 的文件系统库等其他特性。

作为标准库中新的关键“词汇类型”,std::string_view 和 std::optional
将会以函数参数和返回类型的形式广泛使用。这允许开发者编写更简单的签名,例如:在字符串类型上可以用
std::string_view 替代模板化 (Templatizing);开发者可在函数体内更多地用
std::variant 和 std::any 类型作为类成员,并内部使用。

LLVM 的 Clang 编译器也已经将代码中出现“C++1z”的地方修改为“C++17”(C++ 17
曾被称为 C++1z)。GCC 和 LLVM/Clang 都有效地提供了完整的 C++ 17 支持。

澳门新葡萄京所有网站 5

对于正在进行中的 C++ 20,预计在两年内( 2019 年夏天)完成所有功能。

  • std::variant,它提供了一个安全、范式、基于栈的可区别union容器。

  • if constexpr(expression),它可以看作C++版本中编译期的 if

  • Template
    auto,它允许使用auto声明非类型的模版参数。这会允许开发者们写这样的代码:

基于 C++ 11,C++ 17 旨在使 C++
成为一个不那么臃肿复杂的编程语言,以简化该语言的日常使用,使开发者可以更简单地编写和维护代码。

C++ 17 是对 C++ 语言的重大更新,引入了许多新的语言特性:

template  void f() { }
f<10>();        // deduces int
  • UTF-8 字符文字

  • 折叠表达式 (fold expressions):用于可变的模板

  • 内联变量 (inline variables):允许在头文件中定义变量

  • 在 if 和 switch 语句内可以初始化变量

  • 结构化绑定 (Structured Binding):for (auto [key,value] : my_map)
    {…}

  • 类模板参数规约 (Class Template Argument Deduction):用 pair p{1,
    2.0}; 替代 pair<int, double>{1, 2.0};

  • Herb
    Sutter强调了这个功能开启的许多可能性,例如在一个函数模版内部而不是通过许多模板特化来囊括所有它的算法特例情况。

  • 结构化绑定,它使得在元组中声明并初始化多个变量成为可能:

此外,C++ 17 还带来了并行 STL,派生自 Boost 的文件系统库等其他特性。

作为标准库中新的关键“词汇类型”,std::string_view 和 std::optional 将会以函数参数和返回类型的形式广泛使用。这允许开发者编写更简单的签名,例如:在字符串类型上可以用 std::string_view 替代模板化
(Templatizing);开发者可在函数体内更多地用 std::variant 和 std::any 类型作为类成员,并内部使用。

tuple get_tuple();
auto [a , b , c] = get_tuple();

我们也曾报道过 C++ 17
的一些新特性,具体内容可点此查看。

  • ifwhich中的变量声明与for循环中已经允许的格式相似:

LLVM 的 Clang 编译器也已经将代码中出现“C++1z”的地方修改为“C++17”(C++ 17
曾被称为 C++1z)。GCC 和 LLVM/Clang 都有效地提供了完整的 C++ 17 支持。

澳门新葡萄京所有网站 6

map mymap;
if (auto result = mymap.insert(value); result.second) {
// insert succeeded, and result is valid for this block
use(result.first);  // ok
// ...
}

对于正在进行中的 C++ 20,预计在两年内( 2019 年夏天)完成所有功能。

另外,Sutter提到了其他一些值得强调的新特性,包括:

【编辑推荐】

  • 为字节对齐数据动态内存分配

  • 保证副本省略,这可以确保当你使用一个值传递的对象来初始化本地变量时,编译器不会执行任何额外的复制或移动,就像C++11里一样。

上面的列表中只包括了上一次委员会议中通过的新特性,但是新C++17中的功能列表部分会更长一些。如欲获取审核过程结束后新标准中的内容概览,请在Stack
Overflow跟帖中查看。

查看英文原文:C++17 Feature List is Now Complete, Enters
Review

稿源:infoQ  
作者Sergio De
Simone ,译者
薛梦迪