C++ virtual 관련

//
절대 용어나 내용에 대한 신뢰성은 없습니다.
틀린 부분은 지적해 주세요.

//
부모에 virtual 이 있을경우. 묵시적 형변환이 일어난것과 같은 현상을 발견했습니다.
게다가 virtual 이 존재할 경우. 형변환이 되지 않는 현상도 발견했습니다. (이것으로 virtual 자체가 묵시적 형변환 이라는 생각이 듭니다.)

virtual은 virtual function table에서 동적 바인딩을 통해 함수가 실행된다고 하는데요.
결과를 보면. 형변환(참조변환??)과 비슷한 기능으로 여겨집니다.

virtual이 붙으면 정적 바인딩(참조변환 불가능)
virtual이 안붙으면 동적 바인딩(참조변환 가능)' 이라는 생각도 듭니다.

여기서 알게 되는 가장 중요한 한가지.
virtual이 없으면. 내 맘대로 형변환이 가능한 함수 구현이 가능하다 입니다.

참고로. 이거 code 구분자가 [ % 군요... ㅡ_ㅡ;;;

[%

#include

//C vfn -> B fn
class C
{
public:
virtual void fn()
{
printf("class C: this[%x] this->fn[%x]\n", this, this->fn);
return ;
}
};

class B : public C
{
public:
void fn()
{
printf("class B: this[%x] this->fn[%x]\n", this, this->fn);
return ;
}
};

void displayObject(C* c)
{
printf("displayObject: C* c[%x], C* *c[%x], C* &c[%x], c->fn[%x]\n", c, *c, &c, c->fn);
c->fn();
((B*)c)->fn(); //virtual을 붙이면 형변환이 보여지지 않는다.
}

int main()
{
B b;
C c;

printf("B b[%x], &b[%x]\n", b, &b);
displayObject(&b);
printf("\n");

printf("C c[%x], &c[%x]\n", c, &c);
displayObject(&c);
printf("\n");

return 0;
}

//------------------------------
//virtual 이 없을 경우
//------------------------------
B b[371acc], &b[12ff7c] b.fn[401140] ((C*)&b)[12ff7c] ((C*)&b)->fn[40113b] //함수 주소가 다릅니다. (형변환이 적용되어 보입니다.)
displayObject: C* c[12ff7c], C* *c[426fcc], C* &c[12ff28], c->fn[40113b] //C* c로 b의 주소가 왔습니다. c->fn은 ((C*)&b)->fn의 형변환된 주소로 출력됩니다.
class C: this[12ff7c] this->fn[40113b] //각각의 클래스에서 b의 주소를 참조하며 각각의 함수를 호출합니다.
class B: this[12ff7c] this->fn[401140]

C c[cc], &c[12ff78] c.fn[40113b] ((B*)&c)[12ff78] ((B*)&c)->fn[401140] //함수 주소가 다릅니다. (형변환이 적용되어 보입니다.)
displayObject: C* c[12ff78], C* *c[426fcc], C* &c[12ff28], c->fn[40113b] //C* c로 c의 주소가 왔습니다. c->fn은 c.fn의 주소로 출력됩니다.
class C: this[12ff78] this->fn[40113b] //각각의 클래스에서 c의 주소를 참조하며 각각의 함수를 호출합니다.
class B: this[12ff78] this->fn[401140]

//------------------------------
//부모에 virtual 이 있을 경우
//------------------------------
B b[423088], &b[12ff7c] b.fn[401159] ((C*)&b)[12ff7c] ((C*)&b)->fn[401159] //함수 주소가 같습니다. (형변환이 적용되지 않아 보입니다.)
displayObject: C* c[12ff7c], C* *c[423088], C* &c[12ff28], c->fn[401159] //C* c로 b의 주소가 왔습니다. c->fn/ b.fn/ ((C*)&b)->fn은 모두 주소가 같습니다.
class B: this[12ff7c] this->fn[401159] //b의 주소를 참조하여 B클래스와 함수만 호출 됩니다.
class B: this[12ff7c] this->fn[401159]

C c[42201c], &c[12ff78] c.fn[401159] ((B*)&c)[12ff78] ((B*)&c)->fn[401159] //함수 주소가 같습니다. (형변환이 적용되지 않아 보입니다.)
displayObject: C* c[12ff78], C* *c[42201c], C* &c[12ff28], c->fn[401159] //C* c로 c의 주소가 왔습니다. c->fn/ c.fn/ ((B*)&c)->fn은 모두 주소가 같습니다.
class C: this[12ff78] this->fn[401159] //c의 주소를 참조하여 C클래스와 함수만 호출 됩니다.
class C: this[12ff78] this->fn[401159]

//------------------------------
//부모 자식 모두 virtual 일 경우
//------------------------------
B b[423088], &b[12ff7c] b.fn[401159] ((C*)&b)[12ff7c] ((C*)&b)->fn[401159] //함수 주소가 같습니다. (형변환이 적용되지 않아 보입니다.)
displayObject: C* c[12ff7c], C* *c[423088], C* &c[12ff28], c->fn[401159] //C* c로 b의 주소가 왔습니다. c->fn/ c.fn/ ((C*)&b)->fn은 모두 주소가 같습니다.
class B: this[12ff7c] this->fn[401159] //b의 주소를 참조하여 B클래스와 함수만 호출 됩니다.
class B: this[12ff7c] this->fn[401159]

C c[42201c], &c[12ff78] c.fn[401159] ((B*)&c)[12ff78] ((B*)&c)->fn[401159] //함수 주소가 같습니다. (형변환이 적용되지 않아 보입니다.)
displayObject: C* c[12ff78], C* *c[42201c], C* &c[12ff28], c->fn[401159] //C* c로 c의 주소가 왔습니다. c->fn/ c.fn/ ((B*)&c)->fn은 모두 주소가 같습니다.
class C: this[12ff78] this->fn[401159] //c의 주소를 참조하여 C클래스와 함수만 호출 됩니다.
class C: this[12ff78] this->fn[401159]