c++ - 从替代构造的变体返回可构造的

Question

是否可以拥有一个可从变体(例如，从 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 发出了这条消息:

注意:候选构造函数不可行:第一个参数 var_holder_t(variant v) 没有从“type1_t”到“variant”的已知转换

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

Answer 1

下面的语句有效是因为 list initialization正在执行。

return {type1_t{ }};

copy-list-initialization

return { arg1, arg2, ... } ;    (8) 

List initialization is performed in the following situations:
...
direct-list-initialization (both explicit and non-explicit constructors are considered)
...
8) in a return statement with braced-init-list used as the return expression and list-initialization initializes the returned object

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