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

Если есть template <typename Functor> Foo( Functor && f) { static_assert(is_convertible_v<decltype(f),

function<int(int)>)
....
}

насколько вероятно что в компайл тайм f эвалуируется?

22 ответов

5 просмотров

в function<int(int)?

если Foo не constexpr то даже пытаться не будет хД

Pepe 🐸- Автор вопроса
Sergey Sobolev
в function<int(int)?

статик ассерт здесь чтобы Foo принимала только определенные сигнатуры

В данном коде - никогда

Pepe 🐸- Автор вопроса
Kelbon
если Foo не constexpr то даже пытаться не будет хД

у меня почему то 14й стандарт но без констэкспр в студии

Pepe 🐸
у меня почему то 14й стандарт но без констэкспр в ...

не уверен но на 14 стандарте наверное нельзя в constexpr ничего сложнее return a?b:c

Pepe 🐸- Автор вопроса
Pepe 🐸
а чем enable_if лучше?

ну если у тебя функция принимает всего один тип функций int int, то смысла в шаблоне вообще мало, а enable if чтобы можно было сделатьперегрузку

Pepe 🐸- Автор вопроса
Kelbon
ну если у тебя функция принимает всего один тип фу...

я хотел вообще изначально просто с function сделать, но потом захотел чтобы функтор передавался в компайл тайме как-то

Pepe 🐸
а чем enable_if лучше?

Если потом этот Foo пытаться проверять "можно ли в него такую штуку передать", то он enable_if/requires увидит и скажет "нельзя", а вот static_assert внутри не увидит

Artöm Bakri Al-Sarmini
Концепты лучше, enable_if нет

в 99% случаев такие ассерты бесполезны т.к. если их не поставить выпадет ошибка компиляции просто другая(и скорее всего даже понятная)

Kelbon
в 99% случаев такие ассерты бесполезны т.к. если и...

По static_assert failed можно грепать, его условие хорошо видно. enable_if выдает кучу срани вида no member type in blah или no viable overload

Artöm Bakri Al-Sarmini
По static_assert failed можно грепать, его условие...

тем не менее через static assert не сделаешь перегрузки

Artöm Bakri Al-Sarmini
По static_assert failed можно грепать, его условие...

для enable_if впилили костыли по моему в компиляторы, и там сообщение +- нормальное

Artöm Bakri Al-Sarmini
По static_assert failed можно грепать, его условие...

согласен, но с enable_if анализатор ide сразу видит проблему и подчеркивает, что такой перегрузки не нашел. А с static_assert такая функция найдется всегда

Denis P
для enable_if впилили костыли по моему в компилято...

Там все еще список кандидатов вываливается

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

Обсуждают сегодня

Anyone here suffers from unexplained aural migraines, who would be up for talking for a bit? Doesn't *have* to be aural, but I am not asking about headaches, I mean actual mi...
Martin Rys
55
подскажите пожалуйста, как мне освободить результат записанный в переменную result? в чем проблема подскажите если МОЖЕТЕ?
Михаил Helper
28
Слушайте, ещё такая интересная задачка. Сделан аудит действий пользователей через триггеры в базе, соответственно каждый пользователь имеет свой логин и пароль в базе. Это пре...
Сергей Бычков
12
есть тут кто-то , кто только начал изучать си? если проходите курс на степике или как-то сами изучаете, пишите, может, скооперируемся?..
Eule
25
вопрос по москвину - не понимаю вот такого вопроса похоже Сколько разных всегда завершающихся функций с типом a -> a -> b -> a -> a можно реализовать? Две функции одинаково...
Fedor
11
Скажите, тут нет проблемы? IMyInterface1 = interface function GetInterface2: IInterface2; ... function TMyInterface.GetInterface2: IInterface2; begin Result := TI...
Ruslan aka DUDE
18
Утра доброго. Просветите пожалуйста. Хочу сделать rest сервер на делфи. Посмотрел 3 фреймворка: dmvc, Mars, mormot. Ни в одном из них не упоминается ассинхронная обработка вхо...
Сергей Бычков
10
Как попросить stack install делать executable без .exe на винде?
Danila Danko
9
я не магистр хаскеля, но разве не может лейзи тип конвертнуться в не-лейзи запросив вычисление содержимого прям при инициализации?
deadgnom32 λ madao
100
возможно для форматирования TimeStampZ нужен другой механизм, не?
Роман Лях (rgreat)
13
Карта сайта