前向声明是行不通的

Question

下面是两个代码片段（准备编译）。在第一个片段中，我仅对结构使用前向声明，同时从 Guest 类的基类 dtor 中删除指向该结构的指针，但未调用该结构。
在第二个片段中，我没有使用前向声明，而是使用 Base 工作中的删除来使用此 Guest 类的完整定义。
为什么？为什么它会有所不同？前向声明不应该只是编译器的一个注释，说明该类/结构的定义在其他地方吗？
我很惊讶它并不直观。

//First just forward dclr  
#include "stdafx.h"
#include <iostream>
using std::cout;

struct Guest;

struct Base
{
    Guest* ptr_;
    Base(Guest* ptr):ptr_(ptr)
    {
        cout << "Base\n";
    }
    ~Base()
    {
        cout << "~Base\n";
        delete ptr_;
    }
};

struct Guest
{
    Guest()
    {
        cout << "Guest\n";
        throw std::exception();
    }
    Guest(int)
    {
        cout << "Guest(int)\n";
    }
    ~Guest()
    {
        cout << "~Guest\n";
    }
};

struct MyClass : Base
{
    Guest g;
    MyClass(Guest* g):Base(g)
    {
        cout << "MyClass\n";

    }
    ~MyClass()
    {
        cout << "~MyClass\n";
    }
};
int _tmain(int argc, _TCHAR* argv[])
{
    try
    {
        Guest* g = new Guest(1);
    MyClass mc(g);
    }
    catch(const std::exception& e)
    {
        std::cerr << e.what();
    }
    return 0;
}

//第二个 - 完整定义

#include "stdafx.h"
#include <iostream>
using std::cout;

struct Guest
{
    Guest()
    {
        cout << "Guest\n";
        throw std::exception();
    }
    Guest(int)
    {
        cout << "Guest(int)\n";
    }
    ~Guest()
    {
        cout << "~Guest\n";
    }
};

struct Base
{
    Guest* ptr_;
    Base(Guest* ptr):ptr_(ptr)
    {
        cout << "Base\n";
    }
    ~Base()
    {
        cout << "~Base\n";
        delete ptr_;
    }
};



struct MyClass : Base
{
    Guest g;
    MyClass(Guest* g):Base(g)
    {
        cout << "MyClass\n";

    }
    ~MyClass()
    {
        cout << "~MyClass\n";
    }
};
int _tmain(int argc, _TCHAR* argv[])
{
    try
    {
        Guest* g = new Guest(1);
    MyClass mc(g);
    }
    catch(const std::exception& e)
    {
        std::cerr << e.what();
    }
    return 0;
}

Answer 1

来自 C++ 标准 (5.3.5/5)：

如果要删除的对象在删除时具有不完整的类类型，并且完整的类具有非平凡的析构函数或释放函数，则行为未定义。

所以你不能对不完整的类型使用删除。它会调用析构函数，而编译器尚不知道它。

Answer 2

非正式地：编译器需要类定义才能正确删除对象，因为它需要知道如何调用该类的析构函数和/或删除运算符。

正式来说，5.3.5/5：

如果被删除的对象有
此时的类类型不完整
删除并且完整的类有一个
非平凡的析构函数或
解除分配函数，其行为是
未定义。

如果（例如）Guest 是 POD，那么你就可以了，但是你给了它一个析构函数，所以你就不行了。

Answer 3

您无法删除指向不完整类型的指针。删除是要求类型完整的操作之一。华泰

Answer 4

除非您知道来宾的定义，否则您无法删除它。它的析构函数不会被调用。
此外，如果 Guest 定义了自定义运算符删除，它将被忽略。

Answer 5

当您调用 delete 时，ptr_ 的类型不完整。这会导致未定义的行为。所以你的析构函数可能不会被调用。您可以使用 Boost.checked_delete 来避免此类情况。

Answer 6

（stdafx.h 标头不是标准 C++。）
如果我使用 g++ 进行编译，编译器会生成：

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

配置编译器以在适当的警告和错误级别进行编译。