我可以专门化运算符<<吗？

Question

我想专门化运算符<<但这段代码无法编译；

template<>

std::ostream& operator<< < my_type >( std::ostream& strm, my_type obj);

Answer 1

要专门化模板，首先必须声明一个模板。

对于免费的operator<<，您不需要模板；你可以为你的 my_type 类重载它：

std::ostream& operator<<( std::ostream& strm, my_type obj );

如果你的对象大小不小，你可能需要考虑通过 const 引用传递，这样你就不会在每次流式传输时复制它:

std::ostream& operator<<( std::ostream& strm, const my_type& obj );

(从技术上讲，您可以显式地专门化一个运算符<<，但我认为这不是您想要或需要的。为了能够将模板运算符<<与 语法需要使模板专业化可以从参数类型之一推导出来

。

// template op <<
template< class T >
std::ostream& operator<<( std::ostream&, const MyTemplClass<T>& );

// specialization of above
template<>
std::ostream& operator<< <int>( std::ostream&, const MyTemplClass<int>& );

通常的<<

Answer 2

为什么不只是超载呢？

// no template <>
std::ostream& operator<<( std::ostream& strm, my_type obj);

仅当存在专门化的模板时，您才可以专门化。

_{您的参数可能应该是const my_type&，以避免不必要的复制。}