C++模板&二段式名字查找

什么是二段式名字查找（Two-phase name lookup）

模板被编译两次且在用到的时候才实例化：
- 在模板定义阶段，编译器会检查模板的语法，查找模板中独立的名字。
- 在模板实例化阶段，查找非独立的名字。
独立的名字就是指该名字不依赖模板参数，反之为非独立。

template<typename T>
class A
{
public:    
    void f() { std::cout << "A::f()" << std::endl;  }
}

template<typename T>
class B: public A<T>
{
public:   
    void g() { 
        f();
    }
}

上例中，B中的f是独立名字，因此编译器在阶段一就会认为其为非成员函数，随后因找不到该函数而报错：
there are no arguments to ‘f’ that depend on a template parameter, so a declaration of ‘f’ must be available，而如果将f()改成this->f()，则编译器对f()的查找会推迟到阶段二，首先在B中查找，找不到再去基类中查找。

参考链接

Two phase lookup - explanation needed
Two phase name lookup for C++ templates - Why?
C++里的Two phase lookup