我可以避免为std :: variant中的每个结构显式编写构造函数吗？

Question

考虑以下代码:

#include <variant>

struct x {
  int y;
};

int main() {
  std::variant<x> v(std::in_place_type<x>, {3}); /*1*/
  return std::get<x>(v).y;
}

即使聚合初始化,这也不会编译,也不会{}从行中删除/*1*/

x a{3};
x b({3});

适用于"类似构造函数"的形式.我可以以某种方式使std::variant初始化器知道使用聚合初始化构造结构的可能性,而不必为我的实际案例中可能使用的每个结构编写无聊的样板构造函数吗？

我希望这可以工作,不知何故,根据cppreference,有问题的两个重载(5)和(6)都说

使用指定的替代T构造变量并使用参数[...] 初始化包含的值

如果重要的话,我正在使用GCC 7.

Answer 1

除了添加构造函数之外，没有其他解决方法。标准对您提到的两个重载分别强制执行此操作，[variant.ctor]19和[variant.ctor]23：

\n

\n

效果：初始化包含的值，就像直接非列表初始化T带有参数的类型的对象一样std\xe2\x80\x8b::\xe2\x80\x8bforward<Args>(args)...。

\n

效果：初始化包含的值，就像直接非列表初始化T带有参数的类型的对象一样il, std\xe2\x80\x8b::\xe2\x80\x8bforward<Args>(args)...。

\n

\n

您始终可以使用以下方法复制或移动对象：

\n

std::variant<x> v(std::in_place_type<x>, x{3});\n// or more clear and does the same thing\nstd::variant<x> v(x{3});\n

\n