C++模板嵌套类成员访问报错：为何直接用‘i’失败而this->i可行？

先看你提供的代码：

#include <iostream>

template<typename A>
class c
{
    class a
    {
        protected:
        int i = 0;
    };
    class b: public a
    {
        public:
        void print()
        {
            std::cout << "i of a: " << i; // fails
            //std::cout << "i of a: " << this->i; // works
        }
    };
};

一、直接访问i报错的理论原因 #

虽然嵌套类a不依赖模板参数A，但外层类c是模板类，b作为c的嵌套成员，属于模板的成员类。C++标准对模板的名称查找有两阶段查找规则：

• 第一阶段（模板定义时）：编译器只查找不依赖模板参数的名称，此时模板还未实例化，编译器不会深入模板内部的嵌套基类（也就是a）去查找成员——因为a是模板类c的嵌套类，在模板未实例化时，c的完整结构还未确定，编译器不会主动将a的成员纳入当前查找范围。
• 第二阶段（模板实例化时）：编译器才会处理依赖于模板实例的名称。当你用this->i时，相当于明确告诉编译器：i是当前类实例的成员，需要延迟到实例化阶段去查找。此时c已经实例化，a的结构也确定了，编译器就能找到继承来的i。

简单说，直接写i时，编译器在模板定义阶段找不到这个标识符；用this->则强制延迟查找时机，等到实例化时再去基类里找。

二、MSVC与GCC/Clang的行为差异原因 #

• GCC和Clang严格遵循C++标准的两阶段查找规则，在模板定义阶段就严格检查名称的可查找性，所以直接写i会报错。
• MSVC采用的是延迟查找的非标准实现，它没有严格区分两阶段查找，而是在模板实例化时才去查找所有名称，包括嵌套基类的成员。这种宽松的规则让它能绕过标准的查找限制，所以直接访问i也能编译通过。

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