在 std 命名空间中重载（非特化）模板

Question

这是非常迂腐的，但在 C++03 中，程序在std 中重载（不是专门化）模板函数显然不符合规范命名空间：请参阅 here 和 long discussion on comp.lang.c++.moderated 的提及

即没关系：

namespace std
{
    template <>
    void swap (Foo & f, Foo & g)
    {
       // ...
    }
}

但这不是（如果我理解正确的话……）：

namespace std
{
    template <typename T>
    void swap (TempateFoo<T> & f, TempateFoo<T> & g)
    {
       // ...
    }
}

这在 C++11 中仍然成立吗？另外，这是否也适用于模板类（如std::hash），还是仅适用于模板函数？

编辑：另外，有没有标准库实现的例子，这样后者会在实践中破坏东西？如果没有，是否有特定原因不允许像上面第二种情况那样重载？ （理论上可能会出现什么问题？）

Answer 1

不可能在 C++ 中定义函数模板的部分特化，因此您的第二个示例定义了重载而不是特化。由于标准只允许将特化添加到命名空间std，因此您的重载是非法的。

在 C++11 中仍然如此吗？

是的。

此外，这是否也适用于模板类（如 std::hash），还是仅适用于模板函数？

你不能重载类模板，你只能重载函数。但同样的规则也适用，只有当特化依赖于用户定义（即非标准）类型时，您才能特化类模板。

是否有特定原因不允许像上面第二种情况那样重载？ （理论上可能会出现什么问题？）

作为一个例子，实现可能想要获取函数的地址，但如果您重载了函数，那么获取地址可能会导致歧义并无法编译，这意味着您刚刚破坏了标准中的有效代码图书馆。

Answer 2

n3376 17.6.4.2.1

如果 C++ 程序将声明或定义添加到命名空间 std 或 除非另有说明，否则命名空间 std 内的命名空间。程序可以添加模板特化 仅当声明依赖于用户定义的类型时，任何标准库模板才能命名空间 std 并且专业化满足原始模板的标准库要求并且没有明确 禁止。

17.6.4.2.2

如果 C++ 程序声明了，则其行为是未定义的

——标准库类模板的任何成员函数的显式特化，或

——标准库类或类模板的任何成员函数模板的显式特化， 或

——标准库类或类的任何成员类模板的显式或部分特化 模板。

程序可以显式实例化标准库中定义的模板，仅当声明 取决于用户定义类型的名称并且实例化符合标准库要求 用于原始模板。