重載分辨率奇怪

Question

不知道這是否是C＃4+特定的，但只是注意到了這一點。

考慮下面的類：

class Base 
{ 
    protected void Foo(object bar, DayOfWeek day) 
    { 
    } 
} 

class Program : Base 
{ 
    protected void Foo(object bar, object baz) 
    { 
    } 

    void Bar(DayOfWeek day) 
    { 
    Foo(new { day }, day); 
    } 
} 

在Bar到Foo的調用，解析爲Foo(object, object)。

雖然將其更改爲：在Bar

class Base 
{ 

} 

class Program : Base 
{ 
    protected void Foo(object bar, object baz) 
    { 
    } 

    protected void Foo(object bar, DayOfWeek day) 
    { 
    } 

    void Bar(DayOfWeek day) 
    { 
    Foo(new { day }, day); 
    } 
} 

到Foo的調用，解析爲Foo(object, DayOfWeek)。

我的理解是，它應該總是像第二個例子那樣解決。

這是一個'錯誤'還是我缺乏理解（或無知）？

更新：

感謝您的答案。正如我發現的那樣，可以使用base.來調用基類中的方法。但是，在混合中添加另一個派生類時，問題會回來。

class Base 
{ 
    protected void Foo(object bar, DayOfWeek day) 
    { 
    } 
} 

class Program : Base 
{ 
    protected void Foo(object bar, object baz) 
    { 
    } 

    void Bar(DayOfWeek day) 
    { 
    base.Foo(new { day }, day); 
    } 
} 

class Derived : Program 
{ 
    void Baz(DayOfWeek day) 
    { 
    base.Foo(new { day }, day); 
    } 
} 

的base.通話作品Program，但隨後解析爲Foo(object, object)在Derived。

如何從Derived調用Foo(object,DayOfWeek)然後不必在Program中創建「冗餘」方法？

Answer 1

我認爲對於解析方法調用它首先在它的類中看起來，因爲DayOfWeek可以作爲object類型傳遞，它調用類自己的方法，而不是基類中的方法。

在第二種情況下，方法調用解析爲更具體的類型參數，因此調用Foo(object bar, DayOfWeek day)。

從MSDN - Method resolution.

方法在基類不是候選如果在派生 類的任何方法都是適用（第7.5.5.1）。

• 給定一組可用的候選函數成員，找到該集合中最好的函數成員。
• 如果該集合只包含一個函數成員，那麼該函數成員是最好的函數成員。
• 否則，最好功能部件是一個功能構件，其比所有其他函數成員相對於所述給定 參數列表更好，條件是每個功能部件相對於使用中的規則所有 其他函數成員第7.4.2.2節。
• 如果沒有一個函數成員比所有其他函數成員都好，那麼函數成員調用是 不明確，併發生編譯時錯誤。

Answer 2

你需要籤埃裏克利珀的博客 - 尤其是這篇文章：http://blogs.msdn.com/b/ericlippert/archive/2007/09/04/future-breaking-changes-part-three.aspx

切實雖然，重載解析算法搜索當前類可稱爲過載，只搜索基類如果在當前班級中找不到一種替代方案。

在第一種情況下，Foo(object, object)過載是適用的，因此不執行進一步的搜索。

在第二種情況下，Foo(object DayOfWeek)更好，所以它被使用。

詳細閱讀Eric的文章。

Answer 3

我認爲規範是有道理的。派生類程序員不需要知道方法在基類中的實現方式。否則，一個不吉利的人寫了一個比它的基類更不兼容的方法（並且這個人不知道基類的細節），然後調用基類中的方法。

Answer 4

正如其他人所指出的，問題與重載解析的方式有關。我想補充到：

如果Base.Foo是public，那麼你可以做到這一點去Base.Foo內Derived（假設Base.Foo是未覆蓋）：

((Base)this).Foo(new { day }, day); 

此外，你必須壓倒一切的選項（如果你可以改變Base.Foo是virtual）或明確隱藏Base.Foo內Program所以當你打電話base.Foo內Derived，但它仍然呼籲Base.Foo：

class Program : Base 
{ 
    protected void Foo(object bar, object baz) 
    { 
    } 

    protected new void Foo(object bar, DayOfWeek baz) 
    { 
    base.Foo(bar, baz); 
    } 

    void Bar(DayOfWeek day) 
    { 
    base.Foo(new { day }, day); 
    } 
} 

---

作爲附帶說明： 一般，派生類提供重載用更具體參數類型比它們的基類重載（例如Object.Equals(object),String.Equals(string)）。

即使有更少的（或相等）特定參數類型的情況下，他們會要麼倍率基方法（例如Object.Equals(object)，String.Equals(object) - >覆蓋Object.Equals(object)），或他們只是給它一個不同的方法的名稱。