ios - Objective-C 将 block 类型转换为另一个 block 类型得到了意想不到的结果

Question

typedef (void (^blockType)());

我需要将具有不同参数类型的 block 转换为相同类型的 blockType，并稍后将其作为原始类型调用。但是在类型转换方 block 类型时出现问题。

以下代码适用于任何参数类型，...

((blockType)^(BOOL b) {
    NSLog(@"BOOL: %d", b);
})(YES); // >> BOOL: 1
((blockType)^(int i) {
    NSLog(@"int: %d", i);
})(1); // >> int: 1
((blockType)^(double f) {
    NSLog(@"double: %f", f);
})(1.0 / 3); // >> double: 0.333333
((blockType)^(NSString *s) {
    NSLog(@"NSString *: %@", @"string");
})(1.0 / 3); // >> NSString *: string

float 除外:

((blockType)^(float f) {
    NSLog(@"float: %f", f);
})(1.0f); // >> float: 0.000000
((blockType)^(float f) {
    NSLog(@"float: %f", f);
})(1.0f / 3); // >> float: 36893488147419103232.000000

但不用转换也可以:

(^(float f) {
    NSLog(@"float without casting: %f", f);
})(1.0 / 3); // >> float without casting: 0.333333

如何解释和解决？

Answer 1

它似乎是良好的旧 C 语言的污点。考虑以下代码(就 block 与函数指针(see here)相关而言，我们可以说这是对 C 问题的 Obj-C block 的一种“翻译”):

void test()
{
    void (*pEmpty)();
    pEmpty = functionFloat;
    pEmpty(1.0f / 3);
}

void functionFloat(float f)
{
    printf("float: %f", f);
}

如果您调用 test，您将看到与调用“生病” block 时相同的结果。编译器将仅提供有关不兼容指针的警告，并让您运行。但是如果你改变

void (*pEmpty)();

到

void (*pEmpty)(void);

将出现编译时错误。如果您将 void 显式添加到您的 void block 中，也会发生同样的情况，例如(void (^)(void) 而不是 (void (^)()。

在 C Standard 中解释了这种行为的原因:

The empty list in a function declarator that is not part of a definition of that function specifies that no information about the number or types of the parameters is supplied.
§6.7.6.3-14 (p.134)

因此，因为这并不意味着没有没有参数，而是没有关于它们的信息，所以转换顺利。

意外输出的问题如下:

A pointer to a function of one type may be converted to a pointer to a function of another type and back again; the result shall compare equal to the original pointer. If a converted pointer is used to call a function whose type is not compatible with the referenced type, the behavior is undefined.
§6.3.2.3-8 (p.56)

和

If the function is defined with a type that is not compatible with the type (of the expression) pointed to by the expression that denotes the called function, the behavior is undefined.
§6.5.2.2-9 (p.82)

所以，这里的解决方案似乎就像@jtbandes 所说的:不要混淆 block 类型，重新设计这部分代码以避免此类转换。