语言特点：

模板和通用代码

• 类模板的模板参数推导

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

• template <auto>

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

• 非类型模板参数修复

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

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

• 自动 X{8};是一个 int

• 现代化使用 ... 和列表

Lambda

• constexpr lambda 函数

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

• 在 lambda 中捕获 *this

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

属性

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

• 命名空间s 和枚举上的 [[attributes]] { erator[[s]] }

• 使用 in 属性可避免重复属性命名空间。

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

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

语法清理

• 内联变量

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

• namespace A::B

• 简单static_assert（表达式）;不带字符串

• 除非 throw（） 否则 no throw，并且是 .throw()noexcept(true)

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

• 结构化绑定

  • 基本上，一流的std::tieauto
  • 例：
    • const auto [it, inserted] = map.insert( {"foo", bar} );
    • 创建变量，并从返回的 中推断出类型。itinsertedpairmap::insert
  • 适用于元组/类元组和相对扁平的结构std::array
  • 在标准中实际命名的结构化绑定

• if （init; condition） 和 switch （init; condition）

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

• 泛化基于范围的 for 循环

  • 似乎主要支持哨兵，或与开始迭代器类型不同的结束迭代器，这有助于处理以 null 结尾的循环等。

• 如果 constexpr

  • 非常需要的功能来简化几乎通用的代码。

杂项

• 十六进制浮点文字

• 为过度对齐的数据提供动态内存分配

• 保证复制省略

  • 最后！
  • 并非在所有情况下，但将“只是创造一些东西”的语法与“真正的省略”区分开来。

• 修复了（某些）表达式的计算顺序，并进行了一些修改

  • 不包括函数参数，但函数参数计算交错现在被禁止
  • 使一堆损坏的代码主要工作，并使将来的工作。.then

• 枚举的直接列表初始化

• 前向进度保证 （FPG）（也包括并行算法的 FPG)

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

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

• 类型系统中的“noexcept”

• __has_include

  • 测试头文件包含是否为错误
  • 从实验性到性病的迁移几乎是无缝的

• 指针转换修复数组

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

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

• std：：launder、类型双关等

新增库：

数据类型

• std::variant<Ts...>

  • 我上次检查的几乎总是非空的？
  • 标记的联合类型
  • {awesome|有用}

• std::optional

  • 也许持有某物之一
  • 荒谬地有用

• std::any

  • 包含任何内容之一（可复制）

• std::string_view

  • std::string如对字符数组或子字符串的引用
  • 再也不用服用了。还可以使解析速度提高 bajillion 倍。string const&
  • "hello world"sv
  • constexpr char_traits

• std：：byte off 比他们能咀嚼的多。

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

调用东西

• std::invoke

  • 使用一种语法调用任何可调用对象（函数指针、函数、成员指针）。从标准的 INVOKE 概念。

• std::apply

  • 采用类似函数的元组和元组，并将元组解压缩到调用中。

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

• is_invocable, ,is_invocable_rinvoke_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>是“你能打电话并得到兼容的东西吗”，其中是默认值。FooArgs...RR=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 可以使用路径s 以及 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<> 的拼接

  • 在容器之间以低廉的价格移动节点。
  • 以低廉的价格合并整个容器。

• non-const .data（） 用于字符串。

• 非成员 std：：size、std：：empty、std：:d ata

  • 喜欢std::begin/end

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

• 连续迭代器“概念”

• constexpr 迭代器

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

智能指针更改

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

其他数据类型改进：std

• {} std：：tuple 的构造和其他改进
• 简单可复制reference_wrapper，可以提升性能

杂项

• C++ 库基于 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：:d isjunction、std：：negation 公开

• std::not_fn

  • http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/p0358r1.html

• std 中 noexcept 的规则

• std：：is_contiguous_layout，可用于高效散列

• std：：to_chars/std：：from_chars，高性能，与区域设置无关的数字转换;最后是一种将序列化/反序列化为人类可读格式（JSON & co）的方法

• std：:d efault_order，间接超过 std：：less。（由于名称修改，某些编译器的 ABI 被破坏，已删除。

• memory_order_consume，添加了优先使用memory_order_acquire

性状

• 交换
• is_aggregate
• has_unique_object_representations

荒废的

• 一些 C 库，
• <codecvt>
• 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++ 中删除的一些内容（（大部分？）以前已弃用）的简短列表：

删除：

• 注册，保留关键字以备将来使用
• bool b; ++b;
• 三相片
  • 如果您仍然需要它们，它们现在是源文件编码的一部分，而不是语言的一部分
• IOS 别名
• auto_ptr，旧的<功能>的东西，random_shuffle
• std：：function 中的分配器

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

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

• P0505R0 （constexpr chrono）

• P0418R2（原子调整）

• P0512R0（模板参数推导调整）

• P0490R0（结构化绑定调整）

• P0513R0（更改为std::hash)

• P0502R0（并行例外）

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

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

• P0510R0（对变体的限制）

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

• P0497R0（共享 PTR 调整）

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

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

规格更改：

• 异常规范和抛出表达式

更多参考资料：

• 按年份分组的论文;并非所有接受

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

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