Question

我可以拥有一个具有或不具有基于模板的成员的类吗？想象代码：

template <typename HasBazMember=true>
class Foo {
  int bar;

  ConditionallyHaveMember<int, HasBazMember> baz;
};

所以在上面我希望Foo有成员“baz”和Foo not。

Answer 1

C ++ 11中没有特殊解决方案的解决方案：

class empty {};

template <typename T>
struct wrap { T wrapped_member; };

template <bool HasBazMember=true>
class Foo : private std::conditional<HasBazMember, wrap<int>, empty>::type {
public:
  int bar;

  int& baz() {
    static_assert(HasBazMember, "try using baz without HasBaz");
    return static_cast<wrap<int>&>(*this).wrapped_member;
  }
};


int main()
{
  Foo<true> t;
  t.baz() = 5;

  Foo<false> f;
  f.baz() = 5; // ERROR
}

请注意，感谢EBO，如果HasBazMember=false，则没有空间开销。

Answer 2

是的，你可以，但你必须专注于整个班级。例如：

template< bool HasBazMember = true >
class Foo {
  int bar;
  int baz;
};

template<>
class Foo< false > {
  int bar;
};

如果可以分离逻辑，则可以将这些成员放在基类中，这样就不需要复制整个类的代码。例如，

template< bool HasBazMember >
class FooBase
{
protected:
   int baz;
};

template<>
class FooBase< false >
{
    // empty class
    // the Empty Base Optimization will make this take no space when used as a base class
};

template< bool HasBazMember = true >
class Foo : FooBase< HasBazMember >
{
    int bar;
};

或使用Boost.CompressedPair：

struct empty {};

template< bool HasBazMember = true >
class Foo
{
    boost::compressed_pair<
        int
      , typename std::conditional< HasBazMember, int, empty >::type
    > bar_and_maybe_baz_too;
};

如果类具有基于模板参数的成员，我可以自定义吗？

2 个答案: