AB
Никто не запрещает попытаться инстанцировать скажем std::copy с интами вместо итераторов
Size: a a a
2021 February 16
D
d7d1cd
Блин... Надо пример. Попробую сейчас накидать, потом покажу, а вы подскажите, где надо вставить статик ассерт.
int foo(const string& str) { ... }
template <typename F, typename... Args>
decltype(auto) call_fn(F f, Args... args) {
return std::invoke(f, args...);
}
call_fn(&foo, 4);
AB
d7d1cd
Я еще не писал код с шаблонами с переменным числом аргументов. Не понимаю как могут быть неверные аргументы, если метод шаблонный, он по определению должен уметь принимать аргументы любых типов...
Концепты призваны решить проблему видимой всеядности шаблонов
d
Написал пример, но он не компилируется. Подскажите, где ошибка.
https://godbolt.org/z/K73TvY
https://godbolt.org/z/K73TvY
SH
d7d1cd
Написал пример, но он не компилируется. Подскажите, где ошибка.
https://godbolt.org/z/K73TvY
https://godbolt.org/z/K73TvY
Тебе же пишет ошибку
SH
Parameter pack is not expanded
SH
d7d1cd
Написал пример, но он не компилируется. Подскажите, где ошибка.
https://godbolt.org/z/K73TvY
https://godbolt.org/z/K73TvY
callback(args...)
d
Parameter pack is not expanded
Дак да, вижу. Но не понимаю как исправить.
d
callback(args...)
Не помогает.
АВ
&& убери
SH
d7d1cd
Не помогает.
А теперь какая ошибка
d
&& убери
Спасибо. Не соображу что означает && в этом контексте
d
А теперь какая ошибка
Подсказка выше помогла https://t.me/supapro/834365
SH
d7d1cd
Спасибо. Не соображу что означает && в этом контексте
Forwarding reference
SH
Попробуй ещё не убирать &&, а написать
callback(std::forward<Args>(args)...);
callback(std::forward<Args>(args)...);
d
Forwarding reference
Сложна... ))
АВ
Если через
std::forward<Args>(args)... - то и в Foo аргументы должны &&АВ
но зачем для простых типов
d
Forwarding reference
Можете показать во что инстанциируется это:
template <class Ret, class... Args>
Ret Method(Ret (*callback)(Args...), Args&&... args);
В таком коде:int foo(int, char);
Method(foo, 1, '2');АВ
так не сработает же