为什么在子类中不能直接显式调用父类的析构函数，而要加上作用域限定符

Question

C++中，为什么在子类中不能直接显式调用父类的析构函数，而要加上作用域限定符？
我听过一种说法， 在C++中所有析构函数都会被编译器处理成destructor，因此父类和子类的析构函数名字相同，构成重定义(隐藏)，是这样吗？

#include <iostream>

struct base {
    base() { std::cout << "base default \n"; }
    ~base() { std::cout << "~base \n"; }
};

struct derived : base {
    derived() { std::cout << "derived default \n"; }
    ~derived()
    {
        //~base();不行
        base::~base();
        std::cout << "~derived \n";
    }
};

Answer 1

让【宝码香车】来帮你解答，本回答参考DeepSeek编写，并整理提供。
如果还有疑问可以点击头像关注私信或评论。如果答案让您满意，请采纳、点赞、关注，非常感谢！

C++中子类显式调用父类析构函数的问题

在C++中，子类不能直接调用父类的析构函数（如~base()）而必须使用作用域限定符（如base::~base()）的原因确实与名称处理有关，但你的理解需要稍作修正。

原因分析

1. 名称隐藏机制：

   • 子类的析构函数会隐藏父类的析构函数，这是C++的名称隐藏规则
   • 即使析构函数名称相同（都叫~类名），它们在不同的作用域中

2. 编译器处理：

   • 析构函数名称确实会被编译器特殊处理，但不会简单地都改为destructor
   • 每个类的析构函数都有自己唯一的标识（包含类名信息）

3. 语法要求：

   • C++标准明确要求显式调用析构函数时必须使用完全限定名
   • 这是为了避免歧义，确保明确知道调用的是哪个析构函数

代码示例说明

在你的示例中：

struct derived : base {
    ~derived()
    {
        //~base();  // 错误：直接调用父类析构函数
        base::~base();  // 正确：使用完全限定名
        std::cout << "~derived \n";
    }
};

重要注意事项

1. 通常不需要显式调用父类析构函数：

   • 子类析构函数会自动调用父类析构函数
   • 只有在特殊情况下（如placement new等）才需要显式调用

2. 显式调用析构函数的风险：

   • 显式调用析构函数后，对象生命周期结束
   • 如果之后自动析构再次调用，会导致未定义行为

3. 正确做法：

   • 绝大多数情况下，让析构函数自动调用链工作
   • 只有在完全理解后果的情况下才显式调用析构函数

这种设计是C++为了确保对象析构顺序正确性和避免潜在错误而做出的语言规范决定。