Как определить концепцию C ++ для описания шаблона функции члена ⇐ C++

[Anonymous]

Например: определите концепцию C ++ со следующим ограничением: тип должен иметь шаблон функции, называемый F, который получает целочисленное значение в качестве параметра.struct A
{
template
void f();
};
< /code>
При определении соответствующей концепции я могу написать: < /p>
template
concept HasValidF = requires(T t) {
t.f(0);
};
< /code>
Но этот не может охватывать все остальные интегральные типы. Модификация может быть < /p>
template
concept HasValidF = requires(T t) {
t.f(0);
t.f(0);
t.f(0);
...
};
< /code>
Но приведенная выше реализация не идеальна. Есть ли в любом случае, чтобы избежать такого перечисления? Спасибо!


Подробнее здесь: https://stackoverflow.com/questions/796 ... n-template