AF
Он не работает в си++
Size: a a a
2021 June 30
AF
И там в структуре в конце должен быть char[] data;
AF
Никак не реализовать, можно руками выкопировать побайтно
K
не помню какой там шаблон у callable, но примерно requires std::Callable<F,int,int,int>
AF
Нет его
AF
Есть invokable
d
Вот! Надо так и сделать!
K
ну или если надо функцию, то вместо declval requires ( "якобы функция, возвращающая функцию возвращающую значение типа F)
F
iput.open(path);Можете напомнить как в параметры передать, что бы цикл закончился когда файл станет пустым
while (path != eof()) {
}
АК
Ну вообще,
requires requires { f(0, 1, 42); }O
Вот только это не работает потому что
f(0, 1, 42) представляет из себя не F<int, int, int>, а F<void*, int, int>, поведение концепта и реального вызывающего кода разойдётсяO
Не спойлери, я к этому вёл...
АК
Без спойлера не дошли бы до самого интересного, я просто ускорил процесс
K
ну тут возникает вопрос, хотел ли тот кто писал эту функцию, чтобы 0 был указателем)
K
мне кажется нет
K
(а если да, то неочень как то)
O
И как проверить тогда то, что мы действительно хотим? Можно заставить компилятор угадывать намерения или, например... а, нет, кажется, других вариантов нет
O
@Kelbon, и, кроме того, взяв вот этот концепт. Он подходит для нашей задачи?
K
поэтому я не предлагаю компилятору бить по рукам программиста, а лишь помогать)
O
Он уже помогает, выдавая замечательные стек-трейсы и не маскируя ошибку в случае, если требования явно определенного концепта и тела функции разошлись