EffectiveC++-条款42：了解 typename 的双重意义

提一个问题，以下 template 声明式中，class 和 typename 有什么不同？

template
class Demo;

template
class Demo;

答案：没有不同。当我们声明 template 类型参数时， class 和 typename 的意义完全相同。

某些程序员喜欢 class，因为可以少打几个字。

其他人，包括我，比较喜欢 typename ，因为它暗示参数并非一定是个 class 类型。

但是，C++ 并不总把 class 和 typename 视为等价，有时候你一定得使用 typename。为了了解，我们先谈谈你可以在 template 内使用（refer to）的两种名称：从属名称和非从属名称。举个例子：

template
void PrintContainer(const T& Container){
    if (Container.Size()>0) {
        T::const_iterator iter(Container.begin()); //注意 iter
        ++iter;
        int value=*iter; //注意 value
        std::cout< 
我在代码中强调两个 local 变量：iter 和 value。
 
iter 的类型是 T::const_iterator，实际是什么取决于 template 参数 T。template 内出现的名称如果依赖于某个 template 参数，我们就称之为从属名称（dependent names）。如果从属名称在 class 内呈嵌套状，我们就称之为嵌套从属名称（nested dependent names）。T::const_iterator就是这样的名称，实际上它还是一个嵌套从属类型名称（nested dependent type name），也就是个嵌套从属名称并且指出是什么类型。
 
value 的类型是 int 。它不依赖于任何 template 参数。我们便称之为非从属名称（non-dependent names）。
 

嵌套从属名称可能导致解析（parsing）困难。比如上述的 T::const_iterator，如果 const_iterator 不是类型，如果 T 有一个 static 成员变量碰巧被命名为 const_iterator 怎么办呢？C++默认解析此歧义情况为：如果解析器在 template 中遭遇到一个嵌套从属名称，它便假设这个名称不是类型，而是变量，除非你告诉它是。告诉解析器为类型只需要在加上 typename 关键字。

一般性规则：任何时候当你想要在 template 使用嵌套从属类型名称，就在其前面加上 typename 关键字。唯一的例外是在 base class list （基类列）和 member initialization list（成员初值列），举个打印的例子：

class Message {
public:
    Message() = default;
    explicit Message(std::string InText): Text(std::move(InText)) {}

    void SetText(std::string InText) {
        Text = std::move(InText);
    }

    std::string GetText() {
        return Text;
    }

private:
    std::string Text;
};

template 
class MessageContainer {
public:
    typedef T ElementType;
};

template 
class Printer : private MessageContainer::ElementType {  //无需使用 typename
public:
    //使用 typename 表明是一个类型，而不是变量
    //使用 typedef 给过长的类型起别名，方便少打字
    typedef typename MessageContainer::ElementType ElementType; 

    explicit Printer(): MessageContainer::ElementType() { //无需使用 typename
        
        std::cout << typeid(ElementType).name() << "n"; //class Message
        
    }

    void Log(std::string Text) {
        ElementType::SetText(Text);
        std::cout << ElementType::GetText() << "n";
    }
};

inline void TryWithPrinter() {
    Printer Printer;
    Printer.Log("HelloWorld");
}

对于过长的 typename，可以使用 typedef 给类型起别名：

template
void PrintContainer(const T& Container){
    if (Container.Size()>0) {
        typedef typename T::const_iterator ConstIterator;
        ConstIterator iter(Container.begin()); 
        //...
    }
}