C++0x新特性

 

 我是在一个帖子上摘抄的大神语录。。。感谢supermegaboy大神，给了详尽的解释

下文是一篇转载的Wikipedia的译文，从语言和库两方面概述了C++0x。

右值引用与转移语义
在标准C++语言中，临时量（术语为右值，因其出现在赋值表达式的右边）可以被传给函数，但只能被接受为const &类型。这样函数便无法区分传给const &的是真实的右值还是常规变量。而且，由于类型为const &，函数也无法改变所传对象的值。

C++0x将增加一种名为右值引用的新的引用类型，记作typename &&。这种类型可以被接受为非const值，从而允许改变其值。这种改变将允许某些对象创建转移语义。

比如，一个std::vector，就其内部实现而言，是一个C式数组的封装。如果需要创建vector临时量或者从函数中返回vector，那就只能通过创建一个新的vector并拷
贝所有存于右值中的数据来存储数据。之后这个临时的vector则会被销毁，同时删除其包含的数据。

有了右值引用，一个参数为指向某个vector的右值引用的std::vector的转移构造器就能够简单地将该右值中C式数组的指针复制到新的vector，然后将该右值清
空。这里没有数组拷贝，并且销毁被清空的右值也不会销毁保存数据的内存。返回vector的函数现在只需要返回一个std::vector<>&&。如果vector没有转移构造
器，那么结果会像以前一样：用std::vector<> &参数调用它的拷贝构造器。如果vector确实具有转移构造器，那么转移构造器就会被调用，从而避免大量的内存分配。

考虑到安全因素，具名变量即使被声明为右值类型也不会被当作右值。如需把它当作右值，须使用库函数std::move()。

bool is_r_val(int &&)
{
  return tr;
}
bool is_r_val(const int &)
{
  return false;
}
void test(int &&i)
{
  is_r_val(i); // false
  is_r_val(std::move(i)); // tr
}

出于右值引用定义的本质特征以及某些对左值引用（常规引用）定义的修改，现在右值引用允许程序员提供函数参数的完美转发。当与模板变参相结合时，这种能力可以允许函数模板完美地将参数转发给接受那些参数的其他函数。这在转发构造器参数时尤为有用：可以创建一些能自动调用具有相应参数构造器的工厂函数。

C++语言一直具有常量表达式的概念。这些诸如3+4之类的表达式总是产生相同的结果且不具备副作用。常量表达式给编译器带来了优化的可能，而编译器也经常在编译期执行此类表达式并将结果存放在程序中。此外，C++语言规范中有一些地方需要使用常量表达式。定义数组需要常量表达式，而枚举值也必须是常量表达式。

然而，每当碰到函数调用或对象构造，常量表达式便不再有效。所以简单如下例便不合法：

int GetFive()
{
  return 5;
}
int some_val[GetFive() + 5]; //create an array of 10 integers. illegal C++

这段代码在C++中不合法，因为GetFive() + 5不是一个常量表达式。编译器无从知晓GetFive在运行期是否产生常量。理论上，这个函数可能会影响某个全局变量，或者调用其他运行期产生非常量的函数。

C++0x将引入constexpr关键字，此关键字将使用户能保证某个函数或构造器在编译期产生常量。上例可被改写如下：

constexpr int GetFive()
{
  return 5;
}
int some_val[GetFive() + 5]; //create an array of 10 integers. legal C++0x

这段代码将使编译器理解并确认GetFive是个编译期常量。

在函数上使用constexpr将对函数功能施加严格的限制。首先，函数必须返回非void类型。其次，函数体必须具有"return /expr/"的形式。第三，expr在参数替换后必须是常量表达式。该常量表达式只能调用其他定义为constexpr的函数，只能使用其他常量表达式数据变量。第四，常量表达式中一切形式的递归均被禁止。最后，这种带constexpr的函数在编译单元中必须先定义后调用。

变量也可被定义为常量表达式值。

constexpr do le forceOfGravity = 9.8;
constexpr do le moonGravity = forceOfGravity / 6;

常量表达式数据变量隐含为常量。它们只能存放常量表达式或常量表达式构造器的结果。

为了从用户自定义类型中构建常量表达式数据值，构造器在声明时可带constexpr。同常量表达式函数一样，在编译单元中常量表达式构造器也必须先定义后使用。常量表达式构造器函数体必须为空，而且它必须用常量表达式构造其成员。这种类型的析构器必须是平凡的。

由常量表达式拷贝构造的类型也必须被定义为constexpr，以使它们能从常量表达式函数中作为值被返回。类的任何成员函数，包括拷贝构造器和操作符重载，都能被声明为constexpr，只要它们符合常量表达式函数的定义。这就允许编译器在编译期不仅能拷贝类对象，也能对其实施其他操作。

常量表达式函数或构造器可以用非constexpr参数来调用。就如同一个constexpr整数常量可以被赋给一个非constexpr变量一样，constexpr函数也可用非constexpr参数来调用，并且其结果也可存放在非constexpr变量中。此关键字只是提供了在一个表达式的全部成员均为constexpr时其结果为编译期常量的可能性。

在标准C++语言中，要让结构成为POD类型必须满足某几条规则。有充分理由让一大堆类型满足这些规则（定义）；只要满足这些规则，结构的实现将产生兼容于C的对象布局。然而，在C++03中这些规则过于严格。

C++0x将放松某些关于POD的限制规则。

如果一个类或结构是平凡的，具有标准布局的，且不包含任何非POD的非静态成员，那么它就被认定是POD。平凡的类或结构定义如下：

1.具有一个平凡的缺省构造器。（可以使用缺省构造器语法，如 SomeConstr tor() = default;).
2.具有一个平凡的拷贝构造器。（可以使用缺省构造器语法).
3.具有一个平凡的拷贝赋值运算符。（可以使用缺省语法)
4.具有一个非虚且平凡的析构器。

一个具有标准布局的类或结构被定义如下：
1.所有非静态数据成员均为标准布局类型。
2.所有非静态成员的访问权限(p lic, private, protected) 均相同。
3.没有虚函数。
4.没有虚基类。
5.所有基类均为标准布局类型。
6.没有任何基类的类型与类中第一个非静态成员相同。
7.要么全部基类都没有非静态数据成员，要么最下层的子类没有非静态数据成
员且最多只有一个基类有非静态数据成员。总之继承树中最多只能有一个类有非静
态数据成员。所有非静态数据成员必须都是标准布局类型。

在标准C++语言中，如果在某一个编译单元中编译器碰到一个参数完全指定的模
板，它就必须具现化该模板。这种做法可能大大延长编译时间，尤其在许多编译单
元使用同样的参数具现化该模板时。

C++0x将引入外部模板的概念。C++已经拥有了迫使编译器在某一地点具现化模板的语法：

template class std::vector;

C++所缺乏的是防止编译器具现化某个模板的能力。C++0x只是简单地将语法扩展为：

extern template class std::vector;

这段代码将告诉编译器不要在这个编译单元具现化此模板。

标准C++语言从C语言中借入了初始化列表概念。根据这一概念，结构或数组可以通过给定一串按照结构中成员定义的次序排列的参数来创建。初始化列表可以递归创建，因此结构数组或包含其他结构的结构也能使用初始化列表。这对于静态列表或用某些特定值初始化结构而言非常有用。C++语言中存在能让对象初始化的构造器特性。但构造器特性本身并不能取代初始化列表的所有功能。标准C++允许类和结构使用初始化列表，但它们必须满足POD的定义。非POD的类不能使用初始化列表，一些C++式的容器如std::vector和boost::array也不行。

C++0x将把初始化列表绑定为一种名为std::initializer_list的类型。这将允许构造器及其他函数接受初始化列表作为其参数。比如：

class SeqnceClass
{
p lic:
  SeqnceClass(std::initializer_list < int >list);

};

这段代码将允许SeqnceClass用一串整数构造，如下所示：

SeqnceClass someVar = {1, 4, 5, 6};

这种构造器是一种特殊类型的构造器，名为初始化列表构造器。具有这种构造器的类在统一的初始化形式中将被特殊对待。

std::initializer_list<>类在C++0x标准库中将成为一等公民。但是这个类的对象只能通过使用{}语法由C++0x编译器静态构建并初始化。列表一旦构建即可被拷贝，尽管只是引用拷贝。初始化列表是常量，一旦构建，组成列表的成员以及其成员所包含的数据便无法改变。

由于初始化列表是一种真实的类型，因此在类构造器之外的地方也能使用。常规函数也可接受初始化列表作为其参数。比如：

void FunctionName(std::initializer_list list);
FunctionName({1.0f, -3.45f, -0.4f});

标准C++在类型初始化中存在一些问题。语言中存在几种类型初始化方式，但替换使用的话产生的结果不尽相同。传统的构造语法看起来更像函数声明。必须采取措施以使编译器不把对象构造误认为函数声明。只有集合类型和POD类型能用集合初始化器初始化（用SomeType var = {/*st?*/};).

C++0x将提供一种能作用于任何对象的完全统一的类型初始化形式。这种形式对初始化列表语法作了扩展：

str t BasicStr t
{
  int x;
  float y;
};
str t AltStr t
{
  AltStr t(int _x, float _y) : x(_x), y(_y) {}
private:
  int x;
  float y;
};
BasicStr t var1{5, 3.2f};
AltStr t var2{2, 4.3f};

var1的初始化的运作方式就如同一个C式的初始化列表。每个p lic变量都将用初始化列表中的值初始化。如果需要，隐式类型转化将被使用，并且如果没有隐式类型转化可供使用，编译器将报告编译失败。

var2的初始化只是简单地调用构造器。

统一的初始化对象构造将消除在某些情况下指定类型的需要：

str t IdString
{
  std::string name;
  int identifier;
};
IdString var3{"SomeName", 4};

这种语法会自动使用const char *调用std::string进行初始化。程序员也可以使用下面的代码：

IdString GetString()
{
  return {"SomeName", 4}; //Note the lack of explicit type.
}

统一的初始化形式不会取代构造器语法。某些情况下仍然需要构造器语法。如果一个类具有初始化列表构造器(TypeName(initializer_list);),，那么只要初始化列表符合该构造器的类型，初始化列表构造将优先于其他构造形式。C++0x版本的std::vector将拥有匹配与模板参数的初始化列表构造器。这就意味着下面这段代码：

std::vector theVec{4};

这段代码将调用初始化列表构造器，而不会调用std::vector中接受单个长度参数并创建相应长度的vector的构造器。为了调用后一个构造器，用户需要直接使用标准构造器语法。

类型推定
在标准的C++和C语言中，变量在使用时必须明确指定其类型。然而，随着模板类型及模板元编程的到来，表述某些定义完好的函数的返回值的类型变得不那么容易了。由此，在函数中存储中间值也变得困难了，用户有可能需要了解某个模板元编程库的内部结构才行。

C++0x将通过两种方式来缓解这些困难。首先，带有明确初始化的变量定义将可以使用auto关键字。这种初始化将创建与初始化器类型相同的变量。

auto someStrangeCallableType = boost::bind(&SomeFunction, _2, _1, someObject);
auto otherVariable = 5;

someStrangeCallableType的类型将等同于任何由boost::bind所返回的适合于这些特定参数的模板函数的类型。编译器很容易知道其类型，用户则不然。

otherVariable的类型也定义完好，但用户更容易推定其类型。该变量是整形，也就是整型常量的类型。

另外，关键字decltype可用于在编译期确定某个表达式的类型。比如：

int someInt;
decltype(someInt) otherIntegerVariable = 5;

这种用法相对于auto可能更有效，因为auto变量的类型只有编译器才知道。而且，对于那些大量使用操作符重载及特化类型的代码，使用decltype来推导表达式的类
型也很有用。

 

auto在减少代码冗余性方面也很有用。比如，写下面这段代码时：

for(vector::const_iterator itr = myvec.begin();
  itr != myvec.end(); ++itr)

程序员可以使用下面这种更短的形式：

for (auto itr = myvec.begin(); itr != myvec.end(); ++itr)

当程序员在开始使用嵌套容器时，这两段代码的区别将更加明显，尽管在这种情况下使用typedef也是一种减少代码的好方法。

C++库Boost定义了几个区间概念。区间代表了与容器相类似的列表中两点之间的可控列表。已序容器是区间的超集。已序容器中的两个迭代器也能定义一个区间。这些概念和算法都将被融入C++0x的标准库中。然而，C++0x还将提供一种专用的语言设施来运用区间概念。

for语句将使区间概念上的循环更容易：

int my_array[5] = { 1, 2, 3, 4, 5 };
for(int &x:my_array)
{
  x *= 2;
}

新的for循环的第一部分定义了用于在区间上循环的变量。和普通for循环中声明的变量一样，该变量的作用域也仅限于循环之内。置于":"之后的第二部分则表示将进行循环的区间。在这种情况下，存在一个约束映射可以将C式数组转化为区间。进行循环的区间还可以是std::vector，或任何符合区间概念的对象。 

在标准C++语言中，尤其在使用诸如sort和find之类的标准库算法函数时，用户总是希望在算法函数调用的触发点附近定义谓词函数。在这一方面语言中只有一种机制可供利用：在函数中定义类。通常这种做法既啰嗦又笨重。另外，标准C++语言不允许在函数中定义的类充当模板参数，所以这种做法行不通。

显而易见，解决方案在于允许定义lambda表达式和 lambda函数。C++0x将允许定义lambda函数。

lambda函数可以定义如下：

[](int x, int y) { return x + y }

此无名函数的返回值类型为decltype(x+y)。只有lambda函数的形式为"return/expression/"时，返回值类型才能省略。因此这种lambda函数内部只能有一句语句。

返回值类型也可像下例那样明确指定。一个更为复杂的例子：

为栈变量生成的闭包变量也可以不用引用操作符/&/定义，这种情况下lambda函数
将拷贝其值。这种做法将促使用户明确声明其意图：是引用栈变量还是拷贝栈变
量。引用栈变量可能会产生危险。如果某个lambda函数将在所创建的作用域之外被
引用（比如将此lambda函数存放在std::function（C++0x标准）对象中可以做到这
一点），那么用户必须保证该lambda函数没有引用任何栈变量。

对于那些可以保证只在其所创建的作用域内被执行的lambda函数，使用栈变量无须
通过显式引用：

std::vector someList;
int total = 0;
std::for_each(someList.begin(), someList.end(), [&](int x) {
total += x
});

这种lambda函数的具体内部实现可能会有所不同，但可以预期这种lambda函数可能
不会保存所有栈变量的引用而是会保存函数创建时的栈指针。

如果不用[&]而用[=]，那么所有被引用的变量都将被拷贝，从而允许lambda函数在
原有变量生命期结束后仍然能够被使用。

缺省指示符还能和参数列表结合使用。比如，如果用户希望只拷贝其中一个变量的
值，而对其他变量使用引用，则可使用下面的代码：

int total = 0;
int val = 5;
[&, val](int x) { total += (x * val) };

这段代码将导致total被存为引用，而val则会被存为拷贝。

如果一个lambda函数由一个类的某个成员函数定义，那么此lambda函数便被认定为
该类的友元。这种lambda函数可以使用属于该类类型的对象的引用并访问其内部成员。

[](SomeType *typePtr) { typePtr->SomePrivateMemberFunction() };

只有当lambda函数在SomeType的某个成员函数中创建时这段代码才能工作。

对于指向当前成员函数所隶属对象的this指针，其处理有些特殊：必须在lambda函
数中明确指定。

[this]() { this->SomePrivateMemberFunction() };

使用[&] 或 [=]形式将使this自动可用。

Lambda函数是一些类型取决于编译器的函数对象。它们的类型只对编译器开放。如
果用户希望把lambda函数当作参数，那么要么参数相应类型为模板，要么创建一个
std::function用于保存lambda函数。使用auto关键字则可以将lambda函数保存在
局部变量中。

auto myLambdaFunc = [this]() {
  this->SomePrivateMemberFunction()
};

然而，如果lambda函数的所有闭包变量均为引用,或者lambda函数根本没有闭包变
量，那么所产生的函数对象将具有一种特殊类
型：std::reference_closure。其中R(P)是带返回值的函数签名。这样做的
理由在于期望此种类型的效率能好于使用std::function。

std::reference_closure myLambdaFunc = [this]() {
  this->SomePrivateMemberFunction()
};
myLambdaFunc();

新增的函数语法
标准C语言的函数声明语法对于C语言的特性集来说是完美无缺的。由于C++语言演
化自C语言，C++语言保留了相关的基本语法并在需要时进行扩充。然而，当C++变
得更为复杂时，这种语法也暴露了一些局限性，尤其是在模板函数声明中。比如，
以下代码在C++03中不合法：

template< typename LHS, typename RHS>
Ret AddingFunc(const LHS &lhs, const RHS &rhs)
{
  return lhs + rhs;
}

类型Ret为任何LHS和RHS相加所产生的类型。即使有了前面所讲述的C++0x的
decltype功能，仍然不行：

template< typename LHS, typename RHS>
decltype(lhs+rhs) AddingFunc(const LHS &lhs, const RHS &rhs)
{
  return lhs + rhs;
}

这一段并非合法的C++代码，因为lhs和rhs尚未定义，只有在词法分析器分析出函
数原型的其余部分之后这两者才能成为有效的标识符。

为解决这一问题，C++0x将引入一种新型的函数定义和声明的语法：

template < typename LHS, typename RHS >
auto AddingFunc(const LHS & lhs, const RHS & rhs)->decltype(lhs + rhs)
{
  return lhs + rhs;
}

这一语法也能用于更为平常的函数声明和定义中：

str t SomeStr t
{
  auto FuncName(int x, int y)->int;
};
auto SomeStr t::FuncName(int x, int y)->int
{
  return x + y;
}

约束
在C++语言中，模板类和模板函数必须对它们所接受的类型施加某些限制。比
如，STL容器要求容器中的类型必须可以赋值。与类继承所展示的动多态（任何能
接受Foo&类型对象作为参数的函数也能传入Foo的子类型）有所不同，任何类只要
支持某个模板所使用的操作，它就能被用于该模板。在函数传参数的情况下，参数
所必须满足的需求是清晰的（必须是Foo的子类型），而模板的场合下，对象所需
满足的接口则是隐含在模板实现当中的。约束则提供了一种将模板参数所必需满足
的接口代码化的机制。

引入约束的最初动因在于改进编译错误信息的质量。如果程序员试图使用一种不能
提供某个模板所需接口的类型，那么编译器将产生错误信息。然而，这些错误信息
通常难以理解，尤其对于新手而言。首先，错误信息中的模板参数通常被完整拼写
出来，这将导致异常庞大的错误信息。在某些编译器上，简单的错误会产生好几K
的错误信息。其次，这些错误信息通常不会指向错误的实际发生地点。比如，如果
程序员试图创建一个其成员为不具备拷贝构造器对象的vector，首先出现的错误信
息几乎总是指向vector类中试图拷贝构造其成员的那段代码。程序员必须具备足够
的经验和能力才能判断出实际的错误在于相应类型无法完全满足vector所需要的接口。

在试图解决此问题的过程中，C++0x为语言添加了约束这一特性。与OOP使用基类来
限制类型的功能相似，约束是一种限制类型接口的具名结构。而与OOP所不同的
是，约束定义并非总是与传入模板的参数类型明确相关，但它总是与模板定义相关：

template < LessThanComparable T >
const T & min(const T & x, const T & y)
{
  return y < x ? y : x;
}

这里没有用/class /或/ typename/将模板参数指定为任意类型，而是使用了
/LessThanComparable/这个之前定义的约束。如果某个传入/min/模板参数的类型
不符合/LessThanComparable/约束的定义，那么编译器将报告编译错误，告诉用户
用来具现化该模板的类型不符合/LessThanComparable/约束。

下面是一个更一般化的约束形式：

template requires LessThanComparable
const T& min(const T &x, const T &y)
{
  return y < x ? y : x;
}

关键字/requires/之后为一串约束的声明。它可以被用于表述涉及多个类型的约
束。此外，如果用户希望当类型匹配该约束时不要使用某个特定模板，也可以用
/requires !LessThanComparable/。可以像模板特化那样使用这种机制。一个
通用模板可能通过显式禁用一些特性丰富的约束来处理具有较少特性的类型。而这
些约束则可通过特化利用某些特性来取得更高的效率并实现更多的功能。

约束定义如下：

auto concept LessThanComparable < typename T >
{
  bool operator<(T, T);
}

这个例子中的关键字/auto/意味着任何类型只要支持约束中所指定的操作便被认定
支持该约束。如果不使用/auto/关键字，为声明某个类型支持该约束就必须对该类
型使用约束映射。

该约束声明任何类型只要定义了接受两个参数并返回bool型的<操作符就被认为是
/LessThanComparable/。该操作符不一定是一个自由函数，它也可以是T类型的成
员函数。

约束也可以涉及多个类型。比如，约束能表示一个类型可以转换为另一个类型：

auto concept Convertible < typename T, typename U >
{
  operator U(const T &);
}

为了在模板中使用这个约束，模板必须使用一种更为一般化的形式：

template < typename U, typename T >
requires Convertible < T, U > U convert(const T & t)
{
  return t;
}

约束可以组合运用。比如，给定一个名为/Regular/的约束

concept InputIterator < typename Iter, typename Val >
{
  requires Regular < Iter >;
  Val operator*(const Iter &);
  Iter & operator++(Iter &);
  Iter operator++(Iter &, int);
}

/InputIterator/约束的第一个模板参数必须符合/Regular/约束。

与继承相似，约束也可派生自另一约束。与类继承相似，满足派生约束所有限制条
件的类型必须满足基本约束的所有限制条件。约束派生定义形同类派生：

concept ForwardIterator :
InputIterator
{
  //Add other requirements here.
}

类型名可以与约束相关。这将施加一些限制条件：在使用这些约束的模板中，这些
类型名可供使用：

concept InputIterator < typename Iter >
{
  typename val_type;
  typename reference;
  typename pointer;
  typename difference_type;
  requires Regular < Iter >;
  requires Convertible < reference, val_type >;
  reference operator*(const Iter &); // dereference
  Iter & operator++(Iter &); // pre-increment
  Iter operator++(Iter &, int); // post-increment
// ...
}

约束映射允许某些类型被显式绑定到某个约束。如有可能，约束映射也允许在不改
变类型定义的前提下让该类型采用某个约束的语法。比如下例：

concept_map InputIterator < char *>
{
  typedef char val_type;
  typedef char &reference;
  typedef char *pointer;
  typedef std::ptrdiff_t difference_type;
};

这个约束映射填补了当/InputIterator/映射作用于/char*/类型时所需要的类型名。

为增加灵活性，约束映射本身也能被模板化。上例可以被延伸至所有指针类型：

template < typename T > concept_map InputIterator < T * >
{
  typedef T val_type;
  typedef T & reference;
  typedef T *pointer;
  typedef std::ptrdiff_t difference_type;
};

此外，约束映射也可充当迷你类型，此时它会包含函数定义以及其他与类相关的结
构设施：

concept Stack < typename X >
{
  typename val_type;
  void push(X &, const val_type &);
  void pop(X &);
  val_type top(const X &);
  bool empty(const X &);
};

template < typename T > concept_map Stack < std::vector < T > >
{
  typedef T val_type;
  void push(std::vector < T > &v, const T & x)
  {
  v.push_back(x);
  }
  void pop(std::vector < T > &v)
  {
  v.pop_back();
  }
  T top(const std::vector < T > &v)
  {
  return v.back();
  }
  bool empty(const std::vector < T > &v)
  {
  return v.empty();
  }
};

这个约束映射将允许任何接受实现了/Stack/约束的类型的模板也接受
/std::vector/,同时将所有函数调用映射为对/std::vector/的调用。最终，这种
做法将允许一个已经存在的对象在不改变其定义的前提下，转换其接口并为模板函
数所利用。 

最后需要指出的是，某些限制条件可以通过静态断言来检测。这种手段可以用来检
测那些模板需要但却面向其他方面问题的限制条件。

对象构建方面的改进
在标准C++语言中，构造器不能调用其他构造器。每个构造器要么独自构建类的所
有成员要么调用某个公共成员函数。基类的构造器不能直接暴露给派生类：即便基
类的构造器更合适，子类也必须实现自己的构造器。类的非静态数据成员不能在其
声明的场所初始化，它们只能在构造器中初始化。

C++0x将为所有这些问题提供解决方案。

C++0x将允许构造器调用其他伙伴构造器（被称为委托）。如此，只需添加少量代
码，构造器便能利用其他构造器的行为。另外一些语言,比如Java
和C#
，允许
这样做。

语法如下：

class SomeType
{
  int number;
p lic:
  SomeType(int newNumber):number(newNumber)
  {
  }
  SomeType():SomeType(42)
  {
  }
};

这就产生了一个问题：C++03认为一个对象在其构造器执行完毕时才能构建完成，
而C++0x则认为一个对象在任何构造器执行完毕时都将构建完成。由于多个构造器
被允许执行，这将导致每个委托构造器都可能在一个已经构造完成的对象上执行操
作。派生类构造器将在基类的所有委托构造器执行完毕后执行。 

关于基类构造器，C++0x将允许一个类指定需要继承的基类构造器。这意味着C++0x
编译器将产生代码用于类继承，即将子类构造转发为基类构造。注意这是一个要么
全部要么没有的特性：或者全部构造器被转发，或者没有构造器被转发。另外注意
在多重继承的情况下有些限制，比如类构造器不能继承来自两个类的具有相同签名
的构造器。同时子类构造器的签名也不能与用来继承的基类构造器相匹配。

相应语法如下：

class BaseClass
{
  p lic:
  BaseClass(int iVal);
};

class DerivedClass:p lic BaseClass
{
  p lic:
  using default BaseClass;
};

关于成员初始化，C++0x将允许以下语法：

class SomeClass
{
  p lic:
  SomeClass()
  {
  }
  explicit SomeClass(int iNewVal):iVal(iNewVal)
  {
  }
  private:
  int iVal = 5;
};

该类的任何构造器都将把iVal初始化为5，除非它提供自己的实现来改变这种行
为。所以上面的空构造器将按照类的定义来初始化iVal，而接受int的构造器则
会用给定的参数来初始化iVal。

空指针
在现行标准中，常量0既是常量整数又是空指针，充当着双重角色。这一行为自
1972年C语言早期以来便一直存在。

多年来，程序员为了避免这种语义模糊多采用标识符NULL来代替0。然而，两项C++
语言的设计选择集中产生了另一项语义模糊。在C语言中，NULL作为预编译宏被定
义为((void*)0)或0。在C++语言中，void*不能隐式转换为其他指针类型，因而在
前项定义下，简单如char* c = NULL的代码会通不过编译。为解决此问题，C++确
保NULL展开为0，并作为一种特例允许其转换为其他指针类型。这一选择在同重载
机制交互时产生了麻烦。比如，假设程序中存在以下声明：

void foo(char *);
void foo(int);

现在调用foo(NULL)，则foo(int)版本将会被调用，几乎可以肯定这不是程序员的
意图。

新标准很可能引入一个专用于空指针的关键字，目前nullptr承担这一角色。

nullptr不能被赋给整型，也不能与整型相比较，但它可以向其他指针类型赋值并
与之比较。

0的现存角色将会因显而易见的兼容性理由而得到保留。

如果新的语法取得成功，C++委员会可能会将把0和NULL当作空指针的做法标记为已
废弃特性，并最终废弃这种双重角色。

强类型枚举
在标准C++语言中，枚举不是类型安全的。枚举值实际上就是整数，即便其枚举类
型各不相同。这样不同枚举类型的两个枚举值相互比较就成为可能。这方面C++03
所提供的唯一安全特性为：一个整数或一种枚举类型的值不能隐式转换为其他枚举
类型的值。另外，枚举所使用的整形的大小无法由用户指定，而只能由实现定义。
最后，枚举值的作用域为枚举的外围作用域。这就意味着两个不同的枚举不能包含
名字相同的成员。

C++0x将允许创建一类没有上述问题的特殊枚举。这种枚举通过enum class来声明：

enum class Enumeration
{
  Val1,
  Val2,
  Val3 = 100,
  Val4 //* = 101 *//,
};

这种枚举是类型安全的。枚举类的值不会被隐式转换为整数，这样它们也不会被拿
来与整数相比较。（Enumeration::Val4 == 101会产生编译错误）

枚举类所使用的类型可以明确指定。缺省情况下，如同上例，为int。但这也能像
下例那样改变：

enum class Enum2 : unsigned int {Val1, Val2};

这种枚举的作用域也被指定为枚举类名的作用域。使用这种枚举名必须显式指定作
用域。Val1无定义，而Enum2::Val1有定义。

另外，C++0x也将允许标准枚举提供其作用域范围以及其使用的整型大小。

enum Enum3 : unsigned long {Val1 = 1, Val2};

这种枚举名被定义具有枚举类型作用域，如(Enum3::Val1)。但是，为了保持向后
兼容，枚举名也被放入外围作用域。

枚举的前置声明在C++0x中也将成为可能。以前，枚举类型不能前置声明的理由是
枚举的大小取决于其内容。只要枚举值的大小在程序中得以指定，枚举就能前置声明。

enum Enum1; //Illegal in C++ and C++0x; no size is
explicitly specified.
enum Enum2 : unsigned int; //Legal in C++0x.
enum class Enum3; //Legal in C++0x, because enum class's
have a default type of "int".
enum class Enum4: unsigned int; //Legal C++0x.
enum Enum2 : unsigned short; //Illegal in C++0x, because Enum2 was
//previously declared with a different type.

尖括号
标准C++的词法分析器在任何场合下都将">>"解释为右移操作符。然而，在模板定
义中，如此解释两个右尖括号几乎总是错误的。

C++0x将改变词法分析器的规范以便在合理的情况下能把多个右尖括号解释为模板
参数列表的结束符。可以用小括号来改变这种行为。

template SomeType;

std::vector2>> x1 ; // Interpreted as a std::vector of
SomeType 2>, which is not legal syntax. 1 is tr.

std::vector2)>> x1 ; // Interpreted as std::vector of
SomeType, which is legal C++0x syntax. (1>2) is false.

显式转换操作符
标准C++为构造器添加了explicit关键字作为修饰符以防止只有单个参数的构造器
使用隐式转换操作。然而，这种做法对于真正的转换操作符是无效的。比如，一个
智能指针类可能有一个bool()操作符以使自身的行为更像原生指针。如果它包含这
种转换操作，它就能用if(smart_ptr_variable)来测试。（若指针非空则测试是为
真，否则测试为假。）然而，这种操作也会导致其他出乎意料的转换。由于C++的
bool被定义为一种算术类型，这种指针也就可以被隐式转换为整型甚而浮点类型，
从而导致一些用户并不希望出现的算术操作。

在C++0x中，explicit关键字将能用于转换操作符的定义中。与构造器一样，它将
防止进一步的隐式转换。

模板typedef
在标准C++中，只有在模板的所有参数全都指定的前提下才能对模板typedef。只要
存在没有被指定的模板参数就不能使用typedef，比如：

template class SomeType;
template
typedef SomeType TypedefName; //Illegal in C++

这段代码不会通过编译。

C++0x将通过以下语法添加这种能力：

template class SomeType;
template
using TypedefName = SomeType;

透明的垃圾收集
C++0x不会直接提供透明垃圾收集机制。作为替代，C++0x标准将包含一些有利于在
C++实现垃圾收集机制的特性。

对垃圾收集机制的完全支持将会延迟到标准的下一个版本，或者是一个技术报告。

变参模板
标准C++的模板类和模板函数只能接受一套固定的参数。C++0x将允许模板定义接受
任意数目的任意类型的参数。

template class tuple;

这个模板类/tuple/将能够接受任意数目的类型作为其参数。

class tuple,
  std::map   std::vector > > someInstanceName;

参数的个数可以为0，所以/class tuple<>/ someInstanceName也能工作。

如果不想要接受0个参数的变参模板，使用以下定义即可：

template class tuple;

变参模板将也能用于函数，如此将提供一种类似于标准C中函数变参机制的类型安
全的版本。

template
void printf(const std::string &strFormat, Params... parameters);

注意/.../操作符在模板参数列表中出现在类型/Params/的左边，而在函数签名中
则出现在类型的右边。当/.../操作符如同在模板参数列表中那样出现在类型的左
边时，它被称作打包运算符。该运算符规定类型可出现0次或多次。当/.../操作符
出现在类型的右边时，它被称作解包运算符。该运算符将导致该类型的复制，即复
制所有被打包运算符装入的类型。在上例中，函数printf将接受所有打包进入
Params的类型作为其参数。

变参模板通常是递归运用的。可变的参数本身并不直接向类或函数提供。由此，下
面展示了一种在C++0x中定义具有可变参数的/printf/的替代品的可行机制：

void printf(const char *s)
{
  while (*s)
  {
  if (*s == '%' && *(++s) != '%')
  throw std::runtime_error("invalid format string: missing arguments");
  std::cout << *s++;
  }
}

template < typename T, typename...Args >
void printf(constchar * s, T val, Args ... args)
{
  while (*s)
  {
  if (*s == '%' && *(++s) != '%')
  {
  std::cout << val;
  // call even when *s == 0 to detect extra arguments
  printf(*s ? ++s : s, args...);
  return;
  }
  std::cout << *s++;
  }
  throw std::logic_error("extra arguments provided to printf");
}

这是一个递归调用。注意变参模板版本的/printf/调用其自身，在参数为空时则调
用简单版本。

没有一种简单可行的机制可用于在模板变参上循环迭代。然而，使用解包运算符，
几乎可以在任何地方解包并得到所有的模板参数。

比如，一个类使用如下定义：

template < typename...BaseClasses > class ClassName:p lic BaseClasses...
{
  p lic:
  ClassName(BaseClasses &&...baseClasses):
  BaseClasses(std::move(baseClasses))...
  {
  }

}

代码中的解包运算符将复制所有类型并将其作为ClassName的基类。同时，构造器
必须接受所有基类的引用，以便初始化ClassName的所有基类。

关于函数模板，可变参数可以被前置。与右值引用相结合，便能实现完美转发：

template < typename TypeToConstr t >
str t SharedPtrAllocator
{
  template< typename ... Args >
  tr1::shared_ptr
  Constr tWithSharedPtr(Args && ... params)
  {
  return tr1::shared_ptr (
  new TypeToConstr t(std::move(params)...));
  }
}

这段代码将参数列表解包并传入TypeToConstr t的构造器。使用
std::move(params)这样的语法能够完美地将参数以相应的类型（甚至包括const属
性）传入构造器。解包运算符则将此转发语法传播至所有参数。代码中的工厂函数
还自动地将所分配的内存装进tr1::shared_ptr，这在某种程度上可以避免内存泄漏。

另外，模板参数包中实际参数的个数可以指定如下：

template < typename...Args > str t SomeStr t
{
  static const int size = sizeof...(Args);
}

使用语法SomeStr t::size将得到2，而SomeStr t<>::size将返回0。

新的字符串常量
标准C++提供两种字符串常量。第一种，包含在双引号之间，生成一个以null结尾
的const char类型的数组。第二种，形为L""，生成一个以null结尾的const
wchar_t类型的数组。这里wchar_t为宽字符。这两种字符串常量均没有对Unicode
编码的字符串提供支持。

为了改进C++编译器对Unicode的支持，char类型的定义被修改成除了包含编译器基
本执行字符集的所有成员之外还将至少包括UTF-8
中的8位编码。以前它只包含前者。

C++0x将包括三种Unicode编码的字符串分别用于支持UTF-8
, UTF-16
,及 UTF-32
。考虑到前面所讲述的对char定义的变
化，C++0x将会增加两种新的字符类型：char16_t和char32_t。这两种类型分别用
于保存UTF-16 和UTF-32。

以下代码展示如何创建能用于这些编码的字符串常量：

"I'm a UTF-8 string."
u"This is a UTF-16 string."
U"This is a UTF-32 string."

第一种字符串的类型是常见的const char[]。第二种字符串的类型是const
char16_t[]。第三种字符串的类型是const char32_t[]。

创建Unicode字符串常量时，通常需要在字符串中直接插入Unicode代码点。为
此，C++0x将允许如下语法：

"This is a Unicode Character: *\u*2018."
u"This is a bigger Unicode Character: *\u*2018."
U"This is a Unicode Character: *\u*2018."

'\u'之后的数是十六进制数，注意不需要使用常规的'0x'前缀。'\u'符号代表16位
Unicode代码点。如果需要32位Unicode代码点，可使用'\U'和一个32位十六进制
数。只能使用有效的Unicode代码点。比如代码点区间U+D800—U+DFFF被禁止使用，
因为它们将被用作UTF-16编码对。

有时需要避免使用转移字符串，尤其是在使用XML
文件及脚本语言中。C++0x将提供原生字符
串常量：

R"[The String Data \ St? " ]"
R"delimiter[The String Data \ St? " ]delimiter"

第一种场合下，任何[ ]括号间的字符都是字符串的一部分。字符"和\无需使用转
义符。第二种场合下，字符串开始于"delimiter[之后，并在碰到]delimiter"时结
束。字符串分隔符可以是任意字符串，这样用户就能在原生字符串中使用]字符。

原生字符串常量可以和宽字符串以及任何Unicode字符串结合使用。

用户自定义的字面量
标准C++提供了几种字面量。字符串"12.5"被编译器解释为do le类型，值12.5。
然而，加了后缀"f"后，即"12.5f"，就会产生包含值12.5的float类型。字面量的
后缀修饰符在C++规范中是固定的，C++代码无法创造新的字面量修饰符。

C++0x将会为用户提供创建新的字面量修饰符的能力。这种新的字面量修饰符将根
据修饰字面量的字符串创建对象。

 

[](int x, int y) -> int { int z = x + y; return z + x; }

在此例中，临时变量z被创建并用于存储中间值。和普通函数一样，中间值在多次函数调用之间不会被保存。

如果lambda函数不返回值，即返回值类型为void的话，该返回值类型也可完全省略。

在lambda函数作用域范围内被定义的变量的引用也能被使用。这些变量的合集通常被称为闭包。闭包可以定义并使用如下：

std::vector someList;
int total = 0;
std::for_each(someList.begin(), someList.end(), [&total](int x) {
total += x
});
std::cout << total;

这段代码将显示列表中所有元素的总和。变量total将被存为该lambda函数相应的闭包的一部分。由于闭包变量total是栈变量total的引用，使用前者可以改变后者的值。