c++ - 永远不要在 PIMPL 中提供析构函数（使用 boost scoped_ptr），g++（4.6.1）不会产生编译错误，为什么？

Question

阅读参考链接后：必须在 PIMPL 中提供析构函数，我按照示例进行操作，但是 g++(4.6.1) 没有按预期生成编译错误

源代码是：

// Predeclare.h
#include <vector>
#include <boost/scoped_ptr.hpp>
#include <iostream>

struct A;

class Predeclare
{
    std::vector<A> alist_;
    boost::scoped_ptr<A> pa_;
    //A a;

public:
    Predeclare();
    //~Predeclare();

    void print();
    void set(int i);
};


// Predeclare.cpp
#include "Predeclare.h"

struct A
{
    int a;
};

Predeclare::Predeclare(): pa_(new A)
{}
/*
Predeclare::~Predeclare()
{}
*/

void Predeclare::print()
{
    std::cout << pa_->a << '\n';
}

void Predeclare::set(int i)
{
    pa_->a = i;
}

int main()
{
    Predeclare c1;
    c1.set(10);
    c1.print();

    return 0;
}

然后，编译程序

g++ Predeclare.cpp

一切正常，为什么 g++(4.6.1) 不会产生编译错误？

Answer 1

Predeclare在您的示例中，编译器仅在到达c1in的声明时才需要一个析构函数main()。到那时，A已经在 Predeclare.cpp 中定义了。

如果您尝试Predeclare在不同的源文件中实例化，您可能会遇到问题。

请注意，实例化std::vector<A>whereA不完整会产生未定义的行为。实例化容器时，值类型必须是 Destructible，并且只有完整的类型才是 Destructible。