std::predicate(3cxx)
π std::predicate β the manual page, but make it a group chat π
okay so bestie, you opened std::predicate(3cxx) from the libstdc++ fam and honestly? iconic choice. this is the <concepts> girlie that tells you whether some callable is giving "yes/no energy" β a predicate, periodt. π
β¨ NAME β¨
std::predicate β from [concept.predicate], the concept known as concept predicate. that's it, that's the name, we're keeping it cute and literal. π
πΈ SYNOPSIS πΈ
first things first, you gotta bring her in:
#include <concepts>
π¦ Concept definition π¦
here's the whole vibe, verbatim, no cap:
template<typename _Fn, typename... _Args>
concept std::predicate = regular_invocable<_Fn, _Args...>
&& __detail::__boolean_testable<invoke_result_t<_Fn, _Args...>>
so like β _Fn has to be regular_invocable with those _Args..., and the thing it hands back (invoke_result_t<_Fn, _Args...>) has to pass the __detail::__boolean_testable check. both. not one or the other. both. π
π DETAILED DESCRIPTION π
[concept.predicate], concept predicate. literally the whole thing β that's the description, we're not gonna pad it out, she said what she said. β¨
π AUTHOR π
Generated automatically by Doxygen for libstdc++ from the source code. π€π
and that's a wrap on std::predicate(3cxx), bestie β shoutout to libstdc++ for the source, Doxygen for the auto-generation, and you for actually reading a concepts page for fun. slay, go predicate something. π
β¨π¦
π¦ where this page comes from
- ubuntu resolute: libstdc++-12-doc 12.5.0-9ubuntu1
- ubuntu resolute: libstdc++-13-doc 13.4.0-10ubuntu1
- ubuntu resolute: libstdc++-16-doc 16-20260322-1ubuntu1
- ubuntu stonking: libstdc++-12-doc 12.5.0-9ubuntu1
- ubuntu stonking: libstdc++-13-doc 13.5.0-1ubuntu1
- ubuntu stonking: libstdc++-16-doc 16.2.0-3ubuntu1
- π girlified by deepseek-ai/DeepSeek-V4.1-Flash on : a language model's rewrite of the original, under its terms