Sembunyikan kelas dasar kosong untuk inisialisasi agregat

9

Pertimbangkan kode berikut:

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

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

Ini adalah bagaimana Anda harus menginisialisasi B: B<int, 3> b = { {}, {1, 2, 3} }; Saya ingin menghindari {} kosong yang tidak perlu untuk kelas dasar. Ada solusi yang diusulkan oleh Jarod42 di sini , namun, itu tidak bekerja dengan inisialisasi default elemen: B<int, 3> b = {1, 2, 3};baik-baik saja tetapi B<int, 3> b = {1};tidak: b.data[1]dan b.data[2]tidak default diinisialisasi ke 0, dan terjadi kesalahan kompiler. Apakah ada cara (atau akan ada dengan c ++ 20) untuk "menyembunyikan" kelas dasar dari konstruksi?

— pengguna7769147
sumber

2

Mengapa tidak menambahkan konstruktor template<class... Ts> B(Ts... args) : data{args...} {}?

— Evg

Mengapa ini sebuah komentar? Tampaknya berfungsi, lol

— user7769147

Ini adalah solusi yang jelas sehingga saya pikir Anda memiliki beberapa alasan untuk tidak menggunakannya. :)

— Evg

Itu xD terlalu mudah. Jika Anda menuliskannya sebagai jawaban, saya akan menerimanya

— user7769147

6

Solusi termudah adalah menambahkan konstruktor variadic:

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

Jika Anda memberikan lebih sedikit elemen dalam {...}daftar penginisialisasi daripada N, elemen yang tersisa dalam array dataakan diinisialisasi nilai oleh T().

— Evg
sumber

3

Saya baru tahu mengapa ini berbeda dari inisialisasi agregat. Jika Anda mempertimbangkan B<Class, 5> b = {Class()}; Classakan dibangun pertama dan kemudian dipindahkan, sementara dengan menggunakan inisialisasi agregat Classakan dibuat di tempat, tidak ada langkah yang terlibat

— user7769147

@ user7769147, poin bagus. Anda dapat mengambil std::tupleargumen dan menggunakannya untuk membangun objek di tempat. Tetapi sintaksnya akan agak rumit.

— Evg

1

Saya telah secara acak menemukan solusi yang memecahkan masalah ini, saya akan membiarkan ini sebagai jawaban yang diterima untuk berterima kasih atas ketersediaan Anda :).

— user7769147

4

Karena C ++ 20 Anda dapat menggunakan inisialisasi yang ditunjuk dalam inisialisasi agregat .

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

— songyuanyao
sumber

Itu masih terlalu bertele-tele bagi saya, itu adalah contoh minimal. Anggota array saya memiliki nama aneh yang harus diabaikan oleh pengguna

— user7769147

4

Masih dengan konstruktor, Anda mungkin melakukan sesuatu seperti:

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 dilakukan terutama untuk menghindari membuat konstruktor pseudo copy B(B&).

Anda akan memerlukan tag pribadi ekstra untuk mendukung B<std::index_sequence<0, 1>, 42>;-)

— Jarod42
sumber

Mengapa Anda perlu ((void)Is, T())...? Bagaimana jika Anda hanya menghilangkannya? Bukankah elemen yang tersisa diinisialisasi nilai dengan T()secara default?

— Evg

1

@ Evg: Memang, disederhanakan. Takut hanya default menginisialisasi elemen yang tersisa, bukan nilai menginisialisasi mereka ...

— Jarod42

2

Saya telah menemukan solusi lain yang (saya tidak tahu caranya) bekerja dengan sempurna dan menyelesaikan masalah yang kami diskusikan di bawah jawaban 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
{
    // ...
};

— pengguna7769147
sumber

Solusi menarik. Tetapi sekarang kita harus menggunakan this->dataatau using B_data::data;mengakses datadi dalam B.

— Evg