在 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 条评论
登录 后参与评论

相关文章

来自专栏Java面试笔试题

面向对象的"六原则一法则"

792
来自专栏精讲JAVA

5 本最佳的 Java 面向对象理论和设计模式的书籍

对于Java程序员来说,掌握面向对象的设计理论和一些设计模式是必备技能。就像我在另一篇博客Java程序员应该知道的10个面向对象理论中提到的,不学理论就开始编程...

1374
来自专栏玩转全栈

flutter使用platform-channels制作插件

一、flutter使用platform-channels制作插件是否是一种完美的体验?

2994
来自专栏java架构师

31天重构学习笔记1. 封装集合

摘要:由于最近在做重构的项目,所以对重构又重新进行了一遍学习和整理,对31天重构最早接触是在2009年10月份,由于当时没有订阅Sean Chambers的bl...

27811
来自专栏编程

Java程序员必读,Java设计模式应该遵循哪些原则

Java程序员必读,Java设计模式应该遵循哪些原则? 新手学java开发,起步阶段很难做到把各种模式融汇贯通,因此,我们就需要在编码前多思考,多回想。为了更好...

1775
来自专栏Java面试笔试题

简述一下面向对象的”六原则一法则”

702
来自专栏JAVA高级架构

Java设计模式-责任链模式

作者:Jet啟思 链接:https://juejin.im/post/5a126b146fb9a0450c490201 今天来说说程序员小猿和产品就关于需求发生...

33911
来自专栏编程

为什么要有Spring?

Spring核心技术原理(1)为什么要有Spring? 一、知史可以明鉴 我们学习技术的时代赶上了最好的时代,跳过了很多前人经常踩的坑,前人在踩坑的过程中总结了...

1867
来自专栏恰同学骚年

设计模式的征途—22.中介者(Mediator)模式

我们都用过QQ,它有两种聊天方式:一是私聊,二是群聊。使用QQ群,一个用户就可以向多个用户发送相同的信息和文件,从而无需一一发送,节省大量时间。通过引入群的机制...

762
来自专栏瞎说开发那些事

程序员应该避免的 5 种代码注释

1964

扫码关注云+社区