Day 001 — 変数宣言・型推論・基本型（int, float64, string, bool）

📚 背景知識（読んでから問題へ）

Goは静的型付け言語です。変数の型はコンパイル時に確定し、実行中に変わることはありません。Python/JavaScriptのような動的型付け言語に慣れていると最初は窮屈に感じますが、これはGoの設計思想である「明示性（explicitness）」の表れです。型が曖昧なまま実行時エラーになる事態を防ぎ、コードを読むだけで変数が何を表しているかが分かるようにするという狙いがあります。

Goの変数宣言には主に2つの書き方があります。

var による明示的宣言

📋 コピーvar age int = 30
var name string = "Gopher"

パッケージレベル（関数の外）でも使える唯一の宣言方法です。型を明示したいとき、あるいはゼロ値のまま宣言だけしたいときに使います。

:= による短縮宣言（型推論）

📋 コピーage := 30
name := "Gopher"

右辺の値からコンパイラが型を推論します。関数内でのみ使え、シンプルで簡潔です。Go言語で最も多用される書き方です。

ゼロ値（Zero Value）という考え方

Goでは変数を初期化せずに宣言すると、自動的に「ゼロ値」で初期化されます。C言語のように未初期化のメモリを参照してしまうバグが原理的に起きません。

基本型（int, float64, string, bool）

• int: プラットフォーム依存の符号付き整数（64bit環境では通常64bit）
• float64: 64bit浮動小数点数（Goではfloatという型は存在せず、float32かfloat64を明示する）
• string: UTF-8バイト列（イミュータブル）
• bool: true/falseのみ

なぜGoは暗黙的な型変換をしないのか

Goではintとfloat64を直接演算することすらできません。必ずfloat64(i)のように明示的な変換が必要です。これは「暗黙のうちに精度が落ちる/意図しない変換が起きる」というバグの温床を排除するための設計判断です。C/Java/JavaScriptなどで頻発する「暗黙変換由来のバグ」をGoは言語レベルで防いでいます。

📝 問題

タスク1（概念理解）:
以下の問いに簡潔に答えてください。

1. varと:=の違いは何ですか。それぞれをどんな場面で使い分けるべきですか。
2. 変数を宣言だけして初期化しなかった場合、Goでは何が起きますか。int, float64, string, boolそれぞれのゼロ値を答えてください。
3. Goはなぜintからfloat64への変換を自動で行わず、明示的な変換（float64(i)）を要求するのでしょうか。

タスク2（実装）:
以下の要件を満たすmain.goを実装してください。

1. varを使って int型のage(30), float64型のprice(19.99), string型のname("Gopher"), bool型のisActive(true) を宣言し、値を出力する
2. :=を使って、同じ意味を持つ別の変数を型推論で宣言し、値を出力する
3. 初期化せずに宣言した int, float64, string, bool 型の変数を出力し、ゼロ値であることを確認する
4. int型の変数を明示的にfloat64型へ変換してから割り算を行い、結果を出力する
5. %Tフォーマット指定子を使って、各変数の実際の型を出力する

🔍 ヒント（段階的開示）

📋 コピーpackage main

import "fmt"

func main() {
	// 1. varによる明示的宣言
	var age int = 30
	// price, name, isActive も同様に宣言...

	// 2. := による型推論宣言
	count := 10
	// rate, label, enabled も同様に宣言...

	// 3. ゼロ値の確認
	var zeroInt int
	// zeroFloat, zeroString, zeroBool も同様に宣言...

	// 4. 型変換
	var i int = 42
	var f float64 = float64(i) / 5

	// 5. %T で型を確認
	fmt.Printf("age: %T\n", age)
}

✅ 模範解答

📋 コピーpackage main

import "fmt"

func main() {
	// --- 1. var による明示的宣言 ---
	var age int = 30
	var price float64 = 19.99
	var name string = "Gopher"
	var isActive bool = true

	fmt.Println("--- var による明示的宣言 ---")
	fmt.Println(age, price, name, isActive)

	// --- 2. := による型推論宣言 ---
	count := 10
	rate := 0.05
	label := "concurrent"
	enabled := false

	fmt.Println("--- := による型推論宣言 ---")
	fmt.Println(count, rate, label, enabled)

	// --- 3. ゼロ値の確認（初期化せずに宣言） ---
	var zeroInt int
	var zeroFloat float64
	var zeroString string
	var zeroBool bool

	fmt.Println("--- ゼロ値の確認 ---")
	fmt.Printf("int: %d, float64: %v, string: %q, bool: %v\n", zeroInt, zeroFloat, zeroString, zeroBool)

	// --- 4. 型変換（int → float64） ---
	var i int = 42
	var f float64 = float64(i) / 5

	fmt.Println("--- 型変換 ---")
	fmt.Printf("i=%d を float64 に変換して割り算 → f=%v\n", i, f)

	// --- 5. %T で型を確認 ---
	fmt.Println("--- 型の確認 (%T) ---")
	fmt.Printf("age: %T, price: %T, name: %T, isActive: %T\n", age, price, name, isActive)
}

--- var による明示的宣言 ---
30 19.99 Gopher true
--- := による型推論宣言 ---
10 0.05 concurrent false
--- ゼロ値の確認 ---
int: 0, float64: 0, string: "", bool: false
--- 型変換 ---
i=42 を float64 に変換して割り算 → f=8.4
--- 型の確認 (%T) ---
age: int, price: float64, name: string, isActive: bool

🪜 Step-by-Step 解説

📋 コピーvar age int = 30

📋 コピーcount := 10

📋 コピーvar zeroInt int

📋 コピーvar f float64 = float64(i) / 5

📋 コピーfmt.Printf("age: %T\n", age)

💡 設計思想・なぜこう書くのか

Goの型システムは「シンプルさ」と「安全性」を両立させるために設計されています。

🌐 他言語との比較

JavaのvarはGoの:=と似ていますが、GoはJavaよりも歴史的に先行してこの構文を持ち、かつvar（明示的宣言）と:=（推論）が明確に役割分担している点が特徴です。Pythonのように「型を書かなくてもいい」のではなく「型は必ず存在するが、書く手間を省ける」という発想の違いを意識すると理解が早まります。

🏆 実務での使いどころ

• 設定値やAPIのレスポンス構造体のフィールドにはvarで型を明示し、コードレビュー時に型の意図を明確にする
• 関数内のループ変数や一時変数はほぼ:=で書かれる（実際のOSSコード、たとえばKubernetesやDockerのソースでも大部分がこのスタイル）
• JSON/DBから受け取った数値をビジネスロジックで扱う際、intとfloat64の変換ミスは金額計算のバグに直結するため、明示的な型変換が求められる場面は極めて多い
• ゼロ値の仕組みは、構造体の初期化（var u Userだけで安全に使えるフィールドが揃う）にも直結しており、Go全体の設計の土台になっている

⚠️ よくある誤解・ミス

🚀 次のステップ

• 発展: 複数変数の同時宣言（var a, b, c = 1, 2.0, "x"）や、constブロックとの違いを触ってみましょう
• 次回予告: Day 002 — 定数とiota（constとiotaによる列挙パターン）

🎯 自己評価

自分の回答

気づき・メモ