语言特点：

模板和通用代码

• 类模板的模板参数推导

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

• template <auto>

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

• 非类型模板参数修复

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

• （折叠+…+表情） 和修订

• #0是一个#1

• 用#1和列表更新#0

lambda

• constexrlambdas

  • Lambdas是隐式的，如果它们符合条件

• 在lambdas中捕获#0

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

属性

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

• #0在#1和#2

• #0属性以避免重复属性命名空间。

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

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

语法清理

• 内联变量

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

• namespace A::B

• 简单的static_assert(expression);没有字符串

• 没有#0除非#1，throw()是noexcept(true)。

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

• 结构化绑定

  • 基本上，第一类std::tie和auto
  • 示例：
    • const auto [it, inserted] = map.insert( {"foo", bar} );
    • 创建变量it和inserted，其类型从map::insert返回的pair推导出来。
  • 适用于元组/对喜欢�和相对扁平的结构
  • 实际上在标准中命名为结构化绑定

• #0和#1

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

• 泛化基于范围的for循环

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

• 如果constexr

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

杂项

• 十六进制浮点文字

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

• 保证复制省略

  • 终于！
  • 不是在所有情况下，但区分语法，你“只是创造一些东西”，被称为省略，从“真正的省略”。

• （某些）表达式的固定求值顺序和一些修改

  • 不包括函数参数，但函数参数评估交织现在被禁止
  • 使一堆破碎的代码主要工作，并使未来的工作成为.then。

• 枚举的直接列表初始化

• 转发进度保证（FPG）（也，用于并行算法的FPG）

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

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

• 类型系统中的“no除了”

• __has_include

  • 测试头文件是否包含错误
  • 使从实验迁移到std几乎无缝

• 指针转换修复数组

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

• 继承聚合初始化。

• #0，类型双关语等

图书馆补充：

数据类型

• std::variant<Ts...>

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

• std::optional

  • 也许拿着什么东西
  • 非常有用

• std::any

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

• std::string_view

  • std::string类似于引用到字符数组或子字符串
  • 永远不要再取string const&。也可以使解析速度提高数十亿倍。
  • "hello world"sv
  • 配置文件

• 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>是“你可以用Args...调用Foo并获得与R兼容的东西”，其中R=void是默认的。
  • invoke_result<Foo, Args...>是std::result_of_t<Foo(Args...)>，但显然不那么混乱？

File System TS v1

• [class.path]

• [class.filesystem.error]

• [class.file_status]

• [class.directory_entry]

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

• [fs.ops.funcs]

• #0可以用#1打开，也可以用#2字符串打开。

新算法

• 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

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

• #0、#1、#2和#3的拼接

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

• 字符串的非const.data()。

• 非会员#0，#1，#2

  • 喜欢std::begin/end

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

• 连续迭代器“概念”

• #0迭代器

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

智能指针更改

• #0修复和其他unique_ptr调整。
• weak_from_this和一些固定共享从这个

其他std数据类型改进：

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

杂项

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

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

• #0，#1，#2，#3

  • 大多数std实现中已经暴露的实用程序代码

• 特殊数学函数

  • 科学家可能喜欢它们

• std::clamp()

  • std::clamp( a, b, c ) == std::max( b, std::min( a, c ) )大概

• #0和#1

• std::uncaught_exceptions

  • 如果您只想在安全的情况下从析构函数中抛出，则需要

• std::as_const

• std::bool_constant

• 一大堆#0模板变量

• std::void_t<T>

  • 编写模板时非常有用

• std::owner_less<void>

  • 类似于std::less<void>，但对于智能指针根据内容进行排序

• #0抛光

• #0，#1，#2曝光

• std::not_fn

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

• #0以内的规则

• 圣d::is_contiguous_layout，用于高效散列

• d::to_chars/d::from_chars，高性能，与语言环境无关的数字转换；最后一种序列化/反序列化为人类可读格式的方法（JSON&co）

• std::default_order（破坏一些编译器的ABI由于名称修饰，已删除。）

• memory_order_consume，添加了更喜欢使用memory_order_acquire的语言

特征

• 交换
• is_aggregate
• has_unique_object_representations

已弃用

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

Isocpp.org有有一个自C++14以来的独立变化列表；它被部分掠夺。

当然，TS的工作是并行进行的，所以有些TS还不太成熟，需要等待下一次迭代。下一次迭代的目标是之前计划的20C++，而不是一些谣言暗示的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（参数时间）

• P0418R2（原子调整）

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

• P0490R0（结构化绑定调整）

• P0513R0（更改为std::hash）

• P0502R0（并行异常）

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

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

• P0510R0（变体的限制）

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

• P0497R0（共享ptr调整）

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

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

规格变更：

• 异常规格和抛出表达式

进一步参考：

• 按年份分组的论文；并非全部被接受

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

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