寻求对内联命名空间的澄清答案

【问题标题】：Seeking clarification on inline namespace寻求对内联命名空间的澄清
【发布时间】：2018-10-10 02:07:19
【问题描述】：

在cppreference中，找到以下文字：

内联命名空间的每个成员都可以部分特化，显式实例化或显式特化，就好像它是封闭命名空间的成员。

注意：关于专业化的规则允许库版本控制：库模板的不同实现可以定义在不同的内联命名空间，同时仍然允许用户扩展具有显式特化主名称空间的父名称空间模板。

这些陈述意味着什么？谁能通过一个简单的例子来解释一下？

【问题讨论】：

标签： c++ c++11 namespaces inline-namespaces

【解决方案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

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

这个例子没用，但考虑一个场景，你想在外部库（包括 stl）中专门化 template 函数或 class。你不知道vector 是std 还是std::cxx11 的成员（libc++ 在很多事情上都使用std::__1）。由于inline namespace 是一种在API 级别提供版本控制的方法（例如，您将inline namespace 更改为v2 并单独保留v1），这让最终用户可以在不知道@987654337 详细信息的情况下进行专业化@d namespaces.

【讨论】：