Match with && operator

[Tagliatti]

Description

Why do expressions match with && or || operator behave like the example? What is the reason for returning false?

The following code: https://3v4l.org/KktKB#v8.2.4

<?php

$result = match('test') {
    'test' && true => true,
    'test2' && true => true,
    default => false,
};

var_dump($result);

Resulted in this output:

bool(false)

But I expected this output instead:

bool(true)

PHP Version

8.2

Operating System

No response

[ndossche]

I think you're misunderstanding the match arms.
The match arms are evaluated as expression on their own. So when you write 'test' && true this gets evaluated to true, similar reasoning for 'test2' && true this also becomes true. Note that the conditional expressions are only evaluated if the previous matches failed. So you example code, after evaluating the arm expressions, is actually equivalent to:

<?php

$result = match('test') {
    true => true,
    true => true,
    default => false,
};

var_dump($result);

There is no arm that matches with an identity check (===) to 'test'. Therefore the default match arm is taken, which results in the value false as you saw in your code example.
The fact that expressions are allowed in match arms allows for some dynamic computation of the arms.

Please let me know if that answered your question. I'm going to close this issue now as invalid, because the behaviour is correct.
The documentation contains some nice examples and more in-depth explanations: https://www.php.net/manual/en/control-structures.match.php