Question

template <typename T> class foo
{
private:
    T m_var;
public:
    foo(T init_var)
    {
        m_var = init_var;
    }
    foo(int init_var)
    {
        m_var = init_var + 1;
    }
};

int main()
{
    foo1 = foo<int>(3); // foo1.m_var is 4
    foo2 = foo<char>('a'); // foo2.m_var is a
    return 0;
}

我可以像这样专门化模板类构造函数吗？类foo通常适用于类型，但是当它的构造函数被调用时，它作为参数的类型而不同地工作。如果可以，我想使用模板，但我看到答案是“不能在构造函数中使用模板”。

Answer 1

通过添加特化，可以在模板参数类型为int时调用不同的构造函数。

template <typename T> 
class foo
{
private:
    T m_var;
public:
    foo(T init_var)
    {
        m_var = init_var;
    }
};

template<>
foo<int>::foo(int init_var)
{
    m_var = init_var + 1;
}

Live demo

Answer 2

将increment-if-int行为委托给执行此操作的单独组件可能更容易：

template <typename T>
struct IncrementIfInt
{
  const T& operator()(const T& value) { return value; }
};

template <>
struct IncrementIfInt<int>
{
  int operator()(int value) { return value + 1; }
};

template <typename T> class foo
{
private:
  T m_var;
public:
  foo(T init_var)
    : m_var(IncrementIfInt<T>()(init_var))
  {
  }
};

按参数C ++的类型专门重载构造函数

2 个答案: