错误c2036:未知大小仅在某些情况下发生

Error c2036: unknown size only occurring in some situations

本文关键字：情况下 c2036 未知 错误      更新时间：2023-10-16

下面的代码进行编译，尽管我本以为编译器会抱怨它不知道Foo的大小。但是，如果我将#include替换为Bar的前向声明，则由于这个原因，它不会编译。

我知道Foo肯定只是前向声明的，因为如果Foo* myfoo;被更改为Foo myfoo;，那么它就不会编译。为什么这种错误只发生在一种类型的对象向量上，而不发生在另一种类型？

使用Visual Studio Express 2013。

#include "Bar.h"
class Foo;
class MyClass{
Foo* myfoo;
std::vector<Foo> foos;
std::vector<Bar> bars;
};

就其本身而言，模板类型参数没有理由需要是完整类型(事实上，14.3.1/2明确指出事实并非如此)。

这样的要求来自于如何在类型模板的定义中使用该类型(在本例中为std::vector)。例如，[C++11: 20.7.1/5]声明std::unique_ptr<T>的模板参数T在unique_ptr声明时可能不完整；这是明确指出的，因为CCD_ 12的情况是而不是。

你会发现，一旦你尝试用你的向量做几乎任何事情，你就需要T是完整的。这个问题在编译时是可以检测到的，因为这一切都归结为模板的实例化，所以编译器会在需要时进行适当的错误处理。

向量的析构函数通常就是其中之一

因此，使用GCC 4.8，我无法用不完整的value_type:实例化任一向量

#include <vector>
class Foo;
class Bar;
std::vector<Foo> foos;
std::vector<Bar> bars;
int main() {}

错误：无效使用不完整类型"class Foo">
错误：非法使用不完整的类型"class Bar">

只有当我在一个永远不会被使用的类中使用它们作为成员时，整个事情才是可编译的，因为向量的析构函数永远不会被调用，因此永远不会被模板实例化：

#include <vector>
class Foo;
class Bar;
class T
{
std::vector<Foo> foos;
std::vector<Bar> bars;
};
int main() {}

(无错误)

无论您的实现做什么，Foo和Bar都是一样的；如果你看到它们之间的差异，那么你一定在用Bar做一些你没有给我们看的不同的事情。

(我知道它已经回答了，但我会以任何方式发布我的)

思考这个问题的一个好方法是，什么时候需要知道类的定义？在vector<Foo>的情况下，sizeof(Foo)需要在保留时间或访问时间已知，并且当我们向向量添加或删除项时，需要知道Foo:：构造函数和Foo:：析构函数信息。当然，当向量被销毁时，它需要Foo:：析构函数。

因此，这导致了std:：vector的前向声明模板参数的一个更常见的问题：上面有一个类使用默认构造函数和默认析构函数。什么时候定义默认的析构函数？当你没有在类中定义它时，它(至少在语义上)被定义了，所以它是在这个头文件中定义的。更重要的是，那个析构函数里有什么？隐藏在每个C++析构函数中的是清理超出析构函数主体的代码：它调用所有成员的所有析构函数。。。但这意味着它试图调用std:：vector的析构函数。

你是SOL吗？没有。以下内容对你来说应该很好。

//myclass.hpp
class Foo;
class Bar;
class MyClass{
public:
MyClass();
~MyClass();
Foo* myfoo;
std::vector<Foo> foos;
std::vector<Bar> bars;
private:
};
//myclass.cpp
#include "myclass.hpp"
#include "Bar.h"
#include "Foo.h"
MyClass::MyClass(){};
MyClass::~MyClass(){};
相关文章：