[컴파일러] 바인딩이란..정적바인딩,동적바인딩 구분은..?

C++은 동적바인딩(dynamic binding)을 지원하는 언어가 아닌가요?
성안당 C++책 689p에
[동적결합의 작동]
"멤버함수에 대해서만 동적결합을 사용할 수 있다." 라고 나와있습니다.
클래스상에서 멤버변수에는 virtual을 적용할 수 없다는 그 이야기를 하고 있는것 같습니다.

#include<iostream>
using namespace std;

class First
{
public:
	virtual void show(){
		cout << "-First-" << endl;
	}
};

class Second : public First
{
public:
	void show(){
		cout << "-Second-" << endl;
	}
	void test(){
		cout << "test" << endl;
	}
};

class Third : public Second
{
public:
	void show(){
		cout << "-Third-" << endl;
	}
};

int main() 
{ 
	First *point;	
    First first;
	Second second;
	Third third;
	
	int input;
	cin >> input;
    switch(input)
	{
	case 1:
	point = &first;
	(*point).show();
	break;
    
	case 2:
	point = &second;
	(*point).show();
    //(*point).test(); 오류!!!

	break;

	case 3:
	point = &third;
	(*point).show();
	break;
	}
	return 0;
} 

#include<iostream>
using namespace std;

int main() 
{ 
float i = 48;
void *p = &i;

int input; 
cin >> input;
if(input == 1) cout << *(char *)p;
else           cout << *(float *)p;

return 0; 
}

#include<iostream>
using namespace std;

template<typename Type>
class Test
{
public:
	Type value;
};

int main() 
{ 
	int input;
	cin >> input;
	if(input == 1){
		Test<int> te;
		te.value = 10;
	}
	else{
		Test<char *> te;
		te.value="TEST";
	}
    return 0;
} 

지금까지의 내용이 맞다면..
최초에 질문했던..
첫째,
"With dynamic type binding, the type is not specified by a declaration statement,
nor can it be determined by the spelling
of its name. Instead, the variable is bound to a type when it is assigned a value
in an assignment statement. When the assignment statement is executed, the variable
being assigned is bound to the type of the value of the expression on the right side of the assignment."
"동적타입 바인딩에서는 타입이 선언문에 명세되지 않으며, 그 이름 철자로 부터도 결정될 수 없다. 대신 배정문에서 값이 변수에 배정될 때,
타입이 변수에 바인딩된다. 즉, 배정문이 실행될 때 배정 받는 변수는 배정문의 우변에 있는 값, 변수, 또는 식의 타입에 바인딩된다."

이 내용 잘못된 것 아닌가요?
(위 예제 소스에선 동적타입바인딩이어도 타입이 선언문에 명시가 되는데요..)

둘째,
"Finally, languages that have dynamic type binding for variables must be implemented
using pure interpreters rather than compilers. It is not possible to create machine
code instructions whose operand types are not known at compile time."

"마지막으로, 변수에 동적 타입바인딩을 사용하는 언어는 흔히 컴파일러보다는 순수 인터프리터를
사용하여 구현되어야 한다. 컴파일 시간에 피연산자 타입이 알려지지 않은 기계코드 명령어를 생성하는 것은 가능하지 않다."

번역판에선 "컴파일러보다는" 으로 비교로 해석되었지만 원문을 보면
"rather than" 입니다. 컴파일러는 아예 아니라는 얘기입니다.

하지만 마찬가지로.. 동적타입바인딩 방식이 컴파일러 방식인 C++에서 구현되는것 아닌가요?
위 소스에서 컴파일시간에 피연산자의 타입은 모르지만 if문이나 switch-case
문의 모든 경우를 코드로 생성해주면.. 컴파일 시간에도 동적바인딩이 구현되는것 아닌가요?

2가지 질문입니다.
잘못된 점 지적 부탁드립니다...

C++에서 클래스의 메소드에 있어서...
virtual function 을 쓰는것은 dynamic binding 이라고 했습니다.
첫번째 소스는 컴파일 방식으로 처리되므로 컴파일 시간에 1,2,3 입력에 따르는 모든 경우가 미리 코드로 만들어집니다.
실행시간에는 어떠한 코드도 추가 될 수 없고 이미 주어진 세가지 경우중 한가지로 진행이 되는것입니다.
저도 처음엔 이런것도 dynamic binding으로 볼 수 있나 생각이 들었지만.. 책에서 그렇다고 하니까 이런 개념도 dynamic binding으로 보고 다른 예 들을 찾아본것입니다.
나머지 2가지 소스도 마찬가지 방식입니다. 그런데..

말씀하신 대로 이것이 dynamic binding이 아니라면
virtual funcion은 어떻게 dynamic binding이 되나요?

또한 예로 드신

SuperType v; 
if (case1) { 
  v = SubType1(); 
} 
else if (case2) { 
 v = SubType2(); 
} 
v.doOperation(); 

그리고 만일..
if문이나 switch case문에서 모든 경우에 대해서 컴파일 타임에 코드로 만들어 놓고 실행타임에는 선택해서 실행만 하는 지금까지의 내용이 dynamic binding 이 아니라면 ..

예로 드신 내용과 동일한 내용입니다.

class Robot{
	void ahead(Robot t){
	}
}
class M1tank extends Robot{
    void ahead(){
		System.out.println("M1tank.ahead()");
	}
}
public class Test{
	public static void main(String[] args)
	{
		M1tank m = new M1tank();
		Robot r = new Robot();
		r.ahead(m);
	}
}

Test.java:15: ahead(Robot) in Robot cannot be applied to (M1tank)
                r.ahead(m);
                 ^

#include<iostream> 
using namespace std; 

int main() 
{ 
float i = 48; 
void *p = &i; 

int input; 
cin >> input; 
if(input == 1) cout << *(char *)p; 
else           cout << *(float *)p; 

return 0; 
} 

SuperType v; 
if (case1) { 
  v = SubType1(); 
} 
else if (case2) { 
 v = SubType2(); 
} 
v.doOperation();

컴파일타임에 코드를 생성하면서 함수!를 미리 실행시켜볼 수
없다는것 따라서 파라미터를 미리 전달해서 알려줄 수 없고!!
리턴 결과도 컴파일타임에 알 수 없다는것!!
결국 바인딩은 실행타임으로 넘어가야 된다는것...
동적바인딩 맞습니다..
(함수호출까지 있는 언어의 컴파일러를 제작해 봤다면 진작 이해했을 텐데요..)
그리고 앞서 제 소스들은 정적바인딩입니다..

답변 대단히 감사합니다.^^
ps:
하지만 메소드의 동적바인딩이라고 했던 virtual function은
가상함수 table을 이용한다는 이유로 동적이 되는게..좀 그렇습니다.