Skip to content
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.

Sign up for GitHub

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

Jump to bottom

US-18: [meta.prop.unary]/6 absence of noexcept should be more explicit or declval used instead #184

Closed
sdutoit opened this issue Sep 19, 2013 · 2 comments
Closed

US-18: [meta.prop.unary]/6 absence of noexcept should be more explicit or declval used instead #184

sdutoit opened this issue Sep 19, 2013 · 2 comments
Labels
ballot-comment Response to an NB or ISO comment on a ballot lwg Issue must be reviewed by LWG.
Milestone
C++14 CD NB Response

Comments

@sdutoit
Copy link
Contributor

sdutoit commented Sep 19, 2013

N3733 US-18 says:

The trait is_constructible<T, Args...> is defined in terms of a helper template, create<>, that is identical to std::declval<> except for the latter's noexcept clause.

It goes on to propose:

If the absence of noexcept is critical to this definition, insert a Note of explanation; otherwise, excise create<> and reformulate in terms of declval<> the definition of is_constructible.
@sdutoit
Copy link
Contributor Author

sdutoit commented Sep 23, 2013

This seems like it requires LWG input; I'm not sure whether or not the absence of noexcept is in fact critical.

@sdutoit
Copy link
Contributor Author

sdutoit commented Sep 24, 2013

LWG is opening an issue for this.

@sdutoit sdutoit closed this as completed Sep 24, 2013
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
ballot-comment Response to an NB or ISO comment on a ballot lwg Issue must be reviewed by LWG.
Projects
None yet
Milestone
C++14 CD NB Response
Development

No branches or pull requests
1 participant
@sdutoit