时间戳

首页 > 解决方案 > 从替代构造的变体返回可构造的

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

问题描述

是否可以拥有一个可从变体（例如，从 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_tto的转换variant，但看起来只是虚假诊断。综上所述，我想我可以想出上面的构造不起作用的一个简单原因：它需要两次隐式转换，但规则是只考虑一次。

标签： c++

解决方案

以下语句有效，因为正在执行列表初始化。

return {type1_t{ }};

复制列表初始化 

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

列表初始化在以下情况下执行：
...
直接列表初始化（考虑显式和非显式构造函数）
...
8）在使用大括号初始化列表作为返回表达式和列表的返回语句中-initialization 初始化返回的对象

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

推荐阅读