我在看 Effective C++ 第四十二条，它指出C++ 在解析嵌套从属名称（nested dependent name）时并不会优先假定它是「类型」，于是得显式地在所有嵌套从属类型名称前统统加上typename, 以声明它是嵌套从属类型名称（nested dependent type name）。但是这typename不能用在成员初始化列表（member initialization list）里。问题来了：

假定varialble_是Base的数据成员，类型为int. 那么

template class Derived: public Base { public: explicit Derived(int x) : Base::variable_(x) {} }

按照 C++ 的解析规则，Base::variable_应该会被优先解析成非类型的名称，即Base的一个数据成员，从而在Derived构造函数里被初始化成x.

但是这么一来，假定Base::Nested是一种 class, 则

template class Derived: public Base { public: explicit Derived(int x) : Base::Nested(x) {} private: int second_variable_; }

怎么还能保证Base::Nested(x)会调用Base::Nested(int x)构造函数来初始化其类对象，而不是把Base::Nested当成一种Base的数据成员呢？