Go言語入門：言語仕様 -Vol.88-

本日は、Go言語の言語仕様について解説しています。

背景

Go言語を学び始めて、公式の「The Go Programming Language Specification(言語仕様書)」を開いてみたものの、「英語で書かれていて読むのが大変…」「専門用語ばかりで何を言っているのかわからない…」と感じたことはありませんか? 実は、多くのGo初心者が同じ壁にぶつかっています。

言語仕様書は、Go言語の「正式な取扱説明書」のような存在です。プログラミング言語がどのように動くのか、どんなルールで書くべきなのかが詳しく書かれていますが、その分、初めて読む人には難しく感じられるのも事実です。

そこでこの記事では、言語仕様書の導入部分を丁寧な日本語訳とともに、初心者の方でも理解しやすい補足説明を加えてお届けします。「強く型付けされている」「ガベージコレクション」「並行プログラミング」といった専門用語も、具体例を交えながらわかりやすく解説していきます。

言語仕様書は難しそうに見えますが、一つひとつの概念を丁寧に読み解いていけば、必ず理解できます。一緒に、Go言語の基礎をしっかり学んでいきましょう!

浮動小数点演算子（Floating-point operators）

浮動小数点数および複素数に対して、+x は x と同じであり、-x は x の符号反転である。浮動小数点数または複素数のゼロ除算の結果は、IEEE 754 標準の範囲を超えて規定されない。実行時パニックが発生するかどうかは実装依存である。

実装は、複数の浮動小数点演算を、場合によっては文をまたいで、単一の融合演算に統合し、各命令を個別に実行して丸めた場合に得られる値とは異なる結果を生成することがある。明示的な浮動小数点型変換は対象の型の精度に丸めるため、その丸めを破棄するような融合を防止する。

たとえば、一部のアーキテクチャは、中間結果 x*y を丸めずに x*y + z を計算する「融合積和演算」（FMA）命令を提供する。以下の例は、Go の実装がその命令を使用できる場合と使用できない場合を示す：

// r の計算に FMA が許可される。x*y が明示的に丸められていないため：
r  = x*y + z
r  = z;   r += x*y
t  = x*y; r = t + z
*p = x*y; r = *p + z
r  = x*y + float64(z)

// r の計算に FMA が許可されない。x*y の丸めが省略されるため：
r  = float64(x*y) + z
r  = z; r += float64(x*y)
t  = float64(x*y); r = t + z

---

解説

浮動小数点のゼロ除算

整数のゼロ除算は必ずパニックしますが、浮動小数点のゼロ除算は違います。

// 整数：必ずパニック
var a int = 1
fmt.Println(a / 0)  // 実行時パニック！

// 浮動小数点：パニックしない（一般的な実装では）
var b float64 = 1.0
fmt.Println(b / 0.0)   // +Inf（正の無限大）
fmt.Println(-b / 0.0)  // -Inf（負の無限大）
fmt.Println(0.0 / 0.0) // NaN（非数）

IEEE 754 標準に従えば、浮動小数点のゼロ除算はパニックではなく +Inf、-Inf、NaN といった特殊な値を返します。Go の主要なコンパイラ（gc）もこの動作をしますが、仕様上は「実装依存」とされているので、理論的にはパニックする実装もありえます。

NaN と Inf の扱い

この特殊な値に慣れておくと、数値計算でのデバッグに役立ちます。

inf := math.Inf(1)    // +Inf
nan := math.NaN()      // NaN

fmt.Println(inf + 1)        // +Inf
fmt.Println(inf - inf)      // NaN
fmt.Println(nan == nan)     // false（NaN は自分自身とも等しくない！）
fmt.Println(math.IsNaN(nan)) // true（NaN の判定はこの関数を使う）

NaN == NaN が false になるのは直感に反しますが、IEEE 754 の仕様で決まっています。NaN のチェックには必ず math.IsNaN() を使いましょう。

融合積和演算（FMA）って何？

ここからは少し高度な話になります。FMA とは、「掛け算と足し算を1つの命令で行い、中間結果の丸めを省略する」CPU命令のことです。

通常、x*y + z は2ステップで計算されます。

1. x*y を計算して丸める（ここで微小な誤差が入る）
2. その結果に z を足して丸める

FMA を使うと：

1. x*y + z を一度に計算して、最後に1回だけ丸める

丸めが1回減るぶん、FMA のほうが精度が高い結果が得られます。科学計算や機械学習では、この小さな精度の差が重要になることがあります。

FMA が許可される場合・されない場合

Go のコンパイラは、特定の条件下でFMA命令を使うことが許されています。判断基準は「明示的な型変換で丸めが指示されているかどうか」です。

FMA が許可される例：

r = x*y + z         // x*y の丸めが明示されていない → FMA OK
t = x*y; r = t + z  // 変数を経由しても、明示的な型変換がなければ FMA OK

これらのケースでは、x*y が明示的に丸められていないので、コンパイラが「まとめて計算してもいい」と判断できます。

FMA が許可されない例：

r = float64(x*y) + z  // float64() で明示的に丸めを指示 → FMA 禁止

float64(x*y) と書くことで、「ここで一度丸めてください」とプログラマが明示しています。FMA を使うとこの丸めが省略されてしまうので、コンパイラは使えません。

普段の開発で気にする必要はある？

ほとんどの場合、気にする必要はありません。FMA の有無で結果が変わるのは、浮動小数点の最下位ビット付近の話なので、一般的なアプリケーション開発では影響がありません。

ただし、以下のような場面では重要になることがあります。

• 数値計算ライブラリ：結果の再現性が求められる場合
• テスト：異なるプラットフォームで計算結果を厳密に比較する場合
• 金融計算：丸め誤差が許されない場合（この場合そもそも float64 を使わず、整数で計算するのが一般的）

結果の再現性を保証したい場合は、float64() で明示的に丸めを挟むことでFMAを防止できます。

// 再現性を重視：FMA を防止
r = float64(x*y) + z

// 精度を重視：FMA を許容
r = x*y + z

おわりに 

本日は、Go言語の言語仕様について解説しました。