Implements standard storage semantics for folly::bind. This is used (with some additional constraints & tweaks) by async_closure captures. It can also be used for other single‐use data structurs ‐‐ this makes it easy to simultaneously define the types for, and construct, tuples, named tuples, structs, etc. Some examples of this are given in Bind.md.

Types

Name

Description

bind_info_t

The binding flags for a bound argument.

bind_to_storage_policy

Policy that maps a binding to the storage type used to hold its value.

binding_t

Metadata for a single bound argument: its binding type plus binding flags.

id_arg

A bound‐args list tagged with the identifier string Str.

identifier

A binding identifier tag, such as "x"_id or the self‐reference tag.

like_args

Base class for any type modeling a list of bound args with modifiers.

merge_update_args

Concatenates several like_args lists, mapping each bind_info_t through BindInfoFn.

named_bind_info_t

A bind_info_t extended with a compile‐time identifier Tag.

no_tag_t

Placeholder tag meaning a binding carries no name tag.

self_id_arg

A bound‐args list tagged with the self‐reference identifier.

self_id_t

Tag type marking the self‐reference identifier.

unsafe_move_args

Tag and factory for unsafely moving the contents of a like_args list.

Type Aliases

Name

Description

deduce_args_t

Deduces the stored binding type for a value passed to args and friends.

Enums

Name

Description

category_t

Category flag controlling how a bound argument is passed or stored.

constness_t

Constness flag applied to a bound argument.

Functions

Name

Description

bind_as_argument

Forward a bound storage reference as the argument implied by its bind‐info category.

Variables

Name

Description

named_bind_info_tag_v

The name tag of a binding, or no_tag_t when the binding is unnamed.

named_bind_info_tag_v

Specialization extracting the tag from a named binding info.

Concepts

Name

Description

is_binding_t_type_in_place

True when the binding type BT denotes in‐place construction (a value type).

Created with MrDocs