Рассмотрим следующий код:
template<bool AddMembers> class MyClass
{
public:
void myFunction();
template<class = typename std::enable_if<AddMembers>::type> void addedFunction();
protected:
double myVariable;
/* SOMETHING */ addedVariable;
};
В этом коде параметр шаблона AddMembers позволяет добавить функцию к классу, когда он true. Для этого мы используем std::enable_if.
Мой вопрос: так же возможно (возможно, с трюком) для переменной данных? (таким образом, что MyClass<false> будет иметь 1 элемент данных (myVariable) и MyClass<true> будет иметь 2 элемента данных (myVariable и addedVariable)?
Можно использовать условный базовый класс:
struct BaseWithVariable { int addedVariable; };
struct BaseWithoutVariable { };
template <bool AddMembers> class MyClass
: std::conditional<AddMembers, BaseWithVariable, BaseWithoutVariable>::type
{
// etc.
};
Во-первых, ваш код просто не будет компилироваться для MyClass<false>. Признак enable_if полезен для выведенных аргументов, а не для аргументов шаблона шаблона.
Во-вторых, здесь вы можете управлять членами:
template <bool> struct Members { };
template <> struct Members<true> { int x; };
template <bool B> struct Foo : Members<B>
{
double y;
};