Объясните, пожалуйста, почему тут не работает SFINAE в случае инстанцирования

Question

pro.cxx

d7d1cd

Объясните, пожалуйста, почему тут не работает SFINAE в случае инстанцирования

Type типом, отличным от int?

#c++ #embedded #programming #russian

0

04.11.2023

21 ответов

38 просмотров

d7d1cd Автор вопроса

Sergey Anisimov
Если просто, то потому, что ошибка следует из инст...

То есть, так как в момент инстанцирования конструктора компилятор уже знает значение value (а не выводит его в этот момент), то он пытается взять type из enable_if, а его там нет?

0

04.11.2023

Sergey Anisimov

d7d1cd
То есть, так как в момент инстанцирования конструк...

Да. ::type он всегда пытается взять, но если бы попытка происходила в процессе разрешения перегрузки - ошибка была бы мягкая (SFINAE).

0

04.11.2023

d7d1cd Автор вопроса

Sergey Anisimov
Да. ::type он всегда пытается взять, но если бы по...

А такое поведение только в SFINAE или в случае использования концепта было бы то же самое?

0

04.11.2023

Sergey Anisimov

d7d1cd
А такое поведение только в SFINAE или в случае исп...

Только для SFINAE.

0

04.11.2023

d7d1cd Автор вопроса

Sergey Anisimov
Только для SFINAE.

Надо срочно мигрировать на С++20...

0

04.11.2023

Семён

d7d1cd
То есть, так как в момент инстанцирования конструк...

у вас в настройках 20 стандарт. тут проще использовать concept. Если нужно через sfinae, то (кажется) можно так (согласно cppreference): https://godbolt.org/z/afxzTnWcE

0

04.11.2023

d7d1cd Автор вопроса

Семён
у вас в настройках 20 стандарт. тут проще использо...

Я пытаюсь проект перетащить на С++20. Сейчас он на С++17, код компилируется. Но включаю С++20 и он начинает падать на конструкции, приведенной в примере. Я не понимаю, почему на 17 он компилит, а то же самое на 20 нет. В примере на обоих стандартах не компилит...

0

04.11.2023

Andrey Electron

d7d1cd
Я пытаюсь проект перетащить на С++20. Сейчас он на...

А что компилятор об ошибках вообще ни каких не сообщает ?

0

04.11.2023

Семён

d7d1cd
Я пытаюсь проект перетащить на С++20. Сейчас он на...

а какие опции компиляции?

0

04.11.2023

d7d1cd Автор вопроса

Andrey Electron
А что компилятор об ошибках вообще ни каких не соо...

error: no type named ‘type’ in ‘struct std::enable_if<false, void>’

0

04.11.2023

Семён

Семён
а какие опции компиляции?

ок, отбой, тут не в опциях дело

0

04.11.2023

Семён

d7d1cd
error: no type named ‘type’ in ‘struct std::enable...

А вреальном примере перегрузка конструктора с вариадиком тоже присутствует?

0

04.11.2023

d7d1cd Автор вопроса

Семён
А вреальном примере перегрузка конструктора с вари...

Там происходит создание объекта. В его конструктор передается 3 параметра. Сам тип имеет 2 конструктора. Первый принимает один параметр и имеет SFINAE, показанное в примере. Второй конструктор принимает 2 параметра + пачку параметров. Эксперимент показал, что там, где С++20 дает ошибку компиляции, С++17 инстанцирует второй конструктор.

0

04.11.2023

Семён

d7d1cd
Там происходит создание объекта. В его конструктор...

так сложнаа) если вы переезжаете на с++20, определитесь с поведением просто используйте requires (ну я бы так сделал, если это продуктовый код, а не академический интерес).

0

04.11.2023

d7d1cd Автор вопроса

Семён
так сложнаа) если вы переезжаете на с++20, определ...

Это продуктовый код

0

04.11.2023

Alexander Karaev

d7d1cd
Я пытаюсь проект перетащить на С++20. Сейчас он на...

А компилятор меняется при этом? Или в рамках одной версии компилятора?

0

04.11.2023

d7d1cd Автор вопроса

Alexander Karaev
А компилятор меняется при этом? Или в рамках одной...

с++17 из devtoolset-7, c++20 из devtoolset-11. Оба gcc

0

04.11.2023

Alexander Karaev

d7d1cd
с++17 из devtoolset-7, c++20 из devtoolset-11. Оба...

Так ты попробуй для начала обновить компилятор, оставив с++17, а уже после переключать сам стандарт

0

04.11.2023

d7d1cd Автор вопроса

Alexander Karaev
Так ты попробуй для начала обновить компилятор, ос...

Хм... Сейчас попробую

0

04.11.2023

d7d1cd Автор вопроса

Alexander Karaev
Так ты попробуй для начала обновить компилятор, ос...

Да, Вы правы. Я поменял компилятор оставив с++17 и получил ту же самую ошибку.

0

04.11.2023

Sergey Anisimov · Accepted Answer

Если просто, то потому, что ошибка следует из инстацирования шаблона класса, а не конструктора. Добавьте в глобальную область явное инстанцирование (template struct Type<bool>;, например) и этого уже хватит, чтобы получить диагностику. SFINAE работает, когда ошибка вытекает из инстанцирования шаблона функции-кандидата.

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

Объясните, пожалуйста, почему тут не работает SFINAE в случае инстанцирования

21 ответов

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