Implementation details of the folly invocation traits.

Types

Name

Description

conv_r_

Tests return‐type convertibility, specialized on whether the target is void.

invoke_result

Holds the result type of invoking F with A..., or is empty if ill‐formed.

ok_one_

Quoted metafunction enforcing that a type is complete, cv‐void, or unbounded‐array.

traits

Invocation traits for a callable type F.

traits_member_ptr

Invocation traits for a pointer‐to‐member P, via std::mem_fn.

Type Aliases

Name

Description

invoke_result_t

The result type of invoking F with A....

is_nothrow

Bool constant that is true when invoking P with A... is noexcept.

ok_

Yields T when every A... is complete, cv‐void, or unbounded‐array.

Variables

Name

Description

conv_r_v_

True if FR converts to R, honoring the noexcept requirement NX.

is_invocable_r_v

True if invoking F with A... yields a result convertible to R.

is_invocable_r_v

Specialization testing return‐type convertibility when the invocation is well‐formed.

is_invocable_v

True if F is invocable with A....

is_invocable_v

Specialization yielding true when the invocation is well‐formed.

is_nothrow_invocable_r_v

True if a nothrow invocation of F yields a result convertible to R.

is_nothrow_invocable_r_v

Specialization testing nothrow invocation and return convertibility when well‐formed.

is_nothrow_invocable_v

True if F is nothrow‐invocable with A....

is_nothrow_invocable_v

Specialization yielding the nothrow result when the invocation is well‐formed.

Created with MrDocs