如何告诉 PhpStorm 实现细节？ （魔术方法）

Question

我有一个对象“用户”，它的可访问性被声明为受保护的属性，但可以通过魔术 __set 方法直接设置。

现在 PhpStorm 用右侧的大红色柱表示这种明显的不一致。

是否可以向 PhpStorm 解释发生了什么，因此不再显示为错误？

---

编辑：

我使用 PhpStorm 2.1.4

好的，这里有一些代码可以说明这个问题（连同 Alexey 迄今为止建议的解决方法，遗憾的是它对我没有用）：

c.php:

<?php
/**
 * @property mixed $a
 */
class c1
{
    protected $a;

    public function __construct() { $this->a = __CLASS__; }

    public function __get($n) { return $this->{$n}; }
}

/**
 * @property $a mixed
 */
class c2
{
    protected $a;

    public function __construct() { $this->a = __CLASS__; }

    public function __get($n) { return $this->{$n}; }
}

test.php

<?php
require "c.php";

$c1 = new c1();
var_dump($c1->a);

$c2 = new c2();
var_dump($c2->a);

和输出：

string 'c1' (length=2)
string 'c2' (length=2)

以及 它在 PhpStorm 中的外观：

我的目标：

要么让 PhpStorm “理解”设计，要么只是在不影响除此问题之外的错误检测的情况下摆脱那些到处都是恼人的红色标记。

Answer 1

这现在在 PHPStorm 3 中运行 :)

很遗憾，这是我们跟踪器中的一个公开请求，请参阅 http://youtrack.jetbrains.net/issue/WI-4468

现在避免此警告的唯一方法是将@property 添加到 $user 的类声明中。即

/**
 * @property $name string
 */
class User {
    protected $name; 
}
$user = new User();
$user->name = "me";