2020-12-18（何种情况下编译器会提供默认构造函数）

最新推荐文章于 2024-06-08 17:22:30 发布
原创 最新推荐文章于 2024-06-08 17:22:30 发布 · 1.1w 阅读 · 0 ·
CC 4.0 BY-SA版权
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。

博客讨论了编译器提供默认构造函数的情况。指出并非在未定义构造函数时就提供，而是在两种情况下才会提供：一是本类成员对象或父类有虚函数；二是父类或本类成员对象带有构造函数。若不满足这两种情况，提供默认构造函数会降低程序执行效率。

当问到大家什么时候会提供默认构造函数时，有的人会不会一下子就想到当我们没有定义构造函数的时候，它就会提供默认的构造函数，但我们想想一个问题，假如没有意义的情况下提供了默认构造函数，那是不是把编译器搞得像一个傻子一样？其实呀，编译器不傻。
所以总结如下：

下面两种情况下，编译器才会提供默认的构造函数：
a.本类.本类中定义的成员对象或者父类中有虚函数存在
解释：由于需要初始化虚表，且这个工作理应在构造函数隐式完成，因此在没有定义构造函数的情况下，编译器会添加默认的构造函数用于隐式完成虚表的创建工作

b.父类或本类中定义的成员对象带有构造函数
解释：在对象被定义时，由于对象本身为派生类，因此构造顺序实现构造父类再构造自身。当父类中带有构造函数时，将会调用父类的构造函数，而这个调用过程需要在构造函数中完成，因此编译器添加了默认的构造函数来完成这个调用过程。成员对象带有构造函数的情况与此相同

在没有定义构造函数的情况下，当类中没有虚函数存在时，父类和成员对象也没有定义构造函数时，提供默认构造函数已没有任何意义，只会降低程序的执行效率。

编译器合成默认构造函数情况分析
05-05 267
目录 情形说明： 情况一：A类中调用了B类构造函数，若A类无构造函数，则默认合成 情形说明： 传统观念之下，如果我们没有自己定义构造函数，那么系统就会默认分配一个隐式的构造函数，但是这是不正确的。编译器比我们想的要更聪明一些，因为只有在此类必须要用构造函数时，才会隐式定义一个默认的构造函数。我们程这种构造函数为“合成的默认构造函数”。 那什么是必要情形的构造函数呢？以下就说明了必要情形。 情况一：A类中调用了B类构造函数，若A类无构造函数，则默认合成 class M0TX { p..
何时编译器会自动生成默认构造函数
weixin_41066529的博客
05-05 2312
问题：对c++初学者来说存在一个误区，如果类没有定义任何构造函数，编译器会自动生成默认的构造函数。 注意：这种说法是错误的。 正确的说法：惟有默认构造函数”被需要“的时候编译器才会合成默认构造函数。 那什么情况下是“被需要”的时候？ 以下有四种情况编译器会自动合成默认构造函数 情况1含有类对象数据成员，该类对象类型有默认构造函数 即：一个class含有类对象数据成员，该类对象类型...
c++ 虚函数_C++ 合成默认构造函数的真相
weixin_39727743的博客
11-23 326
作者：melonstreet链接：https://www.cnblogs.com/QG-whz/p/4676481.html对于C++默认构造函数，我曾经有两点误解：类如果没有定义任何的构造函数，那么编译器(一定会!)将为类定义一个合成的默认构造函数。合成默认构造函数会初始化类中所有的数据成员。第一个误解来自于我学习C++的第一本书 《C++ Primer》，在书中392页：“只有当一...
编译器自动生成默认构造函数的四种情况
weixin_33752045的博客
06-17 1343
在以下四种情况中，如果类中没有定义一个默认构造函数，则编译器会自动生成一个nontrivial的默认构造函数，而不是一个不做事情的trivial默认构造函数：1.内含一个成员变量，而这个成员变量所属的类中含有默认构造函数，则此时需要为此类生成一个implicit default constructor(隐式的默认构造函数),这个implicit default constructor是nontri...
编译器提供默认构造函数的几种情况
Garfield2005的专栏
07-12 1083
在孙鑫的《VC++深入详解》一书中，看到了这部分内容： ///////////////////////////////////////////////////////////////////////////////////////// 在网友backer的帮助下，我们参看了ANSIC++的ISO标准，并从汇编的角度试验了几种主流编译器的行为，对于编译器提供默认构造函数的行为得出下面的结论：
编译器什么时机才会为我们生成默认的构造
shenmingyi.blog.youkuaiyun.com
03-14 380
编译器什么时机才会为我们生成默认的构造
C++【对象模型】|【02】构造函数何时才会被编译器自动生成？
weixin_45926547的博客
04-29 893
文章目录一、默认构造函数1、何时默认构造函数会自动生成2、编译器合成有用的构造函数四种情况2.1 类中内含带有默认构造的类成员 一、默认构造函数 1、何时默认构造函数会自动生成 当类没有提供默认构造时，如果编译器需要它，则将会为其添加上；如果是程序的需要，则需要我们手动为它添加； 如何区分编译器需要还是程序需要 当使用`foo f;`创建一个对象时， - 由于类中没有提供默认构造函数，编译器会自动为其生成使之能被创建成功； - 类中的数据成员初始化交给构造函数，当想要默认的构造函数能够初始化数据成员(a)
编译器自动生成默认构造函数的情况
XHumble的博客
07-01 411
在用户没有显式的给出类中的默认成员函数时，编译器将会生成一个默认的 --- 如果用户显式的实现了则编译器将不会生成。 但是编译器厂商并没有严格的按照语法来实现，并不是用户没有显式的给出则编译器会自动生成一份。 什么情况下编译器才会生成？ 1.A类有默认的构造函数，B类没有定义任何函数，B类中包含A类的对象，编译器将来一定会给B类生成一份无参的构造函数。 2.继承体系中，基类显式定义默认构造函数，子类中没有定义任何的构造函数，编译器将来一定会给B类生成一份无参的构造函数。 3.虚拟继承中：如果子类没
什么时候生成默认构造函数？
weixin_42195477的博客
05-17 1173
如果已经显式定义了任何构造函数（包括默认构造函数、拷贝构造函数和移动构造函数），编译器将不再生成默认构造函数。如果需要同时使用已经定义的构造函数和默认构造函数，可以通过显示定义一个无参构造函数来实现。默认构造函数没有参数，并且执行默认的初始化操作，即将类的成员变量全部初始化为默认值（对于内置类型，为0；在 C++ 中，如果没有显式定义任何构造函数，编译器会自动生成一个默认构造函数（Default Constructor）。没有定义任何构造函数（包括默认构造函数、拷贝构造函数和移动构造函数）；
【C++】默认构造函数
Colorful___的博客
10-25 3399
默认构造函数（default constructor）就是不带任何参数的构造函数。默认的构造函数用来创建一个“原型（vanilla）对象”，当编译器需要创建一个对象而又不知任何细节时，默认的构造函数就显得非常重要。记住,一旦有了一个构造函数，编译器就会保证了不管什么情况下它总是会被调用。
C++ 中编译器什么情况才会帮用户创建默认构造函数
神技圈子的博客
01-30 4918
用户未定义默认构造函数时，编译器一定会帮你创建默认构造函数吗？ 答：不一定 那么什么时候编译器才会帮创建默认构造函数呢 以下四种情况，用户未定义默认构造函数的情况下编译器才会创建默认构造函数 1、“带有Default Constructor” 的Member Class Object 2、“带有Default Constructor” 的Base Class 3、"带有Virtual ...
深入解析C++中自动生成默认构造函数的五种情况
m0_72877724的博客
06-08 1234
带有默认构造函数的类成员对象：类没有构造函数，但成员对象有默认构造函数。带有默认构造函数的基类：派生类没有构造函数，但基类有默认构造函数。带有虚函数的类。带有虚基类的类。合成的默认构造函数仅初始化基类子对象和成员类对象：而未初始化的非静态数据成员具有未定义的值。这些情况确保了类在实例化时能够正确初始化其成员和基类，即使用户未显式定义构造函数。
2.4构造函数语义(编译器什么时候会生成默认构造)笔记
红颜若雪的博客
05-31 290
一.什么是默认构造函数 默认构造函数（缺省构造函数）：没有参数的构造函数； 二.编译器什么时候会为我们生成默认构造函数 传统认识认为：如果我们自己没定义任何构造函数，那么编译器就会为我们隐式自动定义 一个默认的构造函数，我们称这种构造函数为：“合成的默认构造函数”. 其实不是这样的,只有在必要的时候，编译器才会为我们合成出来，而不是必然或者必须为我们合成出来。 必要的时候 是什么时候呢？ 1.我们先看一段代码: class TestA { pub...
看看C++构造函数
OtherShoreFlower的博客
05-11 1511
这也是《C++primer》的笔记和心得，其实对于C++的构造函数很熟悉了，但常常感觉这么用，但都没有深究其中的原理和机制。趁此机会，好好的回顾一下。 构造函数最大的作用就是构造函数并初始化对象，与普通的函数看上去最大的区别就是没有返回值了吧，返回值类型不是void，是没有返回值。还有就是函数名必须与类名相同，最常见的构造函数就是什么参数也不带，其实这个函数也是很重要的（缺省构造函数），因为在定...
什么时候C++生成默认构造函数
weixin_46126947的博客
04-25 460
B b;return 0;为了实现多态机制，需要为类维护一个虚函数表，类所有对象都需要保存一个指向该虚函数表的指针，对象需要初始化该虚函数表的指针，不得不提供默认构造函数来初始化虚函数表指针4.
编译器只有在三种情况下，才会提供默认的构造函数
HayPinF的博客
01-01 2455
如果一个类中没有定义任何的构造函数，那么编译器只有在以下三种情况，才会提供默认的构造函数： 1、如果类有虚拟成员函数或者虚拟继承父类（即有虚拟基类）时 类有虚拟成员函数意味着这个类可能被继承，那么那个子类将要调用父类的构造函数，当用户没有主动定义构造函数时编译器应该提供默认的构造函数。类有虚拟继承父类，即声明其虚基类可以被共享，理由？ 2、如果类的基类有构造函数（可以是用户定义的构造函数，或编译器...
编译器自动生成的构造函数
feng__shuai的博客
09-25 242
我们根据上面已经知道，编译器会自动生成构造函数，但是如果程序员自己提供了构造函数怎么处理？string A;Student B;Teacher C;int e;Test()补充初始化列表Test()//编译器会报错：成员变量**对象**(不是基础数据)必须在构造函数初始化列表里初始化挪到函数中Test()A(),B();C();// 等效于：tmp("student"), B=tmp;
【C++】编译器默认生成构造函数的四种情况
yulong__li的博客
01-09 1342
第一种是类成员中有成员是类对象，并且该成员的类含有默认构造函数或者缺省的构造函数，那么C++编译器会帮你给这个类也生成一个默认构造函数，用来调用其成员对象的构造函数，完成该成员的初始化构造。需要强调的是，如果这个成员的类也没有给出默认构造函数，那么C++编译器也不会帮你生成该类的默认构造函数。 第二种情况是这个类的基类有默认构造函数。那么C++编译器也会帮你生成该派生类的默认构造函数，以调用基类...
C++ 什么时候生成默认构造函数
qq_40135848的博客
07-16 550
C++ 什么时候生成默认构造函数
C++中编译器自动合成构造函数是什么情况下，“自动合成构造函数”这种表述是否准确？
最新发布
09-01
<think> 我们正在讨论C++中编译器自动合成构造函数的情况以及表述的准确性。 根据C++标准，在某些情况下，如果程序员没有为一个类显式定义构造函数，编译器会隐式声明一个默认构造函数。这个过程通常被称为“自动合成”或“隐式生成”。 引用[1]提到函数原型（声明）和函数定义的区别，这里不直接相关，但提醒我们注意声明和定义的区别：编译器隐式声明构造函数，并在需要时定义（生成）它。 引用[2]中关于函数原型的讨论，可以帮助我们理解编译器为什么需要知道函数的类型信息。同样，对于构造函数，编译器需要知道如何构造对象。 引用[3]是关于类型推导的，可以间接关联，因为编译器在生成构造函数时涉及类型处理。 引用[4]强调按照ISO标准C++，因此我们将依据C++标准来回答。 重点：根据C++标准，编译器在以下情况下会合成默认构造函数（注意：是“合成”还是“隐式声明并定义”？通常，我们使用“隐式生成”或“合成”都是可以接受的，但要注意其含义）。 经典著作《Effective C++》和《Inside the C++ Object Model》对此有详细描述。 情况： 1. 当类成员中含有带有默认构造函数的类对象，并且该对象所属的类没有用户定义的构造函数，那么编译器会生成一个默认构造函数，以调用该成员的默认构造函数。 2. 基类带有默认构造函数的派生类：如果一个派生类的基类有默认构造函数（可以是用户定义或编译器合成），而派生类没有定义任何构造函数，那么编译器会为该派生类合成一个默认构造函数，以调用基类的默认构造函数。 3. 类中声明了虚函数（需要初始化虚函数表指针）。 4. 虚继承（需要初始化虚基类指针或偏移量）。 但是，注意：C++11以后，规则有所变化，例如如果类中有成员变量在声明时进行了初始化（类内初始化），那么编译器也会为它生成默认构造函数。 另外，如果用户定义了任何构造函数（包括拷贝构造函数、移动构造函数等），编译器就不会再生成默认的无参构造函数，除非显式要求（使用=default）。 关于表述的准确性： “自动合成构造函数”是一种常见的表述，在Scott Meyers的书籍和许多文献中都有使用。但是，严格来说，按照C++标准，编译器隐式声明并定义默认构造函数。术语“合成”更偏向于实现层面，而标准中描述为“隐式声明”和“隐式定义”。 因此，我们可以说： - 在用户没有显式声明构造函数的情况下，编译器会隐式声明一个默认构造函数。 - 如果这个隐式声明的默认构造函数被调用（即需要创建对象），编译器会隐式定义它（即生成函数体）。这个定义的过程就是“合成”。 所以，表述“编译器自动合成构造函数”是准确的，但要注意语境。在学术讨论中，我们通常使用标准术语“隐式声明”和“隐式定义”。 总结： 编译器在以下情况下会隐式生成（合成）默认构造函数： 1. 类中含有带有默认构造函数的成员对象（且该成员类没有用户定义的构造函数？注意：只要成员类有可访问的默认构造函数，无论它是用户定义还是编译器生成，都会导致合成）。 2. 基类有默认构造函数（同样，无论基类的默认构造函数是用户定义还是编译器生成）。 3. 类含有虚函数（需要初始化虚表指针）。 4. 类虚继承其他类（需要处理虚基类）。 5. （C++11起）类中有非静态数据成员使用类内初始化器，且没有用户提供的构造函数。 注意：如果用户声明了任何构造函数（包括拷贝构造函数、移动构造函数等），编译器就不会再隐式生成默认构造函数。但用户可以使用`=default`要求编译器生成。 另外，合成的默认构造函数只会执行必要的操作（如调用基类或成员的构造函数，初始化虚表指针等），而不会初始化内置类型的非静态数据成员（除非有类内初始化器）。 因此，对于内置类型成员，如果没有类内初始化，则其值将是未定义的。 示例代码： 以下情况编译器会合成默认构造函数： ```cpp class Base {}; class Member { public: Member() {} // 用户定义的默认构造函数 }; class MyClass : public Base { // 基类Base有编译器合成的默认构造函数（隐式生成的） Member m; // 成员对象m有默认构造函数 int a; // 内置类型，没有初始化（在合成的默认构造函数中不会初始化） }; // 使用 MyClass obj; // 这里，编译器会为MyClass合成一个默认构造函数，用于调用Base的默认构造函数和Member的默认构造函数，但a是未初始化的。 ``` 引用标准：C++标准文档（如ISO/IEC 14882）的相关章节（如C++11标准的12.1节）。 注意：在C++11之后，如果类中有成员变量使用了类内初始化，那么即使没有用户定义的构造函数，编译器也会合成默认构造函数来初始化这些成员（按照类内初始化器）。 例如： ```cpp class WithInit { int x = 10; // 类内初始化 }; // 编译器会合成默认构造函数，将x初始化为10。 ``` 因此，“自动合成构造函数”的表述是准确的，但需要理解其背后的规则。 相关问题： 1. 什么情况下编译器会自动合成拷贝构造函数？ 2. 合成的默认构造函数会初始化哪些成员？不会初始化哪些成员？ 3. C++11中类内初始化对合成构造函数有什么影响？ 4. 如何阻止编译器自动合成构造函数？ 5. 使用“=default”和编译器自动合成构造函数有什么区别？ </think> ### C++编译器自动合成构造函数的情况及表述准确性分析 #### 1. **自动合成构造函数的情况** 根据C++标准（ISO/IEC 14882），编译器在以下场景会自动合成（隐式生成）默认构造函数： ##### (1) **类成员包含默认构造对象** 当类包含**具有默认构造函数的成员对象**，且该类没有声明任何构造函数时： ```cpp class Member { public: Member() {} // 用户定义的默认构造函数 }; class MyClass { Member m; // 触发MyClass默认构造函数的合成 int x; }; // 编译器合成 MyClass::MyClass() ``` ##### (2) **基类包含默认构造函数** 当派生类的**基类有默认构造函数**，且派生类未声明任何构造函数时： ```cpp class Base { public: Base() {} }; class Derived : public Base { // 编译器合成 Derived::Derived() 以调用 Base() }; ``` ##### (3) **虚函数或虚继承** 类声明**虚函数**或**虚继承**时： ```cpp class VirtualBase {}; class MyClass : virtual public VirtualBase { // 虚继承 virtual void foo() {} // 虚函数 }; // 合成默认构造函数初始化虚表指针 ``` ##### (4) **C++11 类内初始化** 类中有成员使用**类内初始化器**（C++11 起）： ```cpp class WithInit { int x = 10; // 类内初始化 }; // 合成默认构造函数用于初始化 x ``` #### 2. **"自动合成"表述的准确性** - **表述合理但需注意细节**： - ✅ **标准术语**：C++标准称此为 *implicitly declared*（隐式声明）和 *implicitly defined*（隐式定义），"合成"是通用技术表述（见《Inside the C++ Object Model》）[^1]。 - ⚠️ **条件限制**：合成仅在**未被用户覆盖**时发生（若用户定义任意构造函数，则不会合成默认构造函数）。 - ❌ **不完整初始化**：合成的构造函数**不会初始化内置类型成员**（如 `int`），除非有类内初始化器： ```cpp class Problem { int y; // 未初始化！ }; Problem p; // p.y 值随机 ``` #### 3. **验证编译器行为的方法** 可参考引用[^3]的方法获取合成构造函数的类型信息： ```cpp template<typename T> class TD; // 类型探测器 class Test {}; Test t; TD<decltype(t)> t_type; // 编译错误信息显示实际类型 ``` 编译错误将显示合成的构造函数签名（如 `Test::Test()`）。 #### 4. **标准合规性建议** 遵循引用[^4]的准则： > 优先使用 ISO 标准 C++，必要时封装平台相关扩展。编译器合成行为是标准核心机制，但需明确其边界条件： > - 内置类型成员需手动初始化 > - 虚函数处理依赖编译器实现 > - 移动构造函数的合成规则（C++11） --- ### 相关问题 1. **合成构造函数与用户自定义构造函数共存时会发生什么？** [提示：用户定义构造函数会阻止默认构造函数的合成] 2. **如何显式阻止编译器合成构造函数？** [提示：使用 `= delete` 或声明为 `private`] 3. **C++11 后合成构造函数的行为有哪些关键变化？** [提示：类内初始化、默认成员初始化] 4. **合成构造函数对 POD（Plain Old Data）类型有何影响？** [提示：POD 类型是否触发合成？] 5. **虚函数表（vtable）如何在合成的构造函数中初始化？** [提示：不同编译器的实现差异]
评论
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符
 
红包 添加红包
表情包 插入表情
表情包 代码片
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

寻梦&之璐

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付：¥1
获取中
扫码支付

您的余额不足，请更换扫码支付或充值

打赏作者

实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值