C++11新增关键字

 

目录

auto

override 

final

nullptr

constexpr

decltype

noexcept 

---

auto

前面文章有讲过:C++泛型编程_看到请催我学习的博客-CSDN博客

override 

override(重写) ,用于确保函数为基类虚函数的重写

1．可以当注释用,方便阅读

2．告诉阅读你代码的人，这是方法的复写

3．编译器可以给你验证有没有重写对应的虚函数，如果没有则报错

如果派生类在虚函数声明时使用了override描述符，那么该函数必须重写其基类中的同名函数，否则代码将无法通过编译。

如果不加override,写成其他的函数,编译器会理解为新方法

建议重写的虚函数都加上override,使得代码更规范

public :
String toString() override {
	//...
}

final

作用于函数和类/结构体,指定某个虚函数不能在子类中被覆盖，或者某个类不能被子类继承

final也可以作用于union,但是没有效果

struct Base
{
    virtual void foo();
};
 
struct A : Base
{
    void foo() final; // Base::foo 被覆盖而 A::foo 是最终覆盖函数
    void bar() final; // 错误： bar 不能为 final 因为它非虚
};
 
struct B final : A // struct B 为 final
{
    void foo() override; // 错误：foo 不能被覆盖，因为它在 A 中是 final
};
 
struct C : B // 错误：B 为 final
{
};

nullptr

NULL是什么?

NULL在C++中是一个宏,定义是一个整数0;而在C中NULL表示一个void*指针

C++的函数重载机制带来了下面隐式类型转换错误的问题

void Func(char *);
void Func(int);

int main()
{
    Func(NULL);
}

 程序将调用func(int)而不是我们想的func(char*),为了解决这个问题C++引进了nullptr

nullptr用于标识空指针,它可以转换成任何指针类型和bool布尔类型（主要是为了兼容普通指针可以作为条件判断语句的写法),但是不能被转换为整数

nullptr代替了NULL原来在C中的作用

constexpr

constexpr用于验证常量表达式,可作用于变量,函数但不能作用于类和结构体

什么是常量表达式?举个例子:1+2+3就是常量表达式,int a=8;1+a就不是常量表达式,因为a是变量

constexpr修饰变量时,该变量获得在编译阶段即可计算出结果的能力

 constexpr int num = 1 + 2 + 3;
 int url[num] = {1,2,3,4,5,6};

使用 constexpr 修饰 num 变量，同时将 "1+2+3" 这个常量表达式赋值给 num。由此，编译器就可以在编译时期对 num 这个表达式进行计算，因此 num 可以作为定义数组时的长度

constexpr修饰函数时,实际上是修饰函数的返回值,被修饰的函数称为常量表达式函数

 成为常量表达式函数有4个条件:

1.整个函数的函数体中，除了可以包含 using 指令、typedef 语句以及 static_assert 断言外，只能有一条 return 语句//函数体直接return...

2.该函数必须有返回值，即函数的返回值类型不能是 void

3.常量表达式函数在使用前，必须要有该函数的定义//有时候普通函数定义会写在调用后或者其他文件

4. return 返回的表达式必须是常量表达式

constexpr不能直接修饰类,但是我们可以修饰类的构造函数

#include <iostream>
using namespace std;

//自定义类型的定义
struct myType {
    constexpr myType(char *name,int age):name(name),age(age){};
    const char* name;
    int age;
    //其它结构体成员
};

int main()
{
    constexpr struct myType mt { "zhangsan", 10 };
    cout << mt.name << " " << mt.age << endl;
    return 0;
}

constexpr 修饰类的构造函数时，要求该构造函数的函数体必须为空，且采用初始化列表的方式为各个成员赋值时，必须使用常量表达式

constexpr也可以修饰类的成员函数,需要符合4个要求

constexpr修饰模板函数时,如果实例化不符合4个要求则自动忽略constexpr

decltype

前面文章有讲过:C++泛型编程_看到请催我学习的博客-CSDN博客

noexcept 

noexcept用于异常处理,表示不抛出异常和抛出异常

void func_not_throw() noexcept; // 保证不抛出异常
void func_not_throw() noexcept(true); // 和上式一个意思

void func_throw() noexcept(false); // 可能会抛出异常
void func_throw(); // 和上式一个意思，若不显示说明，默认是会抛出异常,但析构函数默认都是 noexcept 的

如果一个虚函数承诺了它不会抛出异常，则后续派生的虚函数也必须做出同样的承诺

编译器不会检查带有 noexcept 说明符的函数是否有 throw ,因此即使函数体内抛出异常也不会被catch,而函数内的代码可能调用也可能部分调用,程序直接中止

noexcept 除了可以用作说明符（Specifier），也可以用作运算符（Operator）。noexcept 运算符是一个一元运算符，它的返回值是一个 bool 类型的右值常量表达式，用于表示给定的表达式是否会抛出异常

void f() noexcept {
}

void g() noexcept(noexcept(f)) { // g() 是否是 noexcept 取决于 f()
    f();
}

f无异常返回true,相当于 void g() noexcept(true)