perché questo codice fornisce EXC_BAD_ACCESS (usando IMP)

Question

Questo codice mi dà EXC_BAD_ACCESS, perché?

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

Sto iniziando usando PIM, abeti provare .. senza fortuna. Non sono sicuro del motivo per cui ho ricevuto l'errore, anche .. in passato, quando ho ottenuto EXC_BAD_ACCESS, il messaggio è stato stampato sulla console, questa volta la linea di errore è evidenziata.

Alcune note: ARC è abilitata, XCode 4.3.2, il progetto utilizza Objective-C++ come de lingua predefinita/compilatore, questo codice è proprio all'inizio del progetto

grazie ragazzi

Answer 1

Devi lanciare correttamente il puntatore alla funzione o ARC non sa cosa dovrebbe fare. IMP è un puntatore a funzioni generiche che accetta un id, un selettore e un numero variabile di altri argomenti non definiti e restituisce un id. L'implementazione del metodo che stai tentando di chiamare richiede un ID, un selettore seguito esattamente da due parametri id e ha un tipo di reso vuoto. È possibile risolvere il problema modificando al seguente codice:

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"); 

Si dovrebbe sempre verificare che effettivamente ottenuto un puntatore a funzione di nuovo prima di dereferenziarlo, come che sarebbe anche in crash. Il codice sopra funzionerà anche in un ambiente ARC. Inoltre, anche quando non stai usando ARC, devi sempre trasmettere i tuoi puntatori di funzione al prototipo reale piuttosto che a IMP. Non dovresti mai usare IMP. Altri posti che causerebbero problemi maggiori sono se il metodo restituisce una struct o se il metodo prende parametri in virgola mobile, ecc.

Buona abitudine: lanciare sempre i puntatori di funzione o creare typedef per loro se si trova la funzione sintassi del sintattore del puntatore .

Answer 2

Il problema è che IMP ha un tipo di ritorno di "id" che ARC tenterà di gestire. È necessario eseguire il cast del puntatore alla funzione per restituire un tipo di vuoto (coerente con il metodo che si sta chiamando):

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");