PHP - 独自型の厳格化：入門ガイド

こんにちは、未来のPHP魔法使いさんたち！私はあなたたちをPHPの独自型厳格化という魅力的な世界に案内することに兴奋しています。数年間PHPを教えてきた者として、この概念を理解することで、もっと優れたプログラマーになることができると伝えたいと思います。それでは、始めましょう！

PHP - Strict Typing

厳格化型とは何か？

本題に入る前に、厳格化型について理解しましょう。あなたがケーキを焼くとします。塩を砂糖の代わりに使うことはないでしょう？それは、レシピが材料について厳しいからです。同様に、PHPにおける厳格化型は、コード内で使用するデータの種類について正確であることです。

厳格化型の重要性

「なぜ厳格化型に気にする必要があるのか？」と思うかもしれません。私の若いパダワンよ、厳格化型はバグを防ぎ、コードをより信頼性高くし、性能を向上させるのに役立ちます。まるでコードの忠実な番人のような存在です！

例：緩やかな型の危険性

厳格化型がどれほど命を救うかを示す簡単な例を見てみましょう：

function addNumbers($a, $b) {
return $a + $b;
}

echo addNumbers(5, "10");  // 出力: 15
echo addNumbers("5", "10");  // 出力: 15

この例では、PHPは自動的に文字列「10」を整数に変換します。この行動、型を弄る（type juggling）と呼ばれるものは、予期せぬ結果につながることがあります。誰かが偶然に数に変換できない文字列を渡したらどうなるでしょう？混乱が生じます！

タイプヒントの登場

タイプヒントは、あなたの関数パラメータの名札のようなものです。PHPに「ここではこの特定のデータ型だけを受け入れる」と伝えます！

前の例を改良してみましょう：

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

echo addNumbers(5, 10);  // 出力: 15
echo addNumbers("5", "10");  // TypeErrorをスロー

今度は、誰かが文字列を整数の代わりに渡そうとすると、PHPは（技術的には）TypeErrorをスローします。まるでナイトクラブのIDを確認するボーイのように！

利用可能なタイプヒント

PHPはさまざまなタイプヒントを提供しています。以下は最も一般的なものの表です：

タイプヒント	説明
int	整数
float	浮動小数点数
string	文字列
bool	ブール（true/false）値
array	配列
object	任意のオブジェクト
callable	関数または呼び出し可能なメソッド
iterable	配列またはTraversableを実装したオブジェクト
self	同じクラス
?type	ヌル許容型（指定された型またはnull）

`strict_types`の力

さらに一歩進めて、strict_typesを使いましょう。これはPHPの「超厳格モード」を有効にすることです。

厳格な型を有効にするには、PHPファイルの一番上に以下の行を追加します：

<?php
declare(strict_types=1);

function divideNumbers(int $a, int $b): float {
return $a / $b;
}

echo divideNumbers(10, 3);  // 出力: 3.3333333333333
echo divideNumbers(10, "3");  // TypeErrorをスロー

strict_typesを有効にすると、PHPは型についてもっと厳しくなります。もはや「3」を整数に変換しようとしません。まるで計算を正確に行うことを強要する数学の先生のように！

返り値の型

関数パラメータの後ろにfloatが付いていることに気づいたでしょうか？これは返り値の型宣言です。PHPにこの関数は浮動小数点数を返さなければならないと伝えます。

function greet(string $name): string {
return "Hello, $name!";
}

echo greet("Alice");  // 出力: Hello, Alice!
echo greet(123);  // TypeErrorをスロー

実用的な例：シンプルな計算機

それでは、より実用的な例で全部をまとめてみましょう：

<?php
declare(strict_types=1);

class Calculator {
public function add(float $a, float $b): float {
return $a + $b;
}

public function subtract(float $a, float $b): float {
return $a - $b;
}

public function multiply(float $a, float $b): float {
return $a * $b;
}

public function divide(float $a, float $b): float {
if ($b == 0) {
throw new Exception("Division by zero is not allowed");
}
return $a / $b;
}
}

$calc = new Calculator();

try {
echo $calc->add(5.5, 3.2) . "\n";  // 出力: 8.7
echo $calc->subtract(10, 4) . "\n";  // 出力: 6
echo $calc->multiply(2.5, 3) . "\n";  // 出力: 7.5
echo $calc->divide(15, 3) . "\n";  // 出力: 5
echo $calc->divide(10, 0);  // Exceptionをスロー
} catch (TypeError $e) {
echo "Type Error: " . $e->getMessage();
} catch (Exception $e) {
echo "Error: " . $e->getMessage();
}

この例では、厳格な型を使用したCalculatorクラスのメソッドを作成しています。すべての数値にfloatを使用して、整数と小数の両方を処理できるようにしています。