c++11 中的注意事项

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

2. 初始化成员变量:

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

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

struct init{ int a = 1; 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() = 0;
};

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() = 0;
 virtual void Dijkstra() = 0;
 virtual void VNeumann(int g) = 0;
 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 = 3) {}  //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 = 0> class DefClass3;
template <int i = 0, typename T> class DefClass4; //无法通过编译

template <typename T1 = int, typename = T2> void DefFunc1(T1 a, T2 b);
template <int i = 0, 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 <tyypename 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通过
}

猜你喜欢

转载自www.cnblogs.com/sssblog/p/10180809.html