最新のPHPで「never` return」タイプで実行フローを制御する

PHP 8.1のNever Return Typeは、例外をスローするか、スクリプトを終了することにより、関数が発信者に戻らないことを明示的に示します。 1.エラーハンドラー、リダイレクト、および通常は戻らないアサーション障害などの関数をマークすることにより、コードの明確さを強化し、より良い静的分析を可能にします。 2。実用的な用途には、fail（）、redirect（）、assertionfailed（）などの関数が含まれます。 3.利点には、バグ検出の改善、より明確な開発者の意図、より安全なロジックが含まれますが、制限により、返品の声明や価値、null、誤用の結果が致命的なエラーが発生します。関数が本当に戻らない場合は、常に使用しないでください。

現代のPHP、特にPHP 8.1以降、 never Return Typeは、関数または方法が発信者に制御を返さないことを明示的に信号する強力な方法を提供します。これは、常に例外をスローするか、エラーハンドラー、リダイレクト、またはアサーションの障害など、実行を終了する機能に役立ちます。

使用するneverコードの透明度が向上し、静的アナライザーがバグをキャッチし、他の開発者に意図を明確にするのに役立ちます。

never意味はありませんか？

never Return Typeは、関数を示しています。

• 正常に戻りません。
• 例外をスローするか、スクリプトを終了します（例： exitまたはdieを介して）。

「何も返さない」という意味とはvoid 、「戻ってくることさえしない」という意味でnever 。

 function fail（string $ message）：決して
{
    新しい例外をスロー（$メッセージ）;
}

fail()が呼び出されると、プログラムフローは例外または終了によって停止します。

実際のユースケース

1。エラーと例外ヘルパー

例外をスローするためにのみ存在する関数は、 neverから利益を得ません。

機能しない（）：決して
{
    新しいlogicexceptionを投げます（ 'このコードに到達してはいけません。'）;
}

function invalidargument（string $ name）：never
{
    新しいinvalidargumentException（{$ name}の無効な値。 "）;
}

これにより、誤って到達可能であると誤って想定されることから、偶発的なコードが防止されます。

2。HTTPリダイレクトと応答の終了

Webアプリケーションでは、リダイレクト関数はしばしば実行を終了します。

関数Redirect（String $ URL）：決して
{
    ヘッダー（ "場所：$ url"）;
    出口（）;
}

次に、 redirect()を呼び出すスクリプトを明確に終了します。さらにコードは実行されません。

3。アサーションの障害

カスタムアサーションを使用する場合：

関数assertisString（mixed $ value）：void
{
    if（！is_string（$ value））{
        assertionfailed（ 'expects string'）;
    }
}

function assertionfailed（string $ message）：never
{
    新しいassertionerror（$ message）を投げる;
}

これにより、ツールは、アサーションが失敗した場合、機能の残りの部分が到達できないことを理解するのに役立ちます。

never使用しないことの利点

• より良い静的分析：phpstanや詩編などのツールは、到達不可能なコードまたはロジックエラーを検出できます。
• より明確な意図：他の開発者は、関数が返されないことを知っています。
• より安全なコード：制御フローに関する偶発的な仮定を防ぎます。

例えば：

関数分裂（int $ a、int $ b）：フロート
{
    if（$ b === 0）{
        新しいDivisionByzeroError（）;
    }
    $ a / $ bを返します。
}

ここでは、例外がスローされますが、 never静的分析は確信していません。しかし、私たちがそれを抽出する場合：

関数分裂（int $ a、int $ b）：フロート
{
    if（$ b === 0）{
        DivisionByzero（）;
    }
    $ a / $ bを返します。
}

function divisionbyzero（）：決して
{
    新しいDivisionByzeroError（）;
}

これで、アナライザーは$b !== 0場合にのみreturnに達することがわかります。

制限とメモ

• never機能から値を返すことはできませnull 。
• 戻ることはできませんreturn;ステートメント（ void関数で許可されています）。
• 関数が本当に戻らない場合にのみ有効です。それを誤用すると、致命的なエラーが発生します。

 function badexample（）：決して
{
    戻る; //致命的なエラー：Never Return Typeを持つ関数は戻ってはいけません
}

また、機能が適切に入力されていない限り、 never関数を呼び出すことはアナライザーに自動的に通知されません。だから、常に使用し: never 。

まとめ

never Return Typeは、PHPのタイプシステムに小さいながらも衝撃的な追加です。それは理想的です：

• 常に例外をスローする関数
• 終了ヘルパー（リダイレクトなど）
• アサーションまたは到達不可能なコードマーカー

never使用することで、ツールや人間が理解しやすく、コードをより予測可能で、より安全で、簡単にします。

基本的に：関数が戻ってこない場合は、PHPにneverそれを伝えてください。

以上が最新のPHPで「never` return」タイプで実行フローを制御するの詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。