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

[basic.fundamental] CWG 2185: Missing "and cv-qualified versions of those types" for various type categories #2334

Closed
Rakete1111 opened this issue Sep 16, 2018 · 4 comments
Closed

[basic.fundamental] CWG 2185: Missing "and cv-qualified versions of those types" for various type categories #2334

Rakete1111 opened this issue Sep 16, 2018 · 4 comments
Labels
cwg Issue must be reviewed by CWG.

Comments

@Rakete1111
Copy link
Contributor

Every type category in [basic.fundamental] (integrals, narrow character types, floating points, ...) don't mention cv-qualified types. For example [basic.fundamental]p7:

Types bool, char, char16_­t, char32_­t, wchar_­t, and the signed and unsigned integer types are collectively called integral types.

Is const bool an integral type? Obviously yes, but this is not mentioned anywhere. Because a lot of type categories are introduced in that section, maybe add a new paragraph that says something like:

If a type T is a X type, where X is one of the types of types mentioned in this section, then cv-qualifiers T is also a X type.
@cpplearner
Copy link
Contributor

How does it interact with [basic.type.qualifier]/1?

A type mentioned in [basic.fundamental] and [basic.compound] is a cv-unqualified type.

@Rakete1111
Copy link
Contributor Author

Oh yeah thanks, looks like a contradiction. Probably better to also change that sentence I think (if there is no better alternative).

Also just noticed that [basic.compound] has some definitions that also suffer from the same issue as [basic.fundamental].

@jensmaurer
Copy link
Member

jensmaurer commented Sep 18, 2018 •
edited

This is CWG2185.

@jensmaurer jensmaurer changed the title [basic.fundamental] Missing "and cv-qualified versions of those types" for various type categories [basic.fundamental] CWG 2185: Missing "and cv-qualified versions of those types" for various type categories Sep 18, 2018
@jensmaurer jensmaurer added the cwg Issue must be reviewed by CWG. label Sep 18, 2018
@frederick-vs-ja
Copy link
Contributor

Should have been fixed by #4693 (4df64b4).

@jensmaurer jensmaurer mentioned this issue Oct 21, 2021
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
cwg Issue must be reviewed by CWG.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
4 participants
@Rakete1111 @cpplearner @frederick-vs-ja @jensmaurer