dlaczego ten kod daje EXC_BAD_ACCESS (przy użyciu IMP)

Question

Ten kod daje mi EXC_BAD_ACCESS, dlaczego?

NSMutableDictionary *d = [[NSMutableDictionary alloc] init]; 
IMP imp= [d methodForSelector:@selector(setObject:forKey:) ]; 
imp(d, @selector(setObject:forKey:), @"obj", @"key"); 

Właśnie zaczynam używać IMP, pierwsze próby .. bez powodzenia. Nie wiem, dlaczego dostaję błąd, także .. w przeszłości, kiedy dostałem EXC_BAD_ACCESS, wiadomość została wydrukowana na konsoli, tym razem linia błędu jest podświetlona.

Kilka uwag: ARC jest włączona, XCode 4.3.2, projekt korzysta z Objective-C++ jako de domyślnego języka/kompilatora, ten kod jest na samym początku projektu

Dzięki chłopaki

Answer 1

Musisz poprawnie obsadzić wskaźnik funkcji lub ARC nie wie, co ma robić. IMP jest ogólnym wskaźnikiem funkcji, który przyjmuje identyfikator, selektor i zmienną liczbę innych, niezdefiniowanych argumentów i zwraca identyfikator. Implementacja metody, którą próbujesz wywołać, przyjmuje id, selektor, po którym następują dokładnie dwa parametry id i ma typ void return. Można to naprawić poprzez zmianę do następującego kodu:

NSMutableDictionary* dict = [[NSMutableDictionary alloc] init]; 
void (*imp)(id, SEL, id, id) = (void(*)(id,SEL,id,id))[dict methodForSelector:@selector(setObject:forKey:)]; 
if(imp) imp(dict, @selector(setObject:forKey:), @"obj", @"key"); 

Należy zawsze sprawdzić, czy rzeczywiście ma wskaźnik funkcji z powrotem przed wami dereference nim, jak również awarii. Powyższy kod zadziała nawet w środowisku ARC. Ponadto, nawet jeśli nie używasz ARC, powinieneś zawsze rzucać wskaźniki funkcji do rzeczywistego prototypu zamiast IMP. Nigdy nie powinieneś używać IMP. Innymi miejscami, które mogą powodować poważne problemy, są: metoda zwraca strukturę lub metoda przyjmuje parametry zmiennoprzecinkowe, itd.

Dobry nawyk: zawsze rzucaj wskaźnikami funkcji lub wpisz dla nich literówki, jeśli znajdziesz składnię wskaźnika .

Answer 2

Problem polega na tym, że IMP ma typ zwrotny "id", który ARC będzie próbował zarządzać. Musisz rzucić wskaźnik funkcji, aby uzyskać zwrotny typ pustki (zgodny z metodą, do której dzwonisz):

NSMutableDictionary *d = [[NSMutableDictionary alloc] init]; 
    IMP imp= [d methodForSelector: @selector(setObject:forKey:)]; 
    void (*func)(__strong id,SEL,...) = (void (*)(__strong id, SEL, ...))imp; 
    func(d, @selector(setObject:forKey:), @"obj", @"key");