要求澄清内联命名空间

Question

在优先选择中，可以找到以下文本：

内联名称空间的每个成员可以被部分专门化、显式实例化或显式专门化，就像它是封闭命名空间的成员一样。 注意:关于专门化的规则允许库版本控制:库模板的不同实现可以在不同的内联命名空间中定义，同时仍然允许用户使用主模板的显式专门化扩展父命名空间。

这些说法意味着什么？有人能用一个简单的例子来解释吗？

Answer 1

考虑一个愚蠢的例子：

#include <iostream>

namespace foo {
    inline namespace v1 {
        template <typename T>
        void bar(T t) {
            (void) t;
            std::cout << "Generic bar\n";
        }
    }

    template <>
    void bar<int>(int v) {
        (void) v;
        std::cout << "Specialized bar\n";
    }
}

int main() {
    foo::bar(12);
    foo::v1::bar(12);
    foo::bar(12.0);
    return 0;
}

如果您运行这个程序，您将得到以下输出：

Specialized bar
Specialized bar
Generic bar

这是因为使用foo::bar调用int是专门用于foo的，即使默认实现存在于foo::v1中。

这个例子是无用的，但是考虑一个场景，您希望在外部库(包括stl)中专门化一个template函数或class。您不知道vector是std还是std::cxx11的成员(libc++在许多方面使用std::__1 )。由于inline namespace是在API级别提供版本控制的一种方法(例如，您将inline namespace更改为v2，而不使用v1 )，因此可以让最终用户在不了解inlined namespace的详细信息的情况下进行专门化。