面试题：C++中static关键字在模板类和继承体系中的复杂应用

访问规则和存储特性

不同实例化的模板类对象：
- 对于不同实例化的模板类（例如 MyTemplate<int> 和 MyTemplate<double>），每个实例化都有自己独立的 static 成员变量副本。这是因为模板实例化本质上会生成不同的类，每个类都有自己的成员，包括 static 成员。
- 访问方式与普通类的 static 成员类似，可以通过类名或者对象来访问。例如，对于 MyTemplate<int>，可以使用 MyTemplate<int>::staticVar 或者 MyTemplate<int> obj; obj.staticVar 来访问。
继承层次：
- 当模板类参与继承体系时，派生类会继承基类模板类的 static 成员变量。如果基类模板类有一个 static 成员变量，派生类模板类的不同实例化也会有各自从基类继承来的 static 成员变量副本。
- 访问时，派生类可以通过基类名（如果没有隐藏该成员）或者派生类名来访问继承的 static 成员变量。例如，DerivedTemplate<int>::staticVar 或者 DerivedTemplate<int>::BaseTemplate<int>::staticVar。

代码示例

#include <iostream>

// 模板基类
template <typename T>
class BaseTemplate {
public:
    static int staticVar;
};

template <typename T>
int BaseTemplate<T>::staticVar = 0;

// 模板派生类
template <typename T>
class DerivedTemplate : public BaseTemplate<T> {
public:
    void increment() {
        // 访问继承的 static 成员变量
        DerivedTemplate<T>::staticVar++;
    }
};

int main() {
    // 创建模板类实例
    DerivedTemplate<int> obj1;
    DerivedTemplate<double> obj2;

    // 访问和修改 static 成员变量
    obj1.increment();
    std::cout << "DerivedTemplate<int>::staticVar: " << DerivedTemplate<int>::staticVar << std::endl;
    std::cout << "DerivedTemplate<double>::staticVar: " << DerivedTemplate<double>::staticVar << std::endl;

    return 0;
}

可能遇到的陷阱

未初始化：
- 陷阱：忘记为模板类的 static 成员变量提供外部定义和初始化。如果只在类声明中有 static 成员变量声明，而没有在类外进行定义和初始化，链接时会报错。例如，在上述代码中，如果去掉 template <typename T> int BaseTemplate<T>::staticVar = 0; 这一行，链接时会提示 undefined reference to 'BaseTemplate<int>::staticVar' 等类似错误。
作用域混淆：
- 陷阱：在派生类中访问 static 成员变量时，可能会因为作用域问题导致访问错误。例如，如果在派生类中定义了一个与继承的 static 成员变量同名的局部变量，可能会意外地使用局部变量而不是继承的 static 成员变量。
```
template <typename T>
class DerivedTemplate : public BaseTemplate<T> {
public:
    void increment() {
        int staticVar = 0; // 这里定义了一个同名局部变量
        staticVar++; // 意外地修改了局部变量，而不是继承的 static 成员变量
    }
};
```
要避免这种情况，在访问继承的 static 成员变量时，明确使用类名限定作用域，如 DerivedTemplate<T>::staticVar。

星途面试题库

面试题：C++中static关键字在模板类和继承体系中的复杂应用

知识考点

面试题答案

访问规则和存储特性

代码示例

可能遇到的陷阱