回答編集履歴
3
update
test
CHANGED
|
@@ -20,7 +20,7 @@
|
|
|
20
20
|
|
|
21
21
|
|
|
22
22
|
|
|
23
|
-
C++言語ではあらゆる式(expression)はなんらかの **静的な型** をもちます。条件演算子もその例外ではなく、式`true ? std::declval<T>() : std::declval<U>()`もまた静的型をもっています。ここで注意すべきは、「プログラムが実行にどう動くかとは無関係に式の静的型
|
|
23
|
+
C++言語ではあらゆる式(expression)はなんらかの **静的な型** をもちます。条件演算子もその例外ではなく、式`true ? std::declval<T>() : std::declval<U>()`もまた静的型をもっています。ここで注意すべきは、「そのプログラムが実行時にどう動くかとは無関係に」式の静的型が求まるという点です。この式をプログラムとして実行すると`std::declval<T>()`相当の結果を得ますが、静的型(static type)の導出はそれとは無関係にコンパイル時に完了します。
|
|
24
24
|
|
|
25
25
|
|
|
26
26
|
|
|
@@ -38,4 +38,4 @@
|
|
|
38
38
|
|
|
39
39
|
|
|
40
40
|
|
|
41
|
-
|
|
41
|
+
実はISO C++11標準ライブラリの仕様そのものが、[条件演算子`?:`を使って定義](https://timsong-cpp.github.io/cppwp/n3337/meta#trans.other-3)されています。参照されたライブラリ実装は、まさにこの仕様通り定義したのだと思われます。実態としては「条件演算子`?:`仕様で導出されるものが共通型(common type)であり、`std::common_type`は型計算を便利機能として提供しているだけ」ですね。
|
2
appendix
test
CHANGED
|
@@ -35,3 +35,7 @@
|
|
|
35
35
|
|
|
36
36
|
|
|
37
37
|
コンパイラは式`true ? std::declval<int>() : std::declval<float>()`の静的型、つまり「`int`と`float`の共通型(common type)」を計算しています。仮に条件演算子の条件部(第1項)を`false`に変えても結果は変わりません。
|
|
38
|
+
|
|
39
|
+
|
|
40
|
+
|
|
41
|
+
おまけ：実はC++11標準ライブラリの仕様そのものが、[条件演算子`?:`を使って定義](https://timsong-cpp.github.io/cppwp/n3337/meta#trans.other-3)されています。 参照されたライブラリ実装は、まさにこの仕様通り定義したのだと思われます。
|
1
refinement
test
CHANGED
|
@@ -20,7 +20,7 @@
|
|
|
20
20
|
|
|
21
21
|
|
|
22
22
|
|
|
23
|
-
C++言語ではあらゆる式(expression)はなんらかの **静的な型** をもちます。条件演算子もその例外ではなく、式`true ? std::declval<T>() : std::declval<U>()`もまた静的型をもっています。ここで注意すべきは、「プログラムが実行にどう動くかとは無関係に式の静的型」が求まるという点です。この式はプログラムとして実行すると`std::declval<T>()`相当の結果を得ますが、静的型(type)の導出はコンパイル時に行われるという意味です。
|
|
23
|
+
C++言語ではあらゆる式(expression)はなんらかの **静的な型** をもちます。条件演算子もその例外ではなく、式`true ? std::declval<T>() : std::declval<U>()`もまた静的型をもっています。ここで注意すべきは、「プログラムが実行にどう動くかとは無関係に式の静的型」が求まるという点です。この式はプログラムとして実行すると`std::declval<T>()`相当の結果を得ますが、静的型(static type)の導出はコンパイル時に行われるという意味です。
|
|
24
24
|
|
|
25
25
|
|
|
26
26
|
|
|
@@ -34,4 +34,4 @@
|
|
|
34
34
|
|
|
35
35
|
|
|
36
36
|
|
|
37
|
-
コンパイラは式`true ? std::declval<int>() : std::declval<float>()`の静的型、つまり「`int`と`float`の共通型(common type)」を計算しています。仮に条件演算子の第1項を`false`に変えても結果は変わりません。
|
|
37
|
+
コンパイラは式`true ? std::declval<int>() : std::declval<float>()`の静的型、つまり「`int`と`float`の共通型(common type)」を計算しています。仮に条件演算子の条件部(第1項)を`false`に変えても結果は変わりません。
|