型宣言 (type hints)

型宣言 (type hints)

Lesson 6 / Chapter 5

ゴール

function add(int $a, int $b): int {
    return $a + $b;
}

このように 引数と戻り値に型を書ける ようになる。

?int / int|string までを使えるところまで持っていく。

なぜ型を書くのか

// 型なし: 何を渡せばいいか不明
function add($a, $b) { return $a + $b; }

add("3", "5");   // → "35" ? 8 ? 動くけど怖い

• 何が入って何が出るかが、 コメントなしで伝わる
• バグが本来の発生箇所で即エラーになる
• 後から読む人にとって ドキュメント になる

引数と戻り値に型を書く

<?php
function add(int $a, int $b): int {
    return $a + $b;
}

echo add(3, 5);    // 8

• 引数: int $a のように 型 + 変数名
• 戻り値: ): int を関数定義の後ろに付ける
• 基本型 = int / float / string / bool / array

文字列を返す例

<?php
function repeat(string $s, int $n): string {
    return str_repeat($s, $n);
}

echo repeat("ab", 3);   // "ababab"

• 引数 2 つ、 戻り値 1 つの両方に型
• 入口で string int が来るとわかる
• 出口で string が返るとわかる

null を許す型: ?string

<?php
function find(int $id): ?string {
    if ($id === 1) return "alice";
    return null;        // 見つからなければ null
}

• ?string = 「string または null」
• 「見つからないことがある」 検索系の戻り値で頻出

共用体型: int|string (PHP 8+)

<?php
function f(int|string $x): int|string {
    if (is_int($x)) return $x * 2;
    return strtoupper($x);
}

echo f(5);      // 10
echo f("hi");   // "HI"

• int|string で「int か string のどちらか」
• 「なんでも」 と思ったら mixed の前に共用体 を検討
• 意図がコードに残るので保守性が上がる

このチャプターでできるようになること

✅ function f(int $x): int { ... } で引数と戻り値に型を書ける

✅ 基本型 (int / string / bool / array 等) を引数に書ける

✅ ?string で null 許容を表現できる

✅ int|string の共用体型で「複数の型」を表せる

→ ドリルへ