PHPのスカラー型と戻り値の型宣言

スカラー型宣言

デフォルトでは、すべての PHP ファイルは弱い型チェック モードになっています。

PHP 7 では、スカラー型宣言の機能が追加されました:

force モード (デフォルト)

strict モード

スカラー型宣言の構文形式:

declare(strict_types) = 1);

strict_types の値 (1 または 0) は、関数呼び出しと return ステートメントに適用される厳密な型チェック モードを示します。

declare(strict_types=1) はファイルの最初のステートメントでなければなりません。このステートメントがファイル内の他の場所にある場合、コンパイル エラーが生成され、ブロック モードは明示的に禁止されます。

strict_types ディレクティブは、指定されたファイルに影響を与えますが、(include などを通じて)それにインクルードされた他のファイルには影響しません。このディレクティブは実行時にコンパイルされ、変更できません。その仕組みは、関数呼び出しと戻り値の型チェックが型制約に準拠するようにオペコードにフラグを設定することです。

使用できる型パラメータは次のとおりです:

呼び出し可能

強制モード 例

例

<?php 
// 强制模式 
function sum(int ...$ints) 
{ 
   return array_sum($ints); 
} 
print(sum(2, '3', 4.1)); 
?>

上記のプログラム実行出力結果は、

9

例の概要 パラメータ 4.1 を整数 4 に変換して加算します。

Strictモードの例

Example

<?php 
// 严格模式 
declare(strict_types=1); 
function sum(int ...$ints) 
{ 
   return array_sum($ints); 
} 
print(sum(2, '3', 4.1)); 
?>

上記のプログラムはStrictモードを採用しているため、パラメータに不適切な整数型が出現するとエラーが報告されます。 PHP Fatalエラー: キャッチされません TypeError: sum() に渡される引数 2 は、整数、指定された文字列、呼び出し先の型である必要があります...

戻り値の型宣言

PHP 7 では、戻り値の型宣言のサポートが追加されました。戻り値の型宣言は、関数の戻り値の型を指定します。

宣言できる戻り値の型は次のとおりです:

呼び出し可能

戻り値の型 宣言インスタンス

インスタンスでは、戻り値は整数である必要があります:

インスタンス

<?php 
declare(strict_types=1); 
function returnIntValue(int $value): int 
{ 
   return $value; 
} 
print(returnIntValue(5)); 
?>

上記のプログラム実行出力結果は次のとおりです: 5

戻り値の型宣言エラー インスタンス

インスタンス

<?php 
declare(strict_types=1); 
function returnIntValue(int $value): int 
{ 
   return $value + 1.0; 
} 
print(returnIntValue(5)); 
?>

上記プログラムはstrictモードを採用しているため戻り値はintである必要がありますが、計算結果はfloatなのでエラーが報告されます:

Fatal error: Uncaught TypeError: returnIntValueの戻り値。 () は整数型である必要があり、浮動小数点数が返されます...