В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

supapro.cxx

2978 membersпожаловаться на группу
2020 August 29

АК

Александр Караев... in supapro.cxx
Да ну, consteval sfinae-friendly по всему телу функции?
источник
00:41пожаловаться#1

ᅠ‌

ᅠ ‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌... in supapro.cxx
Danya
В enable_if нет ::type при false, потому что он не объявлен
да
источник
00:41пожаловаться#2

ПК

Побитый Кирпич... in supapro.cxx
Александр Караев
Да ну, consteval sfinae-friendly по всему телу функции?
А там не факт что сфинае ошибка
источник
00:42пожаловаться#3

ПК

Побитый Кирпич... in supapro.cxx
Может там аборт компиляции
источник
00:42пожаловаться#4

ᅠ‌

ᅠ ‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌... in supapro.cxx
Побитый Кирпич
А там не факт что сфинае ошибка
похоже, я в заблуждение ввел и там точно не она
источник
00:42пожаловаться#5

D

Danya in supapro.cxx
А я кажется понял и это всё было баловство
До этого пропозала для consteval функций требовалось вычисление в unevaluted context (коим и является аргумент decltype), но теперь видимо нет
http://open-std.org/JTC1/SC22/WG21/docs/papers/2020/p1937r2.html
источник
00:46пожаловаться#6

D

Danya in supapro.cxx
Danya
Должно ли компилироваться?
Анонимный опрос
40%
Да
35%
Нет
25%
UB
Проголосовало: 20
Правильный ответ: да
источник
01:01пожаловаться#7

ᅠ‌

ᅠ ‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌... in supapro.cxx
Danya
Правильный ответ: да
а что с deleted ctor? или к 20-му стандарту поменялись правила?
источник
01:12пожаловаться#8

D

Danya in supapro.cxx
ᅠ ‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‎
а что с deleted ctor? или к 20-му стандарту поменялись правила?
Ничего с ним
Выражение внутри decltype не выполняется => функция не инстанциируется => никакой проблемы с deleted ctor нет
источник
01:13пожаловаться#9

ᅠ‌

ᅠ ‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌... in supapro.cxx
тьфу, опять не в ту сторону смотрю
источник
01:14пожаловаться#10

ᅠ‌

ᅠ ‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌... in supapro.cxx
тогда и без consteval проверяется
источник
01:16пожаловаться#11

D

Danya in supapro.cxx
ᅠ ‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‎
тогда и без consteval проверяется
В смысле?
источник
01:18пожаловаться#12

ᅠ‌

ᅠ ‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌... in supapro.cxx
в смысле на 17-м стандарте с пресловутым constexpr тот же результат можно получить
источник
01:19пожаловаться#13

D

Danya in supapro.cxx
Danya
А я кажется понял и это всё было баловство
До этого пропозала для consteval функций требовалось вычисление в unevaluted context (коим и является аргумент decltype), но теперь видимо нет
http://open-std.org/JTC1/SC22/WG21/docs/papers/2020/p1937r2.html
Опять же
До этого пропозала с constexpr компилировалось, с consteval — нет
После него поведение одинаковое — как с constexpr
источник
01:19пожаловаться#14

D

Danya in supapro.cxx
У меня был немного устаревший квиз))
источник
01:20пожаловаться#15

ᅠ‌

ᅠ ‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌... in supapro.cxx
у шланга все ок https://godbolt.org/z/EesaM7
godbolt.org
Compiler Explorer - C++ (x86-64 clang 10.0.1)
struct N {
 constexpr N() {}
 N(N const&) = delete;
};

#define USE_CONSTEVAL 1

template <typename T>
#if USE_CONSTEVAL
consteval
#else
constexpr
#endif
void check(const T & v) noexcept { T v2 = v; }

using c = decltype(check(std::declval<N>()));
static_assert (std::is_same_v<void, c>);

int main() {
   return 0;
}
источник
01:24пожаловаться#16

ᅠ‌

ᅠ ‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌... in supapro.cxx
GCC и правда валится на conteval
источник
01:24пожаловаться#17

ᅠ‌

ᅠ ‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌... in supapro.cxx
а. так и с гцц все в порядке
источник
01:26пожаловаться#18

D

Danya in supapro.cxx
ᅠ ‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‎
у шланга все ок https://godbolt.org/z/EesaM7
godbolt.org
Compiler Explorer - C++ (x86-64 clang 10.0.1)
struct N {
 constexpr N() {}
 N(N const&) = delete;
};

#define USE_CONSTEVAL 1

template <typename T>
#if USE_CONSTEVAL
consteval
#else
constexpr
#endif
void check(const T & v) noexcept { T v2 = v; }

using c = decltype(check(std::declval<N>()));
static_assert (std::is_same_v<void, c>);

int main() {
   return 0;
}
Я уже выключил компьютер
В общем правильное поведение — скомпилируется
В кланге в транке не компилировалось
Завтра репортить буду
источник
01:28пожаловаться#19

D

Danya in supapro.cxx
ᅠ ‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‎
у шланга все ок https://godbolt.org/z/EesaM7
godbolt.org
Compiler Explorer - C++ (x86-64 clang 10.0.1)
struct N {
 constexpr N() {}
 N(N const&) = delete;
};

#define USE_CONSTEVAL 1

template <typename T>
#if USE_CONSTEVAL
consteval
#else
constexpr
#endif
void check(const T & v) noexcept { T v2 = v; }

using c = decltype(check(std::declval<N>()));
static_assert (std::is_same_v<void, c>);

int main() {
   return 0;
}
Надо флаг -std=c++20 подать)
источник
01:29пожаловаться#20