如何在派生类中访问类模板基类成员？编译报错求助

问题重现 #

你尝试在类模板的派生类中初始化基类的成员变量，编写的代码如下：

template<int dim>
class base_class
{
 public:
  base_class() = default;               
  int member_ = 0;  
};

template<int dim>
class derived_class : public base_class<dim>
{
 public : 
  derived_class() : base_class<dim>::member_(1) {}   
};

int main(int argc, char* argv[])
{
        derived_class<2> dc;
    return 0;
}      

编译时触发错误：

error: no type named ‘member_’ in ‘class base_class<2>’     derived_class() : base_class<dim>::member_(1) {}         

错误原因 #

你混淆了类型访问语法和成员变量初始化规则：

• 在构造函数的初始化列表中，base_class<dim>::member_会被编译器解析为尝试访问基类中的嵌套类型（比如typedef、内部类），而非成员变量，因此报错“找不到该类型”。
• 初始化列表的作用是初始化当前类的成员，或调用基类/成员对象的构造函数，不能直接初始化基类的成员变量。

正确解决方案 #

方案一：构造函数体内赋值 #

利用基类默认构造函数先初始化member_，再在派生类构造函数体内修改值。此时可以用this->member_或base_class<dim>::member_明确指定成员来源（符合模板二阶段查找规则）：

template<int dim>
class derived_class : public base_class<dim>
{
 public : 
  derived_class() {
    this->member_ = 1;
    // 等价写法：base_class<dim>::member_ = 1;
  }   
};

方案二：通过基类构造函数初始化（推荐） #

给基类添加带参数的构造函数，派生类在初始化列表中调用该构造函数，直接完成member_的初始化，避免先默认初始化再赋值的冗余：

template<int dim>
class base_class
{
 public:
  explicit base_class(int val) : member_(val) {} // 新增带参构造
  base_class() = default;               
  int member_ = 0;  
};

template<int dim>
class derived_class : public base_class<dim>
{
 public : 
  derived_class() : base_class<dim>(1) {} // 调用基类带参构造
};

补充说明 #

你查阅资料中提到的base_class<dim>::或this->语法，适用于在类模板成员函数体内访问基类成员变量的场景——因为C++模板的二阶段查找规则，编译器需要明确知道该成员来自基类模板。但这一语法不能直接用于初始化列表中初始化基类成员。

内容的提问来源于stack exchange，提问作者Antonella Longo