c++ - 何时将模板参数类型限制为具体类

Question

如果我有一个可以为所有类型 Stream 定义的函数模板，例如

template<typename Stream>
Stream& foo(Stream& stream)
{
    return stream;
}

将类型限制为具体类是否有任何优势，例如

template<typename CharT, Traits>
std::basic_istream<CharT, Traits>& foo(std::basic_istream<CharT, Traits>& stream)
{
    return stream;
}

或者作为经验法则，函数/类模板是否应该始终尽可能通用，即使您心中有特定的类型？

Answer 1

我们在当前的 C++ 中还没有约束或概念，因此您以前的模板接口(interface)比需要的更通用，因为它也接受其接口(interface)中不是流的类型。当你调用你的函数模板并且它被重载时，这将导致容易产生歧义。

所以让你的函数模板尽可能通用，但不要比需要的更通用。在这种情况下，您最好将精力投入到其他事情上。