隐藏空的基类以进行聚合初始化


9

考虑以下代码:

struct A
{
    // No data members
    //...
};

template<typename T, size_t N>
struct B : A
{
    T data[N];
}

这是初始化B的方式:B<int, 3> b = { {}, {1, 2, 3} }; 我想避免基类不必要的空{}。Jarod42 在此处提出了一个解决方案,但是,它不适用于元素默认初始化:B<int, 3> b = {1, 2, 3};很好,但B<int, 3> b = {1};不是:b.data[1]并且b.data[2]没有默认初始化为0,并且发生了编译器错误。有什么办法(或c ++ 20会有)从构造中“隐藏”基类?


2
为什么不添加构造函数template<class... Ts> B(Ts... args) : data{args...} {}
EVG

为什么发表评论?它似乎正在工作,大声笑
user7769147 19/12/27

这是一个显而易见的解决方案,我认为您有一些不使用它的理由。:)
Evg

xD太简单了。如果您将其写为答案,我会接受
user7769147

Answers:


6

最简单的解决方案是添加可变参数的构造函数:

struct A { };

template<typename T, std::size_t N>
struct B : A {
    template<class... Ts, typename = std::enable_if_t<
        (std::is_convertible_v<Ts, T> && ...)>>
    B(Ts&&... args) : data{std::forward<Ts>(args)...} {}

    T data[N];
};

void foo() {
    B<int, 3> b1 = {1, 2, 3};
    B<int, 3> b2 = {1};
}

如果在{...}初始化程序列表中提供的元素数量少于N,则数组中的其余元素data将通过by进行值初始化T()


3
我刚刚发现了为什么这不同于聚合初始化。如果您考虑B<Class, 5> b = {Class()}; Class先构建然后再移动,那么使用聚合初始化Class就可以构建,不涉及任何移动
user7769147

@ user7769147,很好。您可以使用std::tuple参数并将其用于就地构造对象。但是语法会很麻烦。
EVG

1
我随机找到了解决此问题的解决方案,我将其保留为可接受的答案,以感谢您的可用性:)。
user7769147


4

仍然使用构造函数,您可能会执行以下操作:

template<typename T, size_t N>
struct B : A
{
public:
    constexpr B() : data{} {}

    template <typename ... Ts,
              std::enable_if_t<(sizeof...(Ts) != 0 && sizeof...(Ts) < N)
                               || !std::is_same_v<B, std::decay_t<T>>, int> = 0>
    constexpr B(T&& arg, Ts&&... args) : data{std::forward<T>(arg), std::forward<Ts>(args)...}
    {}

    T data[N];
};

演示版

SFINAE的主要目的是避免创建伪副本构造函数B(B&)

您将需要额外的私有标签来支持B<std::index_sequence<0, 1>, 42>;-)


为什么需要((void)Is, T())...?如果您只是忽略了该怎么办?T()默认情况下,是否不会对其余元素进行值初始化?
EVG

1
@Evg:确实简化了。害怕只默认初始化剩余元素而不是值初始化它们……
Jarod42

2

我发现了另一个解决方案,该解决方案(我不知道如何)可以完美地解决了我们在Evg的回答下讨论的问题

struct A {};

template<typename T, size_t N>
struct B_data
{
    T data[N];
};

template<typename T, size_t N>
struct B : B_data<T, N>, A
{
    // ...
};

有趣的解决方案。但是现在必须在内部使用this->datausing B_data::data;访问。dataB
EVG
By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.