Objective-C: Zmienna instancji używana, gdy "self" nie jest ustawione ... ale jest

Question

Zostałem poproszony o wyczyszczenie niektórych błędów Clang w bazie kodu. Jestem nowicjuszem w rozwoju iPhone'a i Celu C, ale większość problemów jest banalnych ... ten jednak mnie denerwuje, kiedy jestem pewien, że jest to coś krępującego.

z klasy ZAttributedString:

- (id)initWithAttributedString:(ZAttributedString *)attr { 
    NSParameterAssert(attr != nil); 
    if ((self = [super init])) { 
     _buffer = [attr->_buffer mutableCopy]; 
     _attributes = [[NSMutableArray alloc] initWithArray:attr->_attributes copyItems:YES]; 
    } 
    return self; 
} 

Ostrzeżenie dzyń jest „zmienna instancji wykorzystywane podczas gdy«ja»nie jest ustawiony na skutek«[SUPER lub jaźni] Init ...]», z dereferencing atrybutu _buffer atr za podświetlonego

Jeśli to pomoże, ostrzeżenie wydaje się również, aby wspomnieć, że problem występuje, gdy dzwonisz z tej metody.

- (id)copyWithZone(NSZone *)zone { 
    return [(ZAttributedString *)[ZAttributedString allocWithZone:zone] initWithAttributedString:self]; 
} 

Can Proszę mi wyjaśnić, kim dokładnie jest ta wada?

TIA!

Answer 1

Nie używaj ->, aby uzyskać dostęp do zmiennych instancji, , szczególnie, gdy ivar pochodzi z innego obiektu.

Wykonaj:

_buffer = [[attr string] mutableCopy]; 

samo dotyczy tego bolesnego attr->_attributes. Wygląda na to, że ZAttributString exposes ma atrybuty` jako właściwość w nagłówku prywatnym.

---

To ostrzeżenie kompilatora wydaje, co najwyżej optymistyczne, całkowicie mylące i, prawdopodobnie, bardzo źle w opisie. Zgłoszenie błędu, który by to wyjaśnił, byłoby użyteczne.

---

Uwaga To @ maddy twierdzenie, że za pomocą -> aby uzyskać dostęp do zmiennych instancji bezpośrednio w ciągu attr przeszedł jak to działa jak konstruktora kopii jest niepoprawna.

Przychodzące attr może być przypadek ZAttributedString lub wystąpienie podklasy lub bardzo instancja jakiejkolwiek klasy, który implementuje samego interfejsu jak ZAttributedString. Zatem naprawdę musisz przejść przez akcesory, aby zagwarantować, że przechwytujesz poprawny stan.

Teraz, jako szczegół realizacji, ZAttributedString mógł wymagają że instancja przychodzące być non-podklasy instancja ZAttributedString, ale powinno wykorzystywać isMemberOfClass: dochodzić tego wymogu (i, proszę, nie rób tego).

Jedynym miejscem, w którym bezpośredni dostęp do ivar jest czasem wykorzystywany do pobierania stanu z innego obiektu, jest implementacja copyWithZone:, ale jest to niezwykle kruche i często prowadzi do błędnego zachowania. W rzeczywistości, copyWithZone: (poza różnymi klasami wartości zgodnych z plistem) był pełen kruchości i źródłem wielu wielu błędów.

Answer 2

Wygląda na to, że widzisz dokładnie ten sam błąd, co: "[Bug 15092] New: static analyzer false positive: reports instance variable used while 'self' is not set to the result of [(super or self)] init". Ma bardzo podobny kod dołączony do odtworzenia błędu.

Po uruchomieniu tego kodu w Xcode 4.6.3 można sprawdzić, czy wyświetla on to samo fałszywe ostrzeżenie.

Błąd został rozwiązany z comment:

Zostało to poprawione w bagażniku, a przynajmniej w większości stały - nadal istnieje kilka przypadków, w których krawędź ostrzeżenie będzie ogień, ale nie twój projekt.

(Dave, na razie wszystko z głównych inżynierów analizatora działają na Apple, więc nie ma rzeczywistej potrzeby złożyć duplikatów. W LLVM ludzie, którzy nie pracują w Apple nie mieć dostęp do Apple Clang, których statki z Xcode i tej poprawki nie uczynił Xcode 4.6. można również uzyskać nowsze sprawdzania buduje od http://clang-analyzer.llvm.org)

Jak widać problem został rozwiązany, ale nadal obecne w Xcode 4.6. Trzymaj się następnej wersji Xcode i ostrzeżenie o analizatorze powinno zniknąć.