<stdfloat>の各型 : 説明補強 #1022

cpprefjp · Feb 22, 2023 · f39c3c3 · f39c3c3
1 parent b137272
commit f39c3c3
Show file tree

Hide file tree

Showing 5 changed files with 16 additions and 12 deletions.
diff --git a/reference/stdfloat/bfloat16_t.md b/reference/stdfloat/bfloat16_t.md
@@ -107,6 +107,7 @@ int main() {
 ### オーバーロード解決
 - 浮動小数点数型の変換をともなうオーバーロード解決は、値を維持する変換が優先され、同じ変換順位をもつ他の浮動小数点数型への変換が優先して行われる
     - 値を維持する変換が曖昧な場合、プログラムは不適格となる
+        - 「ひとつ上の順位をもつ浮動小数点数型に変換する」のような規則ではないため、ひとつ以上上の順位をもつ浮動小数点数型の候補が複数あると曖昧になる
 
 ```cpp
 #include <stdfloat>
@@ -126,11 +127,6 @@ int main() {
 
 
 
-## 備考
-- この型は、C23で定義されるオプションキーワード`_Float16`の別名として定義されることになるだろう
-    - この型は、`_Float16`と相互運用できることが望ましい
-
-
 ## 例
 ```cpp example
 #include <iostream>

diff --git a/reference/stdfloat/float128_t.md b/reference/stdfloat/float128_t.md
@@ -103,6 +103,7 @@ int main() {
 ### オーバーロード解決
 - 浮動小数点数型の変換をともなうオーバーロード解決は、値を維持する変換が優先され、同じ変換順位をもつ他の浮動小数点数型への変換が優先して行われる
     - 値を維持する変換が曖昧な場合、プログラムは不適格となる
+        - 「ひとつ上の順位をもつ浮動小数点数型に変換する」のような規則ではないため、ひとつ以上上の順位をもつ浮動小数点数型の候補が複数あると曖昧になる
 
 ```cpp
 #include <stdfloat>
@@ -123,8 +124,9 @@ int main() {
 
 
 ## 備考
-- この型は、C23で定義されるオプションキーワード`_Float16`の別名として定義されることになるだろう
-    - この型は、`_Float16`と相互運用できることが望ましい
+- この型は、C23で定義されるオプションキーワード`_Float128`の別名として定義されることになるだろう
+    - この型は、`_Float128`と相互運用できるよう実装されることが望ましい
+- この型が定義される環境はISO/IEC/IEEE 60559 (IEEE 754) 準拠であるため、同じ変換順位をもつ浮動小数点数型 (`float`と`std::float32_t`のような) は同じ内部表現をもつ
 
 
 ## 例

diff --git a/reference/stdfloat/float16_t.md b/reference/stdfloat/float16_t.md
@@ -103,6 +103,7 @@ int main() {
 ### オーバーロード解決
 - 浮動小数点数型の変換をともなうオーバーロード解決は、値を維持する変換が優先され、同じ変換順位をもつ他の浮動小数点数型への変換が優先して行われる
     - 値を維持する変換が曖昧な場合、プログラムは不適格となる
+        - 「ひとつ上の順位をもつ浮動小数点数型に変換する」のような規則ではないため、ひとつ以上上の順位をもつ浮動小数点数型の候補が複数あると曖昧になる
 
 ```cpp
 #include <stdfloat>
@@ -124,7 +125,8 @@ int main() {
 
 ## 備考
 - この型は、C23で定義されるオプションキーワード`_Float16`の別名として定義されることになるだろう
-    - この型は、`_Float16`と相互運用できることが望ましい
+    - この型は、`_Float16`と相互運用できるよう実装されることが望ましい
+- この型が定義される環境はISO/IEC/IEEE 60559 (IEEE 754) 準拠であるため、同じ変換順位をもつ浮動小数点数型 (`float`と`std::float32_t`のような) は同じ内部表現をもつ
 
 
 ## 例

diff --git a/reference/stdfloat/float32_t.md b/reference/stdfloat/float32_t.md
@@ -103,6 +103,7 @@ int main() {
 ### オーバーロード解決
 - 浮動小数点数型の変換をともなうオーバーロード解決は、値を維持する変換が優先され、同じ変換順位をもつ他の浮動小数点数型への変換が優先して行われる
     - 値を維持する変換が曖昧な場合、プログラムは不適格となる
+        - 「ひとつ上の順位をもつ浮動小数点数型に変換する」のような規則ではないため、ひとつ以上上の順位をもつ浮動小数点数型の候補が複数あると曖昧になる
 
 ```cpp
 #include <stdfloat>
@@ -123,8 +124,9 @@ int main() {
 
 
 ## 備考
-- この型は、C23で定義されるオプションキーワード`_Float16`の別名として定義されることになるだろう
-    - この型は、`_Float16`と相互運用できることが望ましい
+- この型は、C23で定義されるオプションキーワード`_Float32`の別名として定義されることになるだろう
+    - この型は、`_Float32`と相互運用できるよう実装されることが望ましい
+- この型が定義される環境はISO/IEC/IEEE 60559 (IEEE 754) 準拠であるため、同じ変換順位をもつ浮動小数点数型 (`float`と`std::float32_t`のような) は同じ内部表現をもつ
 
 
 ## 例

diff --git a/reference/stdfloat/float64_t.md b/reference/stdfloat/float64_t.md
@@ -103,6 +103,7 @@ int main() {
 ### オーバーロード解決
 - 浮動小数点数型の変換をともなうオーバーロード解決は、値を維持する変換が優先され、同じ変換順位をもつ他の浮動小数点数型への変換が優先して行われる
     - 値を維持する変換が曖昧な場合、プログラムは不適格となる
+        - 「ひとつ上の順位をもつ浮動小数点数型に変換する」のような規則ではないため、ひとつ以上上の順位をもつ浮動小数点数型の候補が複数あると曖昧になる
 
 ```cpp
 #include <stdfloat>
@@ -123,8 +124,9 @@ int main() {
 
 
 ## 備考
-- この型は、C23で定義されるオプションキーワード`_Float16`の別名として定義されることになるだろう
-    - この型は、`_Float16`と相互運用できることが望ましい
+- この型は、C23で定義されるオプションキーワード`_Float64`の別名として定義されることになるだろう
+    - この型は、`_Float64`と相互運用できるよう実装されることが望ましい
+- この型が定義される環境はISO/IEC/IEEE 60559 (IEEE 754) 準拠であるため、同じ変換順位をもつ浮動小数点数型 (`float`と`std::float32_t`のような) は同じ内部表現をもつ
 
 
 ## 例