【C++知识树】C++ std::any、std::variant、std::optional的原位构造
in_place 有三种辅助类型：
- std::in_place_t 类型和全局值 std::in_place，用于 std::optional
- std::in_place_type_t 类型和全局值 std::in_place_type，用于 std::variant 和 std::any
- std::in_place_index_t 类型和全局值 std::in_place_index，用于 std::variant
这些辅助类型用于有效地原位初始化对象，而无需额外的临时拷贝或移动操作。
std::optional
std::optional 是一个包装器类型，所以你可以用和包装器对象几乎一样的方法创建 optional 对象。在大多数情况下你可以：
-
std::optional -
std::optionaloi{10};
你可以对构造函数不加说明地将上述代码重写为：
-
std::optional -
std::optionaloi{int{10}};
这是因为 std::optional 有一个接受 U&& （右值引用，可以转换为 optional 中存储的类型）的构造函数。对于我们的例子，它被推导成可以初始化字符串的 const char* 类型。
所以在 std::optional 中使用 std::in_place_t 有什么好处呢？
至少有两点：
- 默认构造函数
- 对于有很多参数的构造函数的有效构造
默认构造函数
考虑一个有默认构造函数的类：
class UserName
{
public:
UserName() : mName("Default")
{
}
// ...
};你怎么创建一个包含 UserName{} 的 optional ？
你可以这样写：
std::optional u0; // 空的 optional
std::optional u1{}; // 也是空的
// 用“默认构造函数构造出的对象”构造出的 optional:
std::optional u2{UserName()}; 这个方法可以，但是它会创建额外的临时对象。上述代码的实际执行情况是：
UserName::UserName('Default')
UserName::UserName(move 'Default') // 移动临时对象
UserName::~UserName('') // 删除临时对象
UserName::~UserName('Default')这段代码会创建一个临时对象然后把它移动到 optional 中存储的对象。
这里我们可以借助 std::in_place_t 来使用一种更有效的构造函数：
std::optional opt{std::in_place{}}; 这段代码的实际执行情况是：
UserName::UserName('Default')
UserName::~UserName('Default')optional 中存储的对象是被原位创建出来的，和你调用 UserName{} 是一样的，不需要额外的拷贝或者移动。
你可以在 @Coliru 运行这些样例。
不可复制/移动类型
如你在上一节的例子里所见，如果你用一个临时对象来初始化 std::optional 中包含的值，那么编译器会使用移动或拷贝构造函数。
但是如果你的类型不允许这样做呢？比如 std::mutex 不可移动或复制。
在这种情况下，std::in_place 是处理这些类型的唯一办法。
有多个参数的构造函数
还有一种要用到 std::in_place 的情况是你的构造函数里有很多参数。optional 可以默认接受单个参数（右值引用），然后有效地把它传递给包装器类型。但是如果你想初始化 std::complex(double, double) 或者 std::vector 呢？
你可以创建一个临时拷贝然后在构造过程中传递它：
// 有4个1的 vector:
std::optional> opt{std::vector{4, 1}};
// complex 类型:
std::optional> opt2{std::complex{0, 1}}; 或者用 in_place 和处理可变参数列表版本的构造函数：
template< class... Args >
constexpr explicit optional( std::in_place_t, Args&&... args );
// 或 initializer_list:
template< class U, class... Args >
constexpr explicit optional( std::in_place_t,
std::initializer_list ilist,
Args&&... args );std::optional> opt{std::in_place, 4, 1};
std::optional> opt2{std::in_place, 0, 1}; 第二个版本很长，而且没有创建临时对象。临时对象不如原位构造有效，尤其是当对象很大或者是容器类型时。
emplace() 方法
如果你想改变 optional 中存储的值，那么你可以用赋值运算符或者调用 emplace()。
遵循 C++11 引入的概念（容器的 emplace 方法），你可以高效地创建（并销毁旧值）一个新的对象。
std::make_optional()
如果你不喜欢 std::in_place，你可以尝试 make_optional 工厂函数。
以下代码
-
auto opt = std::make_optional(); -
auto opt = std::make_optional
和
-
std::optionalopt{std::in_place}; -
std::optional
是同样有效的。make_optional 等效地实现了原位构造：
return std::optional(std::in_place, std::forward(args)...); 同样，归功于从 C++17 开始的强制拷贝优化，不会有临时对象参与进来了。
其他
std::optional 有8个版本的构造函数！如果你很勇你可以在 @cppreference - std::optional constructor 研究它们。
std::variant
std::variant 有两个 in_place 辅助类型：
- std::in_place_type - 用于指定你想在 variant 里改变或者设定哪个类型
- std::in_place_index - 用于指定你想改变或者设定的索引。类型从0开始枚举。
在 invariant std::variant
幸运的是，你不用每次创建一个 variant 时都用这些辅助类型。它可以自动识别它能否由单个参数构造：
// 构造第二个参数 float:
std::variant intFloatString { 10.5f }; 对于 variant 我们在至少两种情况下需要辅助类型：
- 歧义 - 多个类型匹配，区分要创建哪个类型
- 高效创建复杂类型（类似 optional）
注意：variant 默认由第一个类型初始化 - 假设它有一个默认构造函数的话。如果没有可用的默认构造函数，那么编译器会报错。这和 std::optional 由一个空的 optional 初始化不同 - 如前所述。
歧义
如果你像这样初始化：
std::variant intFloat { 10.5 }; // double 转换成？ 10.5 可以被转换成 int 或 float，所以编译器会报告几页模板错误……但是大体上说，它不能推断 double 转换成什么类型。
但是你可以指明你要创建哪个类型来简单地处理这样的错误：
-
std::variant或 -
std::variant, 10.5 };
复杂类型
类似于 std::optional，如果你想高效创建对象接受多个构造函数参数，就用 std::in_place*：
例如：
std::variant, std::string> vecStr {
std::in_place_index<0>, { 0, 1, 2, 3 } // initializer list passed into vector
};
其他
std::variant 有8个版本的构造函数！如果你很勇你可以在 @cppreference - std::variant constructor 研究它们。
std::any
和之前的两个类型的风格一样，std::any 可以用 std::in_place_type 来高效原位创建对象。
复杂类型
在下面的例子里要用到临时对象：
std::any a{UserName{"hello"}};但是用
std::any a{std::in_place_type,"hello"}; 对象会由一组给定的参数原位创建。
std::make_any
方便起见，std::any 有一个名为 std::make_any 的工厂函数返回
return std::any(std::in_place_type, std::forward(args)...); 所以之前的例子可以被写成：
auto a = std::make_any{"hello"}; make_any 很可能更容易使用。