final 关键字修饰一个类,这个类将不允许被继承,这在其他语言(如 Java)中早就实现了。在 C++11中,final关键字要写在类名的后面,这在其他语言中是写在class关键字前面的。
class A final
{
};
class B : A
{
};
由于类A被声明成final,B继承A,所以编译器会报如下错误提示类A不能被继承:
error C3246:'B':cannot inherit from'A'as it has been declared as'final'
C++语法规定,在父类中加了virtual关键字的方法可以被子类重写,子类重写该方法时可以加或不加virtual关键字
class A
{
protected:
virtual void func(int a, int b)
{
}
};
class B : A
{
protected:
virtual void func(int a, int b)
{
}
};
class C : B
{
protected:
void func(int a, int b)
{
}
};
这种宽松的规定可能会带来以下两个问题。
◎ 当我们阅读代码时,无论子类重写的方法是否添加了virtual关键字,我们都无法直观地确定该方法是否是重写的父类方法。
◎ 如果我们在子类中不小心写错了需要重写的方法的函数签名(可能是参数类型、个数或返回值类型),这个方法就会变成一个独立的方法,这可能会违背我们重写父类某个方法的初衷,而编译器在编译时并不会检查到这个错误。
为了解决以上两个问题,C++11引进了override关键字。类方法被 override 关键字修饰,表明该方法重写了父类的同名方法,加了该关键字后,编译器会在编译阶段做相应的检查,如果其父类不存在相同签名格式的类方法,编译器就会给出相应的错误提示。
如果一个 C++类没有显式给出构造函数、析构函数、拷贝构造函数、operator=这几类函数的实现,则在需要它们时,编译器会自动生成;或者,在给出这些函数的声明时,如果没有给出其实现,则编译器在链接时会报错。如果使用=default标记这类函数,则编译器会给出默认的实现。
//编译通过 编译器默认生成 A 的一个无参构造函数
class A
{};
int main()
{
A a;
return 0;
}
//编译不通过 编译器不会自动生成默认的无参构造函数
class A
{
public:
A(int i){}
};
int main()
{
A a;
return 0;
}
//使用=default语法强行让编译器自己生成
class A
{
public:
A() = default;
A(int i){}
};
int main()
{
A a;
return 0;
}
=delete禁止编译器生成构造函数、析构函数、拷贝构造函数、operator=的语法。
//C++98/03 禁止类不能被拷贝(即不能调用其拷贝构造函数),可以将其拷贝构造函数和operator=函数定义成private
class A
{
public:
A() = default;
~A() = defalult;
private:
A(const A& a){}
A& operator = (const A& a){}
};
//=delete 语法禁止编译器生成
class A
{
public:
A() = default;
~A() = defalult;
public:
A(const A& a) = delete;
A& operator = (const A& a) = delete;
};