You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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:
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.
The text was updated successfully, but these errors were encountered:
we require the types of query objects such as
get_scheduler
to be customization point objects.[customization.point.object]
requires them to besemiregular
but that concept does not require default constructability. much ofstd::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:The text was updated successfully, but these errors were encountered: