C ++ 17现在已完成功能，因此不太可能经历大的更改。针对C ++ 17提出了数百个建议。

其中哪些功能是在C ++ 17中添加到C ++的？

使用支持“ C ++ 1z”的C ++编译器时，当编译器更新到C ++ 17时，哪些功能将可用？

语言特点：

模板和通用代码

• 类模板的模板参数推导

  • 就像函数如何推导模板参数一样，现在构造函数可以推导类的模板参数。
  • http://wg21.link/p0433r2 http://wg21.link/p0620r0 http://wg21.link/p0512r0

• template <auto>

  • 表示任何（非类型模板参数）类型的值。

• 非类型模板参数修复

• template<template<class...>typename bob> struct foo {}

• （折叠+ ... +表达式）和修订

• auto x{8}; 是一个 int

• 现代化using与...和列表

拉姆达

• constexpr lambdas

  • 如果Lambda符合条件，则它们是隐式constexpr

• *this在lambdas中捕获

  • [*this]{ std::cout << could << " be " << useful << '\n'; }

属性

• [[fallthrough]]，[[nodiscard]]，[[maybe_unused]]属性

• [[attributes]]在namespace和enum { erator[[s]] }

• using在属性中避免必须重复属性名称空间。

• 现在，要求编译器忽略他们无法识别的非标准属性。

  • C ++ 14措辞允许编译器拒绝未知的作用域属性。

语法清理

• 内联变量

  • 像内联函数
  • 编译器选择实例被实例化的位置
  • 弃用静态constexpr重新声明，现在隐式内联。

• namespace A::B

• 简单static_assert(expression);无字符串

• 不，throw除非throw()，并且throw()是noexcept(true)。

更清洁的多回路和流量控制

• 结构化绑定

  • 基本上，一流std::tie的auto
  • 例：
    • const auto [it, inserted] = map.insert( {"foo", bar} );
    • 创建变量it并inserted从与推导的类型pair是map::insert回报。
  • 适用于元组/成对的＆std::arrays和相对平坦的结构
  • 在标准中实际命名的结构化绑定

• if (init; condition) 和 switch (init; condition)

  • if (const auto [it, inserted] = map.insert( {"foo", bar} ); inserted)
  • 将扩展if(decl)到decl不明智地转换为布尔的情况。

• 泛化基于范围的for循环

  • 似乎主要是支持哨兵或与开始迭代器类型不同的结束迭代器，这有助于空终止循环等。

• 如果constexpr

  • 要求大量功能来简化几乎通用的代码。

杂项

• 十六进制浮点文字

• 动态内存分配用于过度对齐的数据

• 保证复制省略

  • 最后！
  • 并非在所有情况下都可以，但是可以将“仅创建某些东西”（称为“省略”）的语法与“真正的省略”区分开来。

• 固定订单的评估的（一些）表达了一些修改

  • 不包括函数自变量，但现在禁止函数自变量评估交织
  • 使一堆破损的代码大部分工作，并进行.then将来的工作。

• 枚举的直接列表初始化

• 前向进度保证（FPG）（也适用于并行算法的 FPG ）

  • 我认为这是在说“实现可能不会永远停止线程”？

• u8'U', u8'T', u8'F', u8'8' 字符文字（字符串已经存在）

• 类型系统中的“ noexcept”

• __has_include

  • 测试头文件include是否会出错
  • 使从实验到标准的迁移几乎无缝

• 指针转换修复数组

• 继承的构造函数修复了一些极端情况（有关行为更改的示例，请参见P0136R0）

• 具有继承的聚合初始化。

• std::launder，键入punning等

库添加：

资料类型

• std::variant<Ts...>

  • 我检查的几乎总是非空的最后一个？
  • 标记的联合类型
  • {真棒|有用}

• std::optional

  • 也许拥有某种东西
  • 十分有用

• std::any

  • 持有任何东西之一（可复制）

• std::string_view

  • std::string 像引用字符数组或子字符串
  • 永远不要string const&试。也可以使解析速度加快一倍。
  • "hello world"sv
  • constexpr char_traits

• std::byte 比他们咀嚼的更多。

  • 既不是整数也不是字符，只是数据

调用东西

• std::invoke
  • 用一种语法调用任何可调用对象（函数指针，函数，成员指针）。来自标准的INVOKE概念。
• std::apply
  • 接受类似于函数的元组，然后将元组解包到调用中。

• std::make_from_tuple，std::apply应用于对象构造

• is_invocable，is_invocable_r，invoke_result

  • http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/p0077r2.html
  • http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2017/p0604r0.html
  • 弃用 result_of
  • is_invocable<Foo(Args...), R>是“能打电话Foo与Args...并获得兼容的东西R”，这里R=void是默认的。
  • invoke_result<Foo, Args...>是std::result_of_t<Foo(Args...)>，但显然不太混淆？

文件系统TS v1

• [class.path]

• [class.filesystem.error]

• [class.file_status]

• [class.directory_entry]

• [class.directory_iterator] 和 [class.recursive_directory_iterator]

• [fs.ops.funcs]

• fstreams可以用paths以及const path::value_type*字符串打开。

新算法

• for_each_n

• reduce

• transform_reduce

• exclusive_scan

• inclusive_scan

• transform_exclusive_scan

• transform_inclusive_scan

• 为线程目的而添加，即使不使用线程也可以暴露

穿线

• std::shared_mutex

  • 不定时，如果您不需要它，可以提高效率。

• atomic<T>::is_always_lockfree

• scoped_lock<Mutexes...>

  • std::lock一次锁定多个互斥锁时，可以节省一些痛苦。

• 平行度TS v1

  • 2014年的链接论文可能已过期
  • 并行版本的std算法和相关机制

• hardware _ * _ interference_size

上方或下方未涵盖的图书馆基础知识TS v1（的一部分）

• [func.searchers] 和 [alg.search]
  • 搜索算法和技术

• [pmr]

  • 多态分配器，如std::function分配器
  • 以及一些标准的内存资源。
  • http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/p0358r1.html

• std::sample，从一定范围取样？

容器改进

• try_emplace 和 insert_or_assign

  • 在某些情况下会提供更好的保证，在某些情况下，虚假移动/复制会很糟糕

• 对于拼接map<>，unordered_map<>，set<>，和unordered_set<>

  • 廉价地在容器之间移动节点。
  • 便宜地合并整个容器。

• 非常量.data()字符串。

• 非会员std::size，std::empty，std::data

  • 喜欢std::begin/end

• 容器中对不完整类型的支持最少

• 连续的迭代器“概念”

• constexpr 迭代器

• 该emplace系列函数现在返回到创建对象的引用。

智能指针更改

• unique_ptr<T[]>修复和其他unique_ptr调整。
• weak_from_this 和一些固定的共享

其他std数据类型改进：

• {}建设std::tuple和其他改进
• TriviallyCopyable reference_wrapper，可以提高性能

杂项

• C ++ 17库基于C11而不是C99

• std[0-9]+为将来的标准库保留

• destroy(_at|_n)，uninitialized_move(_n)，uninitialized_value_construct(_n)，uninitialized_default_construct(_n)

  • 在大多数std实现中已经公开的实用程序代码
• 特殊数学功能
  • 科学家可能喜欢他们
• std::clamp()
  • std::clamp( a, b, c ) == std::max( b, std::min( a, c ) ) 大致
• gcd 和 lcm
• std::uncaught_exceptions
  • 如果只想在析构函数安全的情况下抛出，则需要
• std::as_const
• std::bool_constant
• 一大堆_v模板变量
• std::void_t<T>
  • 编写模板时非常有用
• std::owner_less<void>
  • 类似于std::less<void>，但是用于根据内容进行排序的智能指针
• std::chrono 抛光
• std::conjunction，std::disjunction，std::negation暴露
• std::not_fn
  • http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/p0358r1.html
• 内无例外规则 std
• std :: is_contiguous_layout，对于有效的哈希很有用
• std :: to_chars / std :: from_chars，高性能，与语言环境无关的数字转换；最后是一种序列化/反序列化为人类可读格式（JSON和co）的方法
• std :: default_order，间接指向std::less。（由于名称重整而中断了某些编译器的ABI，已删除。）

特质

• 交换
• is_aggregate
• has_unique_object_representations

不推荐使用

• 一些C库，
• <codecvt>
• memory_order_consume
• result_of，替换为 invoke_result
• shared_ptr::unique，它不是很安全的线程

从C ++ 14开始，Isocpp.org具有独立的更改列表。它已被部分掠夺。

自然，TS工作会并行继续进行，因此，有些TS尚未完全成熟，必须等待下一次迭代。下一次迭代的目标是以前计划的C ++ 20，而不是某些谣言暗示的C ++ 19。避免使用C ++ 1O。

来自此reddit帖子和此reddit帖子的初始列表，以及通过谷歌搜索或从上面的isocpp.org页面添加的链接。

从SD-6功能测试列表中掠夺的其他条目。

接下来将掠夺clang的功能列表和库功能列表。这似乎并不可靠，因为它是C ++ 1z，而不是C ++ 17。

这些幻灯片具有某些其他地方缺少的功能。

尽管没有询问“删除了什么”，这是一些在C ++ 17中从C ++中删除的内容的简短列表（（大多数？）先前已弃用）：

已移除：

• register，关键字保留供将来使用
• bool b; ++b;
• 三部曲
  • 如果您仍然需要它们，它们现在是源文件编码的一部分，而不是语言的一部分
• ios别名
• auto_ptr，旧<functional>东西，random_shuffle
• 分配器 std::function

有改写。我不确定这些对代码是否有影响，或者它们是否只是标准中的清理内容：

尚未纳入上述内容的论文：

• P0505R0（constexpr计时）

• P0418R2（原子调整）

• P0512R0（模板参数扣除调整）

• P0490R0（结构化绑定调整）

• P0513R0（更改为std::hash）

• P0502R0（平行例外）

• P0509R1（更新异常处理限制）

• P0012R1（使异常规格成为类型系统的一部分）

• P0510R0（型号限制）

• P0504R0（可选/变体/任何标签）

• P0497R0（共享的PTR调整）

• P0508R0（结构化绑定节点句柄）

• P0521R0（共享指针使用计数和唯一更改？）

规格变更：

• 异常规范和抛出表达式

进一步参考：

• 按年份分组的论文；并非所有人都接受

• https://isocpp.org/files/papers/p0636r0.html

  • 应该在此处更新为“对现有功能的修改”。