實際現象

1. Java中的 @NotNull, @Nullable (by jetbrains): https://www.jetbrains.com/hel...

2. Python中可以用裝飾器實現, 但是目前沒找到細粒度控制的: https://www.google.com/search...

#預期現象

1. 希望提供一個細粒度控制的, 即: 具體到每一個參數的控制

2. #只希望檢查空指標即可, 類型限定不做

#相關程式碼

• 手動的, 繁瑣的寫法

def func(param1, param2, param3):
    # 明确表示, 不接受空指针(这里写法很繁琐, 是否有简化方法?)
    if not ((param1 is not None) and (param2 is not None) and (param3 is not None)):
        raise TypeError('%s or %s or %s is None' % (param1, param2, param3))

    # 正常函数逻辑

• 裝飾器的寫法(未實作)

@not_null(param1, param2)
def func(param1, param2, param3, *args, **kw):

上下文環境

• Python 3.5