c++模板类根据类型通过ref传递构造函数

Question

假设我有一个看起来像这样的类，如果 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...)，这是否可以普遍解决？

Answer 1

你只需要有一个构造函数。毕竟，它在两种情况下都做同样的事情，对吗？首先，定义一个基于 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) { }
};