Błąd połączenia z "Potencjalnym dereferencją zerową".

Question

Wciąż dostaję błędy brzękiem na następnej typu kodu i nie mogę zrozumieć, dlaczego są one błędne lub jak rozwiązać ich zadowoleniu dzyń:

+ (NSString *)checkForLength: (NSString *)theString error: (NSError **)error { 
    BOOL hasLength = ([theString length] > 0); 
    if (hasLength) return theString; 
    else { 
     *error = [NSError errorWithDomain:@"ErrorDomain" code:hasLength userInfo:nil]; 
     return nil; 
    } 
} 

Pomijając całkowicie-contrived charakter celu przykład (który Clang nie sprzeciwił się, więc jest to wystarczająco ilustrujące), Clang zaciąga się w linii przypisania błędu z następującym zastrzeżeniem:

Potencjalny dereferencja zerowa. Zgodnie ze standardami kodowania w 'Tworzenie i zwracanie NSError obiektów' parametr "błąd" może być pusty.

Lubię mieć nieskazitelny raport Clang. Czytałem cytowany dokument i nie widzę sposobu na zrobienie tego, czego się spodziewano; Sprawdziłem biblioteki kakao o otwartym kodzie źródłowym i wydaje się, że jest to powszechny idiom. Jakieś pomysły?

Answer 1

Sposób zrobienia tego, co jest oczekiwane, przedstawiono na listingu 3-5 w tym dokumencie. Z kodem Przykład:

+ (NSString *)checkForLength: (NSString *)theString error: (NSError **)error { 
    BOOL hasLength = ([theString length] > 0); 
    if (hasLength) return theString; 
    else { 
     if (error != NULL) *error = [NSError errorWithDomain:@"ErrorDomain" code:hasLength userInfo:nil]; 
     return nil; 
    } 
} 

Answer 2

Konwencja Kakao jest to, że wartość zwracana powinny wskazywać sukces lub niepowodzenie (w tym przypadku należy zwrócić nil do awarii), a błąd jest wypełnione z dodatkowymi informacjami, ale tylko wtedy, gdy dzwoniący żąda tego.

Innymi słowy

NSError *error = nil; 
NSString *result = [self checkForLength: aString error: &error]; 

i

NSString *result = [self checkForLength: aString error: NULL]; 

są zarówno ważne sposoby na wywołanie metody. Tak więc treść metody powinna zawsze sprawdzać wartość NULL:

if (error != NULL) 
    *error = ...;