編集履歴

回答編集履歴

2020/08/12 12:00

投稿

スコア5852

test CHANGED Viewed

@@ -473,3 +473,127 @@
 本件とは別の問題点からになりますが、これまでイテレータを作るときに継承するべきとされていた`std::iterator`はC++17でdeprecatedになりました。まあそんなこんなであんまり継承したくない心情です。
 [P0174R2 Deprecating Vestigial Library Parts in C++17](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/p0174r2.html)
+---
+# 追記2
+> 私の勝手な憶測なのですが
+> もしかして
+>
+> 規格1:
+> その規格で必要になる規格１
+> その規格で必要になる規格２
+>
+> といった書き方がされているのでしょうか。
+違います。構文を定義する文法です。C++に限らず広く用いられる記法です。
+まず定義したい構文の名称を書き、それを構成する構文や記号などの並びをその下に字下げして書きます。
+例えば識別子(identifier)の定義は
+[https://timsong-cpp.github.io/cppwp/n4861/lex.name#nt:identifier](https://timsong-cpp.github.io/cppwp/n4861/lex.name#nt:identifier)
+にあるように表されます。
+```
+identifier:
+	identifier-nondigit
+	identifier identifier-nondigit
+	identifier digit
+```
+これはつまり、`identifier`という構文は、その下の各行のいずれかのことである、という定義です。じゃあ`identifier-nondigit`ってなに？と思って調べるとこれは
+```
+identifier-nondigit:
+	nondigit
+	universal-character-name
+```
+のように定義されています。じゃあ`nondigit`は？というと
+```
+nondigit: one of
+	a b c d e f g h i j k l m
+	n o p q r s t u v w x y z
+	A B C D E F G H I J K L M
+	N O P Q R S T U V W X Y Z _
+```
+と定義されています。
+ちょっと戻ってもう一度これを見てください。
+```
+identifier:
+	identifier-nondigit
+	identifier identifier-nondigit
+	identifier digit
+```
+`identifier identifier-nondigit`ってどういうこと？と思うかもしれません。なんで`identifier`の定義に`identifier`が出てくるねん！ってなりますよね。これはつまりは再帰的定義をしているわけです。
+例えば`a`は`nondigit`であり、`identifier-nondigit`でもあり、`identifier`でもあります。
+では`ab`はどうでしょうか？まず`b`は同様にして`identifier-nondigit`であると言えます。`a`が`identifier`であることはすでに述べたとおりです。したがって`identifier identifier-nondigit`の定義に当てはまり、`ab`は`identifier`だと言えます(定義文はスペースで区切られていますが、このスペースは定義文に含まれる構文用語を識別しやすくするためのものであってスペースを入れろという意味ではありません。つまり`a b`ではなく`ab`ということです。定義にスペースを入れてほしい場合は明示的に`space`みたいな構文用語を記述するはずです)。

追記

2020/08/12 12:00

投稿

yumetodo

スコア5852

test CHANGED Viewed

@@ -263,3 +263,213 @@
 ちなみにC++20を使えるなら三方比較演算子を使うと楽になると思います。
+---
+# 追記
+## なぜ派生クラスのコンストラクタのメンバー初期化リスト(`mem-initializer-list`)で基底クラスのメンバー変数を初期化できないか
+### `mem-initializer-list`とは
+まずはC++規格書の定義を見てみましょう。
+> [class.base.init/1](https://timsong-cpp.github.io/cppwp/n4861/class.base.init#1)
+>
+> In the definition of a constructor for a class, initializers for direct and virtual base class subobjects and non-static data members can be specified by a ctor-initializer, which has the form
+>
+> ```
+> ctor-initializer:
+> 	: mem-initializer-list
+>
+> mem-initializer-list:
+> 	mem-initializer ...opt
+> 	mem-initializer-list , mem-initializer ...opt
+>
+> mem-initializer:
+> 	mem-initializer-id ( expression-listopt )
+> 	mem-initializer-id braced-init-list
+>
+> mem-initializer-id:
+> 	class-or-decltype
+> 	identifier
+> ```
+英文は読まずともまあ十分わかりやすいかと思いますが、例を見ながら確認しましょう。
+```cpp
+struct foo {
+    int bar;
+    int hoge;
+    foo() : bar(3), hoge(7) {}
+};
+```
+上記で言う`bar(3), hoge(7)`が`mem-initializer-list`です。また`bar(3)`や`hoge(7)`が`mem-initializer`です。そして`bar`や`hoge`が`mem-initializer-id`です。
+### 有効な`mem-initializer-id`とは
+またしても規格書を見ていきます。
+> [class.base.init/2](https://timsong-cpp.github.io/cppwp/n4861/class.base.init#2)
+>
+> In a __mem-initializer-id__ an initial unqualified __identifier__ is looked up in the scope of the constructor's class and, if not found in that scope, it is looked up in the scope containing the constructor's definition.
+[ Note: If the constructor's class contains a member with the same name as a direct or virtual base class of the class, a __mem-initializer-id__ naming the member or base class and composed of a single identifier refers to the class member.
+A __mem-initializer-id__ for the hidden base class may be specified using a qualified name.
+— end note
+ ]
+**Unless the __mem-initializer-id__ names the constructor's class, a non-static data member of the constructor's class, or a direct or virtual base of that class, the __mem-initializer__ is ill-formed.**
+とくに太字で強調したUnless以降が大事なのでまとめてみます。これによれば、有効な`mem-initializer-id`とは次の3つです。
+- コンストラクタを書いているクラス自身の名前: 移譲コンストラクタのこと
+- コンストラクタを書いているクラス自身の`static`指定されていないメンバー変数の名前
+- 基底クラス(仮想基底クラスを含む)の名前
+これ以外を指定した場合、ill-formedである、と書かれています。
+これはどういうことかと言うと、メンバー初期化リストの時点では基底クラスは初期化されていないためアクセスできないということだと考えられます。
+以上の内容は`base class protected member init direct`でググって一番上に出てきた
+[inheritance - Initialize parent's protected members with initialization list (C++) - Stack Overflow](https://stackoverflow.com/questions/2290733/initialize-parents-protected-members-with-initialization-list-c)
+を元に書かれています。
+### 結論
+基底クラスのメンバー変数は有効な`mem-initializer-id`ではないのでill-formed
+## protectedメンバーを使うことは妥当か
+> しかしそれでは各Iteratorにカウンタ操作を指定するoperatorを記載せねばならず
+コードのサイズが増えてしまうように感じるのですが
+それでも依存関係の簡略化を優先したほうが良いのでしょうか。
+C++のイテレータを作るのがとっても面倒なのはものすごくよくわかります。
+実際にSTLの実装を覗いてみることにします。
+### msvcの実装
+[https://github.com/microsoft/STL/blob/master/stl/inc/vector](https://github.com/microsoft/STL/blob/master/stl/inc/vector)
+[https://github.com/microsoft/STL/blob/master/stl/inc/xmemory](https://github.com/microsoft/STL/blob/master/stl/inc/xmemory)
+これは`_Vector_iterator`→`_Vector_const_iterator`→`_Iterator_base`という継承になっていて、operator類はそれぞれ定義しているのがわかります。
+### libstdc++の実装
+[https://github.com/gcc-mirror/gcc/blob/master/libstdc%2B%2B-v3/include/bits/stl_vector.h](https://github.com/gcc-mirror/gcc/blob/master/libstdc%2B%2B-v3/include/bits/stl_vector.h)
+[https://github.com/gcc-mirror/gcc/blob/master/libstdc++-v3/include/bits/stl_iterator.h](https://github.com/gcc-mirror/gcc/blob/master/libstdc++-v3/include/bits/stl_iterator.h)
+イテレータに関しては極めてシンプルで、iteratorとconst_iteratorは同じ`__normal_iterator`クラスでできています。protectedメンバーがありますが、std::vectorから使う文についてはprotectedである必要を見いだせないので多分別の用途で使ってるのでしょう。
+### 結論
+言い出しておいてなんですが正直わからんです。自分はC++のイテレータに関してはKISSの法則を投げ捨てたほうがうまくいく気がします。比較系は先述の通り三方比較演算子のおかげで自動定義がある程度使えますが、その他は愚直に書くのがなんだかんだいいのかなと思っています。依存名か非依存名かでうっかり引っかかったりする心配もないですし。
+本件とは別の問題点からになりますが、これまでイテレータを作るときに継承するべきとされていた`std::iterator`はC++17でdeprecatedになりました。まあそんなこんなであんまり継承したくない心情です。
+[P0174R2 Deprecating Vestigial Library Parts in C++17](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/p0174r2.html)

2020/08/11 15:54

投稿

yumetodo

スコア5852

test CHANGED Viewed

@@ -255,3 +255,11 @@
 }
 ```
+[https://wandbox.org/permlink/IJJvIQtlluedZIRj](https://wandbox.org/permlink/IJJvIQtlluedZIRj)
+ちなみにC++20を使えるなら三方比較演算子を使うと楽になると思います。