如何修改Base类，强制其所有派生类均为trivial类？

要实现“所有继承自Base的派生类必须是trivial类”的需求，我们可以利用C的编译期检查特性，结合CRTP（奇异递归模板模式）或者C20的Concepts来实现。下面是两种可行的方案：

方案1：CRTP + Static Assert（C++11及以上） #

我们需要将原有的非模板Base类修改为模板类，让派生类以自身作为模板参数继承Base，然后在Base中添加编译期断言来检查派生类是否满足trivial条件。这样既保证了Base本身对于合法的派生类仍然是trivial，又能在非法派生类定义时直接触发编译错误。

示例代码：

#include <type_traits>

template<typename Derived>
class Base {
protected:
    // 保持Base的默认构造函数，确保Base自身是trivial
    Base() = default;
    Base(const Base&) = default;
    Base(Base&&) = default;
    Base& operator=(const Base&) = default;
    Base& operator=(Base&&) = default;
    ~Base() = default;

    // 编译期断言：检查派生类是否为trivial
    static_assert(std::is_trivial_v<Derived>, "Derived class must be trivial!");
};

// 合法的派生类：无自定义构造/析构等，满足trivial条件
class GoodDerived : public Base<GoodDerived> {
    int data;
};

// 非法的派生类：有自定义构造函数，触发编译错误
class BadDerived : public Base<BadDerived> {
    BadDerived() {} // 用户自定义构造函数导致类非trivial
};

原理说明 #

• CRTP让Base能够获取派生类的类型Derived，从而通过std::is_trivial_v在编译期检查派生类是否符合trivial要求。
• 我们显式声明了Base的默认特殊成员函数，确保Base自身仍然是trivial类（符合你最初的std::is_trivial<Base>::value == true的要求）。
• 当派生类不符合trivial条件时，static_assert会直接抛出编译错误，阻止非法类的定义。

方案2：C++20 Concepts（更简洁的方式） #

如果你使用的是C++20或更高版本，可以利用Concepts特性直接约束Base模板的参数必须是trivial类，代码会更简洁直观：

示例代码：

#include <type_traits>

// 定义一个Trivial概念，约束类型必须是trivial
template<typename T>
concept Trivial = std::is_trivial_v<T>;

// Base模板只接受满足Trivial概念的类型作为参数
template<Trivial Derived>
class Base {
protected:
    // 保持Base的trivial特性
    Base() = default;
    Base(const Base&) = default;
    Base(Base&&) = default;
    Base& operator=(const Base&) = default;
    Base& operator=(Base&&) = default;
    ~Base() = default;
};

// 合法派生类
class GoodDerived : public Base<GoodDerived> {};

// 非法派生类：编译时会提示不满足Trivial概念
class BadDerived : public Base<BadDerived> {
    BadDerived() {}
};

原理说明 #

• Trivial概念直接封装了trivial类型的检查逻辑，代码可读性更高。
• 当派生类不符合Trivial概念时，编译器会在尝试实例化Base<BadDerived>时直接报错，明确指出类型不满足约束。

注意事项 #

• 这两种方案都需要将原有的非模板Base改为模板类，因为非模板的基类无法在编译期获取派生类的类型，也就无法进行trivial检查。
• 如果你必须保持Base为非模板类，那么在标准C++中没有直接的方法强制派生类必须是trivial——因为基类无法感知派生类的定义细节。

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