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.

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

Harmonize phrasings of "this destructor is trivial" #2191

Merged
merged 1 commit into from Jun 27, 2018

Conversation

Quuxplusone
Copy link
Contributor

Inspired by P0602 https://lichray.github.io/trivially_variant.html
Zhihao suggested I open an editorial issue if I want to harmonize
"trivially destructible" wording across the rest of the Standard,
so, here's that editorial issue.

I may have gotten carried away while harmonizing
http://eel.is/c++draft/tuple.cnstr#4
with
http://eel.is/c++draft/variant.ctor#1
but I think it's still "editorial."

be the $i^\text{th}$ type in \tcode{Types}, and
$\tcode{U}_i$ be the $i^\text{th}$ type in a template parameter pack named \tcode{UTypes}, where indexing
is zero-based.
If \tcode{is_trivially_destructible_v<$\tcode{T}_i$>} is \tcode{true} for all $\tcode{T}_i$
Copy link
Member

Choose a reason for hiding this comment

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

Add a comma before "then".

Copy link
Contributor Author

Choose a reason for hiding this comment

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

Done! I had initially assumed that [variant.dtor] had omitted the comma to avoid any visual collision with the subscript i, and so I'd followed the rule "comma if-and-only-if no subscript." I've now changed to "always comma," which I agree is more grammatically correct.

@@ -4148,8 +4148,8 @@

\pnum
\remarks
If \tcode{is_trivially_destructible_v<$\tcode{T}_i$> == true} for all $\tcode{T}_i$
then this destructor shall be a trivial destructor.
If \tcode{is_trivially_destructible_v<$\tcode{T}_i$>} is \tcode{true} for all $\tcode{T}_i$
Copy link
Member

Choose a reason for hiding this comment

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

Add comma before "then".

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.

Please add the missing commas.

@jensmaurer
Copy link
Member

Thanks. Please squash and force-push (so that there is only one commit pending).

Inspired by P0602 https://lichray.github.io/trivially_variant.html
Zhihao suggested I open an editorial issue if I want to harmonize
"trivially destructible" wording across the rest of the Standard,
so, here's that editorial issue.

I may have gotten carried away while harmonizing
http://eel.is/c++draft/tuple.cnstr#4
with
http://eel.is/c++draft/variant.ctor#1
but I think it's still "editorial."
@tkoeppe tkoeppe merged commit fe3f46b into cplusplus:master Jun 27, 2018
@Quuxplusone Quuxplusone deleted the is-trivial branch February 5, 2019 19:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

4 participants