Question

我正在尝试创建一个轻量级模板类，其中静态成员使用作为模板参数提供的值进行初始化（仅允许enum）。

下面的代码没有说明

   error: wrong number of template arguments (1, should be 2)
   error: provided for ‘template<field_id field_value, 
   inner_type_id innter_type_value>     struct node’
   error: template declaration of ‘field_id m_field_id’

问题似乎是第一个模板参数。如果我删除'field_value'并且'inneer_type_value'仍然没有构建说不匹配错误。

你能帮帮我吗？谢谢AFG

   enum field_id{ FIELD_ID_1, FIELD_I_2  };
   enum inner_type_id{ INN_ID_1, INN_ID_2  };

    template< enum field_id  field_value
            , enum inner_type_id inner_type_value 
    >struct node{
            static field_id m_field_id;
    };

    template< 
            enum field_id  field_value
            ,enum inner_type_id inner_type_value 
    >
    enum field_id node<
            enum field_id field_value
            ,enum inner_type_id inner_type_value
    >::m_field_id=field_value;

    int main(){
           node<FIELD_ID_1,INN_ID_1> obj;
           assert( obj::m_field_value == FIELD_ID );
    }

我也在采用另一种不同的方法，但我仍然没有得到它

         template< typename T1, typename T2 >
         struct node;

         template<>
         struct node< enum field_id=FIELD_ID_1, enum inner_type_id=INN_ID_1>{
              static enum field_id m_field_id;
         };             
         note< 
               enum field_id=FIELD_ID_1
              ,enum inner_type_id=INN_ID_1
              >::m_field_id=FIELD_ID1;

Answer 1

enum关键字无法在模板中显示 - 只需使用类型名称：

template<field_id field_value, inner_type_id inner_type_value> struct ...

Answer 2

最后你的代码应该是这样的：

enum field_id{ FIELD_ID_1, FIELD_I_2  };
enum inner_type_id{ INN_ID_1, INN_ID_2  };

template<field_id  field_value, inner_type_id inner_type_value>
//       ^ no enum keyword
struct node
{
  static field_id m_field_id;
};

template<field_id  field_value, inner_type_id inner_type_value>
field_id node<field_value, inner_type_value>::m_field_id = field_value;
//            ^ no enum and type

int main(){
  typedef node<FIELD_ID_1,INN_ID_1> my_type;
  assert( my_type::m_field_id == FIELD_ID_1 );
  //               ^ there's only m_field_id member
  my_type obj;
}

Answer 3

编辑：发布了一个错误的答案。或者，您可以将静态字段设为const并将其定义为内联：

template<field_id  field_value
        , inner_type_id inner_type_value 
>struct node{
        static const field_id m_field_id=field_value;
};

Answer 4

为什么在静态变量的实例化中重复模板参数的类型？我只想写：

template <field_id field_value, inner_type_id inner_type_value>
field_id node <field_value, inner_type_value>::m_field_id = field_value;

编辑：使用gcc进行编译并按预期工作。

带枚举的模板无法使用POD模板参数值初始化其成员

4 个答案: