c++ - 嵌套从属名称在成员初始化列表如何被分别解析为类型或数据成员？

Question

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

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

template<typename T>
class Derived: public Base<T> {
 public:
  explicit Derived(int x) : Base<T>::variable_(x) {}
}

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

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

template<typename T>
class Derived: public Base<T> {
 public:
  explicit Derived(int x) : Base<T>::Nested(x) {}

 private:
  int second_variable_;
}

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

Answer 1

我突然發現我把 Base<T>::Nested(x) 和 Base<T> 的建構子搞混了。 Derived 作為衍生類，只能在成員初始化列表內，呼叫基底類別 Base<T> 的建構函數，並初始化它自己的資料成員。

如果 Derived 繼承 Base<T>::Nested, 其實這就意味著 Base<T>::Nested 是一個類別，編譯器會知道成員初始化列表裡 Base<T>::Nested(int x) 是一個建構函數的。其實 Effective C++ 第四十二條也指出了 C++ 禁止在 base class lists 用 typename, 畢竟本來就畫蛇添足。

話說回來，在成員初始化列表內，要把 Base<T>::variable_ 解析成一個型，也沒有意義。