CRTP派生类能否通过基类虚析构函数安全析构？

问题背景 #

用户通过带有虚析构的基类TensorExpression，结合CRTP模式实现运算类，对CRTP基类中的虚析构函数是否会引发未定义行为、是否必要，以及替代方案存在疑问。相关代码如下：

代码示例 #

抽象基类TensorExpression

struct TensorExpression {
    virtual ~TensorExpression() = default;
    // ...     
};

CRTP基类BinaryOperator

template<class Operation>
class BinaryOperator : public TensorExpression {
public:
    virtual ~BinaryOperator() override = default;
    void operation() {
        return static_cast<Operation*>(this)->operation_implementation();
    }
    // 其他通过static_cast调用、基于CRTP模式实现的方法
};

派生类BinaryAdd

class BinaryAdd : public BinaryOperator<BinaryAdd> {
public:
    ~BinaryAdd() override = default;
private:
    friend class BinaryOperator<BinaryAdd>;
    void operation_implementation() {
        std::cout << "add implementation" ;
    }
};

问题解答 #

1. CRTP基类的虚析构不会引发未定义行为 #

你的代码完全合法，不存在未定义行为。原因在于：

• TensorExpression已声明虚析构函数，BinaryOperator作为其派生类，用override标记并默认实现虚析构，符合C++标准要求。
• 当通过TensorExpression*指针删除BinaryAdd对象时，虚析构机制会按BinaryAdd→BinaryOperator<BinaryAdd>→TensorExpression的顺序正确调用析构函数，确保资源被正确释放。

2. 无需在BinaryOperator中显式添加虚析构函数 #

实际上，BinaryOperator中的显式虚析构是多余的：

• 只要基类（TensorExpression）拥有虚析构函数，所有派生类的析构函数默认都会成为虚函数，无需显式标注virtual。
• BinaryAdd中的~BinaryAdd() override = default;已经能保证析构链的正确性，BinaryOperator的析构函数会自动继承虚特性。

修改后的BinaryOperator可以去掉显式虚析构：

template<class Operation>
class BinaryOperator : public TensorExpression {
public:
    // 移除显式虚析构，默认析构自动成为虚函数
    void operation() {
        return static_cast<Operation*>(this)->operation_implementation();
    }
    // 其他CRTP实现的方法
};

3. 仅需保证TensorExpression有虚析构即可安全删除 #

只要TensorExpression的析构函数是虚函数，就可以直接通过TensorExpression*指针安全删除BinaryAdd对象，不需要在BinaryOperator中做额外操作。这是因为：

• C++的虚析构特性会自动传递给所有派生类，无论中间经过多少层CRTP继承。
• 析构时会自动遍历整个继承链，调用每个类的析构函数，不会出现内存泄漏或未定义行为。

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