c++ 11:条件编译:成员

C++11: conditional compilation: members

本文关键字：成员 编译 条件 c++      更新时间：2023-10-16

我试图创建一个具有条件成员的结构体，这意味着不同的成员仅存在于特定的特化中。但是，我希望这门课尽可能快。我已经用三种不同的方式尝试过了:

方式1: 

 template<typename T, bool with_int = false>
 struct foo
 {
     template<typename... Args>
     foo(Args&&... args) : m_t(forward<Args>(args)...)
     {}
     T m_t;
 }
 template<typename T>
 struct foo<T, true>
 {
     template<typename... Args>
     foo(Args&&... args) : m_t(forward<Args>(args)...), m_id(0)
     {}
      T m_t;
      int m_id;
 };
  • 缺点:每个专门化重复代码。

方式2:

 template<typename T, bool with_int = false>
 struct foo
 {
     template<typename... Args>
     foo(Args&&... args) : m_t(forward<Args>(args)...)
     {}
     virtual ~foo() {}
     T m_t;
 }
 template<typename T>
 struct foo<T, false> : public foo<T>
 {
      using foo<T>::foo;
      int m_id = 0;
 };
    优点:代码少。
  • 缺点:使用变量/继承/等:更多的时间在构造或访问成员?但是，在另一方面，我并不假装使用基类的"引用"。这种方法的真正优点和缺点是什么?

3 

 using nil_type = void*;
 using zero_type = nil_type[0];
 template<typename T, bool with_int = false>
 struct foo
 {
    template<typename... Args, typename = typename enable_if<with_int>::type>
    foo(Args&&... args) : m_t(forward<Args>(args)...), m_int(0)
    {}
    template<typename... Args, typename = typename enable_if<!with_int>::type>
    foo(Args&&... args) : m_t(forward<Args>(args)...)
    {}        
    T m__t;
    typename conditional<with_int, int, zero_type>::type m_int;
 };
  • 优势:只写一次代码;当with_int = false时，m_int字段的大小为0(几乎与gcc 4.7.2一致)。
    • 优点:更多地使用模板(降低可读性)，我不确定编译器如何处理大小为0的成员。我确实不知道0号字段在多大程度上是危险的或有意义的。重复构造函数，但也许这是可以避免的。

最好的方法是什么?

您考虑过继承吗?

template< bool >
struct foo_int_base
{
  // stuff without the int
  void f(); // does not use m_id
};
template<>
struct foo_int_base< true >
{
  // stuff with the int
  int m_id = 0;
  void f(); // uses m_id
};
template< typename T, bool with_int = false >
struct foo : foo_int_base< with_int >
{
  // common stuff here
};
相关文章：