orklah/psalm-insane-comparison

Detects possible insane comparison ("string" == 0) to help migrate to PHP8

Installs: 1 137 300

Dependents: 3

Suggesters: 0

Security: 0

Stars: 34

Watchers: 4

Forks: 4

Open Issues: 0

Type:psalm-plugin

v2.3.0 2024-03-20 21:49 UTC

This package is auto-updated.

Last update: 2024-11-20 23:09:30 UTC


README

A Psalm plugin to detect code susceptible to change behaviour with the introduction of PHP RFC: Saner string to number comparisons

Installation:

$ composer require --dev orklah/psalm-insane-comparison
$ vendor/bin/psalm-plugin enable orklah/psalm-insane-comparison

Usage:

Run your usual Psalm command:

$ vendor/bin/psalm

Explanation:

Before PHP8, comparison between a non-empty-string and the literal int 0 resulted in true. This is no longer the case with the PHP RFC: Saner string to number comparisons.

$a = 'banana';
$b = 0;
if($a == $b){
    echo 'PHP 7 will display this';
}
else{
    echo 'PHP 8 will display this instead';
}

This plugin helps identify those case to check them before migrating.

You can solve this issue in a lot of ways:

  • use strict equality:
$a = 'banana';
$b = 0;
if($a === $b){
    echo 'This is impossible';
}
else{
    echo 'PHP 7 and 8 will both display this';
}
  • use a cast to make both operands the same type:
$a = 'banana';
$b = 0;
if((int)$a == $b){
    echo 'PHP 7 and 8 will both display this';
}
else{
    echo 'This is impossible';
}
$a = 'banana';
$b = 0;
if($a == (string)$b){
    echo 'This is impossible';
}
else{
    echo 'PHP 7 and 8 will both display this';
}
  • Make psalm understand you're working with positive-ints when the int operand is not a literal:
$a = 'banana';
/** @var positive-int $b */
if($a == $b){
    echo 'This is impossible';
}
else{
    echo 'PHP 7 and 8 will both display this';
}
  • Make psalm understand you're working with numeric-strings when the string operand is not a literal:
/** @var numeric-string $a */
$b = 0;
if($a == $b){
    echo 'PHP 7 and 8 will both display this depending on the value of $a';
}
else{
    echo 'PHP 7 and 8 will both display this depending on the value of $a';
}