隐藏空基 class 用于聚合初始化

Question

考虑以下代码：

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} }; 我想避免基 class 不必要的空 {}。 Jarod42 提出了一个解决方案，但是，它不适用于元素默认初始化：B<int, 3> b = {1, 2, 3}; 可以，但 B<int, 3> b = {1}; 不行：b.data[1] 和 b.data[2] 没有默认初始化为 0，并且会发生编译错误。有什么方法（或者将有 c++20）从构造到 "hide" base class？

Answer 1

从 C++20 开始，您可以使用 designated initializers in aggregate initialization.

B<int, 3> b = { .data {1} }; // initialize b.data with {1}, 
                             // b.data[0] is 1, b.data[1] and b.data[2] would be 0

Answer 2

仍然使用构造函数，您可以执行以下操作：

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];
};

Demo

SFINAE 主要是为了避免创建伪拷贝构造函数B(B&).

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

Answer 3

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

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 中的剩余元素将按 T() 进行值初始化。

Answer 4

我找到了另一个解决方案（我不知道如何）完美地解决了我们在 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
{
    // ...
};

隐藏空基 class 用于聚合初始化

Hide empty base class for aggregate initialization

c++

initialization

aggregate-initialization

c++20