C++11 标准
I
一、目录
一、目录..............................................................................................................................................I
二、新的语言特性.............................................................................................................................1
1、 泛型的 Lambda 函数......................................................................................................... 1
2、 Lambda 捕获表达式.......................................................................................................... 1
3、 函数返回类型推导.............................................................................................................2
4、 另一种类型推断.................................................................................................................2
5、 放松的 constexpr 限制.......................................................................................................3
6、 变量模板.............................................................................................................................3
7、 聚合体成员初始化.............................................................................................................4
8、 二进制字面值.....................................................................................................................4
9、 数字分位符.........................................................................................................................4
三、新的标准库特性.........................................................................................................................4
1、 共享的互斥体和锁.............................................................................................................4
2、 元函数的别名.....................................................................................................................4
3、 关联容器中的异构查找.................................................................................................... 5
4、 标准自定义字面值.............................................................................................................5
5、 通过类型寻址多元组.........................................................................................................6
6、较小的标准库特性...............................................................................................................6
四、 已被移除或是不包含在 C++14 标准的特性......................................................................... 6
1、 关于数组的扩展.................................................................................................................6
2、 Optional 值..........................................................................................................................7
3、 Concepts Lite...................................................................................................................... 7
I
二、新的语言特性
1、泛型的 Lambda 函数
在 C++11 中,lambda 函数的形式参数需要被声明为具体的类型。C++14 放宽了这一要
求,允许 lambda 函数的形式参数声明中使用类型说明符 auto。
auto lambda = [](auto x, auto y) {return x + y;}
泛型 lambda 函数遵循模板参数推导的规则。以上代码的作用与下面的代码相同:
struct unnamed_lambda
{
template
auto operator()(T x, U y) const {return x + y;}
};
auto lambda = unnamed_lambda();
2、Lambda 捕获表达式
C++11 的 lambda 函数通过值拷贝(by copy)或引用(by reference)捕获(capture)已
在外层作用域声明的变量。这意味着 lambda 的值成员不可以是 move-only 的类型。C++14
允许被捕获的成员用任意的表达式初始化。这既允许了 capture by value-move,也允许了任
意声明 lambda 的成员,而不需要外层作用域有一个具有相应名字的变量。
这是通过使用一个初始化表达式完成的:
auto lambda = [value = 1] {return value;}
lambda 函数 lambda 的返回值是 1,说明 value 被初始化为 1。被声明的捕获变量的类型
会根据初始化表达式推断,推断方式与用 auto 声明变量相同。
使用标准函数 std::move 可以使之被用以通过 move 捕获:
auto ptr = std::make_unique(10); //See below for std::make_unique
auto lambda = [ptr = std::move(ptr)] {return *ptr;}
声明 ptr = std::move(ptr)使用了两次 ptr。第一次使用声明了一个新的变量,但在捕获部
分,这个变量还不在作用域内。所以第二个 ptr 表示之前在 lambda 之外声明的变量。
第 1 页 共 9 页
3、函数返回类型推导
C++11 允许 lambda 函数根据 return 语句的表达式类型推断返回类型。C++14 为一般的
函数也提供了这个能力。C++14 还拓展了原有的规则,使得函数体并不是{return expression;}
形式的函数也可以使用返回类型推导。
为了启用返回类型推导,函数声明必须将 auto 作为返回类型,但没有 C++11 的后置返
回类型说明符:
auto DeduceReturnType();
如果函数实现中含有多个 return 语句,这些表达式必须可以推断为相同的类型。[9]
//返回类型由编译器推断
使用返回类型推导的函数可以前向声明,但在定义之前不可以使用。它们的定义在使用
它们的翻译单元(translation unit)之中必须是可用的。
这样的函数中可以存在递归,但递归调用必须在函数定义中的至少一个 return 语句之
后:
auto Correct(int i) {
if (i == 1)
return i;
else
// 返回类型被推断为 int
return Correct(i-1)+i;
// 正确,可以调用
}
auto Wrong(int i)
{
if(i != 1)
return Wrong(i-1)+i;
// 不能调用,之前没有 return 语句
else
return i;
}
4、另一种类型推断
// 返回类型被推断为 int
C++11 中有两种推断类型的方式。auto 根据给出的表达式产生具有合适类型的变量。
decltype 可以计算给出的表达式的类型。但是,decltype 和 auto 推断类型的方式是不同的。
特别地,auto 总是推断出非引用类型,就好像使用了 std::remove_reference 一样,而 auto&&
总是推断出引用类型。然而 decltype 可以根据表达式的值类别(value category)和表达式的
性质推断出引用或非引用类型:
int i;
第 2 页 共 9 页
// x3a 的类型是 int
int&& f();
auto x3a = i;
decltype(i) x3d = i;
auto x4a = (i);
decltype((i)) x4d = (i);
auto x5a = f();
decltype(f()) x5d = f();
C++14 增加了 decltype(auto)的语法。这允许不必显式指定作为 decltype 参数的表达式,
// x3d 的类型是 int
// x4a 的类型是 int
// x4d 的类型是 int&
// x5a 的类型是 int
// x5d 的类型是 int&&
而使用 decltype 对于给定表达式的推断规则。
decltype(auto)的语法也可以用于返回类型推导,只需用 decltype(auto)代替 auto。
5、放松的 constexpr 限制
C++11 引入了 constexpr 函数的概念,这样的函数可以在编译期执行。它们的返回值可
以用于期望常量表达式的场合(如模板的非类型参数)。然而 C++11 要求 constexpr 函数只
含有一个将被返回的表达式(也可以还含有 static_assert 声明等其它语句,但允许的语句类
型很少)。
C++14 将放松这些限制。声明为 constexpr 的函数将可以含有以下内容:
任何声明,除了:
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。然而,只有
当对象的生命期在常量表达式求值中开始,非 const 的 constexpr 成员函数才可以修改类成员。
6、变量模板
在 C++之前的版本中,模板可以是函数模板或类模板(C++11 引入了类型别名模板)。
C++14 现在也可以创建变量模板。包括特化在内,通常的模板的规则都适用于变量模板的声
明和定义。
第 3 页 共 9 页
7、聚合体成员初始化
C++11 新增 member initializer,这是一个表达式,被应用到类作用域的成员上,如果构
造函数没有初始化这个成员。聚合体的定义被改为明确排除任何含有 member initializer 的
类,因此,他们不允许使用聚合初始化。
C++14 将放松这一限制,这种类型也允许聚合初始化。如果花括号初始化列表不提供该
参数的值,member initializer 会初始化它。
8、二进制字面值
C++14 的数字可以用二进制形式指定。其格式使用前缀 0b 或 0B。这样的语法也被 Java、
Python、Perl 和 D 语言使用。
9、数字分位符
C++14 引入单引号(')作为数字分位符号,使得数值型的字面量可以具有更好的可读
性。
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;
三、新的标准库特性
1、共享的互斥体和锁
C++14 增加了一类共享的互斥体和相应的共享锁。起初选择的名字是 std::shared_mutex,
但由于后来增加了与 std::timed_mutex 相似的特性,std::shared_timed_mutex 成为了更适合的
名字。
2、元函数的别名
C++11 定义了一组元函数,用于查询一个给定类型是否具有某种特征,或者转换给定类
型的某种特征,从而得到另一个类型。后一种元函数通过成员类型 type 来返回转换后的类
第 4 页 共 9 页
型,当它们用在模板中时,必须使用 typename 关键字,这会增加代码的长度。
template
type_object<
typename std::remove_cv<
typename std::remove_reference::type
>::type
>get_type_object(T&);
利用类型别名模板,C++14 提供了更便捷的写法。其命名规则是:如果标准库的某个类
模板(假设为 std::some_class)只含有唯一的成员,即成员类型 type,那么标准库提供
std::some_class_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
type_object>>
get_type_object(T&);
3、关联容器中的异构查找
C++标准库定义了四个关联容器类。set 和 multiset 允许用户根据一个值在容器中查找对
应的的同类型的值。map 和 multimap 容器允许用户指定键(key)和值(value)的类型,根
据键进行查找并返回对应的值。然而,查找只能接受指定类型的参数,在 map 和 multimap
中是键的类型,而在 set 和 multiset 容器中就是值本身的类型。
C++14 允许通过其他类型进行查找,只需要这个类型和实际的键类型之间可以进行比较
操作。[17]这允许 std::set使用 const char*,或任何可以通过 operator< 与 std::string
比较的类型作为查找的参数。
为保证向后兼容性,这种异构查找只在提供给关联容器的比较器允许的情况下有效。标
准库的泛型比较器,如 std::less<>与 std::greater<>允许异构查找。
4、标准自定义字面值
C++11 增加了自定义字面量(user-defined literals)的特性,使用户能够定义新的字面量
后缀,但标准库并没有对这一特性加以利用。C++14 标准库定义了以下字面量后缀:
"s",用于创建各种 std::basic_string 类型。
"h"、"min"、"s"、"ms"、"us"、"ns",用于创建相应的 std::chrono::duration 时间间隔。
第 5 页 共 9 页
using namespace std::literals;
std::string str = "hello world"s;
std::chrono::seconds dur = 60s;
两个"s"互不干扰,因为表示字符串的只能对字符串字面量操作,而表示秒的只针对数
字。
5、通过类型寻址多元组
C++11 引入的 std::tuple 类型允许不同类型的值的聚合体用编译期整型常数索引。C++14
还允许使用类型代替常数索引,从多元组中获取对象。若多元组含有多于一个这个类型的对
象,将会产生一个编译错误:
tuple t("foo", "bar", 7);
int i = get(t);
int j = get<2>(t);
string s = get(t);
// i == 7
// Same as before: j == 7
//Compiler error due to ambiguity
6、较小的标准库特性
std::make_unique 可以像 std::make_shared 一样使用,用于产生 std::unique_ptr 对象。
std::is_final,用于识别一个 class 类型是否禁止被继承。
std::integral_constant 增加了一个返回常量值的 operator()。
全局 std::begin/std::end 函数之外,增加了 std::cbegin/std::cend 函数,它们总是返回常量
迭代器(constant iterators)。
四、已被移除或是不包含在 C++14 标准的
特性
1、关于数组的扩展
在 C++11 和之前的标准中,在堆栈上分配的数组被限制为拥有一个固定的、编译期确
定的长度。这一扩展允许在堆栈上分配的一个数组的最后一维具有运行期确定的长度。
运行期确定长度的数组不可以作为对象的一部分,也不可以具有全局存储期,他们只能
被声明为局部变量。运行期确定长度的数组也可以使用 C++11 的基于范围的 for 循环。
第 6 页 共 9 页