오버 라이딩 및 가상 함수 호출에서 stackoverflow 예외가 발생하지 않는 이유는 무엇입니까?

Question

class Program 
{ 
    static void Main(string[] args) 
    { 
     B foo = new B(); 
     foo.DoWork(); 
     Console.ReadLine(); 
    } 
} 

public class A 
{ 
    public virtual void DoWork() { Console.WriteLine("A"); } 
} 
public class B : A 
{ 
    public override void DoWork() { base.DoWork(); Console.WriteLine("B"); } 
} 

왜 StackOverflow 예외가 발생합니까? 내가 이해하는 것처럼, foo.DoWork()가 불려지면 B.DoWork() 메서드에서 오버라이드 된 virtual 인 base.DoWork()가 호출되어 스택이 오버플로 될 때까지 base.DoWork()를 다시 반복한다. . 이 overflow는 base (self를 호출하는 순환 루프) 대신에 이것을 사용할 때 쉽게 얻을 수 있습니다. 이 경우 가상 함수 오버라이드를 방지하는 것은 무엇입니까?

Answer 1

아니요, base을 사용하는 경우 은으로 가상 전화를 걸지 않습니다. 요점은을 재정의 한 경우에도 base 구현 으로 전화 할 수 있다는 것입니다.

당신이 생성 된 IL을 보면, 당신이 callvirt 사용하지 않는 볼 수 있습니다 :

다음 C# 5 사양 (강조 광산)의 섹션 7.6.8에서

IL_0002: call  instance void A::DoWork() 

을

기본 액세스가 가상 함수 멤버 (메서드, 속성 또는 인덱서)를 참조하면 런타임에 호출 할 함수 멤버 (§7.5.4)의 결정이 변경됩니다. 호출 된 함수 멤버는 B에 대한 함수 멤버의 가장 파생 된 구현 (§10.6.3)을 찾아서 결정됩니다 (런타임 유형이 아닌 일반 베이스 액세스). 따라서 가상 함수 멤버의 재정의 내에서 기본 액세스를 사용하여 함수 멤버의 상속 된 구현을 호출 할 수 있습니다. 기본 액세스가 참조하는 함수 멤버가 추상 클래스이면 바인딩 타임 오류가 발생합니다.

Answer 2

가상 메서드는 재정의 될 수 있고 코드가 포함 된 메서드 일뿐입니다. base.DoWork()으로 전화 할 때 A.DoWork()으로 전화하겠다고 명시 적으로 명시하십시오. 그런 다음 A.DoWork()이 호출됩니다.

A.DoWork() 추상화하면 코드를 포함 할 수 없습니다. 그런 다음 base.DoWork()에 실행할 것이 없기 때문에 base.DoWork()에 컴파일 오류가 발생합니다.

Answer 3

A.DoWork은 가상입니다. 그러나 base.으로 명명 된 방법은 이 아니며 가상입니다. 이 구문은 가상이 아닌 호출을 생성하므로 정확한 메서드가 호출되며 가장 파생 된 버전이 호출되지 않습니다.