爲什麼沒有clang的'nonnil'屬性？

Question

nonnull適用於C函數，但不適用於obj-c方法。需要明確的是，我建議這個

- (void)doSomethingWithRequiredString:(NSString * __attribute((nonnil)))requiredString 
            bar:(NSString *)optionalString); 

或（更喜歡非空）

- (void)doSomethingWithRequiredString:(NSString *)requiredString 
            bar:(NSString *)optionalString) 
__attribute((nonnil(0))); 

我也困惑過是否有良好的技術理由。我明白，clang只能真正使用該屬性進行編譯時檢查或靜態分析，但似乎是正交的。 不是有這個嗎？

Answer 1

你完全可以。你做錯了的唯一的事情是認爲方法參數0指數的，而事實上，他們是1索引（哦，這是nonnull，不nonnil）：

- (void)doSomethingWithRequiredString:(NSString *)requiredString 
            bar:(NSString *)optionalString 
     __attribute((nonnull(1))); 

現在，當您嘗試使用：

id thing = ...; 
[thing doSomethingWithRequiredString:nil bar:@"42"]; 

的Xcode會說向您發出一個「空傳遞給需要非空參數被叫」。此外，如果您省略__attribute的「（1）」部分，則假定非零要求適用於全部參數。

鏘承認海合會屬性，以及海合會的nonnull屬性的定義是在這裏：http://gcc.gnu.org/onlinedocs/gcc-4.0.0/gcc/Function-Attributes.html#index-g_t_0040code_007bnonnull_007d-function-attribute-1733

---

更新：由於Xcode 6.3一個更清晰的語法支持。

在屬性和方法中，關鍵字是nullable,nonnull和null_unspecified。

所以，你的方法簽名將成爲這樣的：

- (void)doSomethingWithRequiredString:(nonnull NSString *)requiredString 
            bar:(nullable NSString *)optionalString; 

Answer 2

在Xcode 6.3測試版新的Objective-C的功能已被添加到表達頭（非）爲空：https://developer.apple.com/swift/blog/?id=22

Answer 3

是的，有。

你可以像這樣的代碼：

- (nullable AAPLListItem *)itemWithName:(nonnull NSString *)name; 
- (NSInteger)indexOfItem:(nonnull AAPLListItem *)item; 

https://developer.apple.com/swift/blog/?id=25