1. 解决方法
由于并非总是可以更正您未编写的所有代码,尤其是旧代码...
if (PHP_MAJOR_VERSION >= 7) {
set_error_handler(function ($errno, $errstr) {
return strpos($errstr, 'Declaration of') === 0;
}, E_WARNING);
}
此错误处理程序返回以它true
开头的警告Declaration of
,基本上告诉 PHP 已处理警告。这就是 PHP 不会在其他地方报告此警告的原因。
另外,此代码只能在 PHP 7 或更高版本中运行。
如果您希望仅针对特定代码库发生这种情况,则可以检查有错误的文件是否属于该代码库或感兴趣的库:
if (PHP_MAJOR_VERSION >= 7) {
set_error_handler(function ($errno, $errstr, $file) {
return strpos($file, 'path/to/legacy/library') !== false &&
strpos($errstr, 'Declaration of') === 0;
}, E_WARNING);
}
2.适当的解决方案
至于实际修复别人的遗留代码,在许多情况下,这可以在简单和可管理之间完成。在下面的示例中,类B
是 的子类A
。请注意,您不一定会通过遵循这些示例来删除任何 LSP 违规。
有些情况很容易。如果在子类中缺少默认参数,只需添加它并继续。例如在这种情况下:
Declaration of B::foo() should be compatible with A::foo($bar = null)
你会这样做:
- public function foo()
+ public function foo($bar = null)
如果您在子类中添加了其他约束,请将它们从定义中删除,同时在函数体内移动。
Declaration of B::add(Baz $baz) should be compatible with A::add($n)
您可能希望根据严重性使用断言或抛出异常。
- public function add(Baz $baz)
+ public function add($baz)
{
+ assert($baz instanceof Baz);
如果您发现约束纯粹用于文档目的,请将它们移动到它们所属的位置。
- protected function setValue(Baz $baz)
+ /**
+ * @param Baz $baz
+ */
+ protected function setValue($baz)
{
+ /** @var $baz Baz */
如果您的子类比超类的参数少,并且您可以在超类中将它们设为可选,只需在子类中添加占位符即可。给定错误字符串:
Declaration of B::foo($param = '') should be compatible with A::foo($x = 40, $y = '')
你会这样做:
- public function foo($param = '')
+ public function foo($param = '', $_ = null)
如果您看到子类中需要一些参数,请将此事掌握在您手中。
- protected function foo($bar)
+ protected function foo($bar = null)
{
+ if (empty($bar['key'])) {
+ throw new Exception("Invalid argument");
+ }
有时更改超类方法以完全排除可选参数可能更容易,回到func_get_args
魔术。不要忘记记录缺失的论点。
/**
+ * @param callable $bar
*/
- public function getFoo($bar = false)
+ public function getFoo()
{
+ if (func_num_args() && $bar = func_get_arg(0)) {
+ // go on with $bar
当然,如果您必须删除多个参数,这可能会变得非常乏味。
如果您严重违反替代原则,事情会变得更加有趣。如果您没有键入的参数,那么这很容易。只需将所有额外的参数设为可选,然后检查它们是否存在。给定错误:
Declaration of B::save($key, $value) should be compatible with A::save($foo = NULL)
你会这样做:
- public function save($key, $value)
+ public function save($key = null, $value = null)
{
+ if (func_num_args() < 2) {
+ throw new Exception("Required argument missing");
+ }
请注意,我们不能func_get_args()
在这里使用,因为它不考虑默认(未传递)参数。我们只剩下func_num_args()
.
如果您有一个具有发散接口的整个类层次结构,则可能更容易将其进一步发散。重命名每个类中定义冲突的函数。然后在这些类的单个中间父级中添加一个代理函数:
function save($arg = null) // conforms to the parent
{
$args = func_get_args();
return $this->saveExtra(...$args); // diverged interface
}
这种方式仍然会违反 LSP,尽管没有警告,但您可以保留子类中的所有类型检查。