C++系列-匿名对象

💢什么是匿名对象

• 🥝匿名对象（Anonymous Object） 是指在创建对象的时候，并没有给它命名。
• 🥝它们通常用于在单个语句中执行一系列操作或调用某个函数，并且不需要将其结果存储到对象中。

💢匿名对象的创建方式及作用域

• 🍍直接在类名后加()，当遇到有参或者拷贝构造时，需要加上相应的参数。
• 🍍有名对象，其生命周期在当前函数局部域。
• 🍍匿名对象，其生命周期在当前行。

code:
#include <iostream>
using namespace std;class Person
{
public:Person(){cout << "Person默认构造" << endl;}Person(string name){cout << "Person有参构造" << endl;m_name = name;}Person(const Person& per){cout << "Person拷贝构造" << endl;}~Person(){cout << "析构析构析构" << endl;}void print_info(){cout << "name: " << m_name << endl;}private:string m_name="huahua";
};int main()
{Person per1;		// 有名对象 -- 生命周期在当前函数局部域per1.print_info();Person().print_info();			// Person()，匿名对象 -- 生命周期在当前行Person("lili").print_info();	// Person("lili")，匿名对象 -- 生命周期在当前行Person(per1).print_info();		// Person(per1)，匿名对象 -- 生命周期在当前行system("pause");return 0;
}result:
Person默认构造
name: huahua
Person默认构造
name: huahua
析构析构析构
Person有参构造
name: lili
析构析构析构
Person拷贝构造
name: huahua
析构析构析构

👉👉👉
这段代码中，Person().print_info()，Person("lili").print_info()，Person(per1).print_info()均是匿名对象。
他们只是实例化对象时，运行的构造函数不一样。
可以看到，当实例化匿名对象的那一行代码执行完之后，就执行了析构函数，释放对象。
而有名对象是在main函数的作用域，等main函数执行完后，才会执行析构函数(本案例中看不到，
因为最后可看到的的执行结果停留在system("pause"))这一步。。

💢匿名对象的对象类型

• 🍇匿名对象的类型可以是基本数据类型，如int，double, char等。
• 🍇匿名对象的类型可以是自定义的类类型。
• 🍇匿名对象的类型可以是标准库中的类类型。

💢💢匿名的基本数据类型对象

👉👉👉
int(5), double(3.14) char('A')就是在创建匿名对象。
下面代码中的int()，int(3)是在创建匿名的int类型对象。
int a = int(10)创建匿名对象int(10)，并将其赋值给a，a就是有名对象。

code:
#include <iostream>
using namespace std;void test01()
{cout << "int(): " << int() << endl;		// 创建匿名的int类型对象cout << "int(3): " << int(3) << endl;int a = int(10);			// 创建匿名int类型对象int(10)，赋值给有名的int对象acout << "int a = int(10): " << a << endl;
}
int main()
{test01();system("pause");return 0;
}result:
int(): 0
int(3): 3
int a = int(10): 10

💢💢匿名的自定义的类类型对象

👉👉👉
之前代码示例中的如下语句均为创建匿名对象。Person().print_info(); // Person()，匿名对象 -- 生命周期在当前行Person("lili").print_info(); // Person("lili")，匿名对象 -- 生命周期在当前行Person(per1).print_info(); // Person(per1)，匿名对象 -- 生命周期在当前行而如下代码是在创建有名对象per1。Person per1; // 有名对象 -- 生命周期在当前函数局部域

💢💢匿名的标准库的类对象

#include <iostream>
#include <vector>
using namespace std;void print_vector(const vector<int>& vec)
{for (vector<int>::const_iterator it = vec.begin(); it < vec.end(); it++){cout << *it << " ";}cout << endl;
}void test01()
{print_vector(vector<int>{0, -1, -2}); // 创建匿名对象 vector<int>{0, -1, -2}vector<int> vect1{1, 2, 3}; // 创建有名对象vect1print_vector(vect1);vector<int> vect2 = vector<int>{ 4, 5, 6 }; // 创建匿名对象vect2print_vector(vect2);
}
int main()
{test01();system("pause");return 0;
}result:
0 -1 -2
1 2 3
4 5 6

💢匿名对象的使用方式

💢💢作为临时值使用

#include <iostream>
using namespace std;void print_info(int a)
{cout << a << endl;
}int main()
{print_info(3); // 这里的3可以看作是匿名的int对象，即int(3)system("pause");return 0;
}result:
3

💢💢可以调用成员

👉👉👉
之前代码示例中的如下语句中的匿名对象可以调用成员，但也只能调用一次，后面不会再用到它，所以不需要有有名对象存储。Person().print_info(); // Person()，匿名对象 -- 生命周期在当前行Person("lili").print_info(); // Person("lili")，匿名对象 -- 生命周期在当前行Person(per1).print_info(); // Person(per1)，匿名对象 -- 生命周期在当前行

💢💢赋值和初始化

👉👉👉
下面代码中int a = Person("Feifei", 10).get_age(); 中，Person("Feifei", 10)是匿名对象，它调用了成员函数get_age()，
给变量a赋值。Person per1 = Person("Maomao", 13); 中，Person("Maomao", 13)匿名对象配置给有名对象per1。

#include <iostream>
using namespace std;class Person
{
public:Person(string name, int age) : m_name(name), m_age(age) {}int get_age(){return m_age;}
private:string m_name = "huahua";int m_age = 10;
};int main()
{// Person("Feifei", 10)匿名对象调用其成员函数给其它变量赋值int a = Person("Feifei", 10).get_age(); cout << "a:" << a << endl;// 匿名对象Person("Maomao", 13)，可以用于初始化per1对象，Person per1 = Person("Maomao", 13); system("pause");return 0;
}result:
a:10

💢匿名对象的注意事项

💢💢权限问题

👉👉👉
下面代码中int a = Person("Feifei", 10).get_age(); 中，Person("Feifei", 10)是匿名对象，它调用了成员函数get_age()，
给变量a赋值。Person per1 = Person("Maomao", 13); 中，Person("Maomao", 13)匿名对象配置给有名对象per1。

#include <iostream>
using namespace std;class Person
{
public:Person(string name, int age) : m_name(name), m_age(age) {}Person(Person& per) : m_name(per.m_name), m_age(per.m_age) {}int get_age(){return m_age;}void set_age(int age){m_age = age;}void print_info(){cout << "name: " << m_name << ", age: " << m_age << endl;}
private:string m_name = "huahua";int m_age = 10;
};int main()
{Person per1("Tiantian", 12); // 创建有名对象per1Person per2(per1); // 拷贝构造创建有名对象per2per2.print_info();system("pause");return 0;
}result:
name: Tiantian, age: 12

👉👉👉
以上代码中，先创建有名对象per1，然后利用per1创建有名对象per2。代码没有问题。
下面使用匿名函数实现。

#include <iostream>
using namespace std;class Person
{
public:Person(string name, int age) : m_name(name), m_age(age) {}Person(Person& per) : m_name(per.m_name), m_age(per.m_age) {}int get_age(){return m_age;}void set_age(int age){m_age = age;}void print_info(){cout << "name: " << m_name << ", age: " << m_age << endl;}
private:string m_name = "huahua";int m_age = 10;
};int main()
{// 想使用Person("Tiantian", 12)匿名对象去利用拷贝构造创建per2对象// 编译会报错,错误	C2558	class“Person” : 没有可用的复制构造函数或复制构造函数声明为“explicit”// 原因就在于这个匿名对象，它和临时对象一样是具有常性的，而在拷贝构造中，接收的是Person& per，// 用一个非常性的对象去引用常性的就会有问题。编译器会认为是权限放大的问题。Person per2(Person("Tiantian", 12)); per2.print_info();system("pause");return 0;
}

👉👉👉
以上代码中，想使用Person("Tiantian", 12)匿名对象去利用拷贝构造创建per2对象。
匿名对象，它和临时对象一样是具有常性的，而在拷贝构造中，接收的是Person& per，
用一个非常性的对象去引用常性的就会有问题。编译器会认为是权限放大的问题。会报错。
修改方法为：Person(Person& per) : m_name(per.m_name), m_age(per.m_age) {} 在 Person& per前加上const修饰即可。

加上const后实现了权限平移 ，此时既可以接受普通引用也可以接收常引用，提高了代码的健壮性。

💢💢不能取地址

cout << &Person("Tiantian", 12) << endl;  会报错。
因为匿名对象随时可能被销毁，如果取了其地址，后续的代码会变得不稳定，而且编译器可能会对匿名对象进行优化，
如果将其存储于寄存器中，就娶不到确定的内存地址。

💢💢缺陷

调试和维护上的困难，无法使用debug模式直接跟踪和check其当前值，增加调试难度。
如果频繁的创建和销毁匿名对象，会影响性能的开销。