objective-c - 坚持理解 Objective-c 中的动态绑定(bind)

Question

我刚开始学习 Objective-C，我正在阅读 Stephen G. Kochan 的Programming in Objective-C 3rd Edition。

有一段解释了多态机制:

At runtime, the Objective-C runtime system will check the actual class of the object stored inside dataValue1(an id object) and select the appropriate method from the correct class to execute. However, in a more general case, the compiler might generate the incorrect code to pass arguments to a method or handle its return value.This would happen if one method took an object as its argument and the other took a floating-point value, for example. Or if one method returned an object and the other returned an integer, for example. If the inconsistency between two methods is just a different type of object (for example, the Fraction’s add: method takes a Fraction object as its argument and returns one, and the Complex’s add: method takes and returns a Complex object), the compiler will still generate the correct code because memory addresses (that is, pointers) are passed as references to objects anyway.

我不太明白该段的第一部分说如果我在不同的类中声明 2 个具有相同名称和不同类型参数的方法，编译器可能生成不正确的代码。虽然该段的最后一部分说有 2 个方法具有相同的名称和不同的参数和返回类型是很好的......哦不......

我有以下代码，它们编译并运行良好:

@implementation A
- (int) add:(int)a {
    return 1 + a;
}
@end
@implementation B
- (int) add: (B*) b {
    return 100;
}
@end
id a = [[A alloc] init];
id b = [[B alloc] init];
NSLog(@"A: %i, B %i", [a add:100], [b add:b]);

编辑:正如我引用的文本，上面的代码应该会导致错误，但它只会产生一些警告消息，Multiple methods named "add:"found，Incompatible pointer to integer conversion sending "id "到类型为 "int"的参数

我有 Java 和 C++ 背景，我知道 Objective-C 中的多态性与那些语言的多态性略有不同，但我仍然对不确定性感到困惑(粗体文本)。

我想我一定是误解了什么，你能为我和需要它的人更详细地解释一下 Objective-C 中的动态绑定(bind)吗？

谢谢!

Answer 1

您没有注意到任何异常情况，因为这两个方法在例如 x86_64 ABI 下具有相同的调用语义。指针可以被视为整数，并且在 x86_64 ABI 下，它们以相同的方式传递给目标方法。

但是，如果你有另一个类，例如:

@implementation C
- (int)add:(float)number {
    return (int)number + 100;
}
@end

接收浮点参数(如 Kochan 所述)，然后编译器在解析时:

id a = [[A alloc] init];
id b = [[B alloc] init];
id c = [[C alloc] init];
NSLog(@"A: %i, B %i, C %i", [a add:100], [b add:b], [c add:100]);

不知道对于 [c add:100]，它应该将 100 放入 x86_64 ABI 指定的浮点寄存器中。因此，-[C add:](期望浮点参数位于浮点寄存器中)读取的值与 100 不对应争论。

要使其工作，您必须使用静态类型声明变量:

C *c = [[C alloc] init];

或在发送消息时将其转换为正确的类型:

[(C *)c add:100];

归根结底，发送 Objective-C 消息是一个函数调用。不同的 ABI 可能具有不同的语义，用于调用具有可变参数、浮点与整数参数或返回值或结构而不是标量算术类型的函数。如果编译器看到根据目标 ABI 以不同方式处理的不同方法签名，并且如果没有足够的可用类型信息，它最终可能会选择错误的方法签名。