Skip to content

[std] Reword "cannot" in notes to not sound like negative permission #6770

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
wants to merge 2 commits into
base: main
Choose a base branch
from

Conversation

tkoeppe
Copy link
Contributor

@tkoeppe tkoeppe commented Jan 12, 2024

Notes shall not contain permissions. Even though "cannot" is allowed to express negative possibility, ISO has requested that we avoid it when it might be ambiguous and could be mistaken as permission.

@tkoeppe tkoeppe requested review from jwakely and jensmaurer January 12, 2024 14:17
@tkoeppe
Copy link
Contributor Author

tkoeppe commented Jan 12, 2024

This is about half of it, more to come shortly!

@tkoeppe
Copy link
Contributor Author

tkoeppe commented Jan 12, 2024

Second half is in. PTAL.

Copy link
Member

@jensmaurer jensmaurer left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think the "cannot -> never" changes are readable and sometimes an improvement; "cannot -> it is not possible" changes are ugly. But so be it.

@@ -500,7 +500,7 @@
\begin{note}
Because facets are used by iostreams,
potentially while static constructors are running,
their initialization cannot depend on programmed static initialization.
it is not possible for their initialization to depend on programmed static initialization.
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

What is programmed static initialization?

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I'll open an LWG issue for this as I have no idea what it's saying.

tkoeppe added 2 commits March 22, 2024 10:48
Notes shall not contain permissions. Even though "cannot" is allowed
to express negative possibility, ISO has requested that we avoid it
when it might be ambiguous and could be mistaken as permission.
This is so that notes do not (inappropriately) state requirements or
permissions.
@@ -8638,7 +8637,7 @@
\pnum
\begin{note}
Except for reference and pointer types, a major array bound is not part of a
function parameter type and cannot be deduced from an argument:
function parameter type and is not possible to be deduced from an argument:
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change
function parameter type and is not possible to be deduced from an argument:
function parameter type and it is not possible for it to be deduced from an argument:

This seems a bit nicer to me

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Not essential to change

@wg21bot wg21bot added the needs rebase The pull request needs a git rebase to resolve merge conflicts. label Apr 23, 2024
@tkoeppe tkoeppe requested a review from jwakely July 19, 2024 22:11
@@ -500,7 +500,7 @@
\begin{note}
Because facets are used by iostreams,
potentially while static constructors are running,
their initialization cannot depend on programmed static initialization.
it is not possible for their initialization to depend on programmed static initialization.
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I'll open an LWG issue for this as I have no idea what it's saying.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
needs rebase The pull request needs a git rebase to resolve merge conflicts.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants