[C#기초] 가상함수/ 동적바인딩,정적바인딩

가상함수를 설명하기 위해 축구 빅클럽을 예를 들어 설명해보겠습니다.

유럽에는 축구 빅클럽이 여러개 있는데 빅클럽을 부모 클래스로, 맨체스터시티와 파리 생제르망을 자식 클래스로 두겠습니다.

 

 

namespace Football
{
    class BigClub
    {
        public void Info()
        {
            Console.WriteLine("BigClub.info");
        }
    }
    class ManCity:BigClub
    {
        public void Info()
        {
            Console.WriteLine("ManCity.info");
        }
    }
    class Paris : BigClub
    {
        public void Info()
        {
            Console.WriteLine("Paris.info");
        }
    }
    class Program
    {
        static void ShowInfo(BigClub club)
        {
            club.Info();
        }
 
        static void Main(string[] args)
        {
            BigClub big = new BigClub();
            ManCity man = new ManCity();
            Paris paris = new Paris();
            ShowInfo(big);
            ShowInfo(man);
            ShowInfo(paris);
 
        }
    }
}
 

 

그러면 답이 3개 다 BigClub.info로 나옵니다.

우리가 원하는 답은

BigClub.info

ManCity.info

Paris.info

인데 왜 그럴까요?

 

정적바인딩

---

 static void ShowInfo(BigClub club)
        {
            club.Info();
        }

 public virtual void Info()

        {

            Console.WriteLine("BigClub.info");

        }

 

public override void Info()

        {

            Console.WriteLine("ManCity.info");

        }

 

virtual과 override를 사용해서 우리가 원하는 답을 만들어낼 수 있습니다!

 

 

가상함수 테이블 

---

가상함수가 있으면 가상함수 테이블이 만들어집니다

위 코드들에서 Player메소드를 빅클럽 클래스와 파리생제르망 클래스에 추가하고, Info메소드는 빅클럽 클래스와 맨시티 클래스에만 남겨두겠습니다. 

 

 
namespace Football
{
    class BigClub
    {
        public virtual void Info()
        {
            Console.WriteLine("BigClub.info");
        }
        public virtual void Player()
        {
            Console.WriteLine("BigClub.player");
        }
    }
    class ManCity:BigClub
    {
        public override void Info()
        {
            Console.WriteLine("ManCity.info");
        }
    }
    class Paris : BigClub
    {
        public override void Player()
        {
            Console.WriteLine("Paris.player");
        }
    }
    class Program
    {
        static void ShowInfo(BigClub club)
        {
            club.Info();
        }
 
        static void PlayerInfo(BigClub club)
        {
            club.Player();
        }
        static void Main(string[] args)
        {
            BigClub big = new BigClub();
            ManCity man = new ManCity();
            Paris paris = new Paris();
            ShowInfo(big);
            ShowInfo(man);
            ShowInfo(paris);
            PlayerInfo(big);
            PlayerInfo(man);
            PlayerInfo(paris);
 
        }
    }
}

 

 

각 클래스의 가상함수 테이블을 살펴보겠습니다

 

BigClub virtual function Table

0:BigClub::info()

1:BigClub::display()

 

ManCity virtual funcion Table

 

0: ManCity::info() --> Info함수 주소값 가짐

1:ManCity::display() -->Player 함수는 만들지 않아서 부모의 주소값으로 들어감 

 

Paris virtual fuction Table

 

0: BigClub::info();

1: Paris:display();

 

 

만약, ShowInfo에 매개변수로 bigclub 객체가 들어온다면 가상함수 테이블에 의해

 

bigclub.virtualTable[0]()이 호출된다고 보시면 됩니다!

 

 

이런 원리로 작동하기에 ShowInfo(paris) 는 BigClub.info가 나오는 것이고, PlayerInfo(man)에 BigClub.player가 나오는 것입니다. 

 

 

동적바인딩 

 

---

가상함수를 만들면 정적바인딩이 불가능해지는데, 가상함수를 만들면 동적바인딩이 됩니다. 

virtual메소드를 BigClub클래스에 쓰게 되면 ShowInfo나 PlayerInfo의 매개변수에 BigClub에서 유도된 타입, 즉 자식 클래스들이 다 들어올 수 있기에 어떤객체가 정확히 들어오는지 모릅니다.

즉, 동적바인딩은 어느 데이터타입의 함수를 호출할지 결정을 유보하는 것이라 생각하시면 됩니다!

정적바인딩과 달리 실행파일을 만들면서 어떤함수를 호출할지 결정됩니다. 미리 결정되는 것이 아닙니다.