C++11 上下文关键字的具体实践

来自:网络
时间:2023-07-24
阅读:
目录

前言

熟悉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即可。

总结

返回顶部
顶部