Step By Step(C++模板解析)

一、符号查找：

    这里先给出两个基本的术语，它们将在后面的篇节中被广泛的引用。
    1. 限定作用域符号：
    如果一个名称(函数名、类名或变量名)的前面包含域解析运算符(::)，或成员访问运算符(. or ->)，这表明该名称将属于某一作用域，那么我们就将该类名称成为限定作用域符号。如：::GetTickCount()、myClass->GetCount()等。与其相反的我们则成为非限定作用域符号，如：GetCount()，GetTickCount()等。
    
    2. 依赖型符号：
    如果一个名称依赖于某个模板参数，如：vector<T>::iterator，这里由于T是一个模板参数，同时也是一个未知类型，因此我们可以称iterator为依赖型符号，如果改为vector<int>::iterator，那么这里的iterator将不再为依赖型符号了。
    C++编译器在进行编译时，需要对一些符号进行查找，以确认其身份是否合法。对于限定作用域的符号，它的查找范围相对有限，如类成员变量，它的查找范围将仅限于当前类、父类等。见如下代码示例和关键性注释：

    #include <stdio.h>
    
    int i;
    class Base {
    public:
        Base() : i(0) {}
    protected:
        int i;
    };
    
    class Derive : public Base {
    public:
        void DoTest() {
            //符号i的搜索范围将仅限于当前类和其基类Base。
            printf("The value of i is %d.\n",this->i);
        }
    };
    
    int main() {
        Derive d;
        d.DoTest();
        return 0;
    }

    然而对于非限定作用域符号的查找则没有此类的限制，基本的查找规则为由内到外逐层查找，即先查找类内和父类范围内，如果均为找到，在查找类的外部，如果在外部仍为找到，C++编译器将会启用ADL(参数依赖查找)规则。现在我们还是通过示例来讲清楚这个复杂的概念吧。

    template<typename T>
    T const& max(T const& a, T const& b) {
        return a < b ? b : a;
    }
    namespace BigMath {
        class BigNumber {
            ... ... 
        }
        bool operator<(BigNumber const&, BigNumber const&);
    }
    using BigMath::BigNumber;
    void f(BigNumber const& a, BigNumber const& b) {
        ... ... 
        BigNumber c = max(a,b);
    }

二、ADL(Argument-Dependent Lookup):
    
    首先明确一下，ADL只能应用于非限定作用域符号。C++编译器的符号查找范围将会根据函数的实参进一步扩大，即实参所关联的类和名字关键都将成为本次符号查找的考虑范围了。其基本规则如下：
    1. 对于基本类型，其范围为空集。
    2. 对于指针和数组，其范围为指针或数组类型所关联的类和名字空间。
    3. 对于枚举类型，仅为该枚举声明所在的名字空间。
    4. 对于类类型，将包括类本身和直接基类，以及他们所在的名字空间，如果是模板类，还将包括模板类实例化后模板实参所关联的类和所在的名字空间。
    5. 对于函数，将包括其实参和返回值所关联的类和其所属的名字空间。
    6. 对于类成员指针，除了其外围类之外，还将包括该指针类型所关联的类和名字空间。
    综上所述，我们就可以很容易的理解上面的代码示例了，由于f()函数的参数为BigNumber，编译器在搜索BigNumber的operator<(...)时会考虑到BigNumber所在的名字空间，这样就可以定位到与BigNumber对应的operator<(...)函数了。
    
三、模板解析：

    这里着重讨论的是template关键字的另外一种应用场景，见如下示例代码和关键性注释：

    #include <stdio.h>
    
    template<typename T>
    class InnerClass {
    public:
        static void DoTest() { 
            printf("This is InterClass::DoTest().\n"); 
        }
    };
    
    template<typename T>
    class OuterClass {
    public:
        template<typename T2>
        void func() {
            T2::DoTest();
        }
    };
    
    template<typename T> 
    void DoTest(OuterClass<T>& outClass) {
        //限定符.前面的变量outClass的类型依赖于模板参数，而其后面的限定符也是一个
        //模板符号，在这种情况下，为了使编译器能够确切的清楚func符号的类型，我们
        //需要在.和func之间插入template关键字，以明确告诉编译器func的类型。
        outClass.template func<InnerClass<T> >();
    }
    
    int main() {
        OuterClass<int> outClass;
        DoTest(outClass);
        return 0;
    }