A declaração switch
Basicamente, o switch
é um declaração (no inglês statement) que permite o programador controlar o fluxo do código. O switch
decide quais "braços" serão executados com base em uma sequência de comparações.
O switch
recebe um valor principal, ao qual será comparado pelo valor colocado em cada case
. Em todos os casos em que a comparação de igualdade for verdadeira, corpo do case
será executado.
Um exemplo:
<?php
$a = 5;
$b = 6;
$operator = '*';
switch ($operator) {
case '+':
echo 'Soma: ' . $a + $b;
break;
case '-':
echo 'Subtração: ' . $a - $b;
break;
case '*':
echo 'Multiplicação: ' . $a * $b;
break;
case '/':
// Cuidado com a divisão por zero.
echo 'Divisão: ' . $a / $b;
break;
default:
echo 'Operação inválida.';
}
Observe que:
- O
switch
foi utilizado para alterar o fluxo do código, a depender da variável $operator
.
- Utilizei o
break
ao final de cada case
(exceto no default
). Isso é necessário porque, sem eles, o switch
executaria todos os cases abaixo daquele que foi avaliado verdadeiramente. Esse comportamento é chamado switch fallthrough.
Pode-se afirmar, portanto, que o principal objetivo de um switch
é controlar o fluxo de um código através da comparação da igualdade entre o valor do switch
ao de cada case
.
Eventualmente, para substituir uma sequência de vários if
/else
s pela declaração switch
, alguns programadores utilizam switch (true)
como artifício para fazer com que cada case
seja executado a partir de uma avaliação de valor verdadeiro (já que cada case
será implicitamente comparado com true
, a expressão passada para o switch
). No entanto, essa prática pode ser classificada como "gambiarra", uma vez que utiliza do switch
para fazer algo que uma sequência de if
/else
faz — a economia de linhas é, também, raramente significante ao ponto de justificar tal utilização.
A expressão match
Ao contrário do switch
, o match
é uma expressão e, por isso, sempre deve retornar um valor. Por isso, o uso de match
será agora recomendado quando tiver que se retornar um valor.
Vejamos um outro exemplo de switch
, que utiliza de uma variável externa para armazenar o valor computado:
<?php
$a = 5;
$b = 6;
$operator = '*';
$result = 0; // Armazenaremos o resultado das computações aqui.
switch ($operator) {
case '+': $result = $a + $b; break;
case '-': $result = $a - $b; break;
case '*': $result = $a * $b; break;
case '/': $result = $a / $b; break;
}
echo "O resultado da operação com o operador `$operator` é $result.";
Note que, como switch
foi feito para controlar fluxo, se quisermos utilizá-lo para computar um valor, temos que manter uma variável externa. Fiz isso com $result
, para armazenar o resultado obtido pela "calculadora" implementada.
Nesse tipo de cenário, o switch
pode ser elegantemente substituído por uma expressão match
:
<?php
$a = 5;
$b = 6;
$operator = '*';
$result = match ($operator) {
'+' => $a + $b,
'-' => $a - $b,
'*' => $a * $b,
'/' => $a / $b
};
echo "O resultado da operação com o operador `$operator` é $result.";
A saída do código é a mesma, mas a diferença é gritante. Note que, como match
é uma expressão, ao contrário do switch
, o uso de ponto e vírgula ao final da expressão é obrigatório.
Observe também que, embora o switch
permita a utilização de um default case, ele acaba sendo opcional (como fiz nos exemplo acima). No match
, no entanto, embora você tenha a opção de utilizar um default case, no caso de você não o incluir, uma exceção do tipo UnhandledMatchError
será lançada se uma expressão sem match for encontrada. Isso mostra que match
sempre há de retornar um valor. Caso contrário, você deverá lidar com essa exceção. Mais detalhes na documentação.
Diferenças
De modo geral, as diferenças são:
- O
switch
é uma declaração e match
é uma expressão. Portanto, switch
por si só não é capaz de produzir um valor ao ser avaliado. Já match
, sim.
- Ausência de coerção de tipos. Ao comparar os valores de cada
case
, switch
utiliza o operador ==
(que faz conversão automática de tipos). Já o match
, ao fazer as avaliações, utiliza ===
(que não faz coerção de tipos).
- O
switch
permite que vários case
s sejam executados em seguida (se você não utilizar o break
). Isso se chama fallthrough. Ao contrário, match
não permite isso, permitindo que somente um braço seja avaliado por vez.
- O
match
é exaustivo. Isso é, se encontrar uma condição que não cabe a nenhum dos braços, a exceção UnhandledMatchError
. O switch
não possui algo do tipo e permite que nem todos os possíveis casos sejam lidados (geralmente isso ocorre por falha do programador).
A página do RFC detalha cada uma dessas diferenças. Consulte-a para mais detalhes.
É bem mais poderoso que um switch
. Também ajuda, de certo modo, programadores mais desatentos, já que possui "mecanismos nativos de defesa". No entanto, não consegui encontrar um caso de uso que o switch
não desse conta — acaba que switch
(quando utilizado para produzir valor) é um pouco mais verboso, mas isso raramente é um problema.
Agora pode-se dizer que é mais correto utilizar switch
unicamente para controlar fluxo. Na possibilidade do controle de fluxo ter que gerar um valor, match
provavelmente será o mais adequado.
Basicamente, a programação funcional tem ascendido popularidade recentemente e pattern matching é um recurso muito comum entre linguagens funcionais. Assim, o PHP, provavelmente para não "ficar para trás", parece ter decidido copiar esses recursos. Há quem diga que é bom, pois moderniza a linguagem. Outros podem achar que não. De certo modo, ambos os lados têm razão. Introduzir esse tipo de recurso pode facilitar certos casos de uso, mas será que realmente vale a pena introduzir um novo tipo de construção sintática na linguagem?
goto
, criando efetivamente uma jumplist (e não aoif
/elseif
, como os leigos confundem) - No PHP sempre foi uma coisa nebulosa. Omatch
provavelmente corresponde à atual tendência da linguagem de "ah, essa outra linguagem tem, então também precisamos", o que na prática só é mais uma expressão qualquer. Seja lá como usarem, já tinha como fazer a mesma coisa antes, mas vai agradar quem acredita na lenda de que "escrever menos é sempre melhor".c ? t : f
) encadeados