c++ - 隐藏空基类以进行聚合初始化

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

Answer 1

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

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() 进行值初始化。