A type C meets the ProBasicConvention requirements if the following expressions are well-formed and have the specified semantics.
| Expressions | Semantics |
|---|---|
C::is_direct |
A core constant expression of type bool, specifying whether the convention applies to a pointer type itself (true), or the element type of a pointer type (false). |
typename C::dispatch_type |
A trivial type that defines how the calls are forwarded to the concrete types. |
typename C::overload_types |
A tuple-like type of one or more distinct types Os. Each type O in Os shall meet the ProOverload requirements. |