考虑以下函数模板：
template <typename T1, typename T2>
void foo(T1 a, T2 b){// Do something.}
现在假设我希望T1 为int，但T2 由编译器根据b 的类型推导出来。像foo<int,...>(1,b) 这样的东西。有可能吗？
谢谢！
【问题讨论】：
标签： c++ templates type-deduction function-templates
是的！
foo<int>(1, b);
但在上面的例子中没有任何好处。如果您的第一个参数还没有被推断为int，则差异是显而易见的：
foo<int>(3.2f, b);
// ^^^^ Implicit conversion
【讨论】：
T2。
昆汀的回答最方便。
但显然还有其他方法可以解决这个问题。由于强制特定模板类型会导致静默转换，因此有时只进行显式转换可能更明智。
double x = 1.1;
foo(static_cast<int>(x), boost::lexical_cast<int>(y));
经典示例是使用 std::move，它只转换为 xvalue。
【讨论】：