C++学习笔记 41 C++17 在一个变量中存储多种类型变量

std::variant 在一个变量中存储多种类型变量

它不是一个真正的特性，它更多是在C++17中新的标准库中给我们的类。它的作用是让我们不用担心处理的确切数据类型。
例如：

1. 解析一个文件，但不确定这是一个字符串还是一个整数。
2. 程序运行时接受一个命令行参数，但不确定这个参数是整数还是字符串还是浮点或是布尔
3. std::variant 允许你列出所有可能的类型，然后你可以决定它是什么类型，如果你想，你可以把它重新赋值成任何类型，这也是你创建可能有多个类型的变量的一种方式。
4. get_if 是我最喜欢的处理variant的方式，因为它很干净，让我们只得到我们期望的类型的那个值。
5. 很多关于variant的讨论，说它本质上就像类型安全的联合体union，但是需要强调的是，它们是非常不同的。联合体的大小是最大类型的大小，而variant只是将所有可能的数据类型存储为单独的变量作为单独的成员。
6. variant是为你创建了一个结构体或类，它只是将多种不同的数据类型存储为那个类或结构体中的成员
7. 因此，从技术上讲，union仍然是更有效率和更好的。然而variant更加类型安全，不会造成未定义行为，你应该使用它，除非你做的是底层优化，把内存大小保持在一个较低的位置，不管是什么原因，比如CPU处理；或者只是想使用尽可能少的内存。但是如果是在桌面平台上，你可以自由地使用更多的内和更多的处理能力，那么std::variant在技术上更安全。

#include<iostream>
#include<variant>
#include<string>

enum class ErrorCode {
	None = 0, NotFound = 1, NoAccess = 2
};

//返回比true false更为详细的自定义情况
std::variant<std::string, ErrorCode> ReadFileAsString（）{
	return {};
};

void testVariant() {
	std::variant<std::string, int> data;
	data = "Hello World";
	std::cout << std::get<std::string>(data) << " | " << data.index() << std::endl;

	data = 2;
	std::cout << std::get<int>(data) << " | " << data.index() << std::endl;

	//以错误的类型接受数据：exception: std::bad_variant_access
	//std::cout << std::get<std::string>(data) << std::endl;

	//get_if判断类型, 如果类型不对返回NULL
	auto* value = std::get_if<std::string>(&data);
	if (auto* value = std::get_if<std::string>(&data)) {
		std::string& v = *value;
	}
	else {

	}

	std::cout << "sizeof(int): " << sizeof(int) << std::endl; //4
	std::cout << "sizeof(std::string): " << sizeof(std::string) << std::endl; //40
	std::cout << "sizeof(std::variant<std::string, int>): " << sizeof(data) << std::endl; //48
}


int main() {
	testVariant();
	std::cin.get();
}