c++14现行标准

C++14[编辑]

C++14是C++的现行标准的非正式名称，正式名称为"International
Standard ISO/IEC 14882:2014(E) Programming Language C++"。C++14旨在作为C++11的一个小扩展，主要提供漏洞修复和小的改进。C++14标准的委员会草案（Committee
Draft）N3690于2013年5月15日发表。[1]工作草案（Working
Draft）N3936已于2014年03月02日完成。最终的投票期结束于2014年8月15日，结果（一致通过）已于8月18日公布。[2]

目录

[隐藏]

1 新的语言特性

1.1 泛型的lambda
1.2 Lambda捕获部分中使用表达式
1.3 函数返回类型推导
1.4 另一种类型推断
1.5 放松的constexpr限制
1.6 变量模板
1.7 聚合体成员初始化
1.8 二进制字面量
1.9 数字分位符

2 新的标准库特性

2.1 共享的互斥体和锁
2.2 元函数的别名
2.3 关联容器中的异构查找
2.4 标准自定义字面量
2.5 通过类型寻址多元组
2.6 较小的标准库特性

3 已被移除或是不包含在C++14标准的特性

3.1 关于数组的扩展
3.2 Optional值
3.3 Concepts
Lite

4 另见
5 参考资料

新的语言特性[编辑]

以下为在C++14中被加入语言核心的特性。

泛型的lambda[编辑]

在C++11中，lambda函数的形式参数需要被声明为具体的类型。C++14放宽了这一要求，允许lambda函数的形式参数声明中使用类型说明符

auto

。[3]

auto lambda = [](auto x, auto y) {return x + y;}

泛型lambda函数遵循模板参数推导的规则。以上代码的作用与下面的代码相同：[4]

struct unnamed_lambda
{
template<typename T, typename U>
auto operator()(T x, U y) const {return x + y;}
};
auto lambda = unnamed_lambda();

Lambda捕获部分中使用表达式[编辑]

C++11的lambda函数通过值拷贝（by copy）或引用（by reference）捕获（capture）已在外层作用域声明的变量。这意味着lambda的值成员不可以是move-only的类型。[5] C++14允许被捕获的成员用任意的表达式初始化。这既允许了capture
by value-move，也允许了任意声明lambda的成员，而不需要外层作用域有一个具有相应名字的变量。[6]
这是通过使用一个初始化表达式完成的：

auto lambda = [value = 1] {return value;}

lambda函数

lambda

的返回值是1，说明

value

被初始化为1。被声明的捕获变量的类型会根据初始化表达式推断，推断方式与用

auto

声明变量相同。
使用标准函数

std::move

可以使之被用以通过move捕获：

auto ptr = std::make_unique<int>(10); //See below for std::make_unique
auto lambda = [ptr = std::move(ptr)] {return *ptr;}

声明

ptr = std::move(ptr)

使用了两次

ptr

。第一次使用声明了一个新的变量，但在捕获部分，这个变量还不在作用域内。所以第二个

ptr

表示之前在lambda之外声明的变量。[7]

函数返回类型推导[编辑]

C++11允许lambda函数根据return语句的表达式类型推断返回类型。C++14为一般的函数也提供了这个能力。C++14还拓展了原有的规则，使得函数体并不是

{returnexpression;}

形式的函数也可以使用返回类型推导。[8]
为了启用返回类型推导，函数声明必须将

auto

作为返回类型，但没有C++11的后置返回类型说明符：

auto DeduceReturnType();   //返回类型由编译器推断

如果函数实现中含有多个return语句，这些表达式必须可以推断为相同的类型。[9]
使用返回类型推导的函数可以前向声明，但在定义之前不可以使用。它们的定义在使用它们的翻译单元（translation unit）之中必须是可用的。
这样的函数中可以存在递归，但递归调用必须在函数定义中的至少一个return语句之后：[9]

auto Correct(int i) {
if (i == 1)
return i;               // 返回类型被推断为int
else
return Correct(i-1)+i;  // 正确，可以调用
}

auto Wrong(int i)
{
if(i != 1)
return Wrong(i-1)+i;  // 不能调用，之前没有return语句
else
return i;             // 返回类型被推断为int
}

另一种类型推断[编辑]

C++11中有两种推断类型的方式。

auto

根据给出的表达式产生具有合适类型的变量。

decltype

可以计算给出的表达式的类型。但是，

decltype

和

auto

推断类型的方式是不同的。特别地，

auto

总是推断出非引用类型，就好像使用了

std::remove_reference

一样，而

auto&&

总是推断出引用类型。然而

decltype

可以根据表达式的值类别（value
category）和表达式的性质推断出引用或非引用类型：[8]

int i;
int&& f();
auto x3a = i;              // x3a的类型是int
decltype(i) x3d = i;       // x3d的类型是int
auto x4a = (i);            // x4a的类型是int
decltype((i)) x4d = (i);   // x4d的类型是int&
auto x5a = f();            // x5a的类型是int
decltype(f()) x5d = f();   // x5d的类型是int&&

C++14增加了

decltype(auto)

的语法。这允许不必显式指定作为

decltype

参数的表达式，而使用

decltype

对于给定表达式的推断规则。

decltype(auto)

的语法也可以用于返回类型推导，只需用

decltype(auto)

代替

auto

。[9]

放松的constexpr限制[编辑]

C++11引入了constexpr函数的概念，这样的函数可以在编译期执行。它们的返回值可以用于期望常量表达式的场合（如模板的非类型参数）。然而C++11要求constexpr函数只含有一个将被返回的表达式（也可以还含有

static_assert

声明等其它语句，但允许的语句类型很少）。
C++14将放松这些限制。声明为constexpr的函数将可以含有以下内容：[8]

任何声明，除了：

static

或

thread_local

变量。
没有初始化的变量声明。

条件分支语句

if

和

switch

。

goto

是不允许的。
所有的循环语句，包括基于范围的

for

循环。
表达式可以改变一个对象的值，只需该对象的生命期在常量表达式函数内开始。包括对有

constexpr

声明的任何非

const

非静态成员函数的调用。

调用非constexpr函数仍然是受限的。所以如果使用基于范围的

for

循环，

begin

和

end

的重载形式必须自身被声明为constexpr。值得注意的是，

std::initializer_list

在本地和全局都具有constexpr声明的

begin/end

函数。
此外，C++11指出，所有被声明为

constexpr

的非静态成员函数也隐含声明为

const

（即函数不能修改*this的值）。这点已经被删除，非静态成员函数可以为非

const

。[10]然而，只有当对象的生命期在常量表达式求值中开始，非

const

的

constexpr

成员函数才可以修改类成员。

变量模板[编辑]

在C++之前的版本中，模板可以是函数模板或类模板（C++11引入了类型别名模板）。C++14现在也可以创建变量模板。包括特化在内，通常的模板的规则都适用于变量模板的声明和定义。[6][11]

聚合体成员初始化[编辑]

C++11新增member initializer，这是一个表达式，被应用到类作用域的成员上，如果构造函数没有初始化这个成员。聚合体的定义被改为明确排除任何含有member
initializer的类，因此，他们不允许使用聚合初始化。
C++14将放松这一限制，[8]这种类型也允许聚合初始化。如果花括号初始化列表不提供该参数的值，member
initializer会初始化它。[12]

二进制字面量[编辑]

C++14的数字可以用二进制形式指定。[8]其格式使用前缀

0b

或

0B

。这样的语法也被Java、Python、Perl和D语言使用。

数字分位符[编辑]

C++14引入单引号（'）作为数字分位符号，使得数值型的字面量可以具有更好的可读性。[13]
Ada、D语言、Java、Perl、Ruby等程序设计语言使用下划线（_）作为数字分位符号，C++之所以不和它们保持一致，是因为下划线已被用在用户自定义的字面量的语法中。

auto integer_literal = 100'0000;
auto floating_point_literal = 1.797'693'134'862'315'7E+308;
auto binary_literal = 0b0100'1100'0110;
auto silly_example = 1'0'0'000'00;

新的标准库特性[编辑]

共享的互斥体和锁[编辑]

C++14增加了一类共享的互斥体和相应的共享锁[14][15]。起初选择的名字是

std::shared_mutex

，但由于后来增加了与

std::timed_mutex

相似的特性，

std::shared_timed_mutex

成为了更适合的名字。[16]

元函数的别名[编辑]

C++11定义了一组元函数，用于查询一个给定类型是否具有某种特征，或者转换给定类型的某种特征，从而得到另一个类型。后一种元函数通过成员类型type来返回转换后的类型，当它们用在模板中时，必须使用typename关键字，这会增加代码的长度。

template <class T>
type_object<
typename std::remove_cv<
typename std::remove_reference<T>::type
>::type
>get_type_object(T&);

利用类型别名模板，C++14提供了更便捷的写法。其命名规则是：如果标准库的某个类模板（假设为

std::some_class

）只含有唯一的成员，即成员类型type，那么标准库提供

std::some_class_t<T>

作为

typename
std::some_class::type

的别名。
在C++14，拥有类型别名的元函数包括：remove_const、remove_volatile、remove_cv、add_const、add_volatile、add_cv、remove_reference、add_lvalue_reference、add_rvalue_reference、make_signed、make_unsigned、remove_extent、remove_all_extents、remove_pointer、add_pointer、aligned_storage、aligned_union、decay、
enable_if、conditional、common_type、underlying_type、result_of、tuple_element。

template <class T>
type_object<std::remove_cv_t<std::remove_reference_t<T>>>
get_type_object(T&);

关联容器中的异构查找[编辑]

C++标准库定义了四个关联容器类。set和multiset允许用户根据一个值在容器中查找对应的的同类型的值。map和multimap容器允许用户指定键（key）和值（value）的类型，根据键进行查找并返回对应的值。然而，查找只能接受指定类型的参数，在map和multimap中是键的类型，而在set和multiset容器中就是值本身的类型。
C++14允许通过其他类型进行查找，只需要这个类型和实际的键类型之间可以进行比较操作。[17]这允许

std::set<std::string>

使用

const
char*

，或任何可以通过

operator<

与

std::string

比较的类型作为查找的参数。
为保证向后兼容性，这种异构查找只在提供给关联容器的比较器允许的情况下有效。标准库的泛型比较器，如

std::less<>

与

std::greater<>

允许异构查找。[18]

标准自定义字面量[编辑]

C++11增加了自定义字面量（user-defined
literals）的特性，使用户能够定义新的字面量后缀，但标准库并没有对这一特性加以利用。C++14标准库定义了以下字面量后缀：[17]

"s"，用于创建各种

std::basic_string

类型。
"h"、"min"、"s"、"ms"、"us"、"ns"，用于创建相应的

std::chrono::duration

时间间隔。

using namespace std::literals;
std::string str = "hello world"s;
std::chrono::seconds dur = 60s;

两个"s"互不干扰，因为表示字符串的只能对字符串字面量操作，而表示秒的只针对数字。[19]

通过类型寻址多元组[编辑]

C++11引入的

std::tuple

类型允许不同类型的值的聚合体用编译期整型常数索引。C++14还允许使用类型代替常数索引，从多元组中获取对象。[17]若多元组含有多于一个这个类型的对象，将会产生一个编译错误：[20]

tuple<string, string, int> t("foo", "bar", 7);
int i = get<int>(t);        // i == 7
int j = get<2>(t);          // Same as before: j == 7
string s = get<string>(t);  //Compiler error due to ambiguity

较小的标准库特性[编辑]

std::make_unique

可以像

std::make_shared

一样使用，用于产生

std::unique_ptr

对象。[6]

std::is_final

，用于识别一个class类型是否禁止被继承。

std::integral_constant

增加了一个返回常量值的

operator()

。[17]
全局

std::begin/std::end

函数之外，增加了

std::cbegin/std::cend

函数，它们总是返回常量迭代器（constant
iterators）。

已被移除或是不包含在C++14标准的特性[编辑]

因为C++14的主要目的是漏洞修复和小的改进，一些重量级的特性被从C++14中移除，而移入各自的Technical Specification，并有可能合并入未来的C++17标准。

关于数组的扩展[编辑]

以下特性将由Technical Specification—Array Extensions提供支持。[21]
在C++11和之前的标准中，在堆栈上分配的数组被限制为拥有一个固定的、编译期确定的长度。这一扩展允许在堆栈上分配的一个数组的最后一维具有运行期确定的长度。[6]
运行期确定长度的数组不可以作为对象的一部分，也不可以具有全局存储期，他们只能被声明为局部变量。运行期确定长度的数组也可以使用C++11的基于范围的for循环。[22]
同时还将添加

std::dynarray

类型，它拥有与

std::vector

和

std::array

相似的接口。代表一个固定长度的数组，其大小在运行期构造对象时确定。

std::dynarray

类被明显地设计为当它被放置在栈上时（直接放置在栈上，或作为另一个栈对象的成员），可以使用栈内存而不是堆内存。

Optional值[编辑]

以下特性将由C++ Extensions for Library Fundamentals提供支持。[23]
类似于C#中的可空类型，optional类型可能含有或不含有一个值。这一类型基于Boost的

boost::optional

类，而添加了C++11和C++14中的新特性，诸如移动和in-place构造。它不允许用在引用类型上。这个类被专门的设计为一个literal
type（如果模板参数本身是一个literal type），因此，它在必要的情况下含有constexpr构造函数。[24]

Concepts Lite[编辑]

参见：概念 (C++)
被C++11拒绝后，Concepts受到彻底的修改。Concepts Lite是Concepts的一个部分，仅包含类型约束，而不含

concept_map

和

axiom

[25]。它将在一个单独的Technical
Specification中发展，并有可能加入C++17。