c++ - C++ 17的新功能是什么？

This question's answers are a community effort。编辑现有答案以改善此职位。它目前不接受新的答案或互动。

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

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

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

最佳答案

语言特点:

模板和通用代码
Template argument deduction for class templates
就像函数如何推导模板参数一样，现在构造函数可以推导
类的模板参数
http://wg21.link/p0433r2 http://wg21.link/p0620r0 http://wg21.link/p0512r0

template <auto>
表示任何(非类型模板参数)类型的值。

Non-type template arguments fixes
template<template<class...>typename bob> struct foo {}
( Folding + ... + expressions ) 和Revisions
auto x{8}; is an int
modernizing using with ... and lists

lambda
constexpr lambdas
如果Lambdas符合
的资格，则它们是隐式constexpr

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

属性
[[fallthrough]] ， [[nodiscard]] ， [[maybe_unused]] 属性
[[attributes]] on namespace s and enum { erator[[s]] }
using in attributes避免必须重复属性 namespace 。
编译器现在为required to ignore non-standard attributes they don't recognize。
C++ 14措辞允许编译器拒绝未知的作用域属性。

语法清理
Inline variables
像内联函数
编译器选择实例在哪里实例化
Deprecate static constexpr redeclaration，现在隐式内联。

namespace A::B
没有字符串的简单 static_assert(expression);
no throw unless throw() ，而throw()是noexcept(true)。

更清洁的多回路和流量控制
Structured bindings
基本上是带有std::tie的一流auto
示例:
const auto [it, inserted] = map.insert( {"foo", bar} );
从it返回的inserted中推导类型创建变量pair和map::insert。

适用于元组/成对喜欢和std::array以及相对平坦的结构
实际上是标准
中的structured bindings

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

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

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

杂项
Hexadecimal float point literals
Dynamic memory allocation for over-aligned data
Guaranteed copy elision
最后!
并非在所有情况下都可以，但是可以将“仅创建某些东西”(称为“省略”)的语法与“真正的省略”区分开。

Fixed order-of-evaluation for (some) expressions和一些modifications
不包括函数自变量，但是现在禁止对函数自变量求值进行交织
主要使一堆损坏的代码起作用，并使.then在以后的工作中起作用。

Direct list-initialization of enums
转发进度保证(FPG)(也FPGs for parallel algorithms)
我认为这是在说“实现可能不会永远停止线程”？

u8'U', u8'T', u8'F', u8'8' 字符文字(字符串已经存在)
"noexcept" in the type system
__has_include
测试头文件include是否为错误
使从实验迁移到标准几乎无缝

Arrays of pointer conversion fixes
inherited constructors修复了一些极端情况(有关行为更改的示例，请参见P0136R0)
aggregate initialization with inheritance。
std::launder , type punning, etc

库添加:

资料类型
std::variant<Ts...>
我检查的几乎总是非空的？
标记的联合类型
{awesome |有用}

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...并获得与ojit_code兼容的东西吗”，其中R是默认设置。
R=void是invoke_result<Foo, Args...>，但显然不太困惑？

File System TS v1
std::result_of_t<Foo(Args...)>
[class.path]
[class.filesystem.error]
[class.file_status]
[class.directory_entry] 和 [class.directory_iterator]
[class.recursive_directory_iterator]
[fs.ops.funcs] s can be opened with fstream s, as well as with path strings.

New algorithms
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...>痛苦。

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

hardware_*_interference_size

Library Fundamentals TS v1(部分)未在上方或下方覆盖
std 和 [func.searchers]
一种搜索算法和技术

[alg.search]
多态分配器，类似于分配器的[pmr]
和一些standard memory resources to go with it。
http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/p0358r1.html

std::function ，是否从某个范围采样？

容器改进
std::sample 和 try_emplace
在某些情况下会提供更好的保证，在某些情况下，虚假移动/复制会很糟糕

Splicing for insert_or_assign , map<> , unordered_map<> , and set<>
廉价地在容器之间移动节点。
便宜地合并整个容器。

非常量 unordered_set<> 用于字符串。
非成员(member) .data() , std::size , std::empty
像std::data / std::begin

Minimal incomplete type support in containers
Contiguous iterator "concept"
end iterators
函数now returns a reference to the created object的constexpr系列。

智能指针更改
emplace fixes和其他 unique_ptr<T[]> 调整。
unique_ptr 和一些已固定为此
共享的文件

其他weak_from_this数据类型的改进:
std construction of {} and other improvements
TriviallyCopyable reference_wrapper，可以提高性能

杂项
C++ 17库基于C11 instead of C99
保留future standard libraries的std::tuple
std[0-9]+ , destroy(_at|_n) , uninitialized_move(_n) , uninitialized_value_construct(_n)

大多数uninitialized_default_construct(_n)实现中已经存在
实用程序代码，已公开

Special math functions
科学家可能喜欢他们

std
std::clamp()大致

std::clamp( a, b, c ) == std::max( b, std::min( a, c ) ) and gcd
lcm
如果只想从析构函数安全地抛出，则需要

std::uncaught_exceptions
std::as_const
A whole bunch of std::bool_constant template variables
_v
编写模板
时非常有用

std::void_t<T>
类似于std::owner_less<void>，但用于基于内容
进行排序的智能指针

std::less<void> polish
std::chrono , std::conjunction , std::disjunction 暴露
std::negation
http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/p0358r1.html

Rules for noexcept within std::not_fn
std::is_contiguous_layout，用于有效的哈希
std::to_chars/std::from_chars，高性能，与语言环境无关的数字转换；最后是一种将序列化/反序列化为人类可读格式(JSON和co)的方法
std::default_order，基于std的间接访问。 (breaks ABI of some compilers由于名称修改而被删除。)

特质
swap
is_aggregate
has_unique_object_representations

不推荐使用
Some C libraries，
std::less
<codecvt>
memory_order_consume ，替换为result_of
invoke_result ，它不是非常线程安全的

Isocpp.org has自C++ 14起具有独立的更改列表；它已被部分掠夺。

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

初始列表来自this reddit post和this reddit post，其链接通过谷歌搜索或从上面的isocpp.org页面添加。

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

clang's feature list和library feature list接下来被掠夺。这似乎并不可靠，因为它是C++ 1z，而不是C++ 17。

these slides具有某些其他地方缺少的功能。

虽然没有询问“删除了什么”，但这是一些简短的列表，其中列出了从C++中从C++ 17中删除的一些东西((大多数是？)先前已弃用的东西):

已移除:
shared_ptr::unique ，保留供将来使用的关键字
register
trigraphs
如果您仍然需要它们，它们现在是源文件编码的一部分，而不是
语言的一部分

ios aliases
auto_ptr, old bool b; ++b; stuff, <functional>
allocators in random_shuffle

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

尚未纳入以上内容的论文:
P0505R0(constexpr chrono)
P0418R2(原子调整)
P0512R0(模板参数扣除调整)
P0490R0(结构化绑定(bind)调整)
P0513R0(更改为std::function)
P0502R0(并行异常(exception))
P0509R1(更新对异常处理的限制)
P0012R1(使异常规范成为类型系统的一部分)
P0510R0(变体限制)
P0504R0(可选/变体/任意标记)
P0497R0(共享的ptr调整项)
P0508R0(结构化绑定(bind)节点句柄)
P0521R0(共享指针使用计数和唯一更改？)

规格变更:
exception specs and throw expressions

进一步引用:
papers grouped by year; not all accepted
https://isocpp.org/files/papers/p0636r0.html
应该在此处更新为“对现有功能的修改”。

关于c++ - C++ 17的新功能是什么？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/38129531/

上一篇：r - 如何使用整洁的文本使用二元组和三元组

下一篇：nuget pack 命令导致错误值不能为 null 或空字符串。参数名称: value

相关文章：

c++ - 指针变量和引用变量有什么区别？

C++ 覆盖已经打开的文件

c++ - C++ 中的错误共享

c++ - C++中的多态

c++ - 为什么非静态数据成员引用不是变量？

c - Pebble C 将 char 转换为时间以在 double difftime(time_t end, time_t begin) 中使用

c++ - 在 C++ 中正确使用堆栈和堆？

c++ - 将多个 QTimers 调用排队到插槽

c++ - 我有 VS C++ Express。有没有办法创建 .DEF 文件？

c++ - 这应该模棱两可吗？ (隐式转换)