爲什麼重寫方法參數違反了PHP中的嚴格標準？

Question

我知道在StackOverflow中有幾個類似的問題，如this question。

爲什麼重寫方法參數違反了PHP中的嚴格標準？ 例如：

class Foo 
{ 
    public function bar(Array $bar){} 
} 

class Baz extends Foo 
{ 
    public function bar($bar) {} 
} 

嚴格的標準：巴茲::巴的聲明（）應該與 兼容是富::酒吧（）

在其他OOP編程語言，你可以。爲什麼PHP不好？

Answer 1

在OOP，SOLID代表單一職責，開閉，Liskov置換，界面分離和依賴倒置。

Liskov substitution原理指出的是，在一個計算機程序中，如果酒吧是一個亞型的Foo，然後Foo類型的對象可以與酒吧類型的對象替換而不改變任何所需性能的該程序（正確性，執行的任務等）。

在強類型編程語言中，當覆蓋Foo方法時，如果更改Bar中的簽名，實際上將重載，因爲原始方法和新方法可用於不同的簽名。由於PHP是弱類型的，這是不可能實現的，因爲編譯器無法知道你實際調用了哪些方法。 （因此，即使它們的簽名不同，也不能有兩個同名的方法）。

因此，爲了避免違反Liskov替代原則，會發出一個嚴格的標準警告，告訴程序員可能會由於子類中方法簽名的更改而中斷某些事情。

Answer 2

您可以重寫參數，但簽名應該匹配。如果您已將Array置於$bar之前，則不會出現問題。

例如，如果您添加了附加參數，則不會有任何問題，只要第一個參數具有相同類型的提示即可。這是任何語言的良好習慣。

Answer 3

因爲你Foo宣佈$bar應該array型的，而在擴展Bar，$bar的類型不聲明。

這不是一個錯誤，它是一個警告。您應該使方法定義與原始基類兼容。你可以，但是，忽略它，如果你知道你在做什麼（僅如果你知道你在做什麼！）

Answer 4

我知道我遲到了，但答案並沒有真正解決實際問題。

問題是PHP不支持函數/方法重載。以無類型語言支持函數重載將會很困難。

暗示有幫助。但在PHP中是非常有限的。不知道爲什麼。例如，你不能提示一個變量是一個int或布爾值，但數組很好。去搞清楚！

其他面向對象的語言使用函數重載來實現這一點。也就是說功能的簽名明顯不同。

因此，舉例來說，如果下面是可能的，我們不會有問題

class Foo 
{ 
    public function bar(Array $bar){ 
     echo "Foo::bar"; 
    } 
} 

class Baz extends Foo 
{ 
    public function bar(int $bar) { 
     echo "Baz::bar"; 
    } 
} 


$foo = new Baz(); 
$bar = new Baz(); 
$ar = array(); 
$i = 100; 

$foo->bar($ar); 
$bar->bar((int)$i); 

would output 

Foo::bar 
Baz::bar 

當然，當它來構造的PHP開發人員意識到他們必須實現它，喜歡還是不喜歡！所以他們只是在第一種情況下抑制錯誤或不提高它。

這是愚蠢的。

一個熟人曾經說過PHP實現的對象只爲實現命名空間的一種方式。現在我不太那麼批評，但是一些做出的決定傾向於支持這一理論。

我總是有最大的警告變成開發代碼的時候，我從來沒有讓一個警告，去了不理解這意味着什麼，什麼樣的影響是。我個人不關心這個警告。我知道我想要做什麼，PHP並沒有做到這一點。我來到這裏尋找一種方法來選擇性地抑制它。我還沒有找到方法。

所以我會陷入這個警告並且自己壓制它。羞愧我需要這樣做。但我對STRICT嚴格要求。