Порядок передачи параметров в шаблоны в концепциях ⇐ C++

[Anonymous]

Использование следующего кода < /p>

Код: Выделить всё

template 
concept SomeConcept = requires(T t) {
{ t++ } -> std::convertible_to;
};

Концепция someconcept гарантирует, что тип t перегружено оператор ++ (int) , а тип результата конвертируется в t . И std :: convertible_to принимает 2 параметра Первый - от , а второе - .
Итак, мой вопрос: какой параметр получает результат выражения и почему? и по этому ответу, почему t передается как другой параметр, а не наоборот?>

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