C++对象实例创建实验

已于 2022-12-09 10:10:37 修改
阅读量700 收藏
点赞数
分类专栏： C++ 文章标签： c++ 开发语言
于 2022-11-29 21:43:41 首次发布
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/davied9/article/details/128063047
版权

主要对C++实例创建实验过程中发现的一些以前没有太注意的情况，记录小结一下

完整的示例可以查看以下链接：

instance_demo

首先，一个基础的函数，用来打印分隔日志

#include <string>

using std::string;
using std::cout;
using std::endl;

void new_section(string section, string msg) {
    cout << endl;
    cout << "#################################################################" << endl;
    cout << "# [" << section << "] " << msg << endl;
    cout << "#################################################################" << endl;
}

再就是主角类，Ref，用来记录构建和析构调用的（就是对调用函数入口进行日志记录）

// ref.h
#pragma once

#include <iostream>

using std::cout;
using std::endl;

class Ref final
{
public:
    uint32_t m_id{0};
    static uint32_t m_instCount;

    Ref()
    {
        m_id = m_instCount++;
        cout << "Ref() " << m_id << endl;
    }
    Ref(Ref&& )
    {
        m_id = m_instCount++;
        cout << "Ref(Ref&& ) " << m_id << endl;
    }
    Ref(const Ref&& )
    {
        m_id = m_instCount++;
        cout << "Ref(const Ref&& ) " << m_id << endl;
    }
    Ref(Ref& )
    {
        m_id = m_instCount++;
        cout << "Ref(Ref& ) " << m_id << endl;
    }
    Ref(const Ref& )
    {
        m_id = m_instCount++;
        cout << "Ref(const Ref& ) " << m_id << endl;
    }
    Ref& operator=(const Ref& i)
    {
        cout << "Ref& operator=(const Ref&) " << m_id << endl;
        return (*this);
    }
    Ref& operator=(const Ref&& i)
    {
        cout << "Ref& operator=(const Ref&&) " << m_id << endl;
        return (*this);
    }
    ~Ref() {
        cout << "~Ref() " << m_id << endl;
    }
};

接下来，就是几个和我个人预期不太一样的情况，有些可分析点的用例

1. 级联返回的情况

Ref create_1() {
    return Ref();
}
Ref create_4() {
    Ref i = create_1();
    return i;  // interesting, no Ref&& construction
}

void return_11() {
    new_section(__FUNCTION__, "");
    create_4();
}
void return_12() {  // interesting, same as 11
    new_section(__FUNCTION__, "");
    auto i = create_4();
}

得到输出日志： 

#################################################################

# [return_11]

#################################################################

Ref() 16

~Ref() 16

#################################################################

# [return_12]

#################################################################

Ref() 17

~Ref() 17

 从 return_11 / return_12 示例看出，返回过程会直接将该实例返回，不会有额外的创建过程，即使是级联情况，也是一样的。

另外从 return_12 来看，返回的实例会直接指定给变量 i，综合 return_11，不管有没有变量去保存返回的实例，都没有额外的实例被创建。

另外，create_4 里面，即使返回的实例先给到变量 i，在返回过程也没有实例被创建。

2. 函数内的 static 变量

Ref use_static() {
    static Ref i;  // created when called the first time
    return i;
}
void return_18() {
    new_section(__FUNCTION__, "");
    auto i = use_static();
}
void return_19() {
    new_section(__FUNCTION__, "");
    auto i = use_static();
}

得到输出日志

#################################################################

# [return_18]

#################################################################

Ref() 22

Ref(Ref& ) 23

~Ref() 23

#################################################################

# [return_19]

#################################################################

Ref(Ref& ) 24

~Ref() 24

其实 return_18 / return_19 两个用例完全一样，只是为了日志区分一下，可以看到，函数里的 static 变量是在第一次被调用的时候创建的，那么就有一个额外的问题，这样会存在多线程问题吗？（并未做实验）

3. 临时对象

void pass_value(Ref in) {
}
void pass_0() {
    new_section(__FUNCTION__, "");
    pass_value(Ref());  // interesting, destroyed before pass_0 end
    cout << __FUNCTION__ << " end"  << endl;
}

得到的日志输出

#################################################################

# [pass_0]

#################################################################

Ref() 25

~Ref() 25

pass_0 end

临时对象在该行执行完成后，立马被销毁

4. 返回实例的销毁时间

Ref pass_and_return_value(Ref in) {
    cout << "pass_and_return_value" << endl;
    return in;
}
void pr_0() {
    new_section(__FUNCTION__, "");
    pass_and_return_value(Ref());  // Ref() will be destroyed before return value
    // return value destroy, after last line
    cout << __FUNCTION__ << " end"  << endl;
}
void pr_1() {
    new_section(__FUNCTION__, "");
    auto o = pass_and_return_value(Ref());  // return value is held by o
    // o will be destroyed when pr_1 exit
    cout << __FUNCTION__ << " end"  << endl;
}

得到的日志输出

#################################################################

# [pr_0]

#################################################################

Ref() 37

pass_and_return_value

Ref(Ref&& ) 38

~Ref() 37

~Ref() 38

pr_0 end

#################################################################

# [pr_1]

#################################################################

Ref() 39

pass_and_return_value

Ref(Ref&& ) 40

~Ref() 39

pr_1 end

~Ref() 40

 从 pr_0 可以看到，传入的实参临时对象实例Ref()，会在函数调用后率先被析构（与前面的结论一样）。不过还可以看到，返回的实例也将在函数调用的一行执行完成后被立刻销毁。

从 pr_1 来看（对比 pr_0），如果有变量获取了返回对象实例，那么该实例则不会被立刻销毁，而是在 pr_1 退出时，才会被销毁。

5. 右值作为构造源

void pass_right_to_inst_assign(Ref&& in) {
    Ref i = in;  // created with Ref(Ref& )
}
void inst_2() {
    new_section(__FUNCTION__, "");
    pass_right_to_inst_assign(Ref());
}

void pass_left_to_inst_assign(Ref& in) {
    Ref i = in;  // created with Ref(Ref& )
}
void inst_3() {
    new_section(__FUNCTION__, "");
    pass_left_to_inst_assign(Ref());
}

得到的日志输出

#################################################################

# [inst_2]

#################################################################

Ref() 66

Ref(Ref& ) 67

~Ref() 67

~Ref() 66

#################################################################

# [inst_3]

#################################################################

Ref() 68

Ref(Ref& ) 69

~Ref() 69

~Ref() 68

可以看到，不论是左值传递的入参，还是右值传递的入参，其实在作为构造源的时候，都是调用的 Ref(Ref& )。

6. 右值的赋值操作

Ref global;

void pass_right_to_global(Ref&& in) {
    global = in;  // Ref& operator=(const Ref&) will be called
}
void inst_4() {
    new_section(__FUNCTION__, "");
    pass_right_to_global(Ref());
}

void move_right_to_global(Ref&& in) {
    global = std::move(in);   // Ref& operator=(const Ref&&) will be called
}
void inst_5() {
    new_section(__FUNCTION__, "");
    move_right_to_global(Ref());
}

得到的日志输出

#################################################################

# [inst_4]

#################################################################

Ref() 70

Ref& operator=(const Ref&) 0

~Ref() 70

#################################################################

# [inst_5]

#################################################################

Ref() 71

Ref& operator=(const Ref&&) 0

~Ref() 71

inst_4 和 inst_5 来看，以右值的形式将实参传入以后，赋值操作中，如果希望以 Ref&& 形式进行，那么仍然需要使用 std::move 将其转换为右值

7. tuple

void tuple_0() {
    new_section(__FUNCTION__, "");
    std::tuple<Ref, bool> t(Ref(), true);
    // tuple will make its own copy
}
void tuple_1() {
    new_section(__FUNCTION__, "");
    std::tuple<Ref, bool> t(Ref(), true);
    // tuple will make its own copy
    auto i = std::get<0>(t);
    // get will make its own copy again
}

得到的日志输出

#################################################################

# [tuple_0]

#################################################################

Ref() 72

Ref(Ref&& ) 73

~Ref() 72

~Ref() 73

#################################################################

# [tuple_1]

#################################################################

Ref() 74

Ref(Ref&& ) 75

~Ref() 74

Ref(Ref& ) 76

~Ref() 76

~Ref() 75

从两个示例看到，创建 tuple 的时候会构造一个实例，从 tuple 中取出的时候，还会构造一个实例。

实践中，如果 tuple 的组成，不是指针或者智能指针的话，尽量还是不要使用 tuple 为好。

或者说，想要使用 tuple 去封装的话，那么尽量使用指针或者智能指针。

8. lambda表达式

void lambda_3() {
    new_section(__FUNCTION__, "");
    Ref i;
    auto f = [=]() { // catch with Ref(const Ref& )
        cout << "lambda call (i = " << i.m_id << ")" << endl;
    };
    cout << __FUNCTION__ << " lambda created" << endl;
    f();
}

 得到的日志输出

#################################################################

# [lambda_3]

#################################################################

Ref() 97

Ref(const Ref& ) 98

lambda_3 lambda created

lambda call (i = 98)

~Ref() 98

~Ref() 97

从 lambda_3 可以看到，[=] 值捕捉的时候，会调用 Ref(const Ref& ) 构造

void lambda_6() {
    new_section(__FUNCTION__, "");
    Ref i;
    auto lam = [=]() {
        cout << "lambda call (i = " << i.m_id << ")" << endl;
    };  // lambda will catch an instance
    cout << __FUNCTION__ << " lambda created" << endl;
    lam();
    auto f = std::bind(lam);   // bind will create another instance
    cout << __FUNCTION__ << " binded" << endl;
    f();
}

 得到的日志输出

#################################################################

# [lambda_6]

#################################################################

Ref() 103

Ref(const Ref& ) 104

lambda_6 lambda created

lambda call (i = 104)

Ref(const Ref& ) 105

lambda_6 binded

lambda call (i = 105)

~Ref() 105

~Ref() 104

~Ref() 103

 从 lambda_6 可以看到，创建 lambda 表达式的时候，已经复制了一个实例副本， bind 操作会再创建一个实例副本

小结

C++实例创建的部分，本文并非完整的列举，感兴趣的朋友欢迎把我的 demo 下下来，再加几个测试测试，也欢迎提 MR，帮我丰富 demo 库哦。

喜欢此类话题的可以点个赞，点赞多的话，我会继续做类似话题哦

DAVIED9
关注
  • 0
    点赞
  • 踩
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
c++中创建单实例类
shenmedoubu的专栏
09-22 1222
如果一个类始终只能创建一个实例，则这个类被称为单例类。在一些特殊情况下，系统会不允许自由创建某个类的对象，二十一只能为该类创建一个对象，此时就可以把该类的构造方法使用private修饰，将其所有的构造方法隐藏起来。一旦把该类的构造方法隐藏起来，则需要提供一个public方法，作为该类的访问点，用于创建该类的对象，并且该方法必须使用static修饰（因为调用该方法之前还不存在对象，因此调用该方法的不
面向对象C++实验报告手册
06-19
- **对象**：对象是类的实例，它具有类所定义的属性和行为。当创建一个类的对象时，会分配内存来存储对象的成员变量，并准备执行成员函数。 2. 封装： - **封装**是面向对象的一个关键特性，它允许我们将数据和...
C++反射动态创建所需类的实例
05-10
使用单例，工厂，函数指针实现的反射，减少了分支语句，次方法可以动态创建类实例，减少了工厂类里面的分支语句(工厂类完成后基本不需要修改，就可以随意创建想要的类的实例)。
C++类对象和实例创建
专注于AI领域前沿技术学习与分享：目标检测、图像修复、超分重建、AI工程化
03-12 935
类只是一个模板（Template），编译后不占用内存空间，所以在定义类时不能对成员变量进行初始化，因为没有地方存储数据。只有在创建对象以后才会给成员变量分配内存，这个时候就可以赋值了。 #include <iostream> #include <stdlib.h> using namespace std; class Solution{ public: int age; char *name; string like; int dump(int number){ .
c++动态创建类的实例对象
daisy.skye的博客
09-26 988
目录 定义一个类 类的实例 动态创建——指针数组 释放指针对象 定义一个类 class A { public: //成员函数 A() { } private: //成员变量 }; 类的实例 A a; //就表示你定义了一个类A的实例 动态创建——指针数组 通过指针的方式，如下即可创建多个，至于数量可以改成i动态生成； A* a[3]; a[0] = new A(); a[1] = new A(); a[2] = new A(); A* a[M];.
C++ 中创建单例
jiaojinlin的博客
01-08 760
在设计单例的时候，要考虑C++语言的下列特征 1、如果不想让客户能够创建新的实例，可以声明私有构造函数。 2、如果想让单例不可复制，以确保不能创建第二个实例， 也可以声明私有构造函数和私有赋值运算符。 3、如果禁止客户删除单实例，可以声明私有构造函数。 4、获取单例，可以反馈指针也可以返回引用，防止客户删除单实例，最好返回引用 C++中单实例的形式如下 class Singleton...
面向对象程序设计(C++)实验报告.doc
06-14
【面向对象程序设计(C++)实验报告】 面向对象编程（Object-Oriented Programming，OOP）是一种编程范式，它基于“对象”的概念，通过封装、继承和多态性来组织代码。C++ 是一种支持面向对象编程的强类型、静态类型...
C++面向对象实验代码实验2
12-10
在本实验中，我们将深入探讨C++的面向对象特性，这是C++编程语言的核心概念，也是现代软件开发的重要工具。面向对象编程（Object-Oriented Programming, OOP）以其封装、继承和多态三大特性，使得代码更加模块化，...
C++实验一-类与简单对象.doc
11-15
C++实验一-类与简单对象 本实验报告的主要目的是让学生理解类和对象的概念，掌握类与对象的定义方法，理解类的成员的访问控制的含义，公有和私有成员的区别，掌握构造函数和析构函数的含义与作用、定义方式和实现...
C++实验报告多态性.doc
08-04
总结，本实验旨在通过具体实例帮助学生掌握C++中的多态性，包括静态多态性和动态多态性，以及它们在实际编程中的应用。这不仅加深了对面向对象编程的理解，也为后续的复杂项目开发打下了坚实的基础。
C++new动态创建对象简单易懂的实例
04-02
C++大学课本中非常实用又非常难理解的动态创建对象，我做了个简单的实例供大家参考学习
C++ com对象实例
03-15
使用单接口COM对象 第一个例子展示的是单接口COM对象。这可能是你碰到得最简单的例子。它使用外壳中的活动桌面组件对象类（CLSID_ActiveDesktop）来获得当前桌面墙纸的文件名。 第二个例子展示了如何使用一个提供单接口的COM对象QueryInterface()函数。其中的代码用外壳的Shell Link组件对象类创建我们在第一个例子中获得的墙纸文件的快捷方式 。 使用单接口COM对象
VS2019如何创建C++项目的实现示例
08-18
主要介绍了VS2019如何创建C++项目的实现示例，文中通过示例代码介绍的非常详细，对大家的学习或者工作具有一定的参考学习价值，需要的朋友们下面随着小编来一起学习学习吧
C++在指定位置内存新建类实例
fangfanglovezhou的博客
12-31 311
C++在指定位置内存新建类实例。
2022.6.1 C++——类型设计与实例化对象
weixin_58631717的博客
06-01 927
类型设计与实例化对象
c++关于类和对象的实例
肉丸不肉
10-24 2228
c++是面向对象的程序设计。 重要的概念：类、对象、数据成员、成员函数、共有、私有。 具体实例如下： http://c.biancheng.net/cpp/biancheng/view/2162.html 定义一个类，定义此类的对象，引用类的多个成员 引用多个对象的成员 调用函数 数据成员的值不由键盘输入，由调用函数时实参给出 含成员函数的类 题目 一步一步的变化加深引出其他的概念，而且注意
【C++学习】类与对象（一）——类的定义与对象实例
最新发布
m0_74301063的博客
03-28 2185
类与对象基础概念的说明与运用
C++创建型模式——原型模式 结合具体实例
山河君的分享博客
04-08 919
系列文章目录 提示：这里可以添加系列文章的所有文章的目录，目录需要自己手动添加 例如：第一章 Python 机器学习入门之pandas的使用 提示：写完文章后，目录可以自动生成，如何生成可参考右边的帮助文档 文章目录系列文章目录前言一、原型模式是什么？二、实际应用总结 前言 写这一系列之前，我也是在开发中越来越重视开发模式，同时也是整理了一番。各种开发模式多而杂，乱而又相似，写这些东西也是为了记录和巩固，要是有不同见解欢迎随时指正。 为什么我们要在软件开发中使用设计模式。 为了代码可重用性、增加可
c++三种实例化对象方式
热门推荐
bitcarmanlee的博客
04-16 1万+
1.隐式创建 首先我们定义一个测试类 class Person { private: int age; string name; public: Person() { cout<<"this is construct~"; } Person(int age, string name) { this->age = age; this-
C++面向对象实验指南：八项实战项目
- 实验5（4学时）通过类与对象的应用，让学生掌握类的创建、实例化和成员函数的运用。 - 实验6（2学时）深入研究继承与派生类，理解如何构建更复杂的类层次结构。 - 实验7（2学时）讲解虚函数和多态性，这是面向对象...

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

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

余额充值