如何高效构造C++ std::variant？示例构造是否存在冗余拷贝？

你的判断没错——先构造Person对象再初始化PersonVariant，确实会触发不必要的拷贝操作（除非Person的拷贝构造被编译器优化，但依赖优化不如直接写高效代码）。下面是几种更高效的std::variant构造方式：

1. 就地构造（最优方案） #

直接在std::variant的内部存储空间里构造Person对象，完全跳过中间对象的创建、拷贝/移动步骤。可以用std::in_place_type指定类型，或者std::in_place_index指定类型在variant中的索引：

// 用类型指定就地构造
PersonVariant v(std::in_place_type<Person>, "Alice", 30);

// 用索引指定（Person是variant的第0个类型）
PersonVariant v(std::in_place_index<0>, "Charlie", 35);

这种方式直接调用Person的构造函数，把参数传递过去，没有任何多余的对象操作，效率最高。

2. 移动构造现有对象 #

如果已经有一个现成的Person对象，且之后不再使用它，可以用std::move把对象的资源转移到variant中，避免拷贝：

Person p("Dave", 40);
PersonVariant v(std::move(p)); // 调用Person的移动构造函数，无内存拷贝

注意：移动后原对象p会处于有效但未定义的状态，不要再使用它。

3. 直接列表初始化（需无歧义） #

如果Person支持列表初始化，且variant中其他类型无法匹配该列表参数，可以直接用列表初始化variant：

PersonVariant v{"Eve", 28};

这种写法简洁，但要注意类型歧义问题：如果Dummy1或Dummy2也能接受(const char*, int)这样的参数，编译器会报错，这时候还是用就地构造更安全。

对比原写法的问题 #

原代码中：

Person p("Bob", 25);
PersonVariant v(p);

这里variant会调用Person的拷贝构造函数，把p的内容完整复制到自己的存储区，当Person包含大内存成员（比如std::string）时，这个拷贝成本很高。

内容的提问来源于stack exchange，提问作者tesla1060