拥有以下代码:
template<typename T, typename OutStream = std::ostream> struct print {
OutStream &operator()(T const &toPrint, OutStream &outStream = std::cout) const {
outStream << toPrint;
return outStream;
}
};
这个电话是错误的:
print<int>(2);
错误讯息:
1>main.cpp(38): error C2440: '<function-style-cast>' : cannot convert from 'int' to 'print<T>'
1> with
1> [
1> T=int
1> ]
1> No constructor could take the source type, or constructor overload resolution was ambiguous
这个电话没有错误:
print<int> intPrinter;
intPrinter(2);
我可以在没有实例化的情况下以某种方式使用函数对象吗? 我不能在这里使用模板功能,因为我需要部分专业化功能。
答案 0 :(得分:6)
我想你想说
print<int>()(2);
这里,第一个parens通过调用(零参数)构造函数创建一个临时print<int>
对象,然后第二个parens实际上调用该对象上的函数调用操作符。你现在得到的错误是由
print<int>(2);
被解释为将2转换为print<int>
的类型转换表达式,这不是您想要的(并且也不合法)。
希望这有帮助!
答案 1 :(得分:5)
对于那些无状态包装类,使用静态成员函数可能更好:
template<typename T, typename OutStream = std::ostream>
struct printer
{
static OutStream & print()(T const &toPrint, OutStream &outStream = std::cout)
{
outStream << toPrint;
return outStream;
}
};
然后您可以使用printer<Foo>::print(x);
调用它们,并且通常可以提供类型推导辅助函数模板:
template <typename T> std::ostream & print(T const & x)
{
return printer<T, std::ostream>::print(x);
}
现在你可以说print(x);
。