多重继承的可变参数宏

Question

我编写了一个宏，可以在类定义周围添加它，从而有效地完成它（防止子类化）。这种最终确定方法是一种相当常见的技术，在C++ FAQ 中有说明：

#define FINALIZE(NAME,...) \
    NAME##Finalizer {\
        private:\
            friend class NAME;\
            inline NAME##Finalizer(void) {}\
    };\
    class NAME : public virtual NAME##Finalizer, __VA_ARGS__

例如：

class FINALIZE(Fred) {};
//The above line evaluates to:
//  class FredFinalizer {
//      private:
//          friend class Fred;
//          inline FredFinalizer(void) {}
//  };
//  class Fred : public virtual FredFinalizer, {};

class George {};
class FINALIZE(Fred2, public George) {};
//The above line evaluates to:
//  class Fred2Finalizer {
//      private:
//          friend class Fred2;
//          inline Fred2Finalizer(void) {}
//  };
//  class Fred2 : public virtual Fred2Finalizer, public George {};

class Velma : public Fred { Velma(void) {} /*Note compile error*/ };
class Velma2 : public Fred2 { Velma2(void) {} /*Note compile error*/ };

这很好用。问题是我现在想要一种“禁用”宏的方法。那就是：

class FINALIZE(Fred) {};
//The above line evaluates to:
//  class Fred {};

class George {};
class FINALIZE(Fred2, public George) {};
//The above line evaluates to:
//  class Fred2 : public George {};

问题在于class Fred2 : public George {}; 与没有继承的情况（class Fred {};）冲突：在第一种情况下，必须始终有一个冒号，在第二种情况下，必须没有。请注意，启用宏时这不是问题，因为类always 继承自至少 NAME##Finalizer 类。

我怎样才能写一个宏来做到这一点？

Answer 1

我建议制作两个宏，一个用于准备终结器，一个用于使用：

#define PREP_FINALIZE(NAME) \
    class NAME##Finalizer {\
        private:\
            friend class NAME;\
            inline NAME##Finalizer() {}\
    }

#define FINALIZE(NAME) virtual NAME##Finalizer

所以在你的例子中：

PREP_FINALIZE(Fred);
class Fred : FINALIZE(Fred) {};

class George {};
PREP_FINALIZE(Fred2);
class Fred2 : FINALIZE(Fred2), public George {};

但更重要的是你忘记了将复制构造函数设为私有。没有它，你的方式很容易作弊：

// cheating :D
class Velma : public Fred, FINALIZE(Fred) { 
   Velma() : FredFinalizer(*(FredFinalizer*)0) {} /*Who said this is compiler error */ 
};

将终结器的复制构造函数设为私有。或者使用我的answer 来回答非常相似的问题。

对于 C++11，只需使用 final ;)