php - PHP 抽象类的子类中的类型安全/类型提示

Question

我正在设置我继承的框架的新部分。这是一个真正执行一些最佳实践的机会，所以我会尽可能多地尝试。

框架运行在php5.4(windows环境)

我已经建立了一个抽象类，BaseModel。在此我定义了几个核心功能位，例如:公共(public)访问器和公共(public)数据库交互。

然后我扩展它来创建我将要使用的模型。在测试用例中，文件“UserModel”创建了一个名为“User”的类。

在 BaseModel 中，我创建了以下抽象函数:

abstract public function getById($id);

然后在 UserModel 中定义这个函数

public function getById($id)
{
    // just a test!
    return 'this works!';
}

我想强制执行类型安全。但是，如果我这样做，我会出错:

public function getById(User $id)
{
    // just a test!
    return 'this works!';
}

我可以做到以下几点

abstract public function getById(BaseModel $id);

public function getById(BaseModel $id)
{
    // just a test!
    return 'this works!';
}

哪个有效，但老实说也不太有用。 User 是 BaseModel 类型，但所有其他扩展类也是。我想做的是:

abstract public function getById(BaseModel $id);

public function persist(User $item)
{
    // just a test!
    return 'this works!';
}

我知道我可以添加一行进行手动类型安全，按照这些行(伪代码)

if ($item instanceof User)
{
//do stuff
}

但是 - 这似乎有点变通，而不是找到真正的方法。

我有一种沮丧的感觉，这种“智能/感知类”功能在 php 中不可用。

任何人都可以确认/否认这一点或提供更优雅的解决方法吗？

Answer 1

经过更多的挖掘，感谢 deceze 的一篇有用的帖子，我认为这个想法还没有实现。他指出了一个类似的答案，它违反了 SOLID 的规则。

http://en.wikipedia.org/wiki/SOLID

基本上 - 这表示我不能更改父类:这就是“扩展”的要点。我只能扩展，不能修改父类。更改类型安全就是修改类。

但是 - 我认为这个例子并没有违反 SOLID 的规则。应该允许使用从基类扩展的类进行类型安全:你永远不能有一个不是“BaseModel”的“用户”......所以它不会修改父类。

看起来真正做到这一点的唯一方法是

if ($item instanceof User) 
{
// logic
}

在我的例子中，父类可能足以解决大多数问题，但遗憾的是我无法按照预期的方式对其进行类型保护。

[感谢deceze。已投票。]