Скрыть пустой базовый класс для агрегатной инициализации

9

Рассмотрим следующий код:

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 здесь , однако, он не работает с элементами по умолчанию инициализации: B<int, 3> b = {1, 2, 3};это хорошо , но B<int, 3> b = {1};это не так : b.data[1]и b.data[2]не дефолт инициализируется в 0, и возникает ошибка компиляции. Есть ли способ (или будет с c ++ 20) «скрыть» базовый класс от конструкции?

user7769147
источник
2
Почему бы не добавить конструктор template<class... Ts> B(Ts... args) : data{args...} {}?
Evg
Почему это комментарий? Кажется, работает, LOL
user7769147
Это настолько очевидное решение, что я подумал, что у вас есть причина не использовать его. :)
Evg
Это было слишком просто xD. Если ты напишешь это как ответ, я приму это
user7769147

Ответы:

6

Самое простое решение - добавить конструктор переменных:

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().

Evg
источник
3
Я только что выяснил, почему это отличается от агрегатной инициализации. Если вы считаете B<Class, 5> b = {Class()}; Class, что сначала Classбудет
создан,
@ user7769147, хорошая мысль. Вы можете взять std::tupleаргументы и использовать их для создания объектов на месте. Но синтаксис будет довольно громоздким.
Evg
1
Я случайно нашел решение, которое решает эту проблему, и я оставлю это как принятый ответ, чтобы поблагодарить вас за вашу доступность :).
user7769147
4

Начиная с C ++ 20 вы можете использовать обозначенные инициализаторы в агрегатной инициализации .

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
источник
Это все еще слишком многословно для меня, это был минимальный пример. У моего члена массива есть странное имя, которое должен игнорировать пользователь
user7769147
4

Еще с конструктором, вы можете сделать что-то вроде:

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

демонстрация

SFINAE делается главным образом, чтобы избежать создания псевдокопировального конструктора. B(B&) .

Вам понадобится дополнительный приватный тег для поддержки B<std::index_sequence<0, 1>, 42>;-)

Jarod42
источник
Зачем вам нужен ((void)Is, T())...? Что если вы просто пропустите это? Не будут ли остальные элементы инициализированы T()по умолчанию?
Evg
1
@Evg: Действительно, упрощенно.
Боялся
2

Я нашел другое решение, которое (я не знаю, как) прекрасно работает и решает проблему, которую мы обсуждали под ответом 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
{
    // ...
};
user7769147
источник
Интересное решение. Но теперь нужно использовать this->dataили using B_data::data;получить доступ dataвнутрь B.
Evg