шаблон метапрограммирования ИЛИ операция

Question

У меня есть класс, который может быть украшен набором дополнительных шаблонов для обеспечения дополнительной функциональности. Каждое дополнение имеет идентифицирующее addon_value, которое базовый класс должен знать.

Приведенный ниже код является примером того, что я хотел бы сделать. Очевидно, что функция main () не компилируется. Цель состоит в том, чтобы CBase :: GetValueOfAddOns () знал значение ИЛИ-добавления-значения для каждого дополнения. На самом деле вычисление не нужно выполнять в GetValueOfAddOns (), оно просто должно быть в состоянии получить результат.

template< class T >
class AddOn_A : public T
{
public: 
    AddOn_A( int x ) : T( x ) 
    {};

    enum { addon_value = 0x00000001 };
};

template< class T >
class AddOn_B : public T
{
public: 
    AddOn_B( int x ) : T( x ) 
    {};

    enum { addon_value = 0x00000010 };
};

class CBase
{
public:
    explicit CBase( int x ) : x_( x ) 
    {
        // error LNK2001: unresolved external symbol "public: virtual int __thiscall CBase::GetValueOfAddOns(void)const " (?GetValueOfAddOns@CBase@@UBEHXZ)
        int z = GetValueOfAddOns();
    };

    virtual int GetValueOfAddOns() const = 0;

private:
    int x_;
};

// define an empty AddOn
template< class > class empty 
{
public:
    enum { addon_value = 0x00000000 };
};

// forward declaration and Add-On defaults
template< template< class > class AddOn1 = empty,
          template< class > class AddOn2 = empty,
          template< class > class AddOn3 = empty >
class CMyClass;

// specialized template for the default case
template<> class CMyClass< empty, empty, empty > : public CBase
{
public:
    CMyClass( int x ) : CBase( x ) 
    {};

    enum { addon_value = 0x00000000 };
};

// actual definition
template< template< class > class AddOn1,
          template< class > class AddOn2,
          template< class > class AddOn3 >
class CMyClass : public AddOn1< CBase >,
                 public CMyClass< AddOn2, AddOn3 >
{
public:
    CMyClass( int x ) : AddOn1< CBase >( x ),
                        CMyClass< AddOn2, AddOn3 >( x )
    {};

    enum { addon_value = AddOn1< CBase >::addon_value | CMyClass< AddOn2, AddOn3 >::addon_value };

    int GetValueOfAddOns() const
    {
        return addon_value;
    }
};

int _tmain( int argc, _TCHAR* argv[] )
{
    CMyClass< AddOn_A > A( 0 );
    _ASSERT( A.GetValueOfAddOns() == AddOn_A< CBase >::addon_value );

    CMyClass< AddOn_A, AddOn_B > AB( 0 );
    _ASSERT( AB.GetValueOfAddOns() == ( AddOn_A< CBase >::addon_value | AddOn_B< CBase >::addon_value ) );

    return 0;
}

Спасибо за любую помощь, PaulH

Answer 1

Не уверен, что это самый элегантный способ, но следующее довольно просто:

Добавьте это в CMyClass:

enum {AddonsValues = AddOn1<CBase>::addon_value | CMyClass<AddOn2, AddOn3>::AddonsValues};

int GetValueOfAddOns()
{
    // return the result of OR-ing the addon_value of each add-on.
    return AddonsValues;
};

и это специализированному CMyClass<empty, empty, empty>:

enum {AddonsValues = 0};

Answer 2

Если вы сделаете эту функцию чистой virtual, вы можете реализовать ее в CMyClass, где у вас есть вся доступная информация. Просто измените свой класс empty на enum { addon_value = 0x00000000 };, чтобы упростить это.

Answer 3

Давайте сделаем это лучше:

Смотрите новый вопрос о проблеме с иерархией здесь Я также решил проблему AddOnValues, и в действительности нет необходимости в метапрограммировании шаблонов.