引用基类模板成员变量的简单方法

Question

没有基类名和作用域解析运算符，有没有办法引用基类模板的成员变量？

template<typename D>
struct B0 {
    int value;
};
struct D0: B0<D0> {
    D0() {
        B0<D0>::value = 1; // OK.
        value = 1;         // OK without `B0<D0>::`.
    }
};

template<typename T>
struct B1 {
    T value;
};
template<typename T>
struct D1: B1<T> {
    D1() {
        B1<T>::value = 1; // OK.
        // value = 1; // Compile error without `B1<T>::`.
                      // Compile error: use of undeclared identifier 'value'
                      // `B1<T>::` is tedious everywhere `value` is referenced.
    }
};

template<typename T, typename D>
struct B2 {
    T value;
};
template<typename T>
struct D2: B2<T, D2<T>> { // CRTP
    D2() {
        B2<T, D2<T>>::value = 1; // OK.
        // value = 1; // Compile error without `B2<T, D2<T>>::`.
                      // Compile error: use of undeclared identifier 'value'
                      // `B2<T, D2<T>>::` is more tedious for CRTP.
    }
};

int main() {
    return 0;
}

是否可以不写B1<T>:: 或B2<T, D2<T>>::，这在任何地方引用value 都很乏味？

Answer 1

作为解决方案，您必须使名称 value 依赖，以使其对名称查找可见。除了你展示的那个，你还可以：

1. 使用using介绍名称，

   template<typename T>
   struct D1: B1<T> {
       using B1<T>::value;   // or move it in method's scope according to your intent
       D1() {
           value = 1;        // OK.
       }
   };
   

2. 使用this-> 验证。

   template<typename T>
   struct D1: B1<T> {
       D1() {
           this->value = 1;  // OK.
       }
   };