c++ - 有没有办法使用基于模板类型的值初始化变量

Question

我有一个模板类。该类有一个私有成员变量，我喜欢将其预设为某个值，该值因每种模板类型而异。

我在考虑不同类型的不同构造函数，但由于构造函数没有参数，我不知道该怎么做。

有可能吗？

谢谢，

Answer 1

使用特征模板并使用该值对其进行专门化。就像是：

template <typename T, typename Traits = MyTraits<T> >
class MyClass {
public:
  int Foo ()
  {
   return Traits::Value;
  }
};

template <>
class MyTraits<SomeClass>
{
public:
   static int Value = 1;
};

template <>
class MyTraits<AnotherClass>
{
public:
   static int Value = 2;
};

Answer 2

您可以通过对类型的专门化来做到这一点，最简单的形式是：

#include <iostream>

template <typename T>
struct make {
  static int value() {
    return -1; // default
  }
};

template <>
struct make<int> {
  static int value() {
    return 1; 
  }
};

template <>
struct make<double> {
  static int value() {
    return 2; 
  }
};

template <typename T>
struct foo {
  const int val;
  foo() : val(make<T>::value()) {}
};

int main() {
  std::cout << foo<int>().val << ", " << foo<double>().val << "\n";
}

但您也可以将其安排为重载：

#include <iostream>

int value(void *) {
  return -1; // default
}

int value(double *) {
  return 2;
}

int value (int *) {
  return 1;
}

template <typename T>
struct foo {
  const int val;
  foo() : val(value(static_cast<T*>(nullptr))) {}
};

int main() {
  std::cout << foo<int>().val << ", " << foo<double>().val << "\n";
}

Answer 3

你可以把从模板参数到值的映射放到一个辅助类中，给你这样的东西：

template<typename T> struct foo_helper;
template<> struct foo_helper<int>   { static int getValue() {return 1; } };
template<> struct foo_helper<float> { static int getValue() {return 2; } };
....


template<typename T> class foo 
{
   int m;
   foo():m(foo_helper<T>::getValue()){}

};