在inline命名空间外特化其内函数模板是否符合C++标准？

这种特化是符合C++标准的合法操作。

inline命名空间的核心特性是其成员会被自动提升到外层命名空间，相当于外层命名空间的直接成员。对于你示例中的代码，A::A0::B是inline命名空间下的子命名空间，因此A::B与A0::B在语义上是等价的——模板特化要求与原模板处于同一命名空间，这里的特化位置A::B满足这一要求。

你遇到的编译差异属于编译器实现问题：GCC 13.2正确识别了inline命名空间带来的命名空间等价性，因此编译通过；而MSVC 19.40在C++17标准下的实现存在疏漏，未能正确处理这种嵌套inline命名空间的模板特化场景。

如果要让代码在MSVC上也能正常编译，可以将特化代码放在原模板所在的inline命名空间内部，写法如下：

namespace A
{
    namespace A0
    {
        namespace B
        {
            template<>
            float sum<float>(float v1, float v2)
            {
                return v1 - v2; // Do something different
            }
        }
    }
}

这种写法是标准明确允许的，所有合规编译器都应支持。

内容的提问来源于stack exchange，提问作者Edwin Lester Solis Fuentes