C++：delete不完整类型的指针 | Fu Zhe's Blog

link管理

链接快照平台

输入网页链接，自动生成快照
标签化管理网页链接

相关文章推荐

痴情的雪糕 · DELETE - Apache Doris· 3 天前 ·

长情的充电器 · C++：delete不完整类型的指针 | ...· 15 小时前 ·

睿智的玉米 · delete keyword in C++ ...· 15 小时前 ·

瘦瘦的烈马 · 判断dataframe中的一列数据中是否同时 ...· 3 月前 ·

害羞的匕首 · Tokyo Stock Exchange ...· 4 月前 ·

豪气的马克杯 · 使用 XMLAGG 函数· 1 年前 ·

仗义的双杠 · 如何在Pandas中比较两列|极客教程· 1 年前 ·

坚韧的花生 · Laravel 微信小程序后端，用户登录 ...· 1 年前 ·

在GCC4.1.2下，编译出错信息是：

warning: possible problem detected in invocation of delete operator:
warning: ‘x’ has incomplete type
warning: forward declaration of ‘struct X’
note: neither the destructor nor the class-specific operator delete will be called, even if they are declared when the class is defined.

这是因为在 foo 里，编译器看不到 X 的完整类型，没办法确定两件事情：

有没有自定义的析构函数（准确的说，有没有non-trivial的析构函数）。

有没有自定义的


    operator delete

函数。

在不确定这两件事情的情况下，编译器只能按最普通的方式去处理 delete x ：

不调用任何析构函数。

调用全局的


    operator delete

，通常来说就是直接释放内存。

日常版

有一个我们平常会遇到的场景，就会触发上面这个问题。

以下是由三个文件组成的一个工程，其中用到了’pImpl’方法来隐藏实现，因此在接口类中放了一个 std::auto_ptr ，很简单：

// test.h
#include <memory>

class A {
    class Impl;
public:
    A();
    void Func();
private:
    std::auto_ptr<Impl> mImpl;
};

// test.cpp
#include "test.h"
#include <iostream>

class A::Impl {
public:
    void Func() {
        std::cout << "Func" << std::endl;
    }
};

A::A(): mImpl(new Impl) {}

void A::Func() {
    mImpl->Func();
}

// main.cpp

#include "test.h"

int main() {
    A a;
    a.Func();
}

看起来很正常，但编译时有warning：

$g++ test.cpp main.cpp
In destructor ‘std::auto_ptr<_Tp>::~auto_ptr() [with _Tp = A::Impl]’:
test.h:4:   instantiated from here
warning: possible problem detected in invocation of delete operator:
warning: invalid use of undefined type ‘struct A::Impl’
test.h:5: warning: forward declaration of ‘struct A::Impl’
note: neither the destructor nor the class-specific operator delete will be called, even if they are declared when the class is defined.

和前面说的warning信息完全一致，看起来也是在调用 delete 时出的问题。但哪里调用了 delete 呢？

答案是 std::auto_ptr 。

上面的代码中，我们没有给 class A 手动写一个析构函数，因为编译器自动生成的析构函数就是我们要的：析构时把 mImpl 析构掉。

那么自动生成的析构函数长什么样子呢？大概是：

1
2
3

A::~A() {
    mImpl.~auto_ptr();
}

展开了基本就是一句 delete ：

1
2
3

A::~A() {
    delete mImpl._M_ptr;
}

这个析构函数的位置在哪呢？C++标准里说会把自动生成的类成员函数放在类的定义中，那么就是在test.h中。

问题清楚了：我们在编译main.cpp时，看不到 A::Impl 的完整定义，但却有一个自动生成的 A::~A ，其中delete了一个不完整的类对象！

解法

手动写一个 A 的析构函数，位置要在能看到 A::Impl 完整定义的地方，也就是test.cpp：

```cpp
// test.h
#include <memory>

class A {
    class Impl;
public:
    A();
    ~A();
    void Func();
private:
    std::auto_ptr<Impl> mImpl;
};

// test.cpp
#include "test.h"
#include <iostream>

class A::Impl {
public:
    void Func() {
        std::cout << "Func" << std::endl;
    }
};

A::A(): mImpl(new Impl) {}
A::~A() {}

void A::Func() {
    mImpl->Func();
}

http://stackoverflow.com/questions/4325154/delete-objects-of-incomplete-type

http://stackoverflow.com/questions/4023794/forward-declaration-just-wont-do