"바인딩"은 분석법 이름을 불가피한 코드로 해석하는 행위를 말합니다. 일반적으로 함수 호출은 컴파일 타임이나 링크 타임에 해결 될 수 있습니다. 정적 바인딩을 사용하는 언어의 예는 C입니다.
int foo(int x);
int main(int, char**) {
printf("%d\n", foo(40));
return 0;
}
int foo(int x) { return x + 2; }
여기서 호출 foo(40)은 컴파일러에 의해 해결 될 수 있습니다. 이를 통해 인라인과 같은 특정 최적화가 가능합니다. 가장 중요한 장점은 다음과 같습니다.
- 타입 검사를 할 수 있습니다
- 우리는 최적화를 할 수 있습니다
반면, 일부 언어는 함수 해결을 마지막 순간까지 연기합니다. 예를 들어 Python은 심볼을 즉석에서 재정의 할 수 있습니다.
def foo():
""""call the bar() function. We have no idea what bar is."""
return bar()
def bar():
return 42
print(foo()) # bar() is 42, so this prints "42"
# use reflection to overwrite the "bar" variable
locals()["bar"] = lambda: "Hello World"
print(foo()) # bar() was redefined to "Hello World", so it prints that
bar = 42
print(foo()) # throws TypeError: 'int' object is not callable
이것은 늦은 바인딩의 예입니다. 엄격한 유형 검사를 불합리하게 만들지 만 (유형 검사는 런타임시에만 수행 할 수 있음) 훨씬 융통성이 있으며 정적 타이핑 또는 초기 바인딩의 범위 내에서 표현할 수없는 개념을 표현할 수 있습니다. 예를 들어 런타임에 새로운 기능을 추가 할 수 있습니다.
"정적"OOP 언어에서 일반적으로 구현되는 메소드 디스패치는이 두 극단 사이에 있습니다. 클래스는 지원되는 모든 작업의 유형을 미리 선언하므로 정적으로 알려지고 유형을 확인할 수 있습니다. 그런 다음 실제 구현을 가리키는 간단한 조회 테이블 (VTable)을 작성할 수 있습니다. 각 객체는 vtable에 대한 포인터를 포함합니다. 타입 시스템은 우리가 얻는 객체가 적절한 vtable을 갖도록 보장하지만 컴파일 타임 에이 룩업 테이블의 값이 무엇인지 전혀 모릅니다. 따라서 객체를 사용하여 함수를 데이터로 전달할 수 있습니다 (OOP와 함수 프로그래밍이 동일한 이유의 절반). V와 같은 함수 포인터를 지원하는 모든 언어로 Vtable을 쉽게 구현할 수 있습니다.
#define METHOD_CALL(object_ptr, name, ...) \
(object_ptr)->vtable->name((object_ptr), __VA_ARGS__)
typedef struct {
void (*sayHello)(const MyObject* this, const char* yourname);
} MyObject_VTable;
typedef struct {
const MyObject_VTable* vtable;
const char* name;
} MyObject;
static void MyObject_sayHello_normal(const MyObject* this, const char* yourname) {
printf("Hello %s, I'm %s!\n", yourname, this->name);
}
static void MyObject_sayHello_alien(const MyObject* this, const char* yourname) {
printf("Greetings, %s, we are the %s!\n", yourname, this->name);
}
static MyObject_VTable MyObject_VTable_normal = {
.sayHello = MyObject_sayHello_normal,
};
static MyObject_VTable MyObject_VTable_alien = {
.sayHello = MyObject_sayHello_alien,
};
static void sayHelloToMeredith(const MyObject* greeter) {
// we have no idea what the VTable contents of my object are.
// However, we do know it has a sayHello method.
// This is dynamic dispatch right here!
METHOD_CALL(greeter, sayHello, "Meredith");
}
int main() {
// two objects with different vtables
MyObject frank = { .vtable = &MyObject_VTable_normal, .name = "Frank" };
MyObject zorg = { .vtable = &MyObject_VTable_alien, .name = "Zorg" };
sayHelloToMeredith(&frank); // prints "Hello Meredith, I'm Frank!"
sayHelloToMeredith(&zorg); // prints "Greetings, Meredith, we are the Zorg!"
}
이러한 종류의 메서드 조회는 "동적 디스패치"라고도하며 초기 바인딩과 늦은 바인딩 사이에 있습니다. 동적 메소드 디스패치를 OOP 프로그래밍의 중심 정의 속성으로 간주하고 다른 것 (예 : 캡슐화, 서브 타이핑 등)은 부차적이라고 생각합니다. 이를 통해 코드에 다형성을 도입하고 코드를 다시 컴파일하지 않고도 코드에 새로운 동작을 추가 할 수 있습니다! C 예제에서 누구나 새로운 vtable을 추가하고 해당 vtable을 가진 객체를에 전달할 수 있습니다 sayHelloToMeredith().
이것은 늦은 바인딩이지만 Kay가 선호하는“최후의 바인딩”은 아닙니다. 개념 함수 "함수 포인터를 통한 메소드 디스패치"대신 "메시지 전달을 통한 메소드 디스패치"를 사용합니다. 메시지 전달이 훨씬 일반적이기 때문에 이는 중요한 차이점입니다. 이 모델에서 각 개체에는 다른 개체가 메시지를 넣을 수있는받은 편지함이 있습니다. 그러면 수신 객체가 해당 메시지를 해석하려고 시도 할 수 있습니다. 가장 잘 알려진 OOP 시스템은 WWW입니다. 여기서 메시지는 HTTP 요청이고 서버는 객체입니다.
예를 들어 programmers.stackexchange.se 서버에 요청할 수 있습니다 GET /questions/301919/. 이것을 표기법과 비교하십시오 programmers.get("/questions/301919/"). 서버는이 요청을 거부하거나 오류를 다시 보내거나 귀하의 질문을 처리 할 수 있습니다.
메시지 전달의 힘은 확장 성이 뛰어나다는 것입니다. 데이터가 공유되지 않고 (전송 만) 모든 것이 비동기 적으로 발생할 수 있으며 개체는 원하는대로 메시지를 해석 할 수 있습니다. 따라서 메시지 전달 OOP 시스템을 쉽게 확장 할 수 있습니다. 모든 사람이 이해할 수없는 메시지를 보내고 예상 결과 나 오류를 다시받을 수 있습니다. 객체는 어떤 메시지에 응답할지 미리 선언 할 필요가 없습니다.
이것은 캡슐화라고도 알려진 생각의 수신자에게 정확성을 유지할 책임이 있습니다. 예를 들어 HTTP 메시지를 통해 요청하지 않고 HTTP 서버에서 파일을 읽을 수 없습니다. 이를 통해 HTTP 서버가 내 요청을 거부 할 수 있습니다 (예 : 권한이없는 경우). 더 작은 규모의 OOP에서 이것은 객체의 내부 상태에 대한 읽기 / 쓰기 액세스 권한이 없지만 공개 메소드를 거쳐야 함을 의미합니다. HTTP 서버도 파일을 제공 할 필요가 없습니다. DB에서 컨텐츠를 동적으로 생성 할 수 있습니다. 실제 OOP에서는 사용자가 알지 못하고 개체가 메시지에 응답하는 방식의 메커니즘을 전환 할 수 있습니다. 이것은 "반사"보다 강력하지만 일반적으로 완전한 메타 객체 프로토콜입니다. 위의 C 예제는 런타임에 디스패치 메커니즘을 변경할 수 없습니다.
디스패치 메커니즘을 변경하는 기능은 모든 메시지가 사용자 정의 가능 코드를 통해 라우팅되므로 바인딩이 지연됩니다. 메타 객체 프로토콜이 주어지면 클래스, 프로토 타입, 상속, 추상 클래스, 인터페이스, 특성, 다중 상속, 다중 디스패치, 측면 지향 프로그래밍, 리플렉션, 원격 메소드 호출과 같은 기능을 추가 할 수 있습니다. 프록시 객체 등을 이러한 기능으로 시작하지 않는 언어로 이러한 발전의 힘은 C #, Java 또는 C ++와 같은 정적 언어에는 전혀 없습니다.