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

Posted 2023-02-23

【中文标题】寻求对内联命名空间的澄清

【英文标题】：Seeking clarification on inline namespace

【发布时间】：2018-10-10 02:07:19

【问题描述】：

在cppreference中，找到以下文字：

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

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

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

【参考方案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.