c++11 中的注意事项

1. C++11标准中让类的析构函数默认也是noexcept(true)的。 但如果显式地为析构函数指定了noexcept，或者类的基类或成员有noexcept(false)的析构函数，析构函数就不会再保持默认值。

2. 初始化成员变量：

c++98中，支持在类声明中使用等号“=”进行初始化，但要求必须为静态成员常量，而且也只能是整形或枚举类型才能初始化。

而在c++11中，允许使用等号或花括号进行非静态成员变量的初始化，比如：

struct init{ int a = ; double b {1.2}; }

上述代码中，给非静态成员a和b分别赋予初值1和1.2.

若同时使用就地初始化和初始化列表两种方式，结果是初始化列表后作用于非静态成员，即最终所赋值的是初始化列表中的值。

3. 扩展的friend语法：

class Poly;
typedef Poly P;

class LiLei {
 friend class Poly; // c++98通过，c++11通过
};

class Jim {
 friend Poly;  //c++98失败，c++11通过
};

class HanMeiMei {
 friend P;  //c++98失败，c++11通过
};

c++11在声明一个类为另一个类友元时，不再需要使用class关键字，或者使用别名。

这样可以为类模板声明友元：

class P;

template <typename T> class People {
 friend T;
};

People<P> PP;  //类型P在这里是People类型的友元
People<int> Pi; //对于int类型模板参数，友元声明被忽略

4. c++11中阻止一个函数在派生类中被重载，使用final:

class Object {
 virtual void fun() = ;
};

class Base: public Object {
 void fun() final;
};

class Derived: public Base {
 void fun();  //无法通过编译
};

在类Base中将函数fun()声明为final，那么派生于Base的Derived类则不能重载fun()。

若在派生类中在虚函数声明时使用override，表明该函数必须重载其基类中能的同名函数：

class Base {
 virtual void Turing() = ;
 virtual void Dijkstra() = ;
 virtual void VNeumann(int g) = ;
 void print();
};

class Derived: public Base {
 void Turing() override;
 void Dikjstra() override;  //无法通过编译，拼写错误
 void VNeumann(double g); //无法通过编译，参数不一致
 void print() override;  //无法通过编译，非虚函数重载
};

若没有override修饰符，则Derived则会通过编译，但并没有实现想要重载的功能。

5. 模板函数的默认模板参数

在c++98中函数模板不能有默认参数，而在c++11中则可以有：

void DefParm(int m = ) {}  //c++98通过编译，c++11通过编译

template <typename T = int>
class DefClass {};    //c++98通过编译，c++11通过编译

template <typename T = int>
void DefTempParm() {};  //c++98编译失败，c++11通过编译

对于类模板来说，默认模板参数声明指定默认值时，需要按照从右往左的规则进行指定，而对于函数模板则不是必须的。

template <typename T1, typename T2 = int> class DefClass1;
template <typename T1 = int, typename T2> class DefClass2; //无法通过编译

template <typename T, int i = > class DefClass3;
template <int i = , typename T> class DefClass4; //无法通过编译

template <typename T1 = int, typename = T2> void DefFunc1(T1 a, T2 b);
template <int i = , typename T> void DefFunc2(T a);

6. 外部模板

编译时，对于源代码中出现的每一处模板实例化，编译器都需要去做实例化的通过；而在链接时，链接器还需要移除重复的实例化代码。解决该问题的方法是使用外部模板。c++98中已有的一个特性是显式实例化：

template <typename T> void fun(T) {}

声明：
template void fun<int>(int);

在c++11中，外部模板的声明为：

extern template void fun<int>(int);

7. 局部和匿名类型作为模板实参

template <typename T>
class X {};

template <typename T>
void TempFun(T t) {}

struct A {} a;
struct { int i; } b;  //匿名类型变量
typedef struct { int i; } B; //匿名类型

void Fun() {
 struct C {} c;  //局部类型

 X<A> x1;  //c++98通过，c++11通过
 X<B> x2;  //c++98不通过，c++11通过
 X<C> x3;  //c++98不通过，c++11通过
 TempFun(a);  //c++98通过，c++11通过
 TempFun(b);  //c++98不通过，c++11通过
 TempFun(c);  //c++98不通过，c++11通过
}

8. constexpr 近似const，可以修饰变量，也可以修饰函数

const int global = ;
int temp = ;
constexpr int a = ;  //right
constexpr int b = global; //right
constexpr int c = temp; //wrong

constexpr修饰的函数，生效于编译时而不是运行时，重点应用于修饰函数使其在编译期大幅度被解释；被constexpr修饰的函数，无论是普通函数，还是类成员函数，必须是编译器可计算得到结果，即字面常量，不可是运行时才能读取的内容。

9. using取代typedef

typedef double db;
using db = double;
typedef void(*function)(int, int);
using function = void(*)(int, int);

10. emplace

作用域容器，区别于push、insert等。push_back是在容器尾部追加一个容器类型对象，emplace_back是构造一个新对象并追加在容器尾部。

std::vector<A> vec;
A a();
vec.push_back(a);

std::vector<A> vec;
vec.emplace_back();

11. override/final: 显式的标识是否应该多态继承

override： 子类用override修饰其虚函数，表示要多态继承基类的虚函数，不可以修饰非虚函数。

final： 基类用final修饰其虚函数，表示其子类不可以多态继承该虚函数。

12. 类型说明符auto

auto用于从初始化表达式中推断出变量的数据类型。因此，auto定义的变量必须有初始值。

13. 类型说明符decltype

decltype的作用是选择并返回操作数的数据类型。编译器会分析表达式并得到它的类型，但是不会去计算表达式的值。如果decltype使用的是一个不加括号的变量，得到的就是该变量的类型。如果给变量加上了一层括号，编译器会把它当作一个表达式，得到的则是引用类型。

int i = ;
decltype(i) a; // a的类型是int
decltype((i)) b = i; //b的类型是int&，必须为其初始化，否则编译错误