fix(type_traits): trivially copyableの定義が変更されたのに追従 #768

yumetodo · 2020-06-15T10:20:50Z

CWG issue 1734によってtrivially copyableの定義が変更されたのですが、私の解釈があっているか不安なので査読お願いします。

ref:

CWG issue 1734. Nontrivial deleted copy functions https://wg21.cmeerw.net/cwg/issue1734 C++初心者に贈る強そうな人からC++のclassに関連する謎な用語を使われたときにみるもの: trivialとか - Qiita https://qiita.com/yumetodo/items/424cc4d15de4edad436a

reference/type_traits/is_trivially_copyable.md

faithandbrave · 2020-06-16T08:57:15Z

reference/type_traits/is_trivially_copyable.md

+
+### 注意
+
+トリビアルコピー可能の定義はかつては以下の全ての条件を満たすことを要求していた。


「かつて」と言うとあいまいなので、「問題が報告された2013年8月時点までは」とかですかね。

faithandbrave · 2020-06-16T09:00:14Z

reference/type_traits/is_trivially_copyable.md

 - 非トリビアルなコピーコンストラクタを持っていないこと
 - 非トリビアルなムーブコンストラクタを持っていないこと
 - 非トリビアルなコピー代入演算子を持っていないこと
 - 非トリビアルなムーブ代入演算子を持っていないこと
 - トリビアルなデストラクタを持っていること

-トリビアル(trivial)な特殊関数(コンストラクタ、代入演算子、デストラクタ)とは、「ユーザー定義されない特殊関数」のことを意味する。
-
+しかし、デストラクタが削除されていてもトリビアルコピー可能となる問題があった。[CWG issue 1734](https://wg21.cmeerw.net/cwg/issue1734)によって定義が見直された。


「この仕様修正はC++17の規格に適用されたが、この問題が発見された以降の標準ライブラリ実装では対応している可能性がある。」
とかも足しておくといいですかね。
このへんの書き方の統一は今後考える必要はありますが…。

defectなのでどのISOで発行されたC++規格書に対してか？はあまり意味を持たないと
標準C++の欠陥解決は、過去のバージョンに遡って適用される - Faith and Brave - C++で遊ぼう
にかかれていたので、それに従ってC++17の規格に適用された話も省いちゃったんですが、やっぱり省かないほうがいいんでしょうか？

過去に遡るのも限度があるので、2013年に報告されたから少なくともC++11までは遡れないのですよね。なので、いつ判明したのかと、cpprefjpとしてどの規格に対応しているのかは書いておいたほうがほかの編集者がそれを見たときもわかりやすいのではないかと思います。

たとえばC++17規格がでて最初のコンパイラ対応のリリースバージョンには直っているようなdefectだったら、バージョン注記の必要なくcpprefjp上の仕様を直してよいかと思います。
そういう素直な対応ができない場合は、実装のずれなどもあるので、できる限りの情報は必要かと思います。

2013年に報告されたから少なくともC++11までは遡れないのですよね。

そうなんですか？知らなかった。

statusをみるとcd4となっていて、

http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html
CD4: A DR/DRWP or Accepted/WP issue not resolved in C++14 but included in the Committee Draft advanced for balloting at the June, 2014 WG21 meeting.

という意味らしいんですが、じゃあC++14には遡及できるでしょうかね・・・？

遡及して適用している実装が確認できればいいんでしょうか・・・？

https://groups.google.com/a/isocpp.org/d/msg/std-discussion/ilmqKwKPETs/u4Ty0PuoBwAJ

The model used by cppreference is like that of implementers: we include in "C++xy" patches to defects in the C++xy standard as published. It is not useful for us to, say, claim that vector v; is ill-formed before C++17, because the would be parsed as a header-name preprocessing token according to the published standards prior to the resolution of CWG 2000.

Since C++11 CWG has generally used a special designation for defect reports in its issue lists, but it doesn't say how far back the DRs reach. LWG doesn't use a special designation at all :( In such cases we examine the behavior of implementations to see if the resolution should be treated as a defect report and if so for which standard revisions.

C++14の規格には適用できそうですね。
実装はさかのぼって調査が大変だと思うので「x年以降対応している可能性がある」と書いておけばひとまずよいかと思います。

faithandbrave · 2020-06-16T09:01:53Z

reference/type_traits/is_trivially_copyable.md

@@ -26,16 +26,41 @@ namespace std {
 ## 効果
 `is_trivially_copyable`は、`T`がトリビアルコピー可能な型であるならば[`true_type`](true_type.md)から派生し、そうでなければ[`false_type`](false_type.md)から派生する。

+ユーザーが関数を宣言したとき、`user-declared`であると言える。`= default`/`= delete`指定されたものも含む。
+
+`user-provided`とは、`user-declared`なものから`= default`/`= delete`指定されたものを除くものである。


Suggested change

`user-provided`とは、`user-declared`なものから`= default`/`= delete`指定されたものを除くものである。

`user-provided`とは、`= default`/`= delete`指定されたものを含まない、ユーザーによる関数宣言である。

日本語の意味がとりにくかったです。

user-declaredの導入が必要なくなる修正案ですが、残すなら「user-providedとは、user-declaredな関数宣言のうち、= default/= delete指定されたものを含まないユーザーによる関数宣言である。」とかですかね。

reference/type_traits/is_trivially_copyable.md

faithandbrave · 2020-06-16T09:24:30Z

reference/type_traits/is_trivially_copyable.md

 「トリビアルコピー可能な型」とは、「`std::memcpy()`可能な型である」と言い換えることもできる。これに分類される型は、以下の全ての条件を満たす必要がある：

+- 全てのコピー/ムーブ コンストラクタ/代入演算子はtrivialもしくは`= delete`指定されている


この一文ですが、C++17だと「where each copy constructor, move constructor, copy assignment operator, and move assignment operator (15.8, 16.5.3) is either deleted or trivial,」なので対応していて、C++20だと「that has at least one eligible copy constructor, move constructor, copy assignment operator, or move assignment operator (11.4.3, 11.4.4.2, 11.4.5),」で「少なくとも1つは適格」になっていますね。
経緯を調べないと…。

C++20のほうは私も見てなかったです。

cplusplus/draft@98c2c56
commit見てきたけどさっぱりわかりません。

見てるcommitが違った。
cplusplus/draft@65aa018
P0848R3 Conditionally Trivial Special Member Functions
これか

concept絡みで、適格な特殊メンバ関数であるかどうかが重要になってくるらしい

Co-authored-by: Akira Takahashi <faithandbrave@gmail.com>

ref: - #768

yumetodo · 2020-06-16T11:39:42Z

やや指摘とは違う修正方法ですがこんな感じでどうでしょうか？

yumetodo · 2020-06-16T15:24:58Z

C++20での差分ですが、C++17のところに書くのはわかりづらくなりそうです。まだ書いてませんが、

C++20時点の定義
C++17 or cwg issue 1734適用後の定義
cwg issue 1734適用前の定義

という3つの節に分けて書こうかと考えています。

faithandbrave · 2020-06-17T03:31:51Z

user-providedとは、= default/= delete指定されたものを含まない、user-declaredなものである。

んー、言いたいことはわかりますが、遠回りなのと「なものである」が前文を読まないと意味と特定できないので読み取りにくくはあります。
正式な仕様書ならuser-declaredの導入は必要かもしれませんが、このページを説明するためにはユーザーにとって必要な情報ではないように思います。

yumetodo · 2020-06-18T10:21:18Z

C++20の内容も記述したのでもう一度レビューお願いします。特に新しく追加した例は提案文章のものをとりあえずコンパイルできるようにしただけで、私がconceptをきちんと理解していないので間違えている可能性があります。

yumetodo · 2020-06-18T11:43:52Z

例で説明なしに `TriviallyCopyConstructible` とかが出てきているけど、 `a<T> && b<T>` が `a<T>` より強い制約となりうるのは `a` と `b` が両方 concept の場合であって、単なる定数式の場合は ambiguous になるはず。https://t.co/adn8PvpQL8
— 白山風露 (@kazatsuyu) June 18, 2020

ref: - https://twitter.com/kazatsuyu/status/1273580295300591616

ref: - https://twitter.com/kazatsuyu/status/1273582619234406403

yumetodo · 2020-06-18T11:55:14Z

ああ、proposalから持ってきたのか。だとすると、コンセプト名の規約はsnake_caseに変更されているのでそうすべき。あとtrivially_copy_constructible コンセプトは現状のドラフトには入っていないように見える
— 白山風露 (@kazatsuyu) June 18, 2020

ref: - https://cpprefjp.github.io/reference/type_traits/aligned_storage.html - #768

reference/type_traits/is_trivially_copyable.md

onihusube · 2020-06-19T02:07:33Z

cpprefjpではwell-formedの訳も適格となっていますが、この場合の適格はeligibleですよね？

確かにどっちも適格なのですが、前者は適正や合法みたいな意味で、後者は適任や資格があるみたいな意味になると思います。適格な訳は思いつかないのですが、同じ言葉を当てて良いのでしょうか？

yumetodo · 2020-06-19T10:05:05Z

eligibleとwell-formedでは確かに意味合いが違うのに訳が同じなのは問題ですね・・・。しかしやはり適切な訳語が思い当たりません。well-formedを適格と訳してるのは多分JIS規格書から来てると思うのですが。

Co-authored-by: onihusube <44743040+onihusube@users.noreply.github.com>

対象となるクラスの非静的メンバ変数及び全ての基底クラスもトリビアルコピー可能でなければならない

yumetodo · 2020-06-19T11:49:16Z

https://qiitadon.com/@7of9/104370486660492901
@yumetodo

適合する特殊メンバ関数
ですかね

適格は違う気はします

注意
自分は日本語がだめかもしれないので、あまり信用しない方がいいかもですが

reference/type_traits/is_trivially_copyable.md

onihusube · 2020-06-19T12:24:56Z

個人的には適合もしっくりこないのですが、他に何も思いつかないのでなんとも・・・

akinomyoga · 2020-06-19T12:30:05Z

適合は conforming のJIS訳と被りますね。ここでの意味 (eligible special member function [special]/6) を考えたら "有効な" とか "利用可能な" とか…?

Co-authored-by: onihusube <44743040+onihusube@users.noreply.github.com>

yumetodo · 2020-06-19T14:05:21Z

適合は conforming のJIS訳と被りますね。

あやや

"有効な" とか "利用可能な" とか…?

有効な、のほうが近いかな？

もう一晩くらい訳語は寝かせたほうがよさそう。

yumetodo · 2020-06-20T03:45:03Z

https://fedibird.com/@mmasuda/104373273858130558
@yumetodo アメフトの世界だとeligible は「有資格」というのがルールブック上の定訳になっていますね。

Eligible receiver = 有資格レシーバー
ineligible receiver downfield =無資格レシーバーのダウンフィールドへの進入
というのが日本アメフト協会公式ルールの用語表現。

yumetodo · 2020-06-20T03:54:33Z

「有資格」、というより「資格を持つ」なら違和感が少ないかもしれないと思いますがどうでしょうか？

akinomyoga · 2020-06-20T04:43:46Z

対象が人じゃないので意味的には「資格のある」よりも「条件を満たした」なのかなと思いますが「条件を満たした特殊メンバ関数」だと一まとまりの用語という感じが薄いですね。「条件を満たす」で類語を探しても簡潔な物は見つからず。検索するとフィギュアスケートでは eligible は単に片仮名にして「エリジブル」らしき情報があります。まあ、これまで出た中では「有資格」または「資格のある」でいいかなって気がします。

ところで trivially をトリビアルに訳すのが気になって検索してみたら cpprefjp 内で訳が「自明」と「トリビアル」に割れています ("トリビアル" site:cpprefjp.github.io & "自明" site:cpprefjp.github.io)。しかも is_trivial - cpprefjp C++日本語リファレンスは一つのページ内で二つが混在しています:

型Tがトリビアル型か調べる。自明型は、…

yumetodo · 2020-06-20T05:01:17Z

自明という単語が自明じゃないので自明を採用したくないという思いです(?)

・・・実際問題どちらに揃えるほうがわかりやすいんだろうか。

akinomyoga · 2020-06-20T05:21:03Z

・・・実際問題どちらに揃えるほうがわかりやすいんだろうか。

それ、わからないですよね。多分「トリビアル」と言って通じる層と「自明」と言って通じる層は一致しますよね。どちらも数学とか理系の議論に触れたことのある人で。英語の文献まで行かない理系学生だと「自明」の方が通りが良いかも。でもこういう応用的な「自明」の使い方をするのは英語の文献まで行く層の気もします。

全く新しい語として受け入れる層からすると、今度は片仮名の方が憶えやすいか・漢字の方が憶えやすいかという話になりますが、これも人によります。僕は断然漢字の未知の語の方が (漢字の意味に何となくこじつけて) 馴染みやすいのですが、人によっては片仮名の方が憶えやすかったりするらしいです (純粋な語感で対応させているのでしょうか)。

まあ、どちらでも良いのですが揃えた方が良い気がします。取り敢えず少なくとも、is_trivial - cpprefjp C++日本語リファレンスのは。

eligibleの訳語 ref: - https://fedibird.com/@mmasuda/104373273858130558

yumetodo · 2020-06-24T15:06:19Z

eligibleの訳語としてはとりあえず「資格のある」を当てることとし編集しました。trivialの訳語が揺れている件は本PRの範疇を外れるので #776 を立てました

その他問題がなければmergeお願いします。

yumetodo added the feedback-needed label Jun 15, 2020

yumetodo requested a review from faithandbrave June 15, 2020 10:20

faithandbrave reviewed Jun 16, 2020

View reviewed changes

yumetodo and others added 3 commits June 16, 2020 19:16

Update reference/type_traits/is_trivially_copyable.md

58cfeca

Co-authored-by: Akira Takahashi <faithandbrave@gmail.com>

Update reference/type_traits/is_trivially_copyable.md

ff763a2

Co-authored-by: Akira Takahashi <faithandbrave@gmail.com>

fix(type_traits): reviewの指摘を反映

bff3121

ref: - #768

fix(type_traits): user-proviedの説明をreview指摘どおりに治す

7a67a9d

yumetodo force-pushed the fix/trivially_copyable_def branch from f316541 to 7a67a9d Compare June 17, 2020 10:57

fix(type_traits): C++20でのtrivially copyableの定義を記述

abfa291

yumetodo requested a review from faithandbrave June 18, 2020 10:20

fix(type_traits): trivially copyableの例を追加

124329f

yumetodo added 2 commits June 18, 2020 20:45

fix(type_tratis): trivially copyableの例でコンセプトとわかるように

1e59ee1

ref: - https://twitter.com/kazatsuyu/status/1273580295300591616

fix(type_traits): conceptの命名規則はsnake_case

a6b5710

ref: - https://twitter.com/kazatsuyu/status/1273582619234406403

yumetodo requested a review from onihusube June 18, 2020 11:57

yumetodo added a commit that referenced this pull request Jun 18, 2020

fix: std::byteはaligned_storagedがdeprecatedになったこともあり、利用が増えると思われる

735ffaf

ref: - https://cpprefjp.github.io/reference/type_traits/aligned_storage.html - #768

yumetodo mentioned this pull request Jun 18, 2020

fix: std::byteはaligned_storagedがdeprecatedになったこともあり、利用が増えると思われる #771

Closed

onihusube reviewed Jun 18, 2020

View reviewed changes

yumetodo and others added 4 commits June 19, 2020 19:41

fix(type_traits): user-providedの説明を改善

64f1e99

Co-authored-by: onihusube <44743040+onihusube@users.noreply.github.com>

fix(type_traits): 単に「制約」と書く

201411f

Co-authored-by: onihusube <44743040+onihusube@users.noreply.github.com>

fix(type_traits): sampleの簡素化

a58f203

fix(type_traits): トリビアルコピー可能の説明を簡素化

5bf2651

対象となるクラスの非静的メンバ変数及び全ての基底クラスもトリビアルコピー可能でなければならない

fix(type_traits): 同じ種類の特殊メンバ関数の説明を簡素化

7d1b0b3

onihusube reviewed Jun 19, 2020

View reviewed changes

reference/type_traits/is_trivially_copyable.md Outdated Show resolved Hide resolved

fix(type_tratis): s/制約テンプレート/制約/

6b699ee

Co-authored-by: onihusube <44743040+onihusube@users.noreply.github.com>

fix(type_traits): s/適格な/資格のある/

ef5fea7

eligibleの訳語 ref: - https://fedibird.com/@mmasuda/104373273858130558

yumetodo mentioned this pull request Jun 24, 2020

trivialの訳語がトリビアルと自明で揺れている問題 #776

Closed

faithandbrave approved these changes Jun 24, 2020

View reviewed changes

onihusube approved these changes Jun 24, 2020

View reviewed changes

onihusube merged commit 976b480 into master Jun 24, 2020

faithandbrave deleted the fix/trivially_copyable_def branch June 25, 2020 04:39

yumetodo mentioned this pull request Nov 23, 2020

POD was deprecated rinatz/cpp-book#51

Open

yumetodo mentioned this pull request Aug 23, 2024

erroneous behavior (EB) の日本語訳を考える #1321

Open

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

fix(type_traits): trivially copyableの定義が変更されたのに追従 #768

fix(type_traits): trivially copyableの定義が変更されたのに追従 #768

yumetodo commented Jun 15, 2020 •

edited

Loading

faithandbrave Jun 16, 2020

faithandbrave Jun 16, 2020

yumetodo Jun 16, 2020

faithandbrave Jun 16, 2020

faithandbrave Jun 16, 2020

yumetodo Jun 16, 2020

faithandbrave Jun 17, 2020

faithandbrave Jun 16, 2020

faithandbrave Jun 16, 2020

yumetodo Jun 16, 2020

yumetodo Jun 16, 2020

yumetodo Jun 16, 2020

yumetodo Jun 16, 2020

yumetodo commented Jun 16, 2020

yumetodo commented Jun 16, 2020

faithandbrave commented Jun 17, 2020

yumetodo commented Jun 18, 2020 •

edited

Loading

yumetodo commented Jun 18, 2020

yumetodo commented Jun 18, 2020

onihusube commented Jun 19, 2020

yumetodo commented Jun 19, 2020 •

edited

Loading

yumetodo commented Jun 19, 2020

onihusube commented Jun 19, 2020

akinomyoga commented Jun 19, 2020

yumetodo commented Jun 19, 2020

yumetodo commented Jun 20, 2020

yumetodo commented Jun 20, 2020

akinomyoga commented Jun 20, 2020

yumetodo commented Jun 20, 2020 •

edited

Loading

akinomyoga commented Jun 20, 2020

yumetodo commented Jun 24, 2020 •

edited

Loading


		### 注意

		トリビアルコピー可能の定義はかつては以下の全ての条件を満たすことを要求していた。

	`user-provided`とは、`user-declared`なものから`= default`/`= delete`指定されたものを除くものである。
	`user-provided`とは、`= default`/`= delete`指定されたものを含まない、ユーザーによる関数宣言である。

		「トリビアルコピー可能な型」とは、「`std::memcpy()`可能な型である」と言い換えることもできる。これに分類される型は、以下の全ての条件を満たす必要がある：

		- 全てのコピー/ムーブコンストラクタ/代入演算子はtrivialもしくは`= delete`指定されている

fix(type_traits): trivially copyableの定義が変更されたのに追従 #768

fix(type_traits): trivially copyableの定義が変更されたのに追従 #768

Conversation

yumetodo commented Jun 15, 2020 • edited Loading

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

yumetodo commented Jun 16, 2020

yumetodo commented Jun 16, 2020

faithandbrave commented Jun 17, 2020

yumetodo commented Jun 18, 2020 • edited Loading

yumetodo commented Jun 18, 2020

yumetodo commented Jun 18, 2020

onihusube commented Jun 19, 2020

yumetodo commented Jun 19, 2020 • edited Loading

yumetodo commented Jun 19, 2020

onihusube commented Jun 19, 2020

akinomyoga commented Jun 19, 2020

yumetodo commented Jun 19, 2020

yumetodo commented Jun 20, 2020

yumetodo commented Jun 20, 2020

akinomyoga commented Jun 20, 2020

yumetodo commented Jun 20, 2020 • edited Loading

akinomyoga commented Jun 20, 2020

yumetodo commented Jun 24, 2020 • edited Loading

yumetodo commented Jun 15, 2020 •

edited

Loading

yumetodo commented Jun 18, 2020 •

edited

Loading

yumetodo commented Jun 19, 2020 •

edited

Loading

yumetodo commented Jun 20, 2020 •

edited

Loading

yumetodo commented Jun 24, 2020 •

edited

Loading