Day 044 — reflectパッケージ（コードレビュー: 書き込み系reflectの3つのバグ）

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

Day 043では、reflectを使って構造体の必須フィールドを検証するValidateRequired関数を実装しました。今回はその発展として「読む（検証する）」だけでなく「書く（値を書き換える）」リフレクションを扱います。

reflectで値を読むだけなら、reflect.ValueOf(v)に構造体そのものを渡しても特に問題は起きません。しかし値を書き換える（Set系メソッドを呼ぶ）には、追加の条件が必要です。Goの値渡しの原則（関数に渡された値はコピーである）はreflectの世界でも変わらないため、reflect.ValueOf(v)が保持しているのは「元の変数のコピー」であり、そのコピーを書き換えても呼び出し元の変数には反映されません。さらにreflectパッケージは、このコピーへの書き込みそのものを実行時パニックで拒否します（field.SetString(...)のようなメソッドを、書き込み不可能なreflect.Valueに対して呼ぶとpanic: reflect: reflect.Value.SetString using unaddressable valueのようなエラーになる）。

この「書き込み可能かどうか」をreflectはCanSet()というメソッドで明示的に問い合わせられるようにしています。これはGoの設計思想である「暗黙の失敗より、明示的なチェックと分かりやすいパニックメッセージ」の表れです。書き込み可能にするための唯一の方法は、構造体そのものではなく構造体へのポインタをreflect.ValueOfに渡し、.Elem()でポインタが指す実体（アドレス可能な値）を取り出すことです。

📝 問題

以下は、構造体のゼロ値フィールドに、フィールドタグdefaultで指定したデフォルト値を自動的にセットするApplyDefaults関数のつもりで書かれたコードです。このコードには複数のバグがあります。 go run main.goで実際に実行して挙動を確認し、バグを最低2つ指摘した上で、修正した完全なコードを提示してください。

📋 コピーpackage main

import (
	"fmt"
	"reflect"
)

// Config は設定値を保持する構造体。
// フィールドタグ default で指定した値を、ゼロ値のフィールドに自動的に埋めたい。
type Config struct {
	Host  string `default:"localhost"`
	Port  int    `default:"9090"`
	Debug bool   `default:"true"`
}

// ApplyDefaults は cfg のゼロ値フィールドに、タグで指定したデフォルト値をセットする（つもり）。
func ApplyDefaults(cfg interface{}) {
	v := reflect.ValueOf(cfg)
	t := reflect.TypeOf(cfg)

	for i := 0; i < v.NumField(); i++ {
		field := v.Field(i)
		tag := t.Field(i).Tag.Get("default")
		if tag == "" {
			continue
		}
		switch field.Kind() {
		case reflect.String:
			if field.String() == "" {
				field.SetString(tag)
			}
		case reflect.Int:
			if field.Int() == 0 {
				field.SetInt(8080) // Port専用の値を仮置きしている（本来はtagの値を使うべき）
			}
		}
	}
}

func main() {
	cfg := Config{}
	ApplyDefaults(cfg)
	fmt.Printf("%+v\n", cfg)
}

指摘・修正すべき観点（最低2つ選んで直すこと）:

1. このコードを実際に実行すると何が起きるか（go run main.goの出力を予測してから確認する）
2. ApplyDefaults(cfg)の呼び出し方と、関数内部のv.NumField()の呼び出しに矛盾がないか
3. Intのケースで8080が決め打ちされている点は、Config.Portのタグが"9090"であることと整合しているか
4. Debug boolフィールドのデフォルト値は、このコードで正しく処理されるか（switch文のcase一覧を確認する）

🔍 ヒント（段階的開示）

📋 コピーfunc ApplyDefaults(cfg interface{}) error {
	v := reflect.ValueOf(cfg)
	if v.Kind() != reflect.Ptr || v.IsNil() {
		return fmt.Errorf("cfgは構造体へのポインタである必要があります")
	}
	v = v.Elem() // ポインタが指す実体を取得する（ここでCanSetがtrueになる）
	t := v.Type()

	for i := 0; i < v.NumField(); i++ {
		field := v.Field(i)
		tag := t.Field(i).Tag.Get("default")
		if tag == "" || !field.CanSet() {
			continue
		}
		switch field.Kind() {
		case reflect.String:
			// ...
		case reflect.Int:
			n, err := strconv.ParseInt(tag, 10, 64)
			// ...
		case reflect.Bool:
			// ...
		}
	}
	return nil
}

✅ 模範解答

📋 コピーpackage main

import (
	"errors"
	"fmt"
	"reflect"
	"strconv"
)

// Config は設定値を保持する構造体。
// フィールドタグ default で指定した値を、ゼロ値のフィールドに自動的に埋める対象。
type Config struct {
	Host  string `default:"localhost"`
	Port  int    `default:"9090"`
	Debug bool   `default:"true"`
}

// ApplyDefaults は cfg（構造体へのポインタ）のゼロ値フィールドに、
// タグ default で指定した値をセットする。
//
// バグ1: 元のコードは ApplyDefaults(cfg) のように構造体を値渡ししていたため、
//        関数内で書き換えても呼び出し元の変数には反映されない（コピーへの書き込み）。
//        さらに t := reflect.TypeOf(cfg) と v := reflect.ValueOf(cfg) はどちらも
//        構造体そのものの Value/Type であり Kind() は Struct になるためパニックはしないが、
//        「読める」だけで「書き込めない」状態になっている。
// バグ2: Int のケースで tag の値を無視して 8080 を決め打ちしていたため、
//        Port のタグ "9090" が反映されない（Host のタグが正しく使われているのと非対称）。
// バグ3: switch 文に reflect.Bool の case がなく、Debug フィールドのデフォルト値が
//        まったく処理されない（無言でスキップされ続ける）。
func ApplyDefaults(cfg interface{}) error {
	v := reflect.ValueOf(cfg)
	if v.Kind() != reflect.Ptr || v.IsNil() {
		return errors.New("cfgは構造体へのポインタである必要があります")
	}
	v = v.Elem() // ポインタが指す実体を取得して初めて書き込み可能になる
	if v.Kind() != reflect.Struct {
		return fmt.Errorf("構造体へのポインタが必要です（got *%s）", v.Kind())
	}
	t := v.Type()

	for i := 0; i < v.NumField(); i++ {
		field := v.Field(i)
		tag := t.Field(i).Tag.Get("default")
		if tag == "" {
			continue
		}
		if !field.CanSet() {
			// 非公開フィールド（小文字始まり）などは書き込めないため安全にスキップする
			continue
		}

		switch field.Kind() {
		case reflect.String:
			if field.String() == "" {
				field.SetString(tag)
			}
		case reflect.Int, reflect.Int8, reflect.Int16, reflect.Int32, reflect.Int64:
			if field.Int() == 0 {
				n, err := strconv.ParseInt(tag, 10, 64)
				if err != nil {
					return fmt.Errorf("フィールド %s のdefaultタグ %q はint変換できません: %w", t.Field(i).Name, tag, err)
				}
				field.SetInt(n)
			}
		case reflect.Bool:
			// bool のゼロ値は false なので、フィールドが false のときだけ埋める
			if !field.Bool() {
				b, err := strconv.ParseBool(tag)
				if err != nil {
					return fmt.Errorf("フィールド %s のdefaultタグ %q はbool変換できません: %w", t.Field(i).Name, tag, err)
				}
				field.SetBool(b)
			}
		}
	}
	return nil
}

func main() {
	cfg := Config{}
	if err := ApplyDefaults(&cfg); err != nil {
		fmt.Println("エラー:", err)
		return
	}
	fmt.Printf("%+v\n", cfg)

	fmt.Println("\n--- 一部だけ既に値が入っている場合（上書きされないことを確認） ---")
	cfg2 := Config{Host: "example.com"}
	if err := ApplyDefaults(&cfg2); err != nil {
		fmt.Println("エラー:", err)
		return
	}
	fmt.Printf("%+v\n", cfg2)

	fmt.Println("\n--- ポインタでなく値を渡した場合（意図的なエラーハンドリングの確認） ---")
	cfg3 := Config{}
	if err := ApplyDefaults(cfg3); err != nil {
		fmt.Println("エラー:", err)
	}
}

実行結果（予測）:

📋 コピー{Host:localhost Port:9090 Debug:true}

--- 一部だけ既に値が入っている場合（上書きされないことを確認） ---
{Host:example.com Port:9090 Debug:true}

--- ポインタでなく値を渡した場合（意図的なエラーハンドリングの確認） ---
エラー: cfgは構造体へのポインタである必要があります

🪜 Step-by-Step 解説

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

🌐 他言語との比較

🏆 実務での使いどころ

• 設定ファイルのデフォルト値埋め込み: 環境変数や設定ファイルから読み込んだ構造体に対し、未設定項目にデフォルト値を適用する処理（kelseyhightower/envconfigのようなライブラリが同種のアプローチを取る）
• ORM/マッパーでの書き込み処理: データベースの行データを構造体のフィールドに書き込む処理は、今回学んだ「ポインタを受け取りElem()で実体を取得しSetする」パターンをそのまま使う
• テストのフィクスチャ生成: テストデータ構造体のゼロ値フィールドにランダム値やデフォルト値を自動生成して埋めるヘルパー関数

⚠️ よくある誤解・ミス

🚀 次のステップ

• 発展: 今回のApplyDefaultsに、reflect.Slice・reflect.Float64のcaseを追加し、テーブル駆動テスト（Day 023の応用）で全フィールド型の組み合わせを検証してみましょう
• 次回予告: unsafeパッケージの基礎 — reflectがCanSet()で守っていた「非公開フィールドへの書き込み禁止」を、あえて破る場面とその代償を学びます

🎯 自己評価

自分の回答

気づき・メモ