假设我有一个看起来像这样的类,如果 T
是像 double
这样的简单类型,它应该按值构造;如果 T,则应该按引用构造
更复杂。
我目前的代码如下所示:
template<class T>
class Val {
public:
Val() = default;
Val(double v) : _v(v) {}
template<typename U = T>
Val(const &T v,
typename std::enable_if<!std::is_same<U,double>::value, bool>::type = 0)
: _v(v) {}
private:
T _v;
};
这行得通,但感觉真的很粗略,因为在构造函数中引入了一个额外的参数。这个问题有更好的解决方案吗?这似乎更适合重载或模板特化解决方案?对于所有简单类型(int
、float
、double
...),这是否可以普遍解决?
最佳答案
你只需要有一个构造函数。毕竟,它在两种情况下都做同样的事情,对吗?首先,定义一个基于 T
的类型特征,它是一个值或引用:
template <typename T>
using param_type = std::conditional_t<
is_complex_type<T>::value,
T const&,
T>;
is_complex_type
是稍后要确定的一些适当的类型特征。也许它是 is_fundamental
正如其他答案所建议的那样。
然后直接使用它:
template<class T>
class Val {
public:
Val() = default;
Val(param_type<T> v) : _v(v) { }
};
关于c++模板类根据类型通过ref传递构造函数,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/32258444/