operator +和float参数

Question

我对模板有一个奇怪的问题,我试图在模板类和"float/double/int"类型之间进行基本的添加.这是非常基本的,但如果我这样做:

template<class T>
class toto{
    T a;
};

template<class T>
toto<T> operator+(toto<T> const&, T&){
     std::cout <<  "hello " <<std::endl;
}

int main(){
     toto<float> t;
     toto<float> d = t +2.3;
}

它不会编译,因为2.3被认为是双精度,它与签名不匹配.我可以为我的operator +使用第二个模板参数

template<class T, class D>
toto<T> operator+(toto<T> const&, D&){
     std::cout <<  "hello " <<std::endl;
}

它编译,正确执行,但太危险D可以是一切.另一种方法是使用float,double或int(O_O)创建不同的签名.Boost :: enable_if似乎是我的解决方案,但在我阅读的文档中:

template <class T>
T foo(T t,typename enable_if<boost::is_arithmetic<T> >::type* dummy = 0);

将此方法应用于operator*doest不起作用,因为编译器抱怨默认参数是被禁止的.

有什么建议 ？

干杯,

++Ť

Answer 1

对第二个参数使用非推导的上下文.并且const-reference作为参数,允许rvalues.

template <typename T> struct identity {using type = T;};
template <typename T>
using identity_t = typename identity<T>::type;

template<class T>
toto<T> operator+(toto<T> const&, identity_t<T> const&)
{
     std::cout <<  "hello " <<std::endl;
}

由于无法推导出调用的模板参数,因此非推导的上下文将导致推导忽略某个参数的调用参数.在某些情况下,如此处所希望的那样,因为不再存在不一致的推论.换句话说,第二个参数的类型完全取决于调用的第一个参数,而不是第二个参数(可以隐式转换).

toto<float> d = t + 2.3;

现在应该编译,演示.