PHP中抽象类的子类中的类型安全/类型提示答案

【问题标题】：Typesafe / Type hinting in child classes of an abstract class in PHPPHP中抽象类的子类中的类型安全/类型提示
【发布时间】：2013-12-04 11:59:25
【问题描述】：

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

框架运行在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!';
}

我知道我可以添加一行进行手动类型检查，沿着这些行（伪代码）

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

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

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

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

【问题讨论】：

【解决方案1】：

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

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

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

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

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

在我的情况下，父类可能足以解决大多数问题，但很遗憾我不能按照我的预期对它进行类型安全。

[感谢 deceze。点赞。]

【讨论】：