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

Size: a a a

supapro.cxx

3829 membersпожаловаться на группу

2021 July 15

Sergey Skvortsov in supapro.cxx

Вон как в примере на cppreference у is_aggregate

источник

01:47пожаловаться #1

Roy Mustang in supapro.cxx

Да все я уже разобрался

источник

01:52пожаловаться #2

Roy Mustang in supapro.cxx

noexcept(noexcept(std::is_aggregate_v<T> ? value_type{std::forward<Args>(args)...} : value_type(std::forward<Args>(args)...)));

Это бред кажется )

Roy Mustang in supapro.cxx

Кажется или ты уверен ?

источник

01:57пожаловаться #5

Danya in supapro.cxx

Ну если у тебя можно будет инициализировать и так, и так тип
И при этом через {} будет не noexcept, а через () — noexcept, то все выражение будет не noexcept

источник

01:58пожаловаться #6

Sergey Skvortsov in supapro.cxx

Не угадал

источник

01:59пожаловаться #7

Sergey Skvortsov in supapro.cxx

https://godbolt.org/z/58vW5hr67

godbolt.org

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

template <typename T, typename ...Args>
constexpr bool is_noexcept_constructible_v = noexcept(std::is_aggregate_v<T> ? T{std::declval<Args>()...} : T(std::declval<Args>()...));

struct Foo {
int a;
int b;
};

static_assert(is_noexcept_constructible_v<Foo, int, int>);