PHP中抽象类的子类中的Typesafe / Type提示

Question

我正在建立一个继承的框架的新部分。这是真正实施一些最佳实践的机会，因此我正在尝试做尽可能多的事情。

该框架在php5.4（Windows环境）中运行。

我已经建立了一个抽象类BaseModel。在本文中，我定义了几个核心功能，例如：通用访问器和通用数据库交互。

然后，我将其扩展以创建将要使用的模型。在测试用例中，文件“ 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!';
}

我知道我可以在这些行中添加一条手动进行typeafing的行（伪代码）

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

但是，这似乎是一种解决方法，而不是找到真正的方法。

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

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

Answer 1

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

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

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

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

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

在我的情况下，父类可能足以解决大多数问题，但很遗憾我无法按照我的意图对其进行类型安全。

[感谢deceze。赞成。]