Телеграмм чат группы supapro страница 33621

20:31пожаловаться #1

Это вся разница?

20:31пожаловаться #2

Второй будет noexcept, если инициализация всех членов класса noexcept

20:31пожаловаться #3

Это вся разница?

> как минимум

20:31пожаловаться #4

Я могу тогда написать Ctor() noexcept {}

20:32пожаловаться #5

Я могу тогда написать Ctor() noexcept {}

А можешь писать = default, и никогда не забудешь этого

20:32пожаловаться #6

Danya

> как минимум

А как максимум? :)

20:32пожаловаться #7

Мне интересно, в чём ещё отличия есть.

20:33пожаловаться #8

А как максимум? :)

по идее первый тип не агрегат

20:33пожаловаться #9

и не уверен что он trivially_constructible

20:33пожаловаться #10

Я могу тогда написать Ctor() noexcept {}

К тому же скорее всего это всегда нетривиальный конструктор, а default может быть тривиальным, если все члены тривиальные

20:33пожаловаться #11

Всегда пиши = default

20:33пожаловаться #12

Егор

по идее первый тип не агрегат

Это как понимать?

20:34пожаловаться #13

Compiler Explorer - C++ (x86-64 gcc 10.2)

Это как понимать?

Вот так https://godbolt.org/z/MvGcv1

godbolt.org

struct Default {

};
struct NonDefault {
NonDefault() {

}
};
int main()
{
static_assert(std::is_aggregate_v<NonDefault>);
static_assert(std::is_aggregate_v<Default>);
}

20:35пожаловаться #14

https://docs.microsoft.com/ru-ru/cpp/c-language/initializing-aggregate-types?view=vs-2019

Это как понимать?

Docs

Инициализация агрегатных типов

20:35пожаловаться #15

некоторые места могут сломаться или оптимизации пропасть из-за конструктора №1

20:36пожаловаться #16

magic_get не сработает например

20:36пожаловаться #17

horse horssyyy in supapro.cxx

Я где-то читал что писать конструктор нало только если он делает что-то большее чем просто инициализация переменных

20:38пожаловаться #18

horse horssyyy in supapro.cxx

В остальном компилятор имеет больше шансов что-то оптимизировать

20:38пожаловаться #19

Compiler Explorer - C++ (x86-64 gcc 10.2)

Егор

Вот так https://godbolt.org/z/MvGcv1

godbolt.org

struct Default {

};
struct NonDefault {
NonDefault() {

}
};
int main()
{
static_assert(std::is_aggregate_v<NonDefault>);
static_assert(std::is_aggregate_v<Default>);
}

Короче, я не могу написать
Class x { 1,2,3 };