Toplu başlatma için boş temel sınıfı gizle

9

Aşağıdaki kodu göz önünde bulundurun:

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} }; Bu şekilde başlatmak gerekir: Temel sınıf için gereksiz boş {} önlemek istiyorum. Burada Jarod42 tarafından önerilen bir çözüm var , ancak öğeler varsayılan başlatma ile çalışmıyor: B<int, 3> b = {1, 2, 3};gayet iyi ama B<int, 3> b = {1};değil: b.data[1]ve b.data[2]varsayılan olarak 0 olarak başlatılmıyor ve bir derleyici hatası oluşuyor. Temel sınıfı inşaattan "gizlemek" için herhangi bir yol var mı (ya da c ++ 20 ile olacak)?

— user7769147
kaynak

2

Neden bir kurucu eklemeyesiniz template<class... Ts> B(Ts... args) : data{args...} {}?

— Evg

Neden bir yorum? Görünüşe göre lol gibi görünüyor

— user7769147

Bu o kadar bariz bir çözüm ki, kullanmamanız için bir nedeniniz olduğunu düşündüm. :)

— Evg

XD çok kolaydı. Eğer cevap olarak

— yazarsan

6

En kolay çözüm varyasyonlu bir kurucu eklemektir:

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

{...}Başlatıcı listesinde daha az öğe sağlarsanız N, dizideki kalan öğeler dataşu şekilde değerle başlatılır T().

— Evg
kaynak

3

Bunun neden toplam başlatmadan farklı olduğunu yeni öğrendim. B<Class, 5> b = {Class()}; ClassÖncelikle inşa edileceğini ve sonra taşınacağını düşünürseniz , toplam başlatma kullanarak Classyerinde oluşturulacaksa, herhangi bir hareket

— yapılmaz

@ user7769147, iyi bir nokta. std::tupleArgümanları alabilir ve nesneleri yerinde oluşturmak için kullanabilirsiniz. Ancak sözdizimi oldukça hantal olacaktır.

— Evg

1

Rastgele bu sorunu çözen bir çözüm buldum, kullanılabilirliğiniz için teşekkür etmek için bunu kabul edilen cevap olarak bırakacağım :).

— user7769147

4

C ++ 20'den beri , toplam başlatmada belirtilen başlatıcıları kullanabilirsiniz .

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
kaynak

Bu benim için hala çok ayrıntılı, minimal bir örnekti. Dizi

— üyem

4

Hala yapıcı ile, şöyle bir şey yapabilirsiniz:

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

gösteri

SFINAE esas olarak sözde kopya oluşturucu oluşturmaktan kaçınmak için yapılır B(B&).

B<std::index_sequence<0, 1>, 42>;-) desteklemek için ekstra özel etikete ihtiyacınız olacak

— Jarod42
kaynak

Neden ihtiyacın var ((void)Is, T())...? Ya sadece atlarsanız? Kalan öğeler T()varsayılan olarak değerle başlatılmaz mı?

— Evg

1

@Evg: Gerçekten de basitleştirilmiş. Kalan öğeleri değer vermek yerine yalnızca varsayılan başlatmaya korktum ...

— Jarod42

2

Evg'in cevabı altında tartıştığımız sorunu mükemmel bir şekilde çalıştıran ve çözdüğümüz başka bir çözüm buldum (nasıl olduğunu bilmiyorum)

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
{
    // ...
};

— user7769147
kaynak

İlginç bir çözüm. Ama şimdi kişi kullanmak this->dataya da içeri using B_data::data;erişmek için . dataB

— Evg