blocks|key|4611563|text|你可以做到|type|unstyled|depth|inlineStyleRanges|entityRanges|data|4611564|class+A+{
++++A*+a;
}|code-block|syntax|javascript|4611565|因为它不需要知道A的大小。|4611566|entityMap^0|0|0|0^^$0|@$1|2|3|4|5|6|7|K|8|@]|9|@]|A|$]]|$1|B|3|C|5|D|7|L|8|@]|9|@]|A|$E|F]]|$1|G|3|H|5|6|7|M|8|@]|9|@]|A|$]]|$1|I|3|-4|5|6|7|N|8|@]|9|@]|A|$]]]|J|$]]

You can do

<pre><code>class A {
 A* a;
}
</code></pre>

because it doesn't require knowing the size of A.

blocks|key|4611495|text|因为类的大小是无限的。|type|unstyled|depth|inlineStyleRanges|entityRanges|data|4611496|(这是通过指定不能将不完整的类型作为成员，只能引用或指向它们的指针，并且指定A在类定义结束之前是不完整的类型来实现的。)|offset|length|style|CODE|4611497|entityMap^0|0|12|1|0^^$0|@$1|2|3|4|5|6|7|J|8|@]|9|@]|A|$]]|$1|B|3|C|5|6|7|K|8|@$D|L|E|M|F|G]]|9|@]|A|$]]|$1|H|3|-4|5|6|7|N|8|@]|9|@]|A|$]]]|I|$]]

Because the class would be infinite in size.

(This is done language-wise by specifying you can't have incomplete types as members, only reference or pointers to them, and that <code>A</code> is an incomplete type until the end of the class definition.)

blocks|key|4611529|text|我猜你是从Java还是别的什么地方来的？A+a将创建一个A类型的完整实例，它包含A，它包含A，它包含A。|type|unstyled|depth|inlineStyleRanges|offset|length|style|CODE|entityRanges|data|4611530|你可能在想这个问题：|4611531|class+A
{
++A+*a;+//+A+pointer+to+A,+not+a+full+instance
};|code-block|syntax|javascript|4611532|entityMap^0|K|3|S|1|14|1|19|1|1E|1|0|0|0^^$0|@$1|2|3|4|5|6|7|O|8|@$9|P|A|Q|B|C]|$9|R|A|S|B|C]|$9|T|A|U|B|C]|$9|V|A|W|B|C]|$9|X|A|Y|B|C]]|D|@]|E|$]]|$1|F|3|G|5|6|7|Z|8|@]|D|@]|E|$]]|$1|H|3|I|5|J|7|10|8|@]|D|@]|E|$K|L]]|$1|M|3|-4|5|6|7|11|8|@]|D|@]|E|$]]]|N|$]]

I take it you're coming from Java or something? <code>A a</code> will create a full instance of type <code>A</code>, which, well, contains <code>A</code>, which contains <code>A</code>, which contains <code>A</code>.

You're probably thinking about this:

<pre><code>class A
{
 A *a; // A pointer to A, not a full instance
};
</code></pre>

blocks|key|944422|text|A+a;//why+can't+we+do+this|type|code-block|depth|inlineStyleRanges|entityRanges|data|syntax|javascript|944423|因为A是一个不完整的类型，因为它还没有被定义，而是正在被定义。当编译器在class+A中看到A时，需要知道它的完整类型，因为A是不完整的，所以它不能确定它的大小，它不能确定成员变量a将占用多少空间，因此它不会编译它。|unstyled|offset|length|style|CODE|944424|但是由于指针的大小对于编译器来说是众所周知的，无论它是什么类型的指针。您可以在类中定义一个指针，如下所示：|944425|class+A
{
++++A+*pA;+//okay+since+sizeof(pA)+==+sizeof(void*)+==+well-known+to+the+compiler!
};|944426|在线演示：http://www.ideone.com/oS5Ir|944427|entityMap|0|LINK|mutability|MUTABLE|url|http://www.ideone.com/oS5Ir^0|0|2|1|10|7|1A|1|1Q|1|2I|1|0|0|0|5|R|0|0^^$0|@$1|2|3|4|5|6|7|Y|8|@]|9|@]|A|$B|C]]|$1|D|3|E|5|F|7|Z|8|@$G|10|H|11|I|J]|$G|12|H|13|I|J]|$G|14|H|15|I|J]|$G|16|H|17|I|J]|$G|18|H|19|I|J]]|9|@]|A|$]]|$1|K|3|L|5|F|7|1A|8|@]|9|@]|A|$]]|$1|M|3|N|5|6|7|1B|8|@]|9|@]|A|$B|C]]|$1|O|3|P|5|F|7|1C|8|@]|9|@$G|1D|H|1E|1|1F]]|A|$]]|$1|Q|3|-4|5|F|7|1G|8|@]|9|@]|A|$]]]|R|$S|$5|T|U|V|A|$W|X]]]]

<pre><code>A a;//why can't we do this
</code></pre>

Because <code>A</code> is an incomplete type, as it has not been defined yet, rather it's being defined. And the compiler needs to know the complete type of <code>A</code> when it sees it inside <code>class A</code>, and since <code>A</code> is incomplete, it cannot determine it's size, it cannot determine how much space the member variable <code>a</code> is going to take, therefore it will not compile it.

But since size of a pointer is well-known to the compiler, no matter what type of pointer it is. You can define a pointer in your class like this:

<pre><code>class A
{
 A *pA; //okay since sizeof(pA) == sizeof(void*) == well-known to the compiler!
};
</code></pre>

Online Demo : <a href="http://www.ideone.com/oS5Ir" rel="noreferrer">http://www.ideone.com/oS5Ir</a>

blocks|key|944545|text|在C%2B%2B中:你不能这样做，因为它将是递归结构(计算对象大小没有结束)，为了克服这个问题，|type|unstyled|depth|inlineStyleRanges|entityRanges|data|944546|使用自引用指针，即具有相同类类型地址的指针。|944547|class+A
{
++++A*+aObj;+//+Self+Referential+Pointer
}|code-block|syntax|javascript|944548|entityMap^0|0|0|0^^$0|@$1|2|3|4|5|6|7|K|8|@]|9|@]|A|$]]|$1|B|3|C|5|6|7|L|8|@]|9|@]|A|$]]|$1|D|3|E|5|F|7|M|8|@]|9|@]|A|$G|H]]|$1|I|3|-4|5|6|7|N|8|@]|9|@]|A|$]]]|J|$]]

In C++ :
 You can not do this, As it will be recursive structure (no end for calculating object size) , to Overcome this problem, 
Use Self Referential Pointer i.e. the Pointer having the address of Same class type.

<pre><code>class A
{
 A* aObj; // Self Referential Pointer
}
</code></pre>

blocks|key|4611613|text|这就是你可以有一个指向A类对象的指针的方式，这样就不需要在编译时声明A类之前知道它的大小了。|type|unstyled|depth|inlineStyleRanges|entityRanges|data|4611614|class+A+{
A*+a;
};|code-block|syntax|javascript|4611615|entityMap^0|0|0^^$0|@$1|2|3|4|5|6|7|I|8|@]|9|@]|A|$]]|$1|B|3|C|5|D|7|J|8|@]|9|@]|A|$E|F]]|$1|G|3|-4|5|6|7|K|8|@]|9|@]|A|$]]]|H|$]]

This is the way you can have a pointer to object of class A and this way it is not required to know the size of class A before it is declared at compile time.

<pre><code>class A {
A* a;
};
</code></pre>

<pre><code>class A
{
 A a;//why can't we do this
};
</code></pre>

why can't we declare object of a class inside the same class?

翻译质量差，导致语言生硬或混乱。

没有提供实际的解决方法或示例。

解答不清晰，无法理解或解决问题。

页面排版不美观，阅读体验差。

文章

问答

视频

学习中心

腾讯云实验室

直播

竞赛

腾讯云代码分析专区

腾讯iOA零信任安全管理系统专区

腾讯云架构师技术同盟交流圈

腾讯云数据库专区

腾讯云顾问专区

腾讯云原生专区

腾讯混元专区

腾讯云TCE专区

腾讯云Lighthouse专区

腾讯云HAI专区

腾讯云Edgeone专区

腾讯云存储专区

腾讯云智能专区

腾讯轻联专区 

腾讯云开发专区

TAPD专区

腾讯轻量云游戏服专区

腾讯云最具价值专家

腾讯云架构师技术同盟

腾讯云创作之星

腾讯云开发者先锋

腾讯云代码助手

云原生构建

TAPD 敏捷项目管理

Cloud Studio

SDK中心

API中心

命令行工具

涵盖代码开发、场景应用、自动测试全流程，助你从零构建专属AI助手

问为什么我们不能在同一个类中声明一个类的对象呢？
EN

回答 6

Stack Overflow用户

Stack Overflow用户

Stack Overflow用户

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

问为什么我们不能在同一个类中声明一个类的对象呢？EN

回答 6

Stack Overflow用户

Stack Overflow用户

Stack Overflow用户

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

问为什么我们不能在同一个类中声明一个类的对象呢？
EN