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

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

该框架在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中不可用.

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

解决方法:

经过更多的挖掘,并感谢deceze的有用帮助,我认为这个想法尚未实现.他指出了类似的答案,这违反了SOLID的规则.

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

基本上-这表示我不能更改父类：这是“扩展”的要点.
我只能扩展,不能修改父类.
更改类型安全性就是在修改类.

但是,我认为这个示例不会违反SOLID规则.
应该允许使用从基类扩展的类进行类型保护：您永远不能拥有不是“ BaseModel”的“ User”……因此它不会修改父类.

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

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

在我的情况下,父类可能足以解决大多数问题,但是我无法按预期方式对其进行类型安全,这是一个耻辱.

[感谢减价.已投票.]

标签：inheritance,abstract-class,php,class
来源： https://codeday.me/bug/20191122/2059563.html