来自Variadic模板的参考的默认构造元组

Question

template<typename... T>
struct RoundRobin
{
    // Dangling references
    RoundRobin() : choices{std::forward_as_tuple(T{}...)}
    {}

    // Expected behaviour
    RoundRobin(std::in_place_t, T&... c) : choices{std::forward_as_tuple(c...)}
    {}

    std::tuple<T&...> choices;
};

struct Choice {};

// OK
Choice c1, c2, c3;
RoundRobin good_robin(std::in_place, c1, c2, c3);

// NOT OK
RoundRobin<Choice, Choice, Choice> bad_robin;

我希望提供默认构造以下结构的能力（以及注入相应的选择）。

然而，在默认构造之后，选择元组会使用看似悬空的引用进行初始化，任何访问尝试都会导致段错误。

无论如何，我可以默认构造我的选择元组（并维护引用注入的现有功能）吗？

谢谢

Answer 1

我建议将成员元组更改为不添加参考，并使用ctad：

template<typename... Ts>
struct RoundRobin
{
    RoundRobin() : choices{Ts{}...} {}

    // Expected behaviour
    RoundRobin(std::in_place_t, Ts&... c) : choices{std::forward_as_tuple(c...)}
    {}

    std::tuple<Ts...> choices;
};

template <typename... Ts>
RoundRobin(std::in_place_t, Ts&...) -> RoundRobin<Ts&...>;

demo 。