我应该专攻还是超载？

Question

假设我有一个功能模板:

template <typename T>
std::string foo(const T& x)
{
    return some_computation_involving(x);
}

如果x已经是一个字符串,我只想逐字传递它.我应该专门化功能模板吗？

template <>
std::string foo(const std::string& x)
{
    return x;
}

或者我应该提供非模板功能？

std::string foo(const std::string& x)
{
    return x;
}

在什么情况下我应该选择哪个选项,以及我需要注意哪些陷阱？

Answer 1

Herb Sutter表示,首选功能专业化过载.他在文章中解释了这一点:

• 为什么不专门化功能模板？
• 模板专业化和重载