Телеграмм чат группы fludpac страница 17112

Я имею в виду, что без SFINAE никак если использовать typename для хранения функции

15:41пожаловаться #1

Потому что забыв что там принимает шаблонная функция

15:42пожаловаться #2

можно передать что угодно

15:42пожаловаться #3

Там в любом случае нужны проверки

15:42пожаловаться #4

статик асерт

15:42пожаловаться #5

Отсюда и SFINAE

15:42пожаловаться #6

или контракт

15:42пожаловаться #7

сфинае ненужон

15:42пожаловаться #8

Андрей

или контракт

Контракты не поддерживает clang мой

15:42пожаловаться #9

сатик асерта хватает

15:42пожаловаться #10

Так, а как проверить что переданная функция - это лямбда?

15:43пожаловаться #11

в static_assert

15:43пожаловаться #12

https://en.cppreference.com/w/cpp/types/is_invocable

15:43пожаловаться #13

https://en.cppreference.com/w/cpp/types/is_invocable

Андрей

Щас посмотрю

15:44пожаловаться #14

Что можно сделать

Alexander Zaitsev in cxx.Дискуссионная

15:44пожаловаться #15

Roy Mustang

Так, а как проверить что переданная функция - это лямбда?

https://github.com/schaumb/is_lambda-cpp-type-trait/blob/master/is_lambda.hpp

GitHub

schaumb/is_lambda-cpp-type-trait

This repo use compiler specific infos for is_lambda type trait. Depends on https://github.com/Neargye/nameof another header only lib - schaumb/is_lambda-cpp-type-trait

Alexander Zaitsev in cxx.Дискуссионная

15:44пожаловаться #16

Андрей

https://en.cppreference.com/w/cpp/types/is_invocable

это не то

15:44пожаловаться #17

Alexander Zaitsev

это не то

Не, это то

Alexander Zaitsev in cxx.Дискуссионная

15:45пожаловаться #18

нет

15:45пожаловаться #19

Я как то видел уже такую реализацию в EnTT