c++ - 多重继承的可变参数宏

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 {};) 冲突:在第一种情况下, 必须始终有一个冒号，在第二种情况下，不能有。请注意，启用宏时这不是问题，因为类总是继承至少 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 {};

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

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

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

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