Infer 代码检查：SuppressParameterNotNullable 注解详解

SuppressParameterNotNullable \u662f\u4e00\u4e2a\u7528\u6765\u68c0\u67e5\u53c2\u6570\u975e\u7a7a\u7684\u6ce8\u89e3\u3002\u5f53\u6211\u4eec\u5728\u4f7f\u7528 infer \u8fdb\u884c\u4ee3\u7801\u68c0\u67e5\u65f6\uff0c\u6709\u65f6\u4f1a\u9047\u5230\u4e00\u4e9b\u53c2\u6570\u88ab\u6807\u8bb0\u4e3a\u975e\u7a7a\uff0c\u4f46\u5b9e\u9645\u4e0a\u6211\u4eec\u77e5\u9053\u8fd9\u4e2a\u53c2\u6570\u662f\u53ef\u4ee5\u4e3a\u7a7a\u7684\u60c5\u51b5\u3002\u8fd9\u65f6\u6211\u4eec\u53ef\u4ee5\u4f7f\u7528 SuppressParameterNotNullable \u6ce8\u89e3\u6765\u544a\u8bc9 infer \u5ffd\u7565\u5bf9\u8be5\u53c2\u6570\u975e\u7a7a\u7684\u68c0\u67e5\u3002\n\n\u8fd9\u4e2a\u6ce8\u89e3\u7684\u4f5c\u7528\u662f\u5728\u7279\u5b9a\u7684\u53c2\u6570\u4e0a\u6dfb\u52a0\u6ce8\u89e3 @SuppressParameterNotNullable\uff0c\u544a\u8bc9 infer \u5728\u5bf9\u4ee3\u7801\u8fdb\u884c\u68c0\u67e5\u65f6\u5ffd\u7565\u8be5\u53c2\u6570\u7684\u975e\u7a7a\u68c0\u67e5\u3002\u8fd9\u6837\u6211\u4eec\u5c31\u53ef\u4ee5\u5728\u4e0d\u6539\u53d8\u539f\u6709\u4ee3\u7801\u7684\u60c5\u51b5\u4e0b\uff0c\u8fdd\u80cc infer\u7684\u975e\u7a7a\u68c0\u67e5\u3002\n\n\u4f7f\u7528\u8fd9\u4e2a\u6ce8\u89e3\u53ef\u4ee5\u5e2e\u52a9\u6211\u4eec\u5904\u7406\u4e00\u4e9b\u7279\u6b8a\u60c5\u51b5\uff0c\u6bd4\u5982\u6211\u4eec\u77e5\u9053\u67d0\u4e2a\u53c2\u6570\u5728\u67d0\u4e9b\u7279\u5b9a\u7684\u573a\u666f\u4e0b\u662f\u53ef\u4ee5\u4e3a\u7a7a\u7684\uff0c\u4f46 infer\u5e76\u4e0d\u80fd\u667a\u80fd\u7684\u8bc6\u522b\u8fd9\u79cd\u60c5\u51b5\u3002\u901a\u8fc7\u4f7f\u7528 SuppressParameterNotNullable \u6ce8\u89e3\uff0c\u6211\u4eec\u53ef\u4ee5\u544a\u8bc9 infer\u89c4\u907f\u5bf9\u8be5\u53c2\u6570\u7684\u975e\u7a7a\u68c0\u67e5\uff0c\u5c31\u800c\u907f\u514d\u4e00\u4e9b\u4e0d\u5fc5\u8981\u7684\u8b66\u544a\u6216\u8bef\u8bef\u3002\n\n\u9700\u8981\u6ce8\u610f\u7684\u662f\uff0c\u6211\u4eec\u5e94\u8be5\u8c28\u614e\u4f7f\u7528 SuppressParameterNotNullable \u6ce8\u89e3\uff0c\u53ea\u5728\u786e\u4fdd\u53c2\u6570\u53ef\u4ee5\u4e3a\u7a7a\u7684\u60c5\u51b5\u4e0b\u4f7f\u7528\uff0c\u907f\u514d\u56e0\u4e3a\u5ffd\u7565\u4e86\u53c2\u6570\u7684\u975e\u7a7a\u68c0\u67e5\u800c\u5f15\u5165\u6f5c\u5728\u7684\u7a7a\u6307\u9488\u5f02\u5e38\u95ee\u9898\u3002