Подскажите, это баг в gcc или я что-то неправильно понимаю? https://godbolt.org/z/85rrcW Куда

Question

Подскажите, это баг в gcc или я что-то неправильно понимаю? https://godbolt.org/z/85rrcW Куда

смотреть: с некоторой строчки в сообщении об ошибке сигнатура F теряет параметры. Да, сам концепт реализован некорректно и должен проверять, что результат вызова функции вернет тип T, но суть в этом:
In substitution of 'template<class T, class F, int m, int n> requires Filler<F, T, int, int> void fill(T (&)[m][n], F&&) [with T = int; F = int (*)(int, int); int m = 2; int n = 10]
// ^ есть int (*)(int, int)
required for the satisfaction of 'Filler<F, T, int, int>' [with F = int (*)(); T = int]
// ^ уже только int (*)()

#c++ #embedded #programming #russian

0

19.01.2021