README

在函数/方法作用域中使用 psalm 查找类型赋值不匹配。

安装

$ composer require --dev struggle-for-php/sfp-psalm-typed-local-variable-plugin
$ vendor/bin/psalm-plugin enable struggle-for-php/sfp-psalm-typed-local-variable-plugin

最新版本支持 psalm ^4。

演示

<?php
class Entity{}
interface Repository
{
    public function findOneById(int $id): ?Entity;
}
interface Mock{}
/** @return \DateTimeInterface&Mock */
function date_mock() {
    return new class('now') extends \DateTime implements Mock{};
}

class Demo
{
    /** @var Repository */
    private $repository;

    function typed_by_phpdoc() : void
    {
        /** @var string|null $nullable_string */
        $nullable_string = null;
        $nullable_string = "a";
        $nullable_string = true; // ERROR
    }

    function typed_by_assignement() : void
    {
        $date = new \DateTimeImmutable('now');
        if (\rand() % 2 === 0) {
            $date = new \DateTime('tomorrow'); // ERROR
        }

        $bool = true; //direct typed without doc-block
        $bool = false; // ok (currently, this plugin treats true|false as bool)
        $bool = 1; // ERROR
    }

    function mismatch_by_return() : void
    {
        /** @var Entity $entity */
        $entity = $this->repository->findOneById(1); // ERROR
    }

    function works_with_intersection() : void
    {
        /** @var \DateTimeInterface&Mock $date */
        $date = new \DateTime('now'); // ERROR
        $date = date_mock(); // success
    }
}

$ ./vendor/bin/psalm -c demo.psalm.xml
Scanning files...
Analyzing files...

E

ERROR: InvalidScalarTypedLocalVariableIssue - demo/demo.php:23:28 - Type true should be a subtype of null|string
        $nullable_string = true; // ERROR


ERROR: InvalidTypedLocalVariableIssue - demo/demo.php:30:21 - Type DateTime should be a subtype of DateTimeImmutable
            $date = new \DateTime('tomorrow'); // ERROR


ERROR: InvalidScalarTypedLocalVariableIssue - demo/demo.php:35:17 - Type 1 should be a subtype of bool
        $bool = 1; // ERROR


ERROR: InvalidTypedLocalVariableIssue - demo/demo.php:41:19 - Type Entity|null should be a subtype of Entity
        $entity = $this->repository->findOneById(1); // ERROR


ERROR: InvalidTypedLocalVariableIssue - demo/demo.php:47:17 - Type DateTime should be a subtype of DateTimeInterface&Mock
        $date = new \DateTime('now'); // ERROR


------------------------------
5 errors found
------------------------------

插件问题

所有问题名称都有 TypedLocalVariableIssue 后缀。

• MixedTypeCoercionTypedLocalVariableIssue
  • 几乎等于 MixedArgumentTypeCoercion

例如。

function foo(array $a) : void {
    /** @var string[] $x */
    $x = $a;
}

• TypeCoercionTypedLocalVariableIssue
  • 几乎等于 ArgumentTypeCoercion

例如。

class A {}
class B extends A {}

function takesA(A $a) : void {
    /** @var B $b */
    $b = $a;
}

• InvalidScalarTypedLocalVariableIssue

  • 几乎等于 InvalidScalarArgument

• InvalidTypedLocalVariableIssue

  • 几乎等于 InvalidArgument

如果您想 忽略 特定问题，请在下面的 psalm.xml 中进行设置。

<issueHandlers>
  <PluginIssue name="MixedTypeCoercionTypedLocalVariableIssue">
      <errorLevel type="suppress">
          <file name="src/Foo.php"/>
      </errorLevel>
  </PluginIssue>
</issueHandlers>

免责声明

这是一个 实验性 插件。

限制

• 不支持全局变量。
• 不支持命名空间中的变量。
• 不支持 变量变量
• 非 each 行内 VariableReference。
  • 例如。

/** @var string $var1 */
/** @var bool $var2 */
$var1 = 'string'; // cannot determine type for $var1

// should fix like below
/** @var string $var1 */
$var1 = 'string';
/** @var bool $var2 */
$var2 = true;

待办事项

• 仅从_docblock 类型可选设置。