是否为模板参数扣减使用一个参数？

Question

template <typename T> void assign(T *a, T b) { *a = b; }

int main() {
    double i;
    assign(&i, 2);
}

在这种情况下，我总是希望t从第一个参数中推导出来，但看起来我没有很好地表达这一点。2的类型是int，因此：

deduce.cpp:5:5: error: no matching function for call to 'assign'
    assign(&i, 2);
    ^~~~~~
deduce.cpp:1:28: note: candidate template ignored: deduced conflicting types for parameter 'T' ('double' vs. 'int')
template  void assign(T *a, T b) { *a = b; }

有没有一种方法可以声明assign()，这样第二个参数就不参与模板参数的推导了？

Answer 1

使用两个类型参数可能是最好的选择，但是如果您真的想只从第一个参数执行推论，那么只需使第二个参数不可推论：

template<typename T>
void assign( T* a, typename std::identity<T>::type b );

• 演示:http://ideone.com/zw6mpu

这个答案的早期版本建议使用C++11中引入的模板别名特性。但是模板别名仍然是一个可推断的上下文。std::identity和std::remove_reference阻止演绎的主要原因是模板类可以专门化，因此即使您有模板类型参数的typedef，另一个专门化也可能有相同类型的typedef。由于可能存在歧义，演绎不会发生。但是模板别名排除了专门化，因此仍然会发生演绎。