Classes possuem contratos em seus métodos:
<?php
class A {}
class B extends A {}
function foo(A $a) {}
function bar(B $b) {
foo($b);
}
?>Esse código é correto para tipos, pois B segue o contrato de A, e através da co e contra variância, quaisquer expectativas a respeito dos métodos será atendida.
Enumerações possuem contratos em seus itens, não em seus métodos:
<?php
enum ErrorCode {
case SOMETHING_BROKE;
}
function quux(ErrorCode $errorCode)
{
// Nesse primeiro momento, esse código prevê todos os casos
match ($errorCode) {
ErrorCode::SOMETHING_BROKE => true,
};
}
?>
A instrução match na função quux pode ser analisada estaticamente
para verificar se cobre todos os casos possíveis em ErrorCode.
Mas imagine que seja possível estender enumerações, assim:
<?php
// Apenas para o exemplo onde enumerações não são finais.
// Isto *não* funciona no PHP.
enum MoreErrorCode extends ErrorCode {
case PEBKAC;
}
function fot(MoreErrorCode $errorCode) {
quux($errorCode);
}
fot(MoreErrorCode::PEBKAC);
?>Em condições normais de herança, uma classe que estende outra passará na checagem de tipos.
O problema ocorreria na instrução match da função quux() que agora não cobre todos
os casos. Porque a função não prevê o item MoreErrorCode::PEBKAC o match irá falhar com uma exceção.
Por conta disso, as enumerações são finais e não podem ser estendidas.