如何让模板类成员为其自身的派生类类型

要确保std::array的元素类型必须是a的派生类，你需要把a定义为模板类，并通过编译期检查来约束模板参数。以下是两种可行的实现方式：

C++20及以上版本（使用Concept） #

利用C++20引入的std::derived_from概念配合static_assert，可以在编译阶段直接强制约束类型关系，错误提示更清晰：

#include <array>
#include <concepts>

template<typename T>
class a
{
    // 编译期断言：T必须是a<T>的派生类
    static_assert(std::derived_from<T, a<T>>, "模板参数T必须派生自a<T>");
    std::array<T, 5> arr;
public:
    // 提供公有的访问接口，符合封装原则
    T& get(int i) { return arr[i]; }
    const T& get(int i) const { return arr[i]; }
};

// 派生类b继承a<b>，满足T是a<T>派生类的约束
class b : public a<b>
{
    // 无需重复实现get，直接使用基类的接口即可
};

C11/C17版本（使用类型特性） #

如果你的编译器不支持C++20，可以用std::is_base_of类型特性来实现同样的编译期检查：

#include <array>
#include <type_traits>

template<typename T>
class a
{
    // 编译期断言：a<T>是T的基类
    static_assert(std::is_base_of<a<T>, T>::value, "模板参数T必须派生自a<T>");
    std::array<T, 5> arr;
public:
    T& get(int i) { return arr[i]; }
    const T& get(int i) const { return arr[i]; }
};

class b : public a<b>
{
};

关键说明 #

1. 模板化基类：必须将a定义为模板类，才能接收派生类作为类型参数T。
2. 编译期检查：static_assert会在编译阶段验证类型约束，不满足条件时直接抛出明确的错误信息，避免运行时问题。
3. 封装修正：原代码中派生类直接访问基类私有成员arr是不合法的，这里通过提供公有的get接口来实现访问，符合C++的封装原则。
4. 派生类继承方式：派生类需要以a<派生类>的形式继承基类，比如b : public a<b>，这样才能让模板参数T匹配派生类类型，满足约束条件。

内容的提问来源于stack exchange，提问作者Troy Hamilton