Ẩn lớp cơ sở trống để khởi tạo tổng hợp

Hãy xem xét các mã sau đây:

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

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

Đây là cách bạn phải khởi tạo B: B<int, 3> b = { {}, {1, 2, 3} }; Tôi muốn tránh {} trống không cần thiết cho lớp cơ sở. Có một giải pháp được Jarod42 đề xuất ở đây , tuy nhiên, nó không hoạt động với khởi tạo mặc định của các phần tử: B<int, 3> b = {1, 2, 3};vẫn ổn nhưng B<int, 3> b = {1};không phải: b.data[1]và b.data[2]không được mặc định khởi tạo thành 0 và xảy ra lỗi trình biên dịch. Có cách nào (hoặc sẽ có với c ++ 20) để "ẩn" lớp cơ sở khỏi xây dựng không?

Giải pháp đơn giản nhất là thêm một hàm tạo matrixdic:

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ếu bạn cung cấp ít phần tử hơn trong {...}danh sách khởi tạo hơn N, các phần tử còn lại trong mảng datasẽ được khởi tạo giá trị theo T().

Vì C ++ 20, bạn có thể sử dụng các công cụ khởi tạo được chỉ định trong khởi tạo tổng hợp .

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

Vẫn với constructor, bạn có thể làm một cái gì đó như:

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

Bản giới thiệu

SFINAE được thực hiện chủ yếu để tránh tạo hàm giả sao chép B(B&).

Bạn sẽ cần thêm thẻ riêng để hỗ trợ B<std::index_sequence<0, 1>, 42>;-)

Tôi đã tìm thấy một giải pháp khác mà (tôi không biết làm thế nào) hoạt động hoàn hảo và giải quyết vấn đề chúng ta đang thảo luận dưới câu trả lời của 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
{
    // ...
};