Hej ludzie, co znaczy ': int' na koncu pierwszej linijki w ponizszym kodzie? Że funkcja ma zwrócić integer?

[PHP] pobierz, plaintext 
public static function addition(int $number2, int $number3): int
    {
        return $number2 + $number3;
    }
[PHP] pobierz, plaintext 

Dzięki.

Tak, jeśli typ zwrócony będzie inny, to otrzymasz coś w tylu: Return value must be of type integer ...

Ok, dzięki. Ale to po co wtedy autor tego kodu jeszcze rzutuje typ int na $number1 i $number2? Przecież nie ma możliwości żeby wyszło coś innego niż int.

Teoretycznie masz racje, ale jak by ktoś na siłę chciał wrzucić np. float albo inny typ to możesz to sobie obsłużyć ładnie w exception. Ale już np. podczas dzielenia sprawa nie jest taka oczywista bo może zwrócić float.

W tym kodzie tak, ale generalnie wymuszenie typów wejściowych nie implikują typu wyściowego. Zawsze może w metodzie coś zmodyfikować typ zmiennych.

[PHP] pobierz, plaintext 
public static function addition(int $number2, int $number3): int
{
    $number2 = $this->countNumber($number2); // jeśli tutaj wróci float to wynik też będzie float
    return $number2 + $number3;
}
[PHP] pobierz, plaintext 

To nie jest rzutowanie, a określenie jakiego typu są zmienne wejściowe.

Bo to proste dodawanie, ale określenie zwracanego typu jest tak samo ważne jak typy wejściowe.

Problem z PHP jest taki, że nie jest językiem silno typowanym (co się jednak zmienia i kładzie się nacisk na typy jak widać) i sporo programistów jest już do tego przyzwyczajonych...
Spróbuj na chwilę przerzucić się na Jave czy C#, to zrozumiesz o co w tym biega, jeżeli nadal masz problem.

Rozumiem. Dzięki za odpowiedzi.