C++11

C++11，先前被称作C++0x，即ISO/IEC 14882:2011，是目前的C++编程语言的正式标准。它取代第二版标准ISO/IEC 14882:2003(第一版ISO/IEC 14882:1998公开于1998年，第二版于2003年更新，分别通称C++98以及C++03，两者差异很小)。新的标准包含核心语言的新机能，而且扩展C++标准程序库，并入了大部分的C++ Technical Report 1程序库(数学的特殊函数除外)。最新的消息被公开在 ISO C++ 委员会网站(英文)。

ISO／IEC JTC1/SC22/WG21 C++ 标准委员会计划在2010年8月之前完成对最终委员会草案的投票，以及于2011年3月召开的标准会议完成国际标准的最终草案。然而，WG21预期ISO将要花费六个月到一年的时间才能正式发布新的 C++ 标准。为了能够如期完成，委员会决定致力于直至2006年为止的提案，忽略新的提案^[1]。最终于2011年8月12日公布，并于2011年9月出版。

N3376)是最接近于现行标准的草案，差异仅有编辑上的修正。

编程语言，通过一种演化的的过程来发展其定义。这个过程不可避免地将引发与现有代码的兼容问题，在C++的发展过程中偶尔会发生。不过根据Bjarne Stroustrup(C++的创始人并且是委员会的一员)表示，新的标准将几乎100%兼容于现有标准。

候选变更

在发展新标准的每个机能上，委员会采取了几个方向：

维持与C++98，可能的话还有

尽可能不通过核心语言的扩展，而是通过标准程序库来引进新的特色；
能够演进编程技术的变更优先；
改进 C++ 以帮助系统以及库设计，而不是引进只针对特别应用的新特色；
增进类型安全，提供对现行不安全的技术更安全的替代方案；
增进直接对硬件工作的能力与表现；
提供现实世界中问题的适当解决方案；
实行“zero-overhead”原则(某些功能要求的额外支持只有在该功能被使用时才能使用);
使C++易于教授与学习

C++核心语言的扩充

多线程(或称为“多线程”)支持、泛型编程、统一的初始化，以及性能表现的加强。

核心语言的运行期表现强化

右值引用和 move 语义

const T& 做出区分)。尽管在某些情况下临时对象的确会被改变，甚至也被视为是一个有用的漏洞。

T &&。右值引用所引用的临时对象可以在该临时对象被初始化之后做修改，这是为了允许 move 语义。

std::vector<T> 是内部保存了 C-style 数组的一个包装，如果一个std::vector<T>的临时对象被建构或是从函数返回，要将其存储只能通过生成新的std::vector<T>并且把该临时对象所有的数据复制进去。该临时对象和其拥有的内存会被摧毁。(为了讨论上的方便，这里忽略返回值优化)

std::vector的 "move 构造函数" 对某个vector的右值引用可以单纯地从右值复制其内部 C-style 数组的指针到新的 vector，然后留下空的右值。这个操作不需要数组的复制，而且空的暂时对象的解构也不会摧毁存储器。传回vector暂时对象的函数只需要传回std::vector<T>&&。如果vector没有 move 构造函数，那么复制构造函数将被调用，以const std::vector<T> &的正常形式。如果它确实有 move 构造函数，那么就会调用 move 构造函数，这能够免除大幅的存储器配置。

std::move<T>()。

bool is_r_value(int &&) { return true; }
bool is_r_value(const int &) { return false; }
 
void test(int && i)
{
    is_r_value(i); // i 為具名變數，即使被宣告成右值也不會被認定是右值。
    is_r_value(std::move<int>(i)); // 使用 std::move<T>() 取得右值。
}

变长参数模板结合，这项能力允许函数模板能够完美地转送引数给其他接受这些特定引数的函数。最大的用处在于转送构造函数参数，创造出能够自动为这些特定引数调用正确建构式的工厂函数(factory function)。

泛化的常数表示式

3+4 总是会产生相同的结果并且没有任何的副作用。常数表示式对编译器来说是优化的机会，编译器时常在编译期运行它们并且将值存入程序中。同样地，在许多场合下，C++ 规格要求使用常数表示式。例如在数组大小的定义上，以及枚举值(enumerator values)都要求必须是常数表示式。

int GetFive() {return 5;}
 
int some_value[GetFive() + 5]；// 欲產生 10 個整數的陣列。 不合法的 C++ 寫法

GetFive() + 5 并不是常数表示式。编译器无从得知 GetFive 实际上在运行期是常数。理论上而言，这个函数可能会影响全局变量，或者调用其他的非运行期(non-runtime)常数函数等。

constexpr 允许用户保证函数或是对象建构式是编译期常数。以上的例子可以被写成像是下面这样：

constexpr int GetFive() {return 5;}
 
int some_value[GetFive() + 5]；// 欲產生 10 個整數的陣列。合法的C++11寫法

GetFive 是个编译期常数。

constexpr 在函数可以做的事上面加上了非常严格的条件。首先，该函数的回返值类型不能为 void。第二点，函数的内容必须依照 "returnexpr" 的形式。第三点，在引数取代后，expr 必须是个常数表示式。这些常数表示式只能够调用其他被定义为 constexpr 的函数，或是其他常数表示式的数据变量。最后一点，有着这样标签的函数直到在该编译单元内被定义之前是不能够被调用的。

constexpr double forceOfGravity = 9.8;
constexpr double moonGravity = forceOfGravity / 6.0;

为了从用户自定类型(user-defined type)建构常数表示式的数据变量，建构式也可以被声明成 constexpr。与常数表示式函数一样，常数表示式的建构式必须在该编译单元内使用之前被定义。他必须有着空的函数本体。它必须用常数表示式初始化他的成员(member)。而这种类型的解构式应当是无意义的(trivial)，什么事都不做。

constexpr，这样可以让他们从常数表示式的函数以值传回。类型的任何成员函数，像是复制建构式、重载的运算符等等，只要他们符合常数表示式函数的定义，都可以被声明成constexpr。这使得编译器能够在编译期进行类型的复制、对他们施行运算等等。

对POD定义的修正

plain old data (POD)，必须遵守几条规则。有很好的理由使我们想让大量的类型符合这种定义，符合这种定义的类型能够允许产生与C兼容的对象布局(object layout)。然而，C++03的规则太严苛了。

当class/struct是极简的(trivial)、属于标准布局(standard-layout)，以及他的所有非静态(non-static)成员都是POD时，会被视为POD。

极简的默认建构式。这可以使用默认建构式语法，例如SomeConstructor() = default;
极简的复制建构式，可使用默认语法(default syntax)
极简的赋值运算符，可使用默认语法(default syntax)
极简的解构式，不可以是虚拟的(virtual)

只有非静态的(non-static)数据成员，且这些成员也是符合标准布局的类型
对所有non-static成员有相同的访问控制(public, private, protected)
没有虚函数
没有虚拟基类
只有符合标准布局的基类
没有和第一个定义的non-static成员相同类型的基类
若非没有带有non-static成员的基类，就是最底层(继承最末位)的类型没有non-static数据成员而且至多一个带有non-static成员的基类。基本上，在该类型的继承体系中只会有一个类型带有non-static成员。

核心语言建构期表现的加强

外部模板

C++11将会引入外部模板这一概念。C++已经有了强制编译器在特定位置开始实例化的语法：

template class std::vector<MyClass>;

extern template class std::vector<MyClass>;

不要在该编译单元内将该模板实例化。

核心语言使用性的加强

初始化列表

C++11将会把初始化列表的概念绑到类型上，称作std::initializer_list。这允许构造函数或其他函数像参数般地使用初始化列表。举例来说：

class SequenceClass
{
public:
  SequenceClass(std::initializer_list<int> list);
};

SequenceClass由一连串的整数构造，就像：

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

类型std::initializer_list<>是个第一级的C++11标准程序库类型。然而他们只能够经由C++11编译器通过{}语法的使用被静态地构造。这个列表一经构造便可复制，虽然这只是copy-by-reference。初始化列表是常数；一旦被创建，其成员均不能被改变，成员中的数据也不能够被变动。

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

vector<string> v = { "xyzzy", "plugh", "abracadabra" };

统一的初始化

SomeType var = {/*stuff*/};).

struct BasicStruct
{
 int x;
 float y;
};
 
struct AltStruct
{
  AltStruct(int _x, float _y) : x(_x), y(_y) {}
 
private:
  int x;
  float y;
};
 
BasicStruct var1{5, 3.2f};
AltStruct var2{2, 4.3f};

var1 的初始化的运作就如同 C-style 的初始化串行。每个公开的变量将被对应于初始化串行的值给初始化。隐式类型转换会在需要的时候被使用，这里的隐式类型转换不会产生范围缩限 (narrowing)。要是不能够转换，编译便会失败。(范围缩限 (narrowing)：转换后的类型无法表示原类型。如将 32-bit 的整数转换为 16-bit 或 8-bit 整数，或是浮点数转换为整数。)var2 的初始化则是简单地调用建构式。

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

const char * 参数初始化 std::string 。你也可以做像下面的事：

IdString GetString()
{
  return {"SomeName", 4}; // 注意這裡不需要明確的型別
}

TypeName(initializer_list<SomeType>);)，而初始化串行符合 sequence 建构式的类型，那么它比其他形式的建构式的优先权都来的高。C++11 版本的std::vector 将会有初始化串行建构式。这表示：

std::vector<int> theVec{4};

std::vector只接受一个尺寸参数产生相应尺寸 vector 的建构式。要使用这个建构式，用户必须直接使用标准的建构式语法。

类型推导

模板元编程的技巧，某物的类型，特别是函数定义明确的回返类型，就不容易表示。在这样的情况下，将中间结果存储于变量是件困难的事，可能会需要知道特定的元编程程序库的内部情况。

auto 关键字。这会依据该初始化子(initializer)的具体类型产生变量：

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

someStrangeCallableType 的类型就是模板函数 boost::bind 对特定引数所回返的类型。作为编译器语义分析责任的一部份，这个类型能够简单地被编译器决定，但用户要通过查看来判断类型就不是那么容易的一件事了。

otherVariable 的类型同样也是定义明确的，但用户很容易就能判别。它是个 int(整数)，就和整数字面值的类型一样。

decltype 能够被用来在编译期决定一个表示式的类型。举例：

int someInt;
decltype(someInt) otherIntegerVariable = 5;

decltype 和 auto 一起使用会更为有用，因为 auto 变量的类型只有编译器知道。然而 decltype 对于那些大量运用运算符重载和特化的类型的代码的表示也非常有用。

auto 对于减少冗赘的代码也很有用。举例而言，程序员不用写像下面这样：

for (vector<int>::const_iterator itr = myvec.cbegin(); itr != myvec.cend(); ++itr)

for (auto itr = myvec.cbegin(); itr != myvec.cend(); ++itr)

typedef 是一个减少代码的好方法。

decltype 所表示的类型可以和 auto 推导出来的不同。

#include <vector>
 
int main()
{
  const std::vector<int> v(1);
  auto a = v[0]；// a 為 int 型別
  decltype（v[0]) b = 0;   // b 為 const int& 型別，即
                      // std::vector<int>::operator[]（size_type）const 的回返型別
  auto c = 0;         // c 為 int 型別
  auto d = c;         // d 為 int 型別      
  decltype(c) e;      // e 為 int 型別，c 實體的型別 
  decltype((c)) f = e; // f 為 int& 型別，因為（c）是左值
  decltype(0) g;      // g為int型別，因為0是右值
}

以范围为基础的 for 循环

迭代器 (iterator) 也能定义一个范围。这些概念以及操作的算法，将被并入 C++11 标准程序库。不过 C++11 将会以语言层次的支持来提供范围概念的效用。

for 述句将允许简单的范围迭代：

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

for 述句的第一部份定义被用来做范围迭代的变量，就像被声明在一般 for 循环的变量一样，其作用域仅只于循环的范围。而在":"之后的第二区块，代表将被迭代的范围。这样一来，就有了能够允许 C-style 数组被转换成范围概念的概念图。这可以是std::vector，或是其他符合范围概念的对象。

Lambda函数与表示式

sort 和 find，用户经常希望能够在算法函数调用的附近定义一个临时的述部函数(又称谓词函数，predicate function)。由于语言本身允许在函数内部定义类型，可以考虑使用函数对象，然而这通常既麻烦又冗赘，也阻碍了代码的流程。此外，标准 C++ 不允许定义于函数内部的类型被用于模板，所以前述的作法是不可行的。

lambda 的支持可以解决上述问题。

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

decltype(x+y)。只有在 lambda 函数符合"return expression"的形式下，它的回返类型才能被忽略。在前述的情况下，lambda 函数仅能为一个述句。

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

z 被创建用来存储中间结果。如同一般的函数，z 的值不会保留到下一次该不具名函数再次被调用时。

void )，其回返类型可被完全忽略。

闭包)。

[]  // 沒有定義任何變數。使用未定義變數會導致錯誤。
[x, &y] // x 以傳值方式傳入(預設)，y 以傳參考方式傳入。
[&]   // 任何被使用到的外部變數皆隱式地以參考方式加以引用。
[=]   // 任何被使用到的外部變數皆隱式地以傳值方式加以引用。
[&, x]   // x 顯示地以傳值方式加以引用。其餘變數以參考方式加以引用。
[=, &z]   // z 顯示地以參考方式加以引用。其餘變數以傳值方式加以引用。

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

someList 元素的总和并将其印出。变量 total 是 lambda 函数 closure 的一部分，同时它以引用方式被传递入谓词函数，因此它的值可被 lambda 函数改变。

&，则代表变量以传值的方式传入 lambda 函数。让用户可以用这种表示法明确区分变量传递的方法：传值，或是传参考。由于 lambda 函数可以不在被声明的地方就地使用(如置入std::function 对象中)；这种情况下，若变量是以传参考的方式链接到 closure 中，是无意义甚至是危险的行为。

[&] 声明 lambda 函数，代表所有引用到 stack 中的变量，都是以参考的方式传入，不必一一显式指明：

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

若使用 [=] 而非 [&]，则代表所有的参考的变量都是传值使用。

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

total 是传参考的方式传入 lambda 函数，而 value 则是传值。

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

SomeType 的成员函数内部时才能运作。

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

this在 lambda 函数即为可见。

std::function 去获取 lambda 的值。使用 auto 关键字让我们能够存储 lambda 函数：

auto myLambdaFunc = [this]() { this->SomePrivateMemberFunction(); };
auto myOnheapLambdaFunc = new auto([=] { /*...*/ });

std::reference_closure<R(P)>，其中 R(P) 是包含回返类型的函数签名。比起由 std::function 获取而来，这会是lambda函数更有效率的代表：

std::reference_closure<void()> 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)的型別

Ret 的类型由 LHS与RHS相加之后的结果的类型来决定。即使使用 C++11 新加入的 decltype 来声明 AddingFunc 的返回类型，依然不可行。

template< typename LHS, typename RHS> 
  decltype(lhs+rhs) AddingFunc(const LHS &lhs, const RHS &rhs) {return lhs + rhs;} //不合法的 C++11

lhs 及 rhs 在定义前就出现了。直到剖析器解析到函数原型的后半部，lhs 与 rhs 才是有意义的。

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

struct SomeStruct
{
  auto FuncName(int x, int y) -> int;
};
 
auto SomeStruct::FuncName(int x, int y) -> int
{
  return x + y;
}

auto 的使用与其在自动类型推导代表不同的意义。

对象建构的改良

C++11允许建构式调用其他建构式，这种做法称作委托或转接(delegation)。仅仅只需要加入少量的代码，就能让数个建构式之间达成功能复用(reuse)。Java以及C#都有提供这种功能。C++11 语法如下：

class SomeType {
  int number;
  string name;
  SomeType( int i, string& s ) : number(i), name(s){}
public:
  SomeType( )           : SomeType( 0, "invalid" ){}
  SomeType( int i )     : SomeType( i, "guest" ){}
  SomeType( string& s ) : SomeType( 1, s ){ PostInit(); }
};

PostInit())。若基底类型使用了转接建构式，则派生类的建构式会在"所有"基底类型的建构式都完成后，才会开始运行。

语法如下：

class BaseClass
{
public:
  BaseClass(int iValue);
};
 
class DerivedClass : public BaseClass
{
public:
  using BaseClass::BaseClass;
};

DerivedClass(int) 的建构式。同时也因为 DerivedClass 有了一个继承而来的建构式，所以不会有默认建构式。

class SomeClass
{
public:
  SomeClass() {}
  explicit SomeClass(int iNewValue) : iValue(iNewValue) {}
 
private:
  int iValue = 5;
};

iValue的初始值，则会采用类定义中的成员初始化，令iValue初值为5。在上例中，无参数版本的建构式，iValue便采用默认所定义的值；而带有一个整数参数的建构式则会以指定的值完成初始化。

显式虚函数重载

struct Base {
    virtual void some_func();
};
 
struct Derived : Base {
    void some_func();
};

Derived::some_func 的真实意图为何? 程序员真的试图重载该虚函数，或这只是意外? 这也可能是 base 的维护者在其中加入了一个与Derived::some_func 同名且拥有相同签名的虚函数。

C++11 将加入支持用来防止上述情形产生，并在编译期而非运行期捕获此类错误。为保持向后兼容，此功能将是选择性的。其语法如下:

struct Base {
    virtual void some_func(float);
};
 
struct Derived : Base {
    virtual void some_func(int) override;   // 錯誤格式: Derive::some_func 並沒有 override Base::some_func
    virtual void some_func(float) override; // OK：顯式改寫
};

override 的虚拟函数，有相同的函数签名(signature)；若不存在，则会回报错误。

final，用来避免类型被继承，或是基底类型的函数被改写：

struct Base1 final { };
 
struct Derived1 : Base1 { }; // 錯誤格式: class Base1 以標明為 final
 
struct Base2 {
    virtual void f() final;
};
 
struct Derived2 : Base2 {
    void f(); // 錯誤格式: Base2::f 以標明為 final
};

virtual void f() final;声明一新的虚拟函数，同时也表明禁止派生函数改写原虚拟函数。

override与final都不是语言关键字(keyword)，只有在特定的位置才有特别含意，其他地方仍旧可以作为一般指示字(identifier)使用。

空指针

0 带有常数及空指针的双重身分。 C 使用 preprocessor macroNULL 表示空指针，让 NULL 及 0 分别代表空指针及常数 0。 NULL 可被定义为 ((void*)0) 或是 0。

void* 隐式转换为其他类型的指针。为了使代码 char* c = NULL; 能通过编译，NULL 只能定义为0。这样的决定使得函数重载无法区分代码的语义：

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

NULL 应当定义为 0，所以foo(NULL); 将会调用 foo(int)，这并不是程序员想要的行为，也违反了代码的直观性。0 的歧义在此处造成困扰。

nullptr，将空指针和整数 0 的概念拆开。 nullptr 的类型为nullptr_t，能隐式转换为任何指针或是成员指针的类型，也能和它们进行相等或不等的比较。而nullptr不能隐式转换为整数，也不能和整数做比较。

0 仍可代表空指针常数。

char* pc = nullptr;     // OK
int * pi = nullptr;     // OK
int    i = nullptr;     // error
 
foo(nullptr);           // 呼叫 foo(char *)

强类型枚举

enum Side{ Right, Left }; 和 enum Thing{ Wrong, Right }; 不能一起使用。)

enum class 的语法来声明：

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

Enumeration::Val4 == 101 会触发编译期错误)。

int，但也可以指定其他类型：

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

Enum2::Val1是有意义的表示法，而单独的Val1 则否。

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

Val1 定义于 Enum3 的枚举范围中(Enum3::Val1)，但为了兼容性， Val1 仍然可以于一般的范围中单独使用。

enum Enum1;                     // 不合法的 C++ 與 C++11; 無法判別大小
enum Enum2 : unsigned int;      // 合法的 C++11
enum class Enum3;               // 合法的 C++11，列舉類別使用預設型別 int 
enum class Enum4: unsigned int; // 合法的 C++11
enum Enum2 : unsigned short;    // 不合法的 C++11，Enum2 已被聲明為 unsigned int

角括号

template<bool bTest> SomeType;
std::vector<SomeType<1>2>> x1;   // 解讀為 std::vector of "SomeType<true> 2>"，
                                 // 非法的表示式， 整數 1 被轉換為 bool 型別 true
std::vector<SomeType<(1>2)>> x1; // 解讀為 std::vector of "SomeType<false>",
                                 // 合法的 C++11 表示式， (1>2) 被轉換為 bool 型別 false

显式类型转换子

explicit 修饰字。但是，在编译器对对象调用隐式类型转换的部分，则没有任何着墨。比方说，一个 smart pointer 类型具有一个operator bool()，被定义成若该 smart pointer 保管任何资源或指针，则传回 true，反之传回 false。遇到这样的代码时：if(smart_ptr_variable)，编译器可以借由operator bool() 隐式转换成布林值，和测试原生指针的方法一样。但是这类隐式转换同样也会发生在非预期之处。由于 C++ 的 bool 类型也是算数类型，能隐式换为整数甚至是浮点数。拿对象转换出的布林值做布林运算以外的数学运算，往往不是程序员想要的。

explicit 修饰符也能套用到类型转换子上。如同建构式一样，它能避免类型转换子被隐式转换调用。但 C++11 特别针对布林值转换提出规范，在if 条件式，循环，逻辑运算等需要布林值的地方，编译器能为符合规范的表示式调用用户自定的布林类型转换子。

模板的别名

在标准 C++，typedef 可定义模板类型一个新的类型名称，但是不能够使用 typedef 来定义模板的别名。举例来说：

template< typename first, typename second, int third>
class SomeType;
 
template< typename second>
typedef SomeType<OtherType, second, 5> TypedefName; // 在C++是不合法的

为了定义模板的别名，C++11 将会增加以下的语法：

template< typename first, typename second, int third>
class SomeType;
 
template< typename second>
using TypedefName = SomeType<OtherType, second, 5>;

using 也能在 C++11 中定义一般类型的别名，等同 typedef：

typedef void (*PFD)(double);            // 傳統語法
using PFD = void (*)(double);           // 新增語法

无限制的unions

[1]

struct point
{
  point() {}
  point(int x, int y): x_(x), y_(y) {}
  int x_, y_;
};
union
{
  int z;
  double w;
  point p;  // 不合法的 C++; point 有一 non-trivial 建構式
            // 合法的 C++11
};

核心语言能力的提升

变长参数模板

[note 1]； C++11 加入新的表示法，允许任意个数、任意类别的模板参数，不必在定义时将参数的个数固定。

template<typename... Values> class tuple;

tuple 的对象，能接受不限个数的 typename 作为它的模板形参：

class tuple<int, std::vector<int>, std::map<std::string, std::vector<int>>> someInstanceName;

class tuple<> someInstanceName 这样的定义也是可以的。

template<typename First, typename... Rest> class tuple;

...表示不定长模板参数外，函数参数也使用同样的表示法代表不定长参数。

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

Params 与 parameters 分别代表模板与函数的变长参数集合，称之为参数包 (parameter pack)。参数包必须要和运算符"..."搭配使用，避免语法上的歧义。

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(const char* s, T value, Args... args)
{
  while (*s)
  {
    if (*s == '%' && *(++s) != '%')
    {
      std::cout << value;
      printf(*s ? ++s : s, args...); // 即便当 *s == 0 也会产生调用，以检测更多的类型参数。
      return;
    }
    std::cout << *s++;
  }
  throw std::logic_error("extra arguments provided to printf");
}

args... 在调用时，会被模板类别匹配分离为 T value和 Args... args。直到 args... 变为空参数，则会与简单的printf(const char *s) 形成匹配，退出递归。

Args...：

template<>
struct count<> {
    static const int value = 0;
};
 
template<typename T, typename... Args>
struct count<T, Args...> { 
    static const int value = 1 + count<Args...>::value;
};

变长参数模板中的值进行迭代，但使用运算符"..."还能在代码各处对参数包施以更复杂的展开操作。举例来说，一个模板类的定义：

template <typename... BaseClasses> class ClassName : public BaseClasses...
{
public:
 
   ClassName (BaseClasses&&... baseClasses) : BaseClasses(baseClasses)... {}
}

BaseClasses... 会被展开成类型 ClassName 的基底类； ClassName 的构造函数需要所有基类的左值引用，而每一个基类都是以传入的参数做初始化 (BaseClasses(baseClasses)...)。

template<typename TypeToConstruct> struct SharedPtrAllocator
{
  template<typename... Args> std::shared_ptr<TypeToConstruct> ConstructWithSharedPtr(Args&&... params)
  {
    return tr1::shared_ptr<TypeToConstruct>(new TypeToConstruct(std::forward<Args>(params)...));
  }
}

parms 可展开为 TypeToConstruct 构造函数的形参。表达式std::forward<Args>(params) 可将形参的类别信息保留(利用右值引用)，传入构造函数。而运算符"..."则能将前述的表达式套用到每一个参数包中的参数。这种工厂函数(factory function)的手法，使用std::shared_ptr 管理配置对象的存储器，避免了不当使用所产生的存储器泄漏(memory leaks)。

template<typename ...Args> struct SomeStruct
{
  static const int size = sizeof...(Args);
}

SomeStruct<Type1, Type2>::size 是 2，而 SomeStruct<>::size 会是 0。 (sizeof...(Args) 的结果是编译期常数。)

新的字符串字面值

const char数组。第二种有着前标L，产生以空字符结尾的const wchar_t数组，其中wchar_t代表宽字符。对于Unicode编码的支持尚付阙如。

char的定义被修改为其大小至少能够存储UTF-8的8位编码，并且能够容纳编译器的基本字符集的任何成员。

UTF-8，UTF-16，和UTF-32。除了上述char定义的变更， C++11将增加两种新的字符类别：char16_t和char32_t。它们各自被设计用来存储UTF-16 以及UTF-32的字符。

u8"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[]。

u8"This is a Unicode Character: u2018."
u"This is a bigger Unicode Character: u2018."
U"This is a Unicode Character: u2018."

有时候避免手动将字符串换码也是很有用的，特别是在使用XML文件或是一些脚本语言的字面值的时候。 C++11将提供raw(未加工的)字符串字面值：

在第一个例子中，任何包含在( )括号(标准已经从[]改为())当中的都是字符串的一部分。其中"和字符不需要经过跳脱(escaped)。在第二个例子中，"delimiter(开始字符串，只有在遇到)delimiter"才代表退出。其中delimiter可以是任意的字符串，能够允许用户在未加工的字符串字面值中使用)字符。
 未加工的字符串字面值能够和宽字面值或是Unicode字面值结合：

u8R"XXX(I'm a "raw UTF-8" string.)XXX"
uR"*@(This is a "raw UTF-16" string.)*@"
UR"(This is a "raw UTF-32" string.)"

用户自定义的字面值

double类别字面值。然而，加上"f"的后置，像是"12.5f"，则会产生数值为12.5的float类别字面值。在C++规范中字面值的后置是固定的，而且C++代码并不允许创立新的字面后置。

字面值转换可以区分为两个阶段：转换前与转换后 (raw 与 cooked)。转换前的字面值指特定字符串行，而转换后的字面值则代表另一种类别。如字面值1234，转换前的字面值代表'1', '2', '3', '4' 的字符串行；而转换后，字面值代表整数值1234。另外，字面值0xA转换前是串行'0', 'x', 'A'；转换后代表整数值 10。

多任务存储器模型

参见：内存模型(computing)

多线程编程的支持。

线程支持。

编译器的优化和存储器一致性的问题。

thread-local的存储期限

新的thread_local存储期限(在现行的static、dynamic和automatic之外)被作为下个标准而提出。线程区域的存储期限会借由存储指定字thread_local来表明。

使用或禁用对象的默认函数

operator=) 以及解构式(destructor)。另外，C++也为所有的类定义了数个全局运算符(如operator delete及operator new)。当用户有需要时，也可以提供自定义的版本改写上述的函数。

此外，编译器产生的默认构造函数与用户定义的构造函数无法同时存在。若用户定义了任何构造函数，编译器便不会生成默认构造函数；但有时同时带有上述两者提供的构造函数也是很有用的。目前并没有显式指定编译器产生默认构造函数的方法。

struct SomeType
{
  SomeType() = default; // 預設建構式的顯式聲明
  SomeType(OtherType value);
};

struct NonCopyable
{
  NonCopyable & operator=(const NonCopyable&) = delete;
  NonCopyable(const NonCopyable&) = delete;
  NonCopyable() = default;
};

operator new配置存储器：

struct NonNewable
{
  void *operator new(std::size_t) = delete;
};

= delete的声明(同时也是定义)也能适用于非自带函数，禁止成员函数以特定的形参调用：

struct NoDouble
{
  void f(int i);
  void f(double) = delete;
};

f()，将会引发编译期错误，编译器不会自动将 double 形参转型为 int 再调用f()。若要彻底的禁止以非int的形参调用f()，可以将= delete与模板相结合：

struct OnlyInt
{
  void f(int i);
  template<class T> void f(T) = delete;
};

`long long int`类别

long long int 是保有至少 64 个有效比特的整数类别。C99 将这个类别引入了标准 C 中，目前大多数的 C++ 编译器也支持这种类别。C++11 将把这种类别添加到标准 C++ 中。

静态assertion

assert以及前处理器指令#error。但是这两者对于模版来说都不合用。宏在运行期测试assertion，而前处理器指令则在前置处理时测试assertion，这时候模版还未能实例化。所以它们都不适合来测试牵扯到模板参数的相关特性。

static_assert。声明采取以下的形式：

constant-expression, error-message ) ;

static_assert的例子：

static_assert( 3.14 < GREEKPI && GREEKPI < 3.15, "GREEKPI is inaccurate!" ) ;

template< class T >
struct Check
{
  static_assert( sizeof(int) <= sizeof(T), "T is not big enough!" ) ;
} ;

false时，编译器会产生相应的错误信息。第一个例子是前处理器指令#error的替代方案；第二个例子会在每个模板类型Check生成时检查assertion。

long long类别的大小比int还大，这是标准所不保证的。这种假设在大多数的系统以及编译器上是有效的，但不是全部。

允许sizeof运算符作用在类型的数据成员上，无须明确的对象

sizeof可以作用在对象以及类别上。但是不能够做以下的事：

struct SomeType { OtherType member; };
 
sizeof(SomeType::member); // 直接由SomeType型別取得非靜態成員的大小，C++03不行。 C++11允許

OtherType的大小。C++03并不允许这样做，所以会引发编译错误。C++11将会允许这种使用。

垃圾回收机制

C++标准程序库的变更

程序库有数个新机能。其中许多可以在现行标准下实现，而另外一些则依赖于(或多或少)新的 C++11 核心语言机能。

C++标准委员会的Library Technical Report (称TR1)，于2005年发布。各式 TR1 的完全或部分实现目前提供在命名空间std::tr1。C++11 会将其移置于命名空间 std 之下。

标准库组件上的升级

move 构造函数都能优化前述动作。在适当的情况下，标准库组件将可利用 C++11 的语言特性进行升级。这些语言特性包含但不局限以下所列:

右值引用和其相关的

move

支持 UTF-16 编码，和 UTF-32 字符集
变长参数模板 (与右值引用搭配可以达成完美转送 (perfect forwarding))
编译期常数表达式
Decltype
显式类别转换子
使用或禁用对象的默认函数

此外，自 C++ 标准化之后已经过许多年。现有许多代码利用到了标准库; 这同时揭露了部份的标准库可以做些改良。其中之一是标准库的存储器配置器 (allocator)。C++11将会加入一个基于作用域模型的存储器配置器来支持现有的模型。

线程支持

C++11 标准库会提供类型 thread (std::thread)。若要运行一个线程，可以创建一个类型thread 的实体，其初始参数为一个函数对象，以及该函数对象所需要的参数。通过成员函数 std::thread::join() 对线程会合的支持，一个线程可以暂停直到其它线程运行完毕。若有底层平台支持，成员函数std::thread::native_handle() 将可提供对原生线程对象运行平台特定的操作。

std::mutex，std::recursive_mutex 等等) 和条件变量 (std::condition_variable和std::condition_variable_any)。前述同步机制将会以 RAII 锁 (std::lock_guard 和std::unique_lock) 和锁相关算法的方式呈现，以方便程序员使用。

对于线程间异步的传输，C++11 标准库加入了以及 std::packaged_task 用来包装一个会传回异步结果的函数调用。因为缺少结合数个 future 的功能，和无法判定一组 promise 集合中的某一个 promise 是否完成，futures 此一提案因此而受到了批评。

std::async 提供了一个简便方法以用来运行线程，并将线程绑定在 std::future。用户可以选择一个工作是要多个线程上异步的运行，或是在一个线程上运行并等待其所需要的数据。默认的情况，实现可以根据底层硬件选择前面两个选项的其中之一。另外在较简单的使用情形下，实现也可以利用线程池提供支持。

多元组类别

多元组是一个内由数个异质对象以特定顺序排列而成的数据结构。多元组可被视为是struct 其数据成员的一般化。

变长参数模板。TR1 版本的多元组类别对所能容纳的对象个数会因实现而有所限制，且实现上需要用到大量的宏技巧。相反的，C++11 版本的多元组型基本上于对其能容纳的对象个数没有限制。然而，编译器对于模板实体化的递归深度上的限制仍旧影响了元组类别所能容纳的对象个数 (这是无法避免的情况); C++11 版本的多元组型不会把这个值让用户知道。

变长参数模板，多元组类别的声明可以长得像下面这样:

template <class ...Types> class tuple;

typedef std::tuple <int, double, long &, const char *> test_tuple;
long lengthy = 12;
test_tuple proof (18, 6.5, lengthy, "Ciao!");
 
lengthy = std::get<0>(proof);  // 將 proof 的第一個元素賦值給 lengthy (索引從零開始起跳)
std::get<3>(proof) = " Beautiful!";  // 修改 proof 的第四個元素

proof 而不指定其内容，前提是 proof 里的元素其类别定义了默认构造函数 (default constructor)。此外，以一个多元组类别对象赋值给另一个多元组类别对象是可能的，但只有在以下情况: 若这两个多元组类别相同，则其内含的每一个元素其类别都要定义拷贝构造函数 (copy constructor); 否则的话，赋值操作符右边的多元组其内含元素的类别必须能转换成左边的多元组其对应的元素类别，又或者赋值操作符左边的多元组其内含元素的类别必须定义适当的构造函数。

typedef std::tuple< int , double, string       > tuple_1 t1;
typedef std::tuple< char, short , const char * > tuple_2 t2 ('X', 2, "Hola!");
t1 = t2 ;  // 可行。前兩個元素會作型別轉換，
           // 第三個字串元素可由 'const char *' 所建構。

std::tuple_size<T>::value 回传多元组 T 内的元素个数，
std::tuple_element<I, T>::type 回传多元组 T 内的第 I 个元素的类别

散列表

因为标准委员会还看不到有任何机会能将开放寻址法标准化，所以目前冲突仅能通过链地址法 (linear chaining) 的方式处理。为避免与第三方库发展的散列表发生名称上的冲突，前缀将采用 unordered 而非 hash。

散列表类型有无关系值接受相同键值 std::unordered_set 否否 std::unordered_multiset 否是 std::unordered_map 是否 std::unordered_multimap 是是

insert, erase, begin, end。

<functional> 做些许扩展，并引入<unordered_set>和 <unordered_map> 两个头文件。对于其它现有的类型不会有任何修改。同时，散列表也不会依赖其它标准库的扩展功能。

正则表达式

正则表达式。有鉴于这些算法的使用非常普遍，因此标准程序库将会包含他们，并使用各种面向对象语言的潜力。

<regex>头文件，由几个新的类型所组成:

正则表达式(样式)以样板类

basic_regex

样式匹配的情况以样板类 match_results 的实体表示

regex_search 是用来搜索样式; 若要搜索并取代，则要使用函数 regex_replace，该函数会回传一个新的字符串。算法regex_search 和regex_replace 接受一个正则表达式(样式)和一个字符串，并将该样式匹配的情况存储在 struct match_results。

match_results 的使用情况:

const char *reg_esp = "[ ,.\t\n;:]" ;  // 分隔字元列表
 
std::regex rgx(reg_esp) ;  // 'regex' 是樣板類 'basic_regex' 以型別為 'char' 
                           //  的參數具現化的實體
std::cmatch match ;  // 'cmatch' 是樣板類 match_results' 以型別為 'const char *'
                     // '的參數具現化的實體
const char *target = "Polytechnic University of Turin " ;
 
// 辨別所有被分隔字元所分隔的字
if( regex_search( target, match, rgx ) )
{
  // 若此種字存在
 
  const size_t n = match.size();
  for( size_t a = 0 ; a < n ; a++ )
  {
    string str( match[a].first, match[a].second ) ;
    cout << str << "
" ;
  }
}

raw string可以用来避免此一问题。库 <regex> 不需要改动到现有的头文件，同时也不需要对现有的语言作扩展。

通用智能指针

shared_ptr 是一引用计数 (reference-counted) 指针，其行为与一般 C++ 指针即为相似。在 TR1 的实现中，缺少了一些一般指针所拥有的特色，像是别名或是指针运算。C++11新增前述特色。

shared_ptr 只有在已经没有任何其它 shared_ptr 指向其原本所指向对象时，才会销毁该对象。

weak_ptr 指向的是一个被 shared_ptr 所指向的对象。该 weak_ptr 可以用来决定该对象是否已被销毁。weak_ptr 不能被解参考; 想要访问其内部所保存的指针，只能通过shared_ptr。有两种方法可达成此目的。第一，类型 shared_ptr 有一个以 weak_ptr 为参数的构造函数。第二，类型weak_ptr 有一个名为lock 的成员函数，其返回值为一个 shared_ptr。weak_ptr 并不拥有它所指向的对象，因此不影响该对象的销毁与否。

shared_ptr 的使用样例:

int main( )
{
    std::shared_ptr<double> p_first(new double) ;
 
    {
        std::shared_ptr<double> p_copy = p_first ;
 
        *p_copy = 21.2;
 
    }  // 此時 'p_copy' 會被銷毀，但動態分配的 double 不會被銷毀。
 
    return 0;  // 此時 'p_first' 會被銷毀，動態分配的 double 也會被銷毀 (因為不再有指針指向它)。
}

auto_ptr 将会被 C++ 标准所废弃，取而代之的是 unique_ptr。 unique_ptr 提供auto_ptr 大部份特性，唯一的例外是 auto_ptr 的不安全、隐性的左值搬移。不像 auto_ptr，unique_ptr 可以存放在 C++11 提出的那些能察觉搬移动作的容器之中。

可扩展的随机数功能

rand函数来生成伪随机数。不过其算法则取决于各程序库开发者。 C++ 直接从 C 继承了这部份，但是 C++11 将会提供产生伪乱数的新方法。

不同于 C 标准库的 rand; 针对产生乱数的机制，C++11 将会提供三种算法，每一种算法都有其强项和弱项:

样板类	整数/浮点数	品质	速度	状态数*
linear_congruential	整数	低	中等^{[来源请求]}	1
subtract_with_carry	两者皆可	中等	快	25
mersenne_twister	整数	佳	快	624

离散型均匀分布)，bernoulli_distribution (伯努利分布)，geometric_distribution (几何分布)， poisson_distribution (卜瓦松分布)，binomial_distribution (二项分布)，uniform_real_distribution (离散型均匀分布)， exponential_distribution (指数分布)，normal_distribution (正态分布) 和 gamma_distribution (伽玛分布)。

std::uniform_int_distribution<int> distribution(0, 99); // 以離散型均勻分佈方式產生 int 亂數，範圍落在 0 到 99 之間
std::mt19937 engine; // 建立亂數生成引擎
auto generator = std::bind(distribution, engine); // 利用 bind 將亂數生成引擎和分布組合成一個亂數生成物件
int random = generator();  // 產生亂數

包装引用

reference_wrapper 得到一个包装引用 (wrapper reference)。包装引用类似于一般的引用。对于任意对象，我们可以通过模板类ref 得到一个包装引用 (至于 constant reference 则可通过 cref 得到)。

// 此函數將得到形參 'r' 的引用並對 r 加一
void f (int &r)  { r++; }
 
// 樣板函式
template<class F, class P> void g (F f, P t)  { f(t); }
 
int main()
{
    int i = 0 ;
    g (f, i) ;  // 實體化 'g<void (int &r), int>' 
                // 'i' 不會被修改
    std::cout << i << std::endl;  // 輸出 0
 
    g (f, std::ref(i));  // 實體化 'g<void(int &r),reference_wrapper<int>>'
                         // 'i' 會被修改
    std::cout << i << std::endl;  // 輸出 1
}

<utility> 之中，而非通过扩展语言来得到这项功能。

多态函数对象包装器

通过以下例子，我们可以了解多态函数对象包装器的特性:

std::function<int (int, int)> func;  // 利用樣板類 'function'
                                     // 建立包裝器
std::plus<int> add;  // 'plus' 被宣告為 'template<class T> T plus( T, T ) ;'
                     //  因此 'add' 的型別是 'int add( int x, int y )'
func = &add;  // 可行。'add' 的型參和回返值型別與 'func' 相符
 
int a = func (1, 2);  // 注意: 若包裝器 'func' 沒有參考到任何函式
                      // 會丟出 'std::bad_function_call' 例外
 
std::function<bool (short, short)> func2 ;
if(!func2) { // 因為尚未賦值與 'func2' 任何函式，此條件式為真
 
    bool adjacent(long x, long y);
    func2 = &adjacent ;  // 可行。'adjacent' 的型參和回返值型別可透過型別轉換進而與 'func2' 相符
 
    struct Test {
        bool operator()(short x, short y);
    };
    Test car;
    func = std::ref(car);  // 樣板類 'std::ref' 回傳一個 struct 'car'
                           // 其成員函式 'operator()' 的包裝
}
func = func2;  // 可行。'func2' 的型參和回返值型別可透過型別轉換進而與 'func' 相符

function 将定义在头文件 <functional>，而不须更动到语言本身。

用于元编程的类别属性

元编程。这种行为可以发生在编译或运行期。C++ 标准委员会已经决定引进一组由模板实现的库，程序员可利用此一库于编译期进行元编程。

template<int B, int N>
struct Pow {
    // recursive call and recombination.
    enum{ value = B*Pow<B, N-1>::value };
};
 
template< int B > 
struct Pow<B, 0> { 
    // ''N == 0'' condition of termination.
    enum{ value = 1 };
};
int quartic_of_three = Pow<3, 4>::value;

泛型，这使得代码能更紧凑和有用。然而，算法经常会需要目前作用的数据类别的信息。这种信息可以通过类别属性 (type traits) 于模板实体化时将该信息萃取出来。

<type_traits> 描述了我们能识别那些特征。

algorithm.do_it)。

// 演算法一
template< bool B > struct Algorithm {
    template<class T1, class T2> int do_it (T1 &, T2 &)  { /*...*/ }
};
 
// 演算法二
template<> struct Algorithm<true> {
    template<class T1, class T2> int do_it (T1, T2)  { /*...*/ }
};
 
// 根據給定的型別，實體化之後的 'elaborate' 會選擇演算法一或二
template<class T1, class T2> 
int elaborate (T1 A, T2 B) 
{
    // 若 T1 為 int 且 T1 為 float，選用演算法二
    // 其它情況選用演算法一
    return Algorithm<std::is_integral<T1>::value && std::is_floating_point<T2>::value>::do_it( A, B ) ;
}

<type_transform> 的类别属性，自定的类别转换是可能的 (在模板中，static_cast 和const_cast 无法适用所有情况)。

此种编程技巧能写出优美、简洁的代码; 然而除错是此种编程技巧的弱处: 编译期的错误信息让人不知所云，运行期的除错更是困难。

用于计算函数对象返回类型的统一方法

struct Clear {
    int    operator()(int);     // 參數與回返值的型別相同
    double operator()(double);  // 參數與回返值的型別相同
};
 
template <class Obj> 
class Calculus {
public:
    template<class Arg> Arg operator()(Arg& a) const
    {
        return member(a);
    }
private:
    Obj member;
};

Calculus<Clear>，Calculus 的仿函数其回返值总是和 Clear 的仿函数其回返值具有相同的类别。然而，若给定类型Confused:

struct Confused {
    double operator()(int);     // 參數與回返值的型別不相同
    int    operator()(double);  // 參數與回返值的型別不相同
};

int 和 double 之间的转换，编译器将给出警告。

std::result_of 被TR1 引进且被 C++11 所采纳，可允许我们决定和使用一个仿函数其回返值的类别。底下，CalculusVer2 对象使用std::result_of 对象来推导其仿函数的回返值类别:

template< class Obj >
class CalculusVer2 {
public:
    template<class Arg>
    typename std::result_of<Obj(Arg)>::type operator()(Arg& a) const
    { 
        return member(a);
    }
private:
    Obj member;
};

CalculusVer2<Confused> 其仿函数时，不会有类别转换，警告或是错误发生。

std::result_of 在 TR1 和 C++11 有一点不同。TR1 的版本允许实现在特殊情况下，可以无法决定一个函数调用其回返值类别。然而，因为 C++11支持了decltype，实现被要求在所有情况下，皆能计算出回返值类别。

已被移除或是不包含在 C++11 标准的特色

模块
十进制类别
数学专用函数

Concepts (概念 (C++))
更完整或必备的垃圾回收支持
Reflection
Macro Scopes

被移除或废弃的特色

循序点 (

sequence point

export
exception specifications
std::auto_ptr 被std::unique_ptr 取代。
仿函数基类别 (std::unary_function, std::binary_function)、函数指针适配器、类型成员指针适配器以及绑定器 (binder)。

编译器实现

关系项目

C++ Technical Report 1

C11，C 编程语言的最新标准
C++1y，计划中的 C++ 标准

参考资料

^N2544

C++标准委员会文件

Doc No.

1401

: Jan Kristoffersen (2002年10月21日)

Atomic operations with multi-threaded environments

^ Doc No.1402: Doug Gregor (2002年10月22日) A Proposal to add a Polymorphic Function Object Wrapper to the Standard Library
^ Doc No.1403: Doug Gregor (2002年11月8日) Proposal for adding tuple types into the standard library
^ Doc No.1424: John Maddock (2003年3月3日) A Proposal to add Type Traits to the Standard Library
^ Doc No.1429: John Maddock (2003年3月3日) A Proposal to add Regular Expression to the Standard Library
^ Doc No.1449: B. Stroustrup, G. Dos Reis, Mat Marcus, Walter E. Brown, Herb Sutter (2003年4月7日)Proposal to add template aliases to C++
^ Doc No.1450: P. Dimov, B. Dawes, G. Colvin (2003年3月27日) A Proposal to Add General Purpose Smart Pointers to the Library Technical Report (Revision 1)
^ Doc No.1452: Jens Maurer (April 10, 2003) A Proposal to Add an Extensible Random Number Facility to the Standard Library (Revision 2)
^ Doc No.1453: D. Gregor, P. Dimov (April 9, 2003) A proposal to add a reference wrapper to the standard library (revision 1)
^ Doc No.1454: Douglas Gregor, P. Dimov (April 9, 2003) A uniform method for computing function object return types (revision 1)
^ Doc No.1456: Matthew Austern (April 9, 2003) A Proposal to Add Hash Tables to the Standard Library (revision 4)
^ Doc No.1471: Daveed Vandevoorde (April 18, 2003) Reflective Metaprogramming in C++
^ Doc No.1676: Bronek Kozicki (September 9, 2004) Non-member overloaded copy assignment operator
^ Doc No.1704: Douglas Gregor, Jaakko Järvi, Gary Powell (September 10, 2004) Variadic Templates: Exploring the Design Space
^ Doc No.1705: J. Järvi, B. Stroustrup, D. Gregor, J. Siek, G. Dos Reis (September 12, 2004)Decltype (and auto)
^ Doc No.1717: Francis Glassborow, Lois Goldthwaite (November 5, 2004) explicit class and default definitions
^ Doc No.1719: Herb Sutter, David E. Miller (October 21, 2004) Strongly Typed Enums (revision 1)
^ Doc No.1720: R. Klarer, J. Maddock, B. Dawes, H. Hinnant (October 20, 2004) Proposal to Add Static Assertions to the Core Language (Revision 3)
^ Doc No.1757: Daveed Vandevoorde (January 14, 2005) Right Angle Brackets (Revision 2)
^ Doc No.1811: J. Stephen Adamczyk (April 29, 2005) Adding the long long type to C++ (Revision 3)
^ Doc No.1815: Lawrence Crowl (May 2, 2005) ISO C++ Strategic Plan for Multithreading
^ Doc No.1827: Chris Uzdavinis, Alisdair Meredith (August 29, 2005) An Explicit Override Syntax for C++
^ Doc No.1834: Detlef Vollmann (June 24, 2005) A Pleading for Reasonable Parallel Processing Support in C++
^ Doc No.1836: ISO/IEC DTR 19768 (June 24, 2005) Draft Technical Report on C++ Library Extensions
^ Doc No.1886: Gabriel Dos Reis, Bjarne Stroustrup (October 20, 2005) Specifying C++ concepts
^ Doc No.1891: Walter E. Brown (October 18, 2005) Progress toward Opaque Typedefs for C++0X
^ Doc No.1898: Michel Michaud, Michael Wong (October 6, 2004) Forwarding and inherited constructors
^ Doc No.1919: Bjarne Stroustrup, Gabriel Dos Reis (December 11, 2005) Initializer lists
^ Doc No.1968: V Samko; J Willcock, J Järvi, D Gregor, A Lumsdaine (February 26, 2006)Lambda expressions and closures for C++
^ Doc No.1986: Herb Sutter, Francis Glassborow (April 6, 2006) Delegating Constructors (revision 3)
^ Doc No.2016: Hans Boehm, Nick Maclaren (April 21, 2002) Should volatile Acquire Atomicity and Thread Visibility Semantics?
^ Doc No.2142: ISO/IEC DTR 19768 (January 12, 2007) State of C++ Evolution (between Portland and Oxford 2007 Meetings)
^ Doc No.2228: ISO/IEC DTR 19768 (May 3, 2007) State of C++ Evolution (Oxford 2007 Meetings)
^ Doc No.2258: G. Dos Reis and B. Stroustrup Templates Aliases
^ Doc No.2280: Lawrence Crowl (May 2, 2007) Thread-Local Storage
^ Doc No.2291: ISO/IEC DTR 19768 (June 25, 2007) State of C++ Evolution (Toronto 2007 Meetings)
^ Doc No.2336: ISO/IEC DTR 19768 (July 29, 2007) State of C++ Evolution (Toronto 2007 Meetings)
^ Doc No.2389: ISO/IEC DTR 19768 (August 7, 2007) State of C++ Evolution (pre-Kona 2007 Meetings)
^ Doc No.2431: SC22/WG21/N2431 = J16/07-0301 (October 2, 2007), A name for the null pointer: nullptr
^ Doc No.2432: ISO/IEC DTR 19768 (October 23, 2007) State of C++ Evolution (post-Kona 2007 Meeting)
^ Doc No.2437: Lois Goldthwaite (October 5, 2007) Explicit Conversion Operators
^ Doc No.2461: ISO/IEC DTR 19768 (October 22, 2007) Working Draft, Standard for programming Language C++
^ Doc No.2507: ISO/IEC DTR 19768 (February 4, 2008) State of C++ Evolution (pre-Bellevue 2008 Meeting)
^ Doc No.2544: Alan Talbot, Lois Goldthwaite, Lawrence Crowl, Jens Maurer (February 29, 2008)Unrestricted unions
^ Doc No.2565: ISO/IEC DTR 19768 (March 7, 2008) State of C++ Evolution (post-Bellevue 2008 Meeting)
^ Doc No.2597: ISO/IEC DTR 19768 (April 29, 2008) State of C++ Evolution (pre-Antipolis 2008 Meeting)
^ Doc No.2606: ISO/IEC DTR 19768 (May 19, 2008) Working Draft, Standard for Programming Language C++
^ Doc No.2697: ISO/IEC DTR 19768 (June 15, 2008) Minutes of WG21 Meeting June 8–15, 2008
^ Doc No.2798: ISO/IEC DTR 19768 (October 4, 2008) Working Draft, Standard for Programming Language C++
^ Doc No.2857: ISO/IEC DTR 19768 (March 23, 2009) Working Draft, Standard for Programming Language C++
^ Doc No.2869: ISO/IEC DTR 19768 (April 28, 2009) State of C++ Evolution (post-San Francisco 2008 Meeting)
^ Doc No.3000: ISO/ISC DTR 19769 (November 9, 2009) Working Draft, Standard for Programming Language C++
^ Doc No.3014: Stephen D. Clamage (November 4, 2009) AGENDA, PL22.16 Meeting No. 53, WG21 Meeting No. 48, March 8–13, 2010, Pittsburgh, PA
^ Doc No.3082: Herb Sutter (2010年3月13日) C++0x Meeting Schedule
^ Doc No.3092: ISO/ISC DTR 19769 (2010年3月26日) Working Draft, Standard for Programming Language C++
^ Doc No.3126: ISO/ISC DTR 19769 (2010年8月21日) Working Draft, Standard for Programming Language C++
^ Doc No.3225: ISO/ISC DTR 19769 (2010年11月27日) Working Draft, Standard for Programming Language C++
^ Doc No.3242: ISO/ISC DTR 19769 (2011年2月28日) Working Draft, Standard for Programming Language C++
^ Doc No.3290: ISO/ISC DTR 19769 (2011年4月11日) Working Draft, Standard for Programming Language C++

文章

^a^b The C++ Source Bjarne Stroustrup(2006年1月2日)A Brief Look at C++0x

^ C/C++ Users Journal Bjarne Stroustrup (May, 2005)The Design of C++0x: Reinforcing C++’s proven strengths, while moving into the future
Web Log di Raffaele Rialdi(2005年9月16日)Il futuro di C++ raccontato da Herb Sutter
Informit.com(2006年8月5日)The Explicit Conversion Operators Proposal
Informit.com(2006年7月25日)Introducing the Lambda Library
Dr. Dobb's Portal Pete Becker(2006年4月11日)Regular Expressions TR1's regex implementation
Informit.com(2006年7月25日)The Type Traits Library
Dr. Dobb's Portal Pete Becker(2005年5月11日)C++ Function Objects in TR1
The C++ Source Howard E. Hinnant, Bjarne Stroustrup, and Bronek Kozicki(2008年3月10日)A Brief Introduction to Rvalue References
DevX.com Special Report(2008年8月18日)C++0x: The Dawning of a New Standard

外部链接

The C++ Standards Committee

相关阅读:
正则表达式教材 Joe
[转载]TCP链接主动关闭不发fin包奇怪行为分析 Joe
末日之前的序列化 Joe
系统学习正则表达式并实践 Joe
jsDate()对象,get/setFullYear(),getDay()编程练习
 js编程练习题输出年月日以及练习字符串分割,检索,转换整数(int)
java抽象类,接口(接口定义,实现接口,instanceof运算符,对象转换)
java基础文件,File类
 Android App Developers GUI Kits, Icons, Fonts and Tools
【eclipse】eclipse资源大全
原文地址：https://www.cnblogs.com/zhoug2020/p/6268166.html