Date: Sat, 20 Jun 2026 08:33:59 +0200
Ville mentioned a way to pass a concept as a (template) parameter.
You can also pass the reflected std::meta::info of a concept as a function parameter:
template <class T>
concept Integral = std::integral<T>;
consteval bool satisfies(std::meta::info concept_r, std::meta::info type_r)
{
std::meta::info result_r = std::meta::substitute(concept_r, { type_r });
return std::meta::extract<bool>(result_r);
}
// usage:
satisfies(^^Integral, ^^int)
What would you want to do with a concept as an entity or inside the function?
-----Ursprüngliche Nachricht-----
Von:amngis_21d38 via Std-Proposals <std-proposals_at_[hidden]>
Gesendet:Sa 20.06.2026 01:26
Betreff:[std-proposals] Entity concept
An:std-proposals <std-proposals_at_[hidden]>;
CC:amngis_21d38 <amngis_21d38_at_[hidden]>;
Why don't C++ designers turn concepts into entities, design a function to convert a concept into a class or make aconstexpr function capable of having a concept parameter?
--
Std-Proposals mailing list
Std-Proposals_at_[hidden]
https://lists.isocpp.org/mailman/listinfo.cgi/std-proposals
Received on 2026-06-20 06:37:42
