ПК
Так и без него можно зафейлить сборку
Size: a a a
2020 August 29
ᅠ
Потому что decltype вычисляет тип
это да. суть-то в том, что если валидно - тип есть, если нет - типа нет. то есть мы уходим глубже - вопрос в валидности кода assert_copyable
D
Тогда не понятно в чем прикол с consteval
Прикол именно в consteval
С constexpr по идее всё ок
С constexpr по идее всё ок
ᅠ
Прикол именно в consteval
С constexpr по идее всё ок
С constexpr по идее всё ок
нет. call to deleted ctor
ПК
Прикол именно в consteval
С constexpr по идее всё ок
С constexpr по идее всё ок
Почему ок?
ᅠ
хотя проверял как раз таки на 17-х, с constexpr
ПК
это да. суть-то в том, что если валидно - тип есть, если нет - типа нет. то есть мы уходим глубже - вопрос в валидности кода assert_copyable
Тип всегда есть - void
ᅠ
Тип всегда есть - void
sfinae
D
По стандарту в decltype должен быть full expression
consteval full expression всегда в компайл-тайме и поэтому он должен его полностью проверить
А с constexpr не так
consteval full expression всегда в компайл-тайме и поэтому он должен его полностью проверить
А с constexpr не так
ᅠ
enable_if
ПК
Набор слов пока
ПК
По стандарту в decltype должен быть full expression
consteval full expression всегда в компайл-тайме и поэтому он должен его полностью проверить
А с constexpr не так
consteval full expression всегда в компайл-тайме и поэтому он должен его полностью проверить
А с constexpr не так
Ясно значит я был прав наоборот)
D
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95593#c2
Вот релевантная бага в gcc
Вот релевантная бага в gcc
D
Я не очень понял прикола, если честно
ᅠ
Набор слов пока
тип может быть какой-либо, либо он может не быть, как enable_if::type при неудавшемся инстанцировании
D
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95593#c2
Вот релевантная бага в gcc
Вот релевантная бага в gcc
(узнаю новое о С++, читая багрепорты в компилятор)
ПК
тип может быть какой-либо, либо он может не быть, как enable_if::type при неудавшемся инстанцировании
В данном случае тип всегда void
D
тип может быть какой-либо, либо он может не быть, как enable_if::type при неудавшемся инстанцировании
Это никак не связано с кейсом выше
ᅠ
В данном случае тип всегда void
я может не понял вопроса или сути, но здесь корневая проблема в вызове явно отсутствующего конструктора
D
В
enable_if нет ::type при false, потому что он не объявлен