从替代构造的变体返回可构造的答案

【问题标题】：return a constructible from a variant being constructed from an alternative从替代构造的变体返回可构造的
【发布时间】：2019-03-06 10:30:20
【问题描述】：

是否可以拥有一个可从变体（例如，从 std::variant）构造的结构，并返回从变体的备选方案之一隐式构造的这种结构？

考虑以下代码：

#include <utility>

struct type1_t
{
};
struct type2_t
{
};

struct variant
{
    /*template <typename T>
    variant(T&& t)
    {}*/
    variant(type1_t){}
};

struct var_holder_t
{
    var_holder_t(variant v)
        : m_var(std::move(v))
    {}

private:
    variant m_var;
};

var_holder_t foo()
{
    return type1_t{ };  // <====== offending line
}

MSVC 2017、2019 允许这样做，但 GCC 和 clang 无法编译。更改为其他变体的构造函数，甚至使用 boost::variant 或 std::variant 都无济于事。

值得注意的是，将有问题的行更改为 return {type1_t{ }}; 会使其以某种方式编译。目前我迷路了，虽然从技术上讲，添加两个额外的 {} 不会对可读性造成太大损害，但我现在可能会坚持下去，只是希望得到答案。

还使 var_holder_t 的构造函数模板（转发）有所帮助，它使 var_holder_t 可以直接从 type1_t 构造（并且很可能在性能方面更好），但目前我想保持 var_holder_t 完全非模板 - 它应该是（思想，设计）是随便写的简单代码。

更新：真正让我感到困惑的是 Clang 发出这条消息：

note: candidate constructor not viable: no known conversion from 'type1_t' to 'variant' for 1st argument var_holder_t(variant v)

这很奇怪，因为显然存在从 type1_t 到 variant 的转换，但看起来只是虚假诊断。综上所述，我想我可以想出上面的构造不起作用的一个简单原因：它需要两次隐式转换，但规则是只考虑一次。

【问题讨论】：

标签： c++

【解决方案1】：

以下语句有效，因为正在执行list initialization。

return {type1_t{ }};

复制列表初始化
return { arg1, arg2, ... } ;    (8) 
在以下情况下执行列表初始化：
...
直接列表初始化（考虑显式和非显式构造函数）
...
8) 在一个 return 语句中，使用花括号初始化列表作为返回表达式，list-initialization 初始化返回的对象

这里var_holder_t 是用type1_t 对象初始化的，它按预期工作。

【讨论】：