MSVC中模板类未使用函数允许未声明命名空间是否符合C++标准

该编译行为差异属于MSVC的历史非合规实现，并非标准允许的特性，按照C++标准规范，这段代码应当触发编译错误，GCC、Clang的处理是完全符合标准要求的。

C++标准对模板编译的名称查找有明确的两阶段查找（Two-phase name lookup）强制要求：

• 第一阶段检查发生在模板本身的定义位置：所有不依赖模板参数的非依赖名称，必须在这个阶段完成命名空间解析、语义合法性检查，该检查和模板后续是否被实例化、对应成员函数是否被调用没有任何关系。
• 第二阶段检查发生在模板实际实例化的位置：仅对依赖模板参数的依赖名称执行查找和语义校验。

对照给出的示例代码：

#include <string>

namespace
{
    template<class Iterator>
    struct Foo
    {
        Foo()
        {
        }

        void parse(Iterator begin, Iterator end)
        {
            foo::string a(begin, end - begin);
        }
    };
}

using CharFoo = Foo<const char *>;
CharFoo fooParser;

int main() 
{
}

代码中parse函数内的foo::string是完全不依赖模板参数Iterator的非依赖名称，按照标准要求，在Foo类模板定义的位置就必须完成名称查找——但当前匿名命名空间下不存在名为foo的命名空间，也不存在foo::string类型，因此必然触发编译错误。

MSVC长期保留了历史遗留的非标准编译逻辑：在默认编译模式（未开启/permissive-严格合规开关）下，它并未实现标准要求的两阶段查找，而是将模板内绝大多数名称的检查推迟到模板实例化阶段；对于类模板中未被实际调用、不会生成目标代码的成员函数，编译器会直接跳过其内部的全部语义检查。
示例代码中从来没有调用过parse成员函数，MSVC默认模式下就跳过了该函数内部的名称解析，因此不会抛出编译错误。只要给MSVC加上/permissive-编译开关启用严格标准合规模式，这段代码会和GCC、Clang一样报出名称查找失败的编译错误。

补充说明：哪怕移除代码中CharFoo fooParser;这行类模板实例化的代码，默认模式下的MSVC依然不会报错，这也进一步印证了其默认行为不符合标准——非依赖名称的检查在模板定义阶段就该完成，和后续是否实例化模板、是否调用成员没有关联。

内容的提问来源于stack exchange，提问作者Addy