先来看下Apple官方的DEMO:
#import <Cocoa/Cocoa.h>
@interface NSMutableArray (variadicMethodExample)
- (void) appendObjects:(id) firstObject, ...; // This method takes a nil-terminated list of objects.
@end
@implementation NSMutableArray (variadicMethodExample)
- (void) appendObjects:(id) firstObject, ... {
id eachObject;
va_list argumentList;
if (firstObject) // The first argument isn't part of the varargs list,
{ // so we'll handle it separately.
[self addObject: firstObject];
va_start(argumentList, firstObject); // Start scanning for arguments after firstObject.
while (eachObject = va_arg(argumentList, id)) // As many times as we can get an argument of type "id"
[self addObject: eachObject]; // that isn't nil, add it to self's contents.
va_end(argumentList);
}
}
@end
自定义一个可变参数的方法
@interface TestObject : NSObject
- (void)testMethodWithContent:(NSString *)content otherContent:(NSString *)other, ...;
@end
#import "TestObject.h"
@implementation TestObject
- (void)testMethodWithContent:(NSString *)content otherContent:(NSString *)other, ... {
NSString *result = content;
if (other) {
result = [NSString stringWithFormat:@"%@_%@", result, other];
id eachObject;
va_list argumentlist;
va_start(argumentlist, other);
while ((eachObject = va_arg(argumentlist, id))) {
result = [NSString stringWithFormat:@"%@_%@", result, eachObject];
}
va_end(argumentlist);
}
NSLog(@"Result: %@", result);
}
@end
TestObject *obj = [TestObject new];
[obj testMethodWithContent:@"123" otherContent:@"456", @"789", @"000", nil];
va_list & va_start & va_arg & va_end
// 它们在stdarg.h文件中的宏定义如下:
#ifndef _VA_LIST_T
#define _VA_LIST_T
#include <machine/types.h> /* __darwin_va_list */
typedef __darwin_va_list va_list;
#endif /* _VA_LIST_T */
#define va_start(ap, param) __builtin_va_start(ap, param)
#define va_end(ap) __builtin_va_end(ap)
#define va_arg(ap, type) __builtin_va_arg(ap, type)
va_list宏定义了一个指针类型,这个指针类型指向参数列表中的参数;
void va_start(va_list ap, param):使ap这个指针指向了不定长参数列表中的第一个参数(省略号前的参数);
type va_arg(ap, type):获取参数列表的下一个参数,并以type的类型返回;
void va_end(ap): 清空va_list ap、参数列表访问完以后,参数列表指针与其他指针一样、必须收回,否则会出现野指针; va_start 和va_end是成对出现的。
va_start(ap, param) -> ap = (va_list)¶m + sizeof(param) 即ap指向第一个可变参数的地址(param是最后一个固定参数);
va_arg(ap, type) 获取当前ap指向的可变参数的值,并以type的类型返回,然后ap再后移一个type类型的位置;
stdarg里的几个宏只是机械的把每个参数读出来,它甚至不知道现在读的是什么类型的变量,如果要读下一个变量的话也不知道得往后跳多少位置,这些都只能靠程序自己来判断指示。
NSString中的stringWithFormat:方法
NSInteger number = 1;
NSString *content = [NSString stringWithFormat:@"%ld",number];
NSLog(@"content: %@",content);
如果改成下面这样、就会引起Crash:
NSInteger number = 1;
NSString *content = [NSString stringWithFormat:@"%@",number]; // Thread 1: EXC_BAD_ACCESS (code=1, address=0x1)
NSLog(@"content: %@",content);
// 调用栈如下:
* thread #1, queue = 'com.apple.main-thread', stop reason = EXC_BAD_ACCESS (code=1, address=0x1)
frame #0: 0x00000001097cd478 libobjc.A.dylib`objc_opt_respondsToSelector + 13
frame #1: 0x00000001092726e7 Foundation`_NSDescriptionWithStringProxyFunc + 41
frame #2: 0x00000001098d172a CoreFoundation`__CFStringAppendFormatCore + 12426
frame #3: 0x00000001098d36c5 CoreFoundation`_CFStringCreateWithFormatAndArgumentsAux2 + 133
frame #4: 0x000000010926b732 Foundation`+[NSString stringWithFormat:] + 169
NSInteger number = 0;
NSString *content = [NSString stringWithFormat:@"%@",number];
NSLog(@"content: %@",content);
/**
如上的代码并不会引起Crash
content的值为nil
*/
引起Crash的原因
先来看以下几个输出:
id obj = nil;
NSLog(@"nil: %p",obj); // 0x0
NSLog(@"%@",1); // Crash~ Thread 1: EXC_BAD_ACCESS (code=1, address=0x1)
NSLog(@"%@",2); // Crash~ Thread 1: EXC_BAD_ACCESS (code=1, address=0x2)
NSLog(@"%@",3); // Crash~ Thread 1: EXC_BAD_ACCESS (code=1, address=0x3)
NSLog(@"%@",10); // Crash~ Thread 1: EXC_BAD_ACCESS (code=1, address=0xa)
NSLog(@"%@",16); // Crash~ Thread 1: EXC_BAD_ACCESS (code=1, address=0x10)
以NSString的"stringWithFormat:"方法为例在如上所示的代码中当类型不匹配的时候、就会去访问以当前值为地址处的内存、然而这些地址是访问受限的区域或者是不能够被用户使用的区域,此时就会抛出异常"EXC_BAD_ACCESS"。
那么为什么当NSInteger number = 0;的时候不会引起Crash呢?
因为当number = 0的时候、调用"[NSString stringWithFormat:@"%@",number];"的时候会去访问0x0处的内存,0x0即为nil,所以并不会造成Crash。
让我们从va_arg的角度来解读一下这个Crash的原因
NSInteger number = 1;
NSString *content = [NSString stringWithFormat:@"%@",number];
当处理不定参数的时候用va_arg获取当前ap指向的可变参数的值以后会再后移一个type类型的位置;当你的参数输入"%@"的时候系统就会认为这个参数是一个OC对象;
TestObject *obj = [TestObject new];
int num_1 = 1;
int num_3 = 36;
[obj testNumberWithFormat:@"%ld%ld%ld", num_1, @"12345678901234567890", num_3];
- (void)testNumberWithFormat:(NSString *)format, ... {
NSString *formatType = @"";
va_list argumentlist;
va_start(argumentlist, format);
for (int i = 0; i < format.length; i++) {
NSString *str = [format substringWithRange:NSMakeRange(i, 1)];
if ([str isEqualToString:@"%"]) {
if (formatType.length > 1) {
[self processArgumentlist:argumentlist withFormat:formatType];
}
formatType = str;
}
else if (i == format.length - 1) {
formatType = [NSString stringWithFormat:@"%@%@",formatType,str];
[self processArgumentlist:argumentlist withFormat:formatType];
}
else {
formatType = [NSString stringWithFormat:@"%@%@",formatType,str];
}
}
va_end(argumentlist);
}
- (void)processArgumentlist:(va_list)argumentlist withFormat:(NSString *)format {
/**
if ([format isEqualToString:@"%@"]) {
NSLog(@"NSString: %@",va_arg(argumentlist, NSString *));
}
else if ([format isEqualToString:@"%ld"]) {
NSLog(@"NSInteger: %ld",va_arg(argumentlist, NSInteger));
}
*/
NSLog(@"%ld",va_arg(argumentlist, NSInteger));
NSLog(@"%@",va_arg(argumentlist, NSInteger));
NSLog(@"%ld",va_arg(argumentlist, NSInteger));
}
AveryTest[12854:1592209] 1
AveryTest[12854:1592209] 12345678901234567890
AveryTest[12854:1592209] 36
在如上的代码中、虽然在arg中用NSInteger类型去读取argumentlist中的字符串、但是却仍能正确的读取到字符串的值"12345678901234567890";
所以引起Crash的原因并不是因为NSString 类型和 NSInteger 类型的偏移量的不一致、从而导致的指针访问到错误的内存才抛出 EXC_BAD_ACCESS的;
【 请勿直接转载 - 节约能源从你我做起 】