質問編集履歴

あ

2019/03/15 06:48

投稿

tiitoi

スコア21956

test CHANGED Viewed

File without changes

test CHANGED Viewed

@@ -141,3 +141,269 @@
 すみませんが、よろしくおねがいします。
+## 回答いただいた内容に関する理解
+alphya さんにご回答いただいた内容を自分の勉強用に整理しました。
+もし誤った解釈があれば、ご指摘いただければ幸いです。
+----
+* テンプレートの元々の意図は、型が異なり内容が同じクラスや関数を複数作る必要がないようにするため。(例: sqrt, sqrtf, sqrtl)
+* 昔はテンプレート引数に非依存の識別子を先に名前解決することは、許可及び推奨されていたが、必須ではなかった。
+* そのため、識別子の名前解決はテンプレートの定義の解析時には行わないで、テンプレートを実体化するまで名前解決を遅らせることができた。
+### 「two-phase name lookup」が必要になった理由
+テンプレートの実体化時に名前解決を行う方法だと、テンプレートが前後の文脈に依存する状況がおき、バグを引き起こしやすくなる。
+例:
+```cpp
+#include <cstdio>
+void func(void*) { std::puts("The call resolves to void*") ;}
+template<typename T> void g(T x)
+{
+    func(0);
+}
+void func(int) { std::puts("The call resolves to int"); }
+int main()
+{
+    g(3.14);
+}
+```
+* two-phase name lookup を行う場合
+テンプレートが定義された段階で `template<typename T> void g(T x)` の中身の解析が行われる。
+この時点で `func(0)` にマッチするものは、`void func(void*)` だけなので、`void func(void*)` に名前解決される。
+* two-phase name lookup を行わない場合
+`g(3.14)` でテンプレートが実体化された時点で `template<typename T> void g(T x)` の中身の解析が行われる。
+この時点で `func(0)` にマッチするものは、`void func(int)` と `void func(void*)` の2つがあるので、`void func(int)` に名前解決される。
+もし、`void func(int)` がなかったならば、`void func(void*)` に名前解決される。
+このように、テンプレートの後に `void func(int)` があるかどうかでテンプレートの意味が変わってしまう。 (前後の文脈に依存してしまう)
+### MSVC のバージョン 15.3 以前の実装
+* テンプレートは宣言だけチェックして、定義の部分は記録だけしておき、実体化されるまで中身のチェックはしない。
+* テンプレートの実体化が必要になった段階で、記録してあるリストからテンプレートの実装を探してきて、中身をチェックする。
+#### 例1: テンプレートの中身は、実体化されるまでチェックされない。
+```
+#include <cstdio>
+template <typename T>
+void hoge(T t) {
+    1  // ; がない
+}
+int main()
+{
+}
+```
+gcc: `source_file.cpp:5:6: error: expected ';' after expression`
+vc++: コンパイルが通る。
+#### 例2: テンプレートが定義された段階では曖昧さがあっても、実体化された段階で曖昧さがないケース
+```cpp
+#include <cstdio>
+#include <vector>
+template<class C>
+void f(const C &container) {
+  C::const_iterator *x;
+}
+int main()
+{
+    std::vector<int> v;
+    f(v);
+}
+```
+テンプレートが実体化されていない段階では、`C::const_iterator` は型なのかクラス `C` で定義された static 定数なのかわからない。
+* `C::const_iterator` が型と解釈した場合: `C::const_iterator *x;` は型 `C::const_iterator` のポインタ `*x`
+* `C::const_iterator` が定数と解釈した場合: `C::const_iterator *x;` は定数 `C::const_iterator` と変数 `x` の乗算
+`C::const_iterator` を型と認識させるには `typename C::const_iterator` と指定する必要がある。
+```cpp
+#include <cstdio>
+#include <vector>
+template<class C>
+void f(const C &container) {
+  C::const_iterator *x;
+}
+int main()
+{
+    std::vector<int> v;
+    f(v);
+}
+```
+gcc:
+```
+source_file.cpp: In function ‘void f(const C&)’:
+source_file.cpp:6:22: error: ‘x’ was not declared in this scope
+   C::const_iterator *x;
+                      ^
+source_file.cpp: In instantiation of ‘void f(const C&) [with C = std::vector<int>]’:
+source_file.cpp:12:8:   required from here
+source_file.cpp:6:21: error: dependent-name ‘C:: const_iterator’ is parsed as a non-type, but instantiation yields a type
+   C::const_iterator *x;
+                     ^
+source_file.cpp:6:21: note: say ‘typename C:: const_iterator’ if a type is meant
+```
+vc++: コンパイルが通る。
+two-phase name lookup を行う gcc は実体化前に解析するのでエラーとなるが、MSVC は実体化された段階で解析するので、この時点では `C::const_iterator` は型と判明しているのでエラーにならない。
+### 参考文献
+- [Two phase name lookup for C++ templates - Why? - Stack Overflow](https://stackoverflow.com/questions/12561544/two-phase-name-lookup-for-c-templates-why)
+- [What exactly is "broken" with Microsoft Visual C++'s two-phase template instantiation? - Stack Overflow](https://stackoverflow.com/questions/6273176/what-exactly-is-broken-with-microsoft-visual-cs-two-phase-template-instanti)
+- [C++ Team Blog | Two-phase name lookup support comes to MSVC](https://devblogs.microsoft.com/cppblog/two-phase-name-lookup-support-comes-to-msvc/)
+- [A Proposed New Template Compilation Model](http://www.open-std.org/JTC1/SC22/WG21/docs/papers/1996/N0906.pdf)