在构造函数中接受某些类型

Question

作为此内容 问题，如何更改代码以便我可以在类的构造函数中使用它？我正在编写一个新类，其中输入需要是某种数字，但没有其他。然而，代码就像在函数前面声明类型一样。由于构造函数并不完全具有类型，因此我需要它不要为

我的新类的函数本身声明类型：

class C{
     public:
         C();
         C(T value);// specifically looking for this


         T f(T value); // what the code currently does

};

链接中的代码创建一个[接受并]返回整数类型 T 的函数。我需要它根本不返回任何内容，以便它可以与构造函数一起使用

Answer 1

我认为您想限制构造函数模板的类型。如果是这样，那么您可以这样做：

#include <type_traits>
//#include <tr1/type_traits> // for C++03, use std::tr1::

class C
{
  public:

     template<typename T>
     C(T value, typename enable_if<std::is_arithmetic<T>::value,T>::type *p=0)
     {

     }
};

此构造函数模板只能接受那些 is_arithmetic::value 为 true 的 T。 enable_if 的实现完全相同，如 另一个答案。

---

或者，如果您没有 type_traits，则可以将 typelist 与 enable_if 一起使用。我认为这是一个更好的解决方案，因为您可以专门定义支持的类型列表。

typedef typelist<int> t1;
typedef typelist<short, t1> t2;
typedef typelist<char, t2> t3;
typedef typelist<unsigned char, t3> t4;
//and so on

typedef t4 supported_types;//supported_types: int, short, char, unsigned char

class C
{
  public:

     template<typename T>
     C(T value, typename enable_if<exits<T,supported_types>::value,T>::type *p=0)
     {

     }
};

此构造函数模板只能接受那些 exists::value 为 true 的 T。 exists 元函数检查 T 是否存在于类型列表 supported_types 中，或者不存在。您可以向此类型列表添加更多类型。

typelist 和 exists 的实现在这里（请参阅我的解决方案）：

• 限制模板实例化中的参数类型