使用 NSInvocation 时,EXC_BAD_ACCESS arm64 上崩溃



我已经开始准备一个支持arm64架构的旧项目。但是当我尝试在 64 位设备上执行此代码时EXC_BAD_ACCESS我在 [调用保留参数] 上崩溃;线

- (void)makeObjectsPerformSelector: (SEL)selector withArguments: (void*)arg1, ...
{
    va_list argList;
    NSArray* currObjects = [NSArray arrayWithArray: self];
    for (id object in currObjects)
    {
        if ([object respondsToSelector: selector])
        {
            NSMethodSignature* signature = [[object class] instanceMethodSignatureForSelector: selector];
            NSInvocation* invocation = [NSInvocation invocationWithMethodSignature: signature];
            invocation.selector = selector;
            invocation.target = object;
            if (arg1 != nil)
            {
                va_start(argList, arg1);
                char* arg = arg1;
                for (int i = 2; i < signature.numberOfArguments; i++)
                {
                    const char* type = [signature getArgumentTypeAtIndex: i];
                    NSUInteger size, align;
                    NSGetSizeAndAlignment(type, &size, &align);
                    NSUInteger mod = (NSUInteger) arg % align;
                    if (mod != 0)
                        arg += (align - mod);
                    [invocation setArgument: arg
                                    atIndex: i];
                    arg = (i == 2) ? (char*) argList : (arg + size);
                }
                va_end(argList);
            }
            [invocation retainArguments];
            [invocation invoke];
        }
    }
}

似乎争论有些问题。

这是出于相同目的而具有的。

+ (void)callSelectorWithVarArgs:(SEL)selector onTarget:(id)target onThread:(id)thread wait:(BOOL)wait, ...
{
    NSMethodSignature *aSignature = [[target class] instanceMethodSignatureForSelector:selector];
    if (aSignature)
    {
        NSInvocation *anInvocation = [NSInvocation invocationWithMethodSignature:aSignature];
        void *        arg;
        int           index = 2;
        [anInvocation setSelector:selector];
        [anInvocation setTarget:target];
        va_list       args;
        va_start(args, wait);
        do
        {
            arg = va_arg(args, void *);
            if (arg)
            {
                [anInvocation setArgument:arg atIndex:index++];
            }
        }
        while (arg);
        va_end(args);
        [anInvocation retainArguments];
        if (thread == nil)
        {
            [anInvocation performSelectorOnMainThread:@selector(invoke) withObject:nil waitUntilDone:wait];
        }
        else
        {
            [anInvocation performSelector:@selector(invoke) onThread:thread withObject:nil waitUntilDone:wait];
        }
    }
}

请注意,当需要执行类型转换时,此代码可能不安全。当调用方法具有传递给我的callSelectorWithVarArgs:onTarget:onThread:wait:的较长参数时(例如,调用的方法接收 NSUInteger(在 arm64 上为 64 位),但我传递 int(在 arm 和 arm64 上均为 32 位)),这会导致从 32 位变量的起始地址读取 64 位 - 以及数据中的垃圾)。无论如何,您的实现具有潜在的危险 - 您将传递给包装方法的所有参数视为与调用方法中的参数具有相同的类型。

这是您修改后有效的代码:

- (void)makeObjectsPerformSelector:(SEL)selector withArguments: (void*)arg1, ...
{
    NSArray* currObjects = [NSArray arrayWithArray: self];
    for (id object in currObjects)
    {
        if ([object respondsToSelector: selector])
        {
            NSMethodSignature* signature = [[object class] instanceMethodSignatureForSelector: selector];
            NSInvocation* invocation = [NSInvocation invocationWithMethodSignature: signature];
            invocation.selector = selector;
            invocation.target = object;
            [invocation setArgument:&arg1 atIndex:2];
            NSInteger   index = 3;
            void *        arg;
            va_list       args;
            va_start(args, arg1);
            do
            {
                arg = va_arg(args, void *);
                if (arg)
                {
                    [invocation setArgument:&arg atIndex:index++];
                }
            }
            while (arg);
            va_end(args);
            [invocation retainArguments];
            [invocation invoke];
        }
    }
}

这段代码对 va_list 中不同参数的布局做出了不可移植的假设,并且在 arm64 上不起作用。

例如,您可以看到还有其他技巧(解决不同的问题)依赖于 va_list 中参数的布局,这些技巧在 32 位中有效,但在 64 位中也不起作用。

va_list访问参数的唯一可移植方法是通过va_arg,但这需要在编译时使用固定类型。

您正在使用 int,并且您说它在 32 位上运行良好,但在 64 位上崩溃。切换到 NSInteger 或 NSUInteger 进行迭代。猜猜这将解决您的问题

您多次使用参数列表。这样做是未定义的行为。您可以改用va_copy来解决此问题。

va_start(argList, arg1)移出外部for循环,并使用以下命令创建参数列表的副本:va_list copyArgList; va_copy(copyArgList, argList); 。然后像往常一样使用复制的参数列表。

有关va_copy的更多信息

我认为您需要考虑摆脱这种方法,并将事物重新编码为基于va_arg的更安全的机制,这是遍历变量参数的唯一安全机制。与@Nikita发布的内容类似的东西。

如果要继续使用当前方法,则需要深入研究每个体系结构的 iOS 调用约定。您可以在此处找到 ARM64 约定:https://developer.apple.com/library/ios/documentation/Xcode/Conceptual/iPhoneOSABIReference/Articles/ARM64FunctionCallingConventions.html

仅从最初的外观来看,它显然不是直截了当的,可变参数函数与正常的调用约定不同。

最新更新