objective-c - Objective-C 函数的结果默认是非空的吗？

Question

在这个关于实现委托方法的线程UITextInput中，发帖人说当他们对他们的代码运行静态分析时，他们在这个函数上得到一个错误：

- (NSArray *)selectionRectsForRange:(UITextRange *)range
{
    return nil;
}

错误是“从预期返回非空值的方法返回 nil”。

函数声明的结果没有可空性说明符。默认情况下函数结果是非空的吗？（这些天我主要在 Swift 中工作，并且对 Objective-C 的最新变化不是专家。）

Answer 1

他们不是。

声明该方法的标头用“假定非空”宏括起来：

//
//  UITextInput.h
//  UIKit
//
//  Copyright (c) 2009-2017 Apple Inc. All rights reserved.
//

#import <CoreGraphics/CoreGraphics.h>

#import <UIKit/UITextInputTraits.h>
#import <UIKit/UIResponder.h>

//===================================================================================================
// Responders that implement the UIKeyInput protocol will be driven by the system-provided keyboard,
// which will be made available whenever a conforming responder becomes first responder.

NS_ASSUME_NONNULL_BEGIN

// snip
// ...
// L150
/* Geometry used to provide, for example, a correction rect. */
- (CGRect)firstRectForRange:(UITextRange *)range;
- (CGRect)caretRectForPosition:(UITextPosition *)position;
- (NSArray *)selectionRectsForRange:(UITextRange *)range NS_AVAILABLE_IOS(6_0);       // Returns an array of UITextSelectionRects

---

所以这个方法实际上已经被标记为具有非空返回值。