非虛方法解析 - 爲什麼會發生這種情況

Question

我對非虛方法如何解決的理解（在C＃中）是依賴於變量的類型（而不是實例的類型）。

看看下面的代碼。

class Program 
{ 
    static void Main(string[] args) 
    { 
     Sedan vehicle = new Sedan(); 
     vehicle.Drive(); 
     vehicle.Accelerate(); 
    } 
} 

abstract class VehicleBase 
{ 
    public void Drive() 
    { 
     ShiftIntoGear(); 
     Accelerate(); 
     Steer(); 
    } 

    protected abstract void ShiftIntoGear(); 
    protected abstract void Steer(); 

    public void Accelerate() 
    { 
     Console.WriteLine("VehicleBase.Accelerate"); 
    } 
} 

class Sedan : VehicleBase 
{ 
    protected override void ShiftIntoGear() 
    { 
     Console.WriteLine("Sedan.ShiftIntoGear"); 
    } 

    protected override void Steer() 
    { 
     Console.WriteLine("Sedan.Steer"); 
    } 

    public new void Accelerate() 
    { 
     Console.WriteLine("Sedan.Accelerate"); 
    } 
} 

的控制檯窗口顯示以下內容：

Sedan.ShiftIntoGear 
VehicleBase.Accelerate 
Sedan.Steer 
Sedan.Accelerate 

這沒有意義，我相信會引發許多人的一個循環。如果現在宣佈變量車輛爲類型VehicleBase你

Sedan.ShiftIntoGear 
VehicleBase.Accelerate 
Sedan.Steer 
VehicleBase.Accelerate 

這是我想在前面的情況下，期望以及因爲該方法是加快非虛。

在之前的輸出中（與可變車輛類型爲Sedan一樣，我希望Sedan.Accelerate被調用而不是VehicleBase.Accelerate。現在，根據您從哪裏調用它（從內部或外部）行爲正在改變

在我看來，重新引入方法的重載解析規則優先，但我很難相信這是正確的/預期的行爲

Answer 1

非虛擬方法根據編譯時表達式的類型進行解析，調用目標在編譯時固定。編譯器在調用的源代碼上下文中的編譯時可用的符號信息中查找方法名稱，併發出調用指令以調用它能夠找到的非虛方法。不管實例的實際類型是什麼，調用總是從靜態類型信息到編譯時計算出來的非虛擬方法。

這是爲什麼調用Accelerate去Sedan.Accelerate在主要的方面，而是去VehicleBase.Accelerate中的VehicleBase.Drive背景：

在你Main功能的身體，你已經聲明類型的變量Sedan，並且使用該變量進行方法調用。編譯器在用於進行調用的變量類型中查找名爲「Accelerate」的方法，輸入Sedan，並找到Sedan.Accelerate。

在方法VehicleBase.Drive內部，編譯時間類型的「自我」是VehicleBase。這是編譯器在此源代碼上下文中唯一可以看到的類型，因此即使運行時對象實例的類型實際上是Sedan，對'VehicleBase.Drive'中的加速的調用始終將轉至VehicleBase.Accelerate。

在Sedan類型聲明的方法體，編譯器會通過查看Sedan類型的第一個方法，然後看VehicleBase類型如果沒有匹配是在Sedan找到解決非虛方法調用。

如果您希望調用目標根據實際對象實例類型進行更改，則必須使用虛擬方法。使用虛擬方法也會得到更一致的執行結果，因爲調用將始終轉到由對象實例在運行時確定的最具體的實現。

根據編譯時類型選擇非虛擬方法調用目標，但不知道運行時間。在運行時根據實例類型選擇虛擬方法調用目標。

Answer 2

所有這一切都非常有意義 - 當您聲明車輛爲Sedan時，Accelerate的兩個呼叫的解析方式不同：

• 當呼叫到Accelerate從Drive方法制備，它具有不知道有在Sedan一個new方法，所以它使該呼叫到基
• 的相應方法當呼叫到Accelerate由Main方法構成，編譯器知道您正在調用new方法，因爲它知道vehicle變量的確切類型爲Sedan。

在另一方面，當呼叫到Accelerate從Main方法制造，但變量聲明爲VehicleBase，編譯器不能假定類型是Sedan，所以解決了Accelerate該方法的基類再次。