Головоломка для ценителей. По мотивам вопроса от одного моего студента.

Question

pro.cxx

Konstantin Vladimirov

Головоломка для ценителей. По мотивам вопроса от одного моего студента.

Кланг компилирует, gcc нет: https://godbolt.org/z/Y17o4oGbr

Кто прав, как обосновать? =)

#c++ #embedded #programming #russian

0

16.04.2021

15 ответов

30 просмотров

Alexander Tulikov

Зачем-то много всего накручено, это то же, что и: template <typename T, typename... Ts> void foo() { } template <typename T> void foo() { } int main() { foo<int>(); } Имхо прав GCC.

0

16.04.2021

Pavel Zhigulin

А там случаем не надо бы this везде добавить?

0

16.04.2021

Konstantin Vladimirov Автор вопроса

Alexander Tulikov
Зачем-то много всего накручено, это то же, что и: ...

Как тут уже догадались, если поставить this (или убрать class) то оба справляются. Неужели оба в этом случае не правы?

0

16.04.2021

Konstantin Vladimirov Автор вопроса

Egor Suvorov
Жусть. Кажется, что прав всё-таки gcc. Сомнительно...

А если убрать struct и убрать decltype, то оба не справляются, этот decltype очень нужен, он SFINAE-case делает =)

0

16.04.2021

Alexander Tulikov

Konstantin Vladimirov
Как тут уже догадались, если поставить this (или у...

Ну тогда понятно, что для пустого параметр пака не сможет вывестись тип шаблона в decltype. Занятный пример. Без класса тогда можно так записать: template <typename T> void foo() { } template <typename T, typename... Ts> auto foo() -> decltype(foo<Ts...>()) { } int main() { foo<int>(); }

0

16.04.2021

🐈

Я не мог не проверить. https://asciinema.org/a/HyhEhtqOPz6FGJeZxwW6lfcXI

0

16.04.2021

Konstantin Vladimirov Автор вопроса

🐈
Я не мог не проверить. https://asciinema.org/a/Hy...

g++ же надо... Ну и потом зачем такие ужасы когда есть годболт?

0

16.04.2021

🐈

Konstantin Vladimirov
g++ же надо... Ну и потом зачем такие ужасы когда ...

Мне gcc в termux не воткнуть. годболт неудобен с телефона

0

16.04.2021

Andrey Davydov

Прав Clang. Пример сводится к https://godbolt.org/z/qxbxvfKEs struct S { template <typename> void /* #1 */ as(); template <typename, typename... Ts> auto /* #2 */ as() -> decltype(as<Ts...>()); }; void test() { S{}.as<short, int, long>(); } который GCC почему-то компилирует, считая после подстановки trailing-return-type #2, что мн-во overloading candidates для as это все ф-и класса, включая саму перегрузку #2. На самом деле мн-во кандидатов должно включать в себя только то что объявлено до #2, т.е только #1 в нашем случае.

0

17.04.2021

Konstantin Vladimirov Автор вопроса

Andrey Davydov
Прав Clang. Пример сводится к https://godbolt.org/...

Очень красивая редукция, мои поздравления )) Действительно, дело в том: 1. Где кончается полное объявление 2. Нужно ли оно для набора в множество кандидатов

0

17.04.2021

Pavel Zhigulin

Andrey Davydov
Прав Clang. Пример сводится к https://godbolt.org/...

Но почему оно не должно включать само себя? Разве рекурсивный вызов самого себя не надо рассматривать?

0

17.04.2021

Pavel Zhigulin

Pavel Zhigulin
Но почему оно не должно включать само себя? Разве ...

Хотя да, как тогда вообще закончить подобную рекурсию, логично

0

17.04.2021

Andrey Davydov

Pavel Zhigulin
Но почему оно не должно включать само себя? Разве ...

Чтобы писать auto f() -> decltype(f()); было неповадно

0

17.04.2021

Pavel Zhigulin

Andrey Davydov
Чтобы писать auto f() -> decltype(f()); было непов...

Но что если у нас f() есть в глобальном пространстве имён?) Соответственно у нас должен инстанцироваться вариант от глобального f() (он ведь валиден?), но вариант с подстановкой себя - ошибка (но SFINAE и поэтому ок).

0

17.04.2021

Egor Suvorov · Accepted Answer

Egor Suvorov

Жусть. Кажется, что прав всё-таки gcc. Сомнительно, что этот decltype на что-то влияет

0

16.04.2021

170 похожих чатов

Головоломка для ценителей. По мотивам вопроса от одного моего студента.

15 ответов

Похожие вопросы