objc方法声明和实现由于参数类型不一致所引发的崩溃

正文

你有注意过objc方法声明处和方法实现处参数类型不一致的情况吗，就像这样：

@interface Person : NSObject
- (void)frothTime:(NSInteger)regionTime value1:(BOOL)value;
@end
@implementation Person
- (void)frothTime:(NSInteger)regionTime value1:(NSString *)value;
@end

这2个方法除了第2个参数的类型不一样，其它都一样，但一旦调用这个方法就会产生一个坏内存访问的崩溃，这是为什么呢？

这是我在真实项目中遇到的1个很有意思的问题，只要调用分类中的某个方法就百分百崩溃，而且控制台没有任何有用的报错信息，被调用的方法里面的代码也都没有执行，非常难调试，我花了一些时间才弄懂了其中的原理，整理后分享出来，希望能帮到你，崩溃如下图所示：

以下是我简写后的代码，它是一份完整的代码并且可以直接运行。

@interface Person : NSObject
- (void)frothTime:(NSInteger)regionTime value1:(BOOL)value;
@end
@interface Person (Category)
- (void)frothTime:(NSInteger)regionTime;
- (void)frothTime:(NSInteger)regionTime value1:(NSString *)value;
@end
@implementation Person
- (void)frothTime:(NSInteger)regionTime value1:(BOOL)value {
    NSLog(@"%s", __func__);
}
@end
@implementation Person (Category)
- (void)frothTime:(NSInteger)regionTime {
    [self frothTime:regionTime value1:@"111"];
}
- (void)frothTime:(NSInteger)regionTime value1:(NSString *)value {
    NSLog(@"%s", __func__);
}
@end
int main(int argc, const char * argv[]) {
    Person *p = [[Person alloc] init];
    [p frothTime:123];
    return 0;
}

分析

运行代码后，会在 - (void)frothTime:(NSInteger)regionTime value1:(NSString *)value 这行代码处产生一条 EXC_BAD_ACCESS 崩溃问题，通过打印和断点，可以看出方法内的代码并没有执行，说明是调用这个方法时发生的崩溃，所以可以排除是方法内的代码问题。

崩溃前的代码位置是 [self frothTime:regionTime value1:@"111"];，这行代码从表面上看没有任何问题，如果你把示例代码粘贴到 xcode 中，编译器可能会在这行代码后面给出1个警告: "Incompatible pointer to integer conversion sending 'NSString *' to parameter of type 'BOOL' (aka 'signed char')"，意思是说方法接收的是一个 BOOL 类型的参数，而你传了一个 NSString * 类型。

仔细看一下代码，你会发现 Person 类中声明了 - (void)frothTime:(NSInteger)regionTime value1:(BOOL)value;，而且分类中也有一个类似的声明 - (void)frothTime:(NSInteger)regionTime value1:(NSString *)value;，它们除了第2个参数类型不一样，其它都是一样的；熟悉objc的同学应该都知道，objc是没有方法重载的概念，也就是说分类中的方法其实和类中的方法，它们的方法签名都是 frothTime:value1:。

现在有2个同名的方法实现，那么 [self frothTime:regionTime value1:@"111"]; 到底调用哪个方法呢？按照 xcode 给出的提示，似乎是调用 - (void)frothTime:(NSInteger)regionTime value1:(BOOL)value; 这个方法，因为编译器提示第2个参数类型不一致。

有些同学在这里或许有一个疑问，明明有2个方法，而且分类中的方法明显更适合调用方，为什么编译器认为我们调用的是类中的方法而不是分类中的方法；有2点原因，第1是因为objc没有方法重载的概念，所以这2个方法对编译器来说其实都是一样的；第2是因为objc的分类是运行时加载的，编译器在编译时并不知道分类以及分类方法的存在。

和其它语言不一样，objc的方法声明和实现可以重复，只是不能在一个作用域中重复，例如在 @interface 和 @end 就不能同时存在 - (void)frothTime:(NSInteger)regionTime value1:(BOOL)value; 和 - (void)frothTime:(NSInteger)regionTime value1:(NSString *)value;，即使它们的参数类型并不是完全一样；但是可以在分类中写出和类中一样的方法声明或实现，即使你在分类中写出 - (void)frothTime:(NSInteger)regionTime value1:(BOOL)value; 这种和类中的方法完全一模一样的方法也不会有任何报错信息，如果你不小心在分类中实现了和类中同名的方法，那么运行时会永远调用分类中的方法实现，不清楚为什么的同学自行上网寻找答案。

现在我们弄明白了为什么编译器会给出警告，也知道了实际调用的其实是分类中的方法实现，但分类中的方法参数类型和我们传递的参数类型明明是一致的，那为什么还会崩溃呢？

原因在于编译器在对代码进行编译时对 @"111" 这个参数是按照 BOOL 类型而不是 NSString 类型处理的，请看下图：

使用 xcrun -sdk iphoneos clang -arch arm64 -rewrite-objc 文件路径 -o 输出的文件路径.cpp 将objc代码编译为C++代码。

可以看到编译器把参数强转成了 bool 类型，但是方法实现处却是按照 NSString 类型进行接收的，按照 NSString 类型去访问一个 bool 类型的内存，这就是崩溃的真正原因。

补充

如果你尝试将 - (void)frothTime:(NSInteger)regionTime value1:(BOOL)value; 修改为 - (void)frothTime:(NSInteger)regionTime value1:(NSObject *)value;(其实可以把value的参数类型修改为任意objc对象类型，只要不是基础数据类型就行)，注意：这里我只修改了方法声明处的参数类型，并没有修改方法实现处的参数类型；然后运行项目；正常运行并输出；编译后的代码截图如下：

从截图中可以看到参数虽然还是被强转成了 NSObjet 类型，但是据我观察，只要是objc对象都没关系，你可以把它改为 NSArray 等任何 objc 对象类型，虽然有编译警告，但是并不影响运行。

另外，你也可以将 [self frothTime:regionTime value1:@"111"]; 修改为 [self performSelector:@selector(frothTime:value1:) withObject:@(regionTime) withObject:@"111"];，项目也可以正常运行，原因和上面一样，因为 withObject 的参数类型是 id。

总结

• 从上面的例子可以看出来，objc是一门非常动态的语言，这有很多好处，但也有很多坑，如果你不了解这些细节，那么就很可能会遇到各种奇奇怪怪的问题。
• 由于 objc 没有方法重载的概念，所以在分类中写方法时一定一定一定要加前缀(即使方法的参数类型不一样也不行)，因为你不知道它会不会覆盖类中的私有方法。
• objc编译器会自动将传递的参数强转为方法声明中的参数类型，如果方法实现处声明处的参数类型不一致，编译器会以方法声明中的参数类型为准，但是运行时会以方法实现处的参数类型进行接收。

以上就是objc方法声明和实现由于参数类型不一致所引发的崩溃的详细内容，更多关于objc方法声明参数类型引发崩溃的资料请关注程序员之家其它相关文章！

最新评论