c – 如何检测并声明特定类的虚拟继承？

我有一个实现引用计数的C类,我希望这个类的所有用户只是虚拟地继承这个类,所以没有任何对象最终会被多个引用计数器.

我想要一些方法在编译期间或至少在运行期间断言这个要求.

有办法实现吗？

解决方法

我认为包装类将是最简单的选择.而不是直接从RefCounter继承创建一个中介类.

struct RefCounterVirtPrivate_
{
    int count;

    RefCounterVirt()
        : count( 0 )
    { }
};

struct RefCounter : public virtual RefCounterVirtPrivate_
{
};

struct A : public RefCounter { };
struct B : public RefCounter { };
struct C : public A,public B { };

那么一切都可以从RefCounter继承,而不需要关心虚拟的继承.你甚至不需要改变任何现有的代码 – RefCounter本身的虚拟继承应该是无害的.

这当然不能保证人们不直接从RefCounterVirtPrivate_继承,但这就是为什么我给它一个明显的名字.很难意外地忘记一个虚拟关键字.