C++11 上下文关键字

旧城等待， 2024-03-16 17:22 63阅读 0赞

> 提示：文章写完后，目录可以自动生成，如何生成可参考右边的帮助文档

#### 文章目录 ####

*  前言
 *  一、关键字是什么？
 *  二、使用步骤
 *   *  1.简单例子
     *  2.错误例子
 *  三、特殊关键字
 *   *  1.export关键字
     *  2.override关键字
     *  3.final关键字
 *  总结

--------------------

## 前言 ##

熟悉C++11的朋友都知道，C++有大概83个左右的关键字。

--------------------

## 一、关键字是什么？ ##

关键字(keyword)属于保留字，是整个语言范围内预先保留的标识符。每个C++关键字都有特殊的含义。经过预处理后，关键字从预处理记号(preprocessing-token)中区别出来，剩下的标识符作为记号(token)，用于声明对象、函数、类型、命名空间等。不能声明与关键字同名的标识符

## 二、使用步骤 ##

### 1.简单例子 ###

这里举一些简单例子，比如定义变量使用的类型关键字：int,float,double这些。

代码如下（示例）：

#include <iostream>
    
    int main(){
        
    	int a = 0;
    	float b = 1.0;
    	double c = 2.0;
    	return 0;
    }

这里main使用的是不带参数的版本。其他的关键字有各自的用法，由于C++语法体系比较复杂，只针对一些特殊的做说明。

`像int这种内置类型不需要引用名字空间`

### 2.错误例子 ###

关键字是保留字，不能用来当变量名和函数名或者诸如名字空间名字、类名等等命名。说白了编译器正式通过解析关键字来理解语法结构，如果允许滥用关键字无疑会让编译器无法正常工作。

代码如下（示例）：

#include <iostream>
    
    int main(){
        
    	int int = 0;
    	float float = 1.0;
    	double double = 2.0;
    	return 0;
    }

这里把int、float和double当作了普通变量名，IDE会报错提醒你，编译也无法通过。不过这并不意味着变量名中不能出现关键字的影子，请看下面的例子：

#include <iostream>
    
    int main(){
        
    	int _int = 0;
    	float _float = 1.0;
    	double _double = 2.0;
    	return 0;
    }

加了下划线的关键字就不是关键字了，就是普通变量了，可以正常编译。

`注意：不要滥用双下划线，有些内置宏是以双下划线开头的。比如：__cplusplus，建议这种带关键字的变量名还是要少用或者不用，以免出现错误。`

## 三、特殊关键字 ##

终于还是到重头戏了，关键字本身的使用没什么好大书特书的，需要注意的上面已经说的够详细了。其他关键字的使用方法只要参考C++11的语法就行了。

接下来说几个特殊的“关键字”

### 1.export关键字 ###

这个是C++11名副其实的关键字，只不过是个`“未使用关键字”`，暂时没有被赋予特殊的含义。但是，你仍然不能滥用它，比如：命名一个变量，还是和上面的所有关键字一样编译不通过。

### 2.override关键字 ###

这个关键字比较特殊，它是用在“运行时多态”的“上下文关键字”。注意这个上下文关键字，它有特殊含义，而又跟其它关键字不太一样。你比如，最显著的差别就是它可以被用来命名变量，而且可以编译通过。

#include <iostream>
    
    int main(){
        
    	int override = 0;
    	return 0;
    }

可以编译通过，使用起来也没问题。这个是历史遗留问题，因为最早的时候还没有override这个关键字，之前的老代码中程序员大量使用这个命名变量，所以后来C++标准就把它定义为上下文关键字了。意思就是只有在特殊的场景下才有特殊含义，这个特殊含义就是“派生类复写基类的virtual方法”，这个override关键字甚至可以不用写，只不过IDE可能会给你个warning。

请看下面的例子：

#include <iostream>
    
    class X {
        
    public:
        virtual void print() const;
    };
    
    void X::print() const {
        
        std::cout << "X::print()" << std::endl;
    }
    
    class Y : public X {
        
    public:
        void print() const;
    };
    
    void Y::print() const {
        
        X::print();
        std::cout << "Y::print()" << std::endl;
    }

上面的写法就是不带override。但是，实际上是Y复写了X的print方法。建议不要这么写，加上override作为标识，让人一眼就能看出来这个方法是复写的基类方法！

请看完美写法：

#include <iostream>
    
    class X {
        
    public:
        virtual void print() const;
    };
    
    void X::print() const {
        
        std::cout << "X::print()" << std::endl;
    }
    
    class Y : public X {
        
    public:
        void print() const override;
    };
    
    void Y::print() const {
        
        X::print(); //这个如果不需要可以去掉
        std::cout << "Y::print()" << std::endl;
    }

仔细观察能发现区别，`const`无论声明还是定义都是要加上的，override只需要在声明中加上，不需要再定义上加上，因为它`“不是函数的一部分”`。

`重要的一点：override必须放在函数声明的最后位置，比如上面的例子，必须放在const后面。否则，编译无法通过。`

我们今天不是来讨论运行时多态的用法的，所以更复杂的运行时多态本篇文章不讨论，我们只讨论`“上下文关键字”`和`“保留关键字”`之间的差别。

### 3.final关键字 ###

用法和override不一样，不过同样可以作为一个变量名而被编译通过。  
没错，final也是`“上下文关键字”`。final主要用在`“阻止进一步派生”`，看起来和override是相反的功能，其实不是这样的，无论有没有override这个关键字，派生行为都是现实存在的一种语法；而final恰巧能够阻止进一步派生。

请看代码:

#include <iostream>
    
    class X {
        
    public:
        virtual void print() const;
    
        virtual void test() const final;
    };
    
    void X::print() const {
        
        std::cout << "X::print()" << std::endl;
    }
    
    void X::test() const {
        
        std::cout << "X::test()" << std::endl;
    }
    
    class Y : public X {
        
    public:
        void print() const override;
    
        void test() const override;//这句编译不通过
    };
    
    void Y::print() const {
        
        X::print();
        std::cout << "Y::print()" << std::endl;
    }

仍然是延续刚才的代码，print已经override了，我们不用管。X的test标记为final，在Y中尝试override就会报错，原因是test被标记为final。

这个时候你有两个选择：1就是将final去掉；2就是将Y的test代码去掉。两种选择都可以编译通过。

和override一样，final也是只出现在函数声明里，不会出现在函数定义里，要不然编译不通过。

`特别说明：final不能修饰纯虚函数，因为纯虚函数必须被复写。`

`另外：virtual出现在函数声明的前面，overide出现在函数声明的后面，顺序不能搞错。如果virtual和overide在派生类的函数中同时出现，只需要保留override即可。如果override和final同时出现，只需要保留final即可。`

--------------------

## 总结 ##

1、没什么难度，纯粹需要理解。  
2、注意特别说明，很重要。