Я забыл написать на прошлой неделе, что всё-таки успел подать заявку на C++Russia этого года с увлекательным докладом о семантических процессах, уже третьим в серии. На этот раз будем говорить про вывод типов (в сочетании с перегрузкой).

В связи с этим могу предложить аудитории небольшую проблемку. Да я знаю что не пятница, но в пятницу я буду в самолёте в Йошкар-Олу, где я буду в субботу читать лекцию по современным методам рекламации памяти в iSpring.

Так что давайте скажем, что среда это маленькая пятница.

template <auto f = []{}> 
struct S {}; 
S x, y;

static_assert(std::is_same_v<decltype(x), decltype(y)>);

https://godbolt.org/z/qEehP4aMv

Clang отказывается компилировать declaration.
GCC компилирует, но проваливает static_assert.

На чьей вы стороне?

UPD: ожидаются ссылки на стандарт.

#questions