Я кстати раньше так и писал, это булщит

ну правда, спор о том как из массива с 10 элементами сделать 11

согласен, неожиданно, но какой то Intelsense или кто он там умеет подсвечивать ошибки, почему бы ему не сделать это

Перевожу: Kelbon хочет, чтобы requires auto делал функцию sfinae-friendly при подстановке "плохих" аргументов, а не фейлил компиляцию

Ну хватит использовать вижак)

Он переобулся уже

Не, у него две цели - requires auto и "чтобы как в расте"

у меня нет цели чтобы как в расте...

я даже не знаю как там

Как в джаве скорее, с эксепшнами

Там тебе не дадут написать value + value, пока ты не напишешь requires Addable

Очень простая задачка – как должен выглядеть концепт для этой функции?

template<typename F>
auto foo(F f) {
 return f(0, 1, 42);
}

такое не надо, это ограничивает написание кода функции, а я про вызов уже написанной функции шаблонной, чтобы это было удобнее

Рофл

Это написать концепт сложно(ну если пользоваться готовым callable и прочим то легче), но компилятор УЖЕ умеет делать шаблонные подстановки и выдавать ошибки

Что-то типа
struct dummy{
template<typename T>
operator T&&() const;
}

Callable<dummy, dummy, dummy>

Тогда подскажи решение.
У меня АПИ возвращает ошибку вот в такую структуру:
struct Data {
 int bytesProvided;
 int bytesAvailable;
 / * здесь поле char[], но длина будет известна только после вызова АПИ */
};

Перед вызовом АПИ я создаю переменную такого типа, задаю bytesProvided = sizeof(int) * 2; и передаю в АПИ по указателю. Если АПИ завершится успешно, то поле bytesAvailable будет равно 0. Если же будет ошибка, то в этом поле будет число байт, которое АПИ может вернуть как информацию об ошибке. Например, если bytesAvailable = 50, то надо снова вызвать АПИ, передав указатель на такую структуру:
struct Data {
 int bytesProvided;
 int bytesAvailable;
 char data[50];
};

Как вот это грамотно реализовать?

Нет. Я разработчик функции и я хочу дать пользователю гарантию, что в будущем не появятся более строгие требования, чем сейчас. Какие требования есть сейчас?

Хотя не сработает

Это сишный хак