Showing content from https://timsong-cpp.github.io/cppwp/n4659/meta.rel below:
23 General utilities library [utilities]
Template Condition Comments template <class T, class U>
struct is_same; T and U name the same type with the same cv-qualifications template <class Base, class Derived>
struct is_base_of; Base is a base class of Derived (Clause [class.derived]) without regard to cv-qualifiers or Base and Derived are not unions and name the same class type without regard to cv-qualifiers If Base and Derived are non-union class types and are not possibly cv-qualified versions of the same type, Derived shall be a complete type. [ Note: Base classes that are private, protected, or ambiguous are, nonetheless, base classes. — end note ] template <class From, class To>
struct is_convertible; see below From and To shall be complete types, arrays of unknown bound, or cv void types. template <class Fn, class... ArgTypes>
struct is_invocable; The expression INVOKE(declval<Fn>(), declval<ArgTypes>()...) is well formed when treated as an unevaluated operand Fn and all types in the parameter pack ArgTypes shall be complete types, cv void, or arrays of unknown bound. template <class R, class Fn, class... ArgTypes>
struct is_invocable_r; The expression INVOKE<R>(declval<Fn>(), declval<ArgTypes>()...) is well formed when treated as an unevaluated operand Fn, R, and all types in the parameter pack ArgTypes shall be complete types, cv void, or arrays of unknown bound. template <class Fn, class... ArgTypes>
struct is_nothrow_invocable; is_invocable_v<
Fn, ArgTypes...> is true and the expression INVOKE(declval<Fn>(), declval<ArgTypes>()...) is known not to throw any exceptions Fn and all types in the parameter pack ArgTypes shall be complete types, cv void, or arrays of unknown bound. template <class R, class Fn, class... ArgTypes>
struct is_nothrow_invocable_r; is_invocable_r_v<
R, Fn, ArgTypes...> is true and the expression INVOKE<R>(declval<Fn>(), declval<ArgTypes>()...) is known not to throw any exceptions Fn, R, and all types in the parameter pack ArgTypes shall be complete types, cv void, or arrays of unknown bound.
RetroSearch is an open source project built by @garambo
| Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4