我的编码风格包括以下习语:

class Derived : public Base
{
   public :
      typedef Base super; // note that it could be hidden in
                          // protected/private section, instead
      
      // Etc.
} ;

这使得我可以使用“super”作为Base的别名,例如,在构造函数中:

Derived(int i, int j)
   : super(i), J(j)
{
}

甚至当从被重写版本的基类中调用该方法时:

void Derived::foo()
{
   super::foo() ;

   // ... And then, do something else
}

它甚至可以被链接(尽管我仍然需要找到它的用途):

class DerivedDerived : public Derived
{
   public :
      typedef Derived super; // note that it could be hidden in
                             // protected/private section, instead
      
      // Etc.
} ;

void DerivedDerived::bar()
{
   super::bar() ; // will call Derived::bar
   super::super::bar ; // will call Base::bar

   // ... And then, do something else
}

无论如何,我发现“typedef super”的使用非常有用,例如,当Base是verbose和/或模板化的时候。

事实上,super是在Java和c#中实现的(在c#中,它被称为“base”,除非我错了)。但是c++缺少这个关键字。

我的问题是:

这种typedef的使用在你工作的代码中是超级常见/罕见/从未见过吗? 这种typedef的使用是超级Ok(也就是说,你看到强烈或不那么强烈的理由不使用它)? “super”应该是一个好东西吗?它应该在c++中标准化吗?或者通过类型定义来使用已经足够了吗?

编辑:Roddy提到的事实类型定义应该是私有的。这意味着任何派生类在不重新声明它的情况下都不能使用它。但我猜它也会阻止super::super链接(但谁会为它哭泣呢?)

编辑2:现在,在大量使用“super”几个月后,我完全同意罗迪的观点:“super”应该是私人的。


当前回答

我经常用这个。就在我发现自己输入了几次基类类型时,我将用一个类似于您的类型定义替换它。

我认为这是一个很好的用途。如前所述,如果基类是模板,则可以节省输入。此外,模板类可以接受参数,作为模板应该如何工作的策略。只要基类的接口保持兼容,您就可以自由地更改基类类型,而不必修复对它的所有引用。

我认为通过typedef的使用已经足够了。无论如何,我不知道它将如何构建到语言中,因为多重继承意味着可以有许多基类,因此您可以根据逻辑上认为最重要的基类的类型定义它。

其他回答

这样做的一个问题是,如果你忘记(重新)为派生类定义super,那么任何对super::的调用都可以编译,但可能不会调用想要的函数。

例如:

class Base
{
public:  virtual void foo() { ... }
};

class Derived: public Base
{
public:
    typedef Base super;
    virtual void foo()
    {
        super::foo();   // call superclass implementation

        // do other stuff
        ...
    }
};

class DerivedAgain: public Derived
{
public:
    virtual void foo()
    {
        // Call superclass function
        super::foo();    // oops, calls Base::foo() rather than Derived::foo()

        ...
    }
};

(正如Martin York在对这个答案的评论中指出的,这个问题可以通过将类型定义为private而不是public或protected来消除。)

我试图解决这个完全相同的问题;我抛出了一些想法,比如使用可变模板和包扩展来允许任意数量的父元素,但我意识到这将导致像“super0”和“super1”这样的实现。我把它扔了,因为那只会比一开始就没有它有用多少。

我的解决方案涉及一个辅助类PrimaryParent,实现如下:

template<typename BaseClass>
class PrimaryParent : virtual public BaseClass
{
protected:
    using super = BaseClass;
public:
    template<typename ...ArgTypes>
    PrimaryParent<BaseClass>(ArgTypes... args) : BaseClass(args...){}
}

然后你想要使用的类将被这样声明:

class MyObject : public PrimaryParent<SomeBaseClass>
{
public:
    MyObject() : PrimaryParent<SomeBaseClass>(SomeParams) {}
}

为了避免在PrimaryParenton BaseClass中使用虚拟继承,使用一个接受可变数量参数的构造函数来允许构造BaseClass。

BaseClass的公共继承到PrimaryParent的原因是让MyObject对BaseClass的继承有完全的控制,尽管它们之间有一个帮助类。

这确实意味着您希望拥有super的每个类都必须使用PrimaryParent助手类,并且每个子类只能从一个使用PrimaryParent的类继承(因此得名)。

这个方法的另一个限制是,MyObject只能继承一个从PrimaryParent继承的类,而且这个类必须使用PrimaryParent继承。我的意思是:

class SomeOtherBase : public PrimaryParent<Ancestor>{}

class MixinClass {}

//Good
class BaseClass : public PrimaryParent<SomeOtherBase>, public MixinClass
{}


//Not Good (now 'super' is ambiguous)
class MyObject : public PrimaryParent<BaseClass>, public SomeOtherBase{}

//Also Not Good ('super' is again ambiguous)
class MyObject : public PrimaryParent<BaseClass>, public PrimaryParent<SomeOtherBase>{}

在你放弃这个选择之前,因为似乎有很多限制,而且每一项继承之间都有一个中间阶层,这些东西并不坏。

多重继承是一个强大的工具,但在大多数情况下,只会有一个主父类,如果有其他父类,它们可能是Mixin类,或者无论如何都不从PrimaryParent继承的类。如果仍然需要多重继承(尽管在许多情况下使用组合来定义对象而不是继承会更有利),则不要在该类中显式地定义super,而不从PrimaryParent继承。

必须在每个类中定义super的想法对我来说不是很有吸引力,使用PrimaryParent允许super,显然是一个基于继承的别名,留在类定义行中,而不是数据应该去的类主体中。

不过可能只有我是这样。

当然,每个情况都是不同的,但在决定使用哪个选项时,请考虑我所说的这些事情。

我经常看到它被使用,有时作为super_t,当基类是一个复杂的模板类型时(例如boost::iterator_adaptor就是这样做的)

Bjarne Stroustrup在《c++的设计与发展》一书中提到,在c++第一次标准化时,ISO c++标准委员会就考虑将super作为关键字。

Dag Bruck提出了这个扩展,称基类为“继承的”。该提案提到了多重继承问题,并标记了不明确的用途。甚至斯特劳斯特鲁普也被说服了。

经过讨论,Dag Bruck(是的,就是提出该提案的同一个人)写道,该提案是可实现的,技术上是合理的,并且没有重大缺陷,并且处理了多重继承。另一方面,这并没有带来足够的回报,委员会应该处理一个更棘手的问题。

Michael Tiemann来晚了,然后用这篇文章中提到的同样的技巧展示了一个typedef'ed super可以很好地工作。

所以,不,这可能永远不会标准化。

如果你没有副本,《Design and Evolution》的封面价格也物有所值。用过的拷贝花10美元就能买到。

微软已经在他们的编译器中添加了__super的扩展。