현대 PHP에서 '절대'반환 유형으로 실행 흐름 제어

PHP 8.1에서 Never Return 유형은 예외를 던지거나 스크립트를 종료하여 함수가 발신자에게 반환되지 않음을 명시 적으로 나타냅니다. 1. 코드 선명도를 향상시키고 오류 핸들러, 리디렉션 및 정상적으로 반환되지 않는 어설 션 실패와 같은 기능을 표시하여 더 나은 정적 분석을 가능하게합니다. 2. 실제 용도에는 FAIL (), redirect () 및 AssertionFailed ()와 같은 함수가 포함되어 제어 흐름이 예상대로 정지되도록합니다. 3. 혜택에는 개선 된 버그 감지, 명확한 개발자 의도 및 안전한 논리가 포함되며, 제한 사항에는 반환 문 또는 값, 심지어 널 및 오용이 치명적인 오류가 발생합니다. 기능이 실제로 돌아 오지 않을 때는 항상 사용하지 마십시오.

현대 PHP, 특히 PHP 8.1 이후의 경우 never Return 유형은 함수 또는 메소드가 발신자에게 제어를 반환하지 않음 을 명시 적으로 알리는 강력한 방법을 제공합니다. 이는 오류 처리기, 리디렉션 또는 어설 션 실패와 같은 예외 또는 종료 실행을 항상 던지는 기능에 유용합니다.

never 사용하면 코드 선명도가 향상되고 정적 분석기가 버그를 잡고 다른 개발자에게 명확하게 의도 할 수 있도록 도와줍니다.

never 의미가 없습니까?

never 리턴 유형은 기능을 나타냅니다.

• 정상적으로 돌아 오지 않습니다 .
• 예외를 던지 거나 스크립트를 종료합니다 (예 : exit 또는 die 통해).

"아무것도 반환하지 않는다"는 것을 의미하는 void 와 달리 "돌아 오지 않는다"는 것을 의미하지 never .

 함수 실패 (문자열 $ 메시지) : 절대
{
    새로운 예외를 던지십시오 ($ 메시지);
}

fail() 호출되면 프로그램 흐름은 예외 또는 종료로 중지됩니다.

실제 사용 사례

1. 오류 및 예외 도우미

예외를 던지기 위해 존재하는 기능은 결코 혜택을받지 never .

 함수 미지급 할 수없는 () : 절대
{
    새로운 logicexception을 던지십시오 ( '이 코드에 도달해서는 안됩니다.');
}

함수 invalidargument (String $ name) : 절대
{
    새로운 InvalidArgumentException ( "{$ name}에 대한 잘못된 값");
}

이것은 통화가 실수로 도달 할 수있는 것으로 가정 한 후 우발적 인 코드를 방지합니다.

2. HTTP 응답을 리디렉션하고 종료합니다

웹 응용 프로그램에서 리디렉션 기능은 종종 실행을 종료합니다.

 함수 리디렉션 (String $ URL) : 절대
{
    헤더 ( "위치 : $ URL");
    출구();
}

이제 redirect() 호출하면 스크립트가 명확하게 종료됩니다. 추가 코드가 실행되지 않아야합니다.

3. 주장 실패

사용자 정의 어설 션을 사용할 때 :

 기능 assertisstring (혼합 $ 값) : void
{
    if (! is_string ($ value)) {
        AssertionFailed ( '예상 문자열');
    }
}

function AssertionFailed (String $ 메시지) : 절대
{
    새로운 AssertionError를 던지십시오 ($ 메시지);
}

이를 통해 도구는 어설 션이 실패하면 나머지 기능이 도달 할 수 없음을 이해하는 데 도움이됩니다.

never 사용하는 이점

• 더 나은 정적 분석 : Phpstan 또는 Psalm과 같은 도구는 도달 할 수없는 코드 또는 논리 오류를 감지 할 수 있습니다.
• 명확한 의도 : 다른 개발자들은이 기능이 반환되지 않을 것임을 알고 있습니다.
• 안전한 코드 : 제어 흐름에 대한 우발적 인 가정을 방지합니다.

예를 들어:

 함수 divide (int $ a, int $ b) : float
{
    if ($ b === 0) {
        새로운 DivisionByzeroRror ()를 던지십시오.
    }
    $ a / $ b를 반환합니다.
}

여기서는 예외가 발생하지만 never 분석은 확실하지 않습니다. 그러나 우리가 그것을 추출하면 :

 함수 divide (int $ a, int $ b) : float
{
    if ($ b === 0) {
        DivisionByzero ();
    }
    $ a / $ b를 반환합니다.
}

함수 DivisionByzero () : 절대
{
    새로운 DivisionByzeroRror ()를 던지십시오.
}

이제 분석기는 $b !== 0 때만 return 에 도달한다는 것을 알고 있습니다.

제한 및 메모

• 당신은 never 기능, 심지어 null 에서 값을 반환 할 수 없습니다 .
• 당신은 돌아올 수 없습니다 return; 명령문 ( void 함수로 허용).
• 기능이 실제로 반환되지 않는 경우에만 유효합니다. 그것을 잘못 사용하면 치명적인 오류가 발생합니다.

 함수 badexample () : 절대
{
    반품; // 치명적인 오류 : 리턴 유형이없는 함수는 반환되지 않아야합니다.
}

또한 기능을 올바르게 입력하지 않는 한 never Function을 호출해도 분석기에 자동으로 알리지 않습니다. 그래서 항상 사용하십시오 : never .

요약

never Return 유형은 작지만 PHP 유형 시스템에 영향을 미칩니다. 이상적입니다.

• 항상 예외를 던지는 기능
• 종료 조력자 (예 : 리디렉션)
• 어설 션 또는 도달 할 수없는 코드 마커

never 를 사용하면 코드를보다 예측 가능하고 안전하며 도구와 인간이 이해할 수있게됩니다.

기본적으로 : 함수가 다시 오지 않으면 PHP를 never 알려주는 것을 알려주십시오.

위 내용은 현대 PHP에서 '절대'반환 유형으로 실행 흐름 제어의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!