Есть пример кода. По нему есть два вопроса: 1. Почему компилятор

Question

Есть пример кода. По нему есть два вопроса: 1. Почему компилятор

ругается на метод foo? Ведь этот метод нигде не вызывается и, в моем понимании, компилятор не должен был пытаться его инстанцировать.

2. Возможен ли такой случай, что вычисление value будет отложено до инстанцирования foo?

#c++ #embedded #programming #russian

0

06.11.2023

16 ответов

17 просмотров

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

Alexander Karaev
Компилятор ругается на отсутствие std::is_same_v, ...

Мой косяк. поправил пример

0

6 месяцев назад

Alexander Karaev

После инстанцирования Type<char> std::enable_if_t<value> перестаёт быть dependent кодом, а потом и инстанцируется сразу. Воркэраунд: template <bool Value = value, typename = std::enable_if_t<Value>> void foo() { .. }

0

6 месяцев назад

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

Alexander Karaev
После инстанцирования Type<char> std::enable_if_t<...

А в этом примере почему работает? Ведь так же после инстанцирования value и, соответственно, Value, сразу известно... Аааа! До момента вызова foo компилятор не знает Value. Ведь это значение известно только в момент инстанцирования foo! Так?

0

6 месяцев назад

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

А что по поводу второго вопроса?

0

6 месяцев назад

Alexander Karaev

d7d1cd
А что по поводу второго вопроса?

Я его не понимаю. value будет вычислено сразу при инстанцировании класса, т.к. оно не dependent.

0

6 месяцев назад

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