Как применить концепцию к функции-члену концепции, а затем использовать ее? ⇐ C++

[Anonymous]

Последующий вопрос к этому вопросу, где использование одного аргумента не было решено.
Предположим следующую концепцию C++:

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

template 
concept has_set = requires(T t, std::string s) {
{ t.set(s) } -> std::same_as; };
};

Я не могу использовать концепцию для параметра s, например

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

template 
concept has_set = requires(T t, std::convertible_to s) {
{ t.set(s) } -> std::same_as; };
};

не удастся скомпилировать. Есть ли какой-нибудь обходной путь или трюк, который можно применить здесь, чтобы позволить скомпилировать следующий дополнительный код?

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

std::string use(has_set auto & f) { /* ... use f.set(...) ... */ }

Обратите внимание, что часть решения уже приведена в https://stackoverflow.com/a/79130496/1528210


Подробнее здесь: https://stackoverflow.com/questions/791 ... hen-use-it