Skip to content

query objects must be default constructible #333

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
ericniebler opened this issue May 5, 2025 · 0 comments
Open

query objects must be default constructible #333

ericniebler opened this issue May 5, 2025 · 0 comments
Labels
bug Something isn't working P0

Comments

@ericniebler
Copy link
Collaborator

we require the types of query objects such as get_scheduler to be customization point objects. [customization.point.object] requires them to be semiregular but that concept does not require default constructability. much of std::execution assumes query object types to be default constructible.

propose adding a (nothrow) default-constructibility requirement

Proposed Wording

change [exec.queryable.general] p1 as follows:

  1. A queryable object is a read-only collection of key/value pair where each key is a customization point object known as a query object. The type of a query object satisfies default_initializable, and its default constructor is not potentially throwing. A query is an invocation of a query object with a queryable object as its first argument and a (possibly empty) set of additional arguments. A query imposes syntactic and semantic requirements on its invocations.
@ericniebler ericniebler added bug Something isn't working P0 labels May 5, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working P0
Projects
None yet
Development

No branches or pull requests

1 participant