在 C++ 中实现 super 关键字

Objective-C 里面有一个 super 关键字,可以用来调用该类的父类,但是 C++ 里没有。

我的工作历程是 C ==> Objective-C ==> C++,所以我的 OOP 习惯很大程度上是来自于 Objective-C 的。玩 C++ 的时候忽然就很不习惯了:因为没有 super 啊。于是就有了这篇文章。

本文章采用 知识共享署名-非商业性使用-相同方式共享 4.0 国际许可协议 进行许可。

原文发布于:https://segmentfault.com/a/1190000010105061,同为本人的专栏。

Reference


C++ 有 super 关键字吗?


根据参考资料,其实 C++ 在设计之初是有考虑 super 关键字的。

StackOverflow 上有人回答:Bjarne Stroustrup 在《Design and Evolution of C++》一书中提到,super 作为一个关键字,在 C++ 一开始进行标准化的时候,曾经被 ISO C++ 委员会考虑。

(原文:Bjarne Stroustrup mentions in Design and Evolution of C++ that super as a keyword was considered by the ISO C++ Standards committee the first time C++ was standardized.)

但是为什么不使用 super 呢?主要是因为 多重继承 这一 C++ 特性。如果一个 class 有多个 父类,那么使用 super 的语义就不清晰了。所以,最终 C++ 标准出来之后,就取消了 super 这个关键字。

使用 super 的好处


目前我看到所有网上的文章,都提到要调用父类的同名成员函数时,可以直接使用父类的类名就可以完成问题了。那么似乎这就是最好的解决方案了。那什么时候需要用 super 呢?

请看下面的一个例子:

比如在某个项目中,有一个父类 PrototypeClass,因应这个父类,继承了十数十个子类出来,比如 DerivedAlpha, DerivedBrabo, DerivedCharlie, ..... 如下:

PrototypeClass
    +--> DerivedAlpha
    +--> DerivedBrabo
    +--> DerivedCharlie
    ......

突然某一天,我们需要在这数十个子类中,有十几个类需要增加某个公有的成员函数 newFunc(),其实现都是一样的。我不想把一模一样的代码复制粘贴十几次(不好维护),于是我自然而然地想到:在父类实现就好了。

但是问题来了:如果在父类增加实现,自然影响到其他不需要 newFunc()的类。于是解决方法就是,添加一个 PrototypeClass 的子类 DerivedMama,实现 newFunc(),并且将这十几个类设置为该新类的子类。继承关系就变成这样:

PrototypeClass
    +--> DerivedAlpha
    +--> DerivedMama                # 实现了 newFunc()
    |       +--> DerivedBrabo
    |       +--> DerivedCharlie
    ...     ...
    +--> DerivedDelta
    ......

麻烦来了,这些个派生类中,或多或少调用了父类的实现 PrototypeClass::someFunc(),如果变成上图的关系的话,PrototypeClass 变成了这些类的 祖父类。按照继承的关系来说,调用祖父类的实现是不推荐的。

这就需要我们在 C++ 的代码里,除了修改相关类的父类之外,一个一个地在类的实现里修改父类名出现的位置。人工操作总有可能出错。这就是 super 关键字的作用。

在 C++ 中使用 super


解决方法很简单,以 DerivedBrabo 类为例,在 DerivedBrabo.h 文件中这么写:

#ifndef __DERIVED_BRAVO_H__
#define __DERIVED_BRAVO_H__

#include "DerivedMama.h"

namespace blahblah
{
    #define super DerivedMama
    class DerivedBrabo : public super {
        ......
    }
    #undef super

    // other classes if any
    ......
    
}    // end of namespace blahblah


#endif    // end of __DERIVED_BRAVO_H__
// end of file

不过事实上,由于 .h 文件经常会被其他文件包含,可能会出现一些不规范的包含方式导致重复定义;此外,宏定义也有一些老生常谈的风险。

所以比较好的方法是将类的声明与实现分开,所有的实现都放在 .cpp 文件中定义。这样的话,可以在 .cpp 文件的开头,作以下定义:

typedef DerivedMama super;

这就解决了一些安全问题,也可以把 super 的作用域限制在本文件内。

后记


C 是一个无所不能的语言,而其承继者 C++ 毫不示弱,在一些领域中往往是青出蓝而胜蓝。并不是 C++ 不能用 super。实际上只要对程序设计有足够的了解,是完全可以做到的。

C++ 经常被黑,正是因为它的强大、自由(嗯,C 也是如此)。但是无脑黑,反而说明程序员素养的低下。见识多了,任何语言我都不会黑,什么工具干什么事,什么语言自有什么设计模式和编程规范。当对一个语言足够了解了之后,它必然成为你手下的一刃利剑。


本文章采用 知识共享署名-非商业性使用-相同方式共享 4.0 国际许可协议 进行许可。

原文发布于:https://segmentfault.com/a/1190000010105061,同为本人的专栏。

原创声明,本文系作者授权云+社区发表,未经许可,不得转载。

如有侵权,请联系 yunjia_community@tencent.com 删除。

编辑于

我来说两句

0 条评论
登录 后参与评论

相关文章

来自专栏码洞

编程的智慧

编程是一种创造性的工作,是一门艺术。精通任何一门艺术,都需要很多的练习和领悟,所以这里提出的“智慧”,并不是号称一天瘦十斤的减肥药,它并不能代替你自己的勤奋。然...

591
来自专栏xingoo, 一个梦想做发明家的程序员

通过两个小栗子来说说Java的sleep、wait、notify、notifyAll的用法

线程是计算程序运行的最小载体,由于单个单核CPU的硬件水平发展到了一定的瓶颈期,因此就出现了多核多CPU的情况,直接就导致程序员多线程编程的复杂。由此可见线程...

2448
来自专栏阿杜的世界

《重构》阅读笔记-代码的坏味道

开发者必须通过实践培养自己的经验和直觉,培养出自己的判断力:学会判断一个类内有多少个实例变量算是太大、学会判断一个函数内有多少行代码才算太长。

752
来自专栏java工会

深度思考编程的艺术

1768
来自专栏Java帮帮-微信公众号-技术文章全总结

Java基础-day05-超市收银系统案例题

Java基础-day05-超市收银系统案例题 案例描述 将超市购物小票案例中,键盘录入部分封装为方法。 将switch语句完成的三个分支代码逻辑封装为3个方法 ...

6044
来自专栏java一日一条

重构 改善既有代码的设计--笔记

查看一个类是否“过大”,这里有一个小技巧分享给大家。就是看两点:1)这个类实例变量太多,必然会有Duplicated Code(重复代码) 2)类内如果有太多代...

1124
来自专栏写代码的海盗

SEO是件贼有意思的事情 golang入坑系列

这两天迷上了SEO。真心看不起百度的竞价排名,但作为一个商业网站,赚钱是一件无可厚非的事情。只做活雷锋,没有大金主是做不长的。做完功课后,发现百度和google...

3135
来自专栏架构师之路

如何设计好的接口(Google分享)

本文源自Google工程师joshua bloch的经验分享,楼主进行了整理和总结。 一、好接口的特性 (1)易学 (2)易用,甚至不需要文档 (3)难于误用 ...

3906
来自专栏ACM小冰成长之路

KWIC-C/C++实现

吐槽 最近我们 JavaJava 老师不知道为啥非要我用 C/C++C/C++ 来实现 KWICKWIC,但是因为没有上过课,不知道这个东西是干嘛的,所以想网上...

25010
来自专栏编程

Java 最困扰你的那些事

啊哈Reddit(某知名国外在线问答社区),没了你我们还能在哪里从鱼目混珠的网络中提炼真正的精华?就在这杂乱无章的论坛中,的的确确存在着这样一些精辟的讨论。 比...

2218

扫码关注云+社区

领取腾讯云代金券