{"id":586113,"date":"2025-07-29T03:31:20","date_gmt":"2025-07-29T02:31:20","guid":{"rendered":"https:\/\/blog.jetbrains.com\/?post_type=go&#038;p=586113"},"modified":"2025-07-29T03:33:19","modified_gmt":"2025-07-29T02:33:19","slug":"interprocedural-analysis-catch-nil-dereferences-before-they-crash-your-code","status":"publish","type":"go","link":"https:\/\/blog.jetbrains.com\/zh-hans\/go\/2025\/07\/29\/interprocedural-analysis-catch-nil-dereferences-before-they-crash-your-code\/","title":{"rendered":"\u8fc7\u7a0b\u95f4\u5206\u6790\uff1a\u5728\u4ee3\u7801\u5d29\u6e83\u524d\u6355\u83b7 nil \u89e3\u5f15\u7528"},"content":{"rendered":"\n<p>\u5373\u5c06\u63a8\u51fa\u7684 GoLand 2025.2 \u7248\u672c\u5f15\u5165\u4e86\u4e00\u7ec4\u5f3a\u5927\u7684\u65b0\u529f\u80fd\u548c\u6539\u8fdb\uff0c\u65e8\u5728\u5e2e\u52a9\u60a8\u7f16\u5199\u66f4\u5b89\u5168\u3001\u66f4\u53ef\u9760\u7684 Go \u4ee3\u7801\u3002 \u5982\u679c\u60a8\u60f3\u4e86\u89e3\u6240\u6709\u66f4\u65b0\u7684\u8be6\u7ec6\u4fe1\u606f\uff0c\u8bf7\u52a1\u5fc5\u67e5\u770b<a href=\"https:\/\/www.jetbrains.com.cn\/help\/go\/2025.2\/release-notes-goland.html\" target=\"_blank\" rel=\"noopener\">\u7248\u672c\u8bf4\u660e<\/a>\u3002&nbsp;<\/p>\n\n\n\n<p>\u5728\u8fd9\u7bc7\u535a\u6587\u4e2d\uff0c\u6211\u4eec\u5c06\u91cd\u70b9\u4ecb\u7ecd\u6700\u91cd\u8981\u7684\u4e00\u4e2a\u65b0\u529f\u80fd\uff1a\u7528\u4e8e\u68c0\u6d4b <code>nil<\/code> \u6307\u9488\u89e3\u5f15\u7528\u7684\u8fc7\u7a0b\u95f4\u4ee3\u7801\u5206\u6790\u3002 \u8fd9\u4e00\u6539\u8fdb\u901a\u8fc7\u5e2e\u52a9\u60a8\u6355\u83b7\u4ee3\u7801\u5ba1\u67e5\u548c\u6d4b\u8bd5\u4e2d\u5e38\u88ab\u5ffd\u7565\u7684\u5fae\u5999 bug\uff0c\u4f7f\u60a8\u7684\u751f\u4ea7\u4ee3\u7801\u66f4\u52a0\u7a33\u5b9a\u4e14\u66f4\u6613\u4e8e\u7ef4\u62a4\u3002<\/p>\n\n\n\n<p>GoLand \u56e2\u961f\u6295\u5165\u4e86\u5927\u91cf\u7cbe\u529b\u6765\u63d0\u4f9b\u66f4\u6df1\u5165\u3001\u66f4\u667a\u80fd\u7684\u9759\u6001\u5206\u6790\uff0c\u4ee5\u6539\u5584\u60a8\u7684\u5f00\u53d1\u4f53\u9a8c\u5e76\u5e2e\u52a9\u9632\u6b62\u90a3\u4e9b\u4ee4\u4eba\u6cae\u4e27\u7684\u8fd0\u884c\u65f6\u5b95\u673a\u3002 \u5982\u679c\u60a8\u60f3\u5728 IDE \u4e2d\u5c1d\u8bd5\u6b64\u529f\u80fd\uff0c\u53ef\u4ee5\u4ece GitHub \u514b\u9686<a href=\"https:\/\/github.com\/JetBrains\/goland-documentation-samples\/tree\/main\/nilDereferenceAnalysis\" target=\"_blank\" rel=\"noopener\">\u4ee5\u4e0b\u9879\u76ee<\/a>\u3002<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">Go \u4e2d\u7684 <strong><code>nil<\/code><\/strong> \u6307\u9488\u89e3\u5f15\u7528<\/h2>\n\n\n\n<p>\u5728 Go \u7f16\u7a0b\u8bed\u8a00\u4e2d\uff0c<code>nil<\/code> \u6307\u9488\u89e3\u5f15\u7528\u662f\u6700\u5e38\u89c1\u7684\u75db\u70b9\u4e4b\u4e00\uff0c\u51e0\u4e4e\u6bcf\u4e2a Go \u5f00\u53d1\u8005\u90fd\u66fe\u9047\u5230\u8fc7\u3002 \u5c3d\u7ba1 Go \u8bed\u8a00\u7b80\u5355\u4e14\u5177\u6709\u5f3a\u5927\u7684\u9759\u6001\u7c7b\u578b\uff0c<code>nil<\/code> \u4ecd\u7136\u662f\u5bfc\u81f4\u5fae\u5999\u4e14\u5f80\u5f80\u5f88\u4e25\u91cd bug \u7684\u6765\u6e90\u3002<\/p>\n\n\n\n<p><code>nil<\/code> \u89e3\u5f15\u7528\u7684\u5f71\u54cd\u53ef\u80fd\u5f88\u4e25\u91cd\uff0c\u5c24\u5176\u662f\u5728\u751f\u4ea7\u73af\u5883\u4e2d\u3002 \u4e00\u6b21\u610f\u5916\u7684\u89e3\u5f15\u7528\u53ef\u80fd\u4f1a\u5bfc\u81f4\u6574\u4e2a\u670d\u52a1\u5d29\u6e83\uff0c\u4f7f API \u6216\u5de5\u4f5c\u8fdb\u7a0b\u6beb\u65e0\u9884\u8b66\u5730\u505c\u6b62\u8fd0\u884c\u3002&nbsp;<\/p>\n\n\n\n<p>\u5728 Go \u4e2d\uff0c\u751a\u81f3\u53ef\u80fd\u51fa\u73b0\u66f4\u5fae\u5999\u7684\u95ee\u9898\u3002 \u4f8b\u5982\uff0c\u5411 <code>nil<\/code> \u901a\u9053\u5199\u5165\u6570\u636e\u53ef\u80fd\u4f1a\u5bfc\u81f4 goroutine \u6c38\u8fdc\u963b\u585e\uff0c\u4ece\u800c\u53ef\u80fd\u5bfc\u81f4\u6b7b\u9501\u548c\u7ea7\u8054\u7cfb\u7edf\u6545\u969c\u3002 \u5c1d\u8bd5\u8bbf\u95ee\u672a\u521d\u59cb\u5316\u7684 <code>nil<\/code> \u6307\u9488\u4e0a\u7684\u5b57\u6bb5\u5c06\u7acb\u5373\u5f15\u53d1\u5b95\u673a\u3002 \u8fd9\u7c7b\u9519\u8bef\u5f88\u5bb9\u6613\u88ab\u5ffd\u89c6\uff0c\u5e76\u4e14\u4e00\u65e6\u90e8\u7f72\u5c31\u5f88\u96be\u8ffd\u6eaf\u3002<\/p>\n\n\n\n<p>\u867d\u7136\u6709\u4e9b <code>nil<\/code> \u89e3\u5f15\u7528\u95ee\u9898\u53ef\u4ee5\u901a\u8fc7\u4ed4\u7ec6\u7684\u4ee3\u7801\u5ba1\u67e5\u6216\u6d4b\u8bd5\u53d1\u73b0\uff0c\u4f46\u8fd9\u5e76\u4e0d\u80fd\u505a\u5230\u4e07\u65e0\u4e00\u5931\u3002 \u5728\u5feb\u8282\u594f\u7684\u5f00\u53d1\u5468\u671f\u6216\u5927\u578b\u4ee3\u7801\u5e93\u4e2d\uff0c\u4e0e <code>nil<\/code> \u76f8\u5173\u7684\u5fae\u5999 bug \u5f88\u5bb9\u6613\u88ab\u5ffd\u7565\u3002 \u7406\u60f3\u60c5\u51b5\u4e0b\uff0c\u5728\u7f16\u5199\u4ee3\u7801\u65f6\u5e94\u8be5\u5c3d\u65e9\u81ea\u52a8\u68c0\u6d4b\u5230\u6b64\u7c7b\u95ee\u9898\u3002<\/p>\n\n\n\n<p>\u8fd9\u6b63\u662f\u9759\u6001\u4ee3\u7801\u5206\u6790\u53d1\u6325\u4f5c\u7528\u7684\u5730\u65b9\u3002 GoLand \u5df2\u7ecf\u5305\u542b\u4e00\u4e2a\u5185\u7f6e\u7684 <code>nil<\/code> \u89e3\u5f15\u7528\u68c0\u67e5\uff0c\u7528\u4e8e\u6267\u884c\u5c40\u90e8\u8fc7\u7a0b\u5185\u5206\u6790\u3002 \u5b83\u9002\u7528\u4e8e\u8bb8\u591a\u5e38\u89c1\u573a\u666f\uff0c\u53ef\u4ee5\u5728\u5355\u4e2a\u51fd\u6570\u4f5c\u7528\u57df\u5185\u68c0\u6d4b\u6307\u9488\u4f55\u65f6\u53ef\u80fd\u4e3a <code>nil<\/code>\u3002<\/p>\n\n\n\n<p>\u4e0d\u8fc7\uff0c\u5f53\u524d\u7684\u5206\u6790\u4ec5\u5728\u5355\u4e2a\u51fd\u6570\u5185\u6709\u6548\u3002 \u5b83\u4e0d\u4f1a\u8ddf\u8e2a\u503c\u5728\u51fd\u6570\u4e4b\u95f4\u7684\u4f20\u9012\u65b9\u5f0f\uff0c\u56e0\u6b64\u53ef\u80fd\u4f1a\u9057\u6f0f\u6d89\u53ca\u591a\u4e2a\u8c03\u7528\u7684\u95ee\u9898\u3002 \u8fd9\u4e9b\u66f4\u590d\u6742\u7684\u60c5\u51b5\u5728\u5b9e\u9645\u7684 Go \u4ee3\u7801\u4e2d\u5f88\u5e38\u89c1\uff0c\u800c\u4e14\u5f80\u5f80\u6700\u4e3a\u5371\u9669\u3002 \u4e3a\u4e86\u6355\u83b7\u8fd9\u4e9b\u95ee\u9898\uff0c\u6211\u4eec\u5b9e\u73b0\u4e86\u66f4\u5f3a\u5927\u7684\u529f\u80fd\uff1a\u8fc7\u7a0b\u95f4\u4ee3\u7801\u5206\u6790\u3002<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">\u8fc7\u7a0b\u95f4\u4ee3\u7801\u5206\u6790<\/h2>\n\n\n\n<p>\u8fc7\u7a0b\u95f4\u5206\u6790\uff08\u4e5f\u79f0\u4e3a\u5168\u5c40\u5206\u6790\uff09\u53ef\u4ee5\u5e2e\u52a9\u60a8\u4e86\u89e3\u503c\u5728\u51fd\u6570\u8c03\u7528\u4e2d\u7684\u79fb\u52a8\u3002 \u5b83\u8d85\u8d8a\u4e86\u5355\u4e2a\u51fd\u6570\uff0c\u53ef\u4ee5\u8de8\u6587\u4ef6\u548c\u8f6f\u4ef6\u5305\u8ddf\u8e2a\u6570\u636e\u3002 \u76f8\u6bd4\u4e4b\u4e0b\uff0c\u8fc7\u7a0b\u5185\u6216\u5c40\u90e8\u5206\u6790\u53ea\u4f1a\u68c0\u67e5\u4e00\u4e2a\u51fd\u6570\u5185\u90e8\u53d1\u751f\u7684\u60c5\u51b5\u3002 \u5c40\u90e8\u95ee\u9898\u901a\u5e38\u5f88\u5bb9\u6613\u901a\u8fc7\u5ba1\u67e5\u5355\u4e2a\u51fd\u6570\u6765\u6355\u83b7\u3002 \u4f46\u5168\u5c40\u95ee\u9898\u66f4\u96be\u627e\u5230\uff0c\u56e0\u4e3a\u95ee\u9898\u7684\u6765\u6e90\uff08\u4f8b\u5982 <code>nil<\/code> \u503c\uff09\u53ef\u80fd\u4e0e\u5f15\u53d1\u9519\u8bef\u7684\u4f4d\u7f6e\u76f8\u53bb\u751a\u8fdc\u3002 \u8fd9\u5c31\u662f\u4e3a\u4ec0\u4e48\u8fc7\u7a0b\u95f4\u5206\u6790\u5bf9\u4e8e\u68c0\u6d4b <code>nil<\/code> \u89e3\u5f15\u7528\u95ee\u9898\u7279\u522b\u6709\u7528\u3002<\/p>\n\n\n\n<h3 class=\"wp-block-heading\">\u8ddf\u8e2a\u6d41\uff1a\u7406\u89e3 <strong><code>nil<\/code><\/strong> \u89e3\u5f15\u7528<\/h3>\n\n\n\n<p>\u73b0\u5728\uff0c\u6211\u4eec\u6765\u770b\u4e00\u4e2a\u793a\u4f8b\u3002 \u8fd9\u6bb5\u4ee3\u7801\u770b\u8d77\u6765\u975e\u5e38\u7b80\u5355\u3002 \u6211\u4eec\u4f7f\u7528\u6784\u9020\u51fd\u6570\u521b\u5efa\u4e00\u4e2a\u7528\u6237\u5e76\u6253\u5370\u5176\u5b57\u6bb5\u3002 \u4f46\u662f\uff0c\u5206\u6790\u7ed9\u51fa\u4e86\u4e00\u4e2a\u8b66\u544a\uff1a<code>user.Age<\/code> \u53ef\u80fd\u4f1a\u5bfc\u81f4 <code>nil<\/code> \u89e3\u5f15\u7528\u3002<\/p>\n\n\n\n<figure class=\"wp-block-image size-full\"><img decoding=\"async\" loading=\"lazy\" width=\"3200\" height=\"728\" src=\"https:\/\/blog.jetbrains.com\/wp-content\/uploads\/2025\/07\/Example-1.1-main.png\" alt=\"\" class=\"wp-image-583380\"\/><\/figure>\n\n\n\n<p>\u6211\u4eec\u6765\u5c1d\u8bd5\u624b\u52a8\u8c03\u67e5\u4e00\u4e0b\u3002 \u8981\u4e86\u89e3\u53d1\u751f\u4e86\u4ec0\u4e48\uff0c\u6211\u4eec\u9700\u8981\u770b\u770b <code>NewUser<\/code> \u51fd\u6570\u662f\u5982\u4f55\u5b9e\u73b0\u7684\u3002 \u5b83\u662f\u5728\u4e00\u4e2a\u540d\u4e3a <code><a href=\"http:\/\/model.go\" target=\"_blank\" rel=\"noopener\">model.go<\/a><\/code> \u7684\u4e0d\u540c\u6587\u4ef6\u4e2d\u5b9a\u4e49\u7684\u3002<\/p>\n\n\n\n<figure class=\"wp-block-image size-full\"><img decoding=\"async\" loading=\"lazy\" width=\"3200\" height=\"769\" src=\"https:\/\/blog.jetbrains.com\/wp-content\/uploads\/2025\/07\/Example-1.2-NewUser.png\" alt=\"\" class=\"wp-image-583435\"\/><\/figure>\n\n\n\n<p>\u8fd9\u4e2a\u6784\u9020\u51fd\u6570\u770b\u8d77\u6765\u6709\u70b9\u5947\u602a\uff1a\u5982\u679c\u53d1\u751f\u9519\u8bef\uff0c<code>NewUser<\/code> \u5c06\u8fd4\u56de <code>nil<\/code>\uff0c\u4f46\u5728 <code>main<\/code> \u4e2d\uff0c\u6211\u4eec\u6ca1\u6709\u68c0\u67e5\u5c31\u4f7f\u7528\u4e86\u7ed3\u679c\u3002 \u8fd9\u4f1a\u4ea7\u751f\u6f5c\u5728\u7684 <code>nil<\/code> \u89e3\u5f15\u7528\u3002<\/p>\n\n\n\n<p>\u4e3a\u4e86\u89e3\u51b3\u8fd9\u4e2a\u95ee\u9898\uff0c\u6211\u4eec\u53ef\u4ee5\u91cd\u5199 <code>NewUser<\/code> \u6765\u8fd4\u56de\u7ed3\u679c\u548c\u9519\u8bef\uff0c\u8fd9\u6837\u66f4\u7b26\u5408\u60ef\u7528\u7684 Go \u98ce\u683c\u3002<\/p>\n\n\n\n<figure class=\"wp-block-gallery has-nested-images columns-default is-cropped wp-block-gallery-1 is-layout-flex wp-block-gallery-is-layout-flex\">\n<figure class=\"wp-block-image size-large\"><img decoding=\"async\" loading=\"lazy\" width=\"3200\" height=\"1666\" data-id=\"583457\" src=\"https:\/\/blog.jetbrains.com\/wp-content\/uploads\/2025\/07\/Example-1.3-main-NewUser-fix-1.png\" alt=\"\" class=\"wp-image-583457\"\/><\/figure>\n<\/figure>\n\n\n\n<p>\u73b0\u5728\uff0c\u4ee3\u7801\u66f4\u5b89\u5168\u4e86\u3002 \u6211\u4eec\u5728\u8bbf\u95ee <code>user<\/code> \u4e4b\u524d\u68c0\u67e5\u4e86\u9519\u8bef\uff0c\u56e0\u6b64\u4e0d\u5b58\u5728\u89e3\u5f15\u7528 <code>nil<\/code> \u7684\u98ce\u9669\u3002 \u5c3d\u7ba1\u8fd9\u6bb5\u4ee3\u7801\u770b\u8d77\u6765\u662f\u6b63\u786e\u7684\uff0c\u4f46\u6211\u4eec\u4ecd\u7136\u770b\u5230\u4e86\u76f8\u540c\u7684\u8b66\u544a\u3002<\/p>\n\n\n\n<p>\u4e3a\u4e86\u5f04\u6e05\u695a\u539f\u56e0\uff0c\u6211\u4eec\u6765\u6df1\u5165\u7814\u7a76\u4e00\u4e0b <code>CreateUser<\/code> \u7684\u5b9e\u73b0\u3002<\/p>\n\n\n\n<figure class=\"wp-block-gallery has-nested-images columns-default is-cropped wp-block-gallery-3 is-layout-flex wp-block-gallery-is-layout-flex\">\n<figure class=\"wp-block-image size-large\"><img decoding=\"async\" loading=\"lazy\" width=\"3200\" height=\"988\" data-id=\"583468\" src=\"https:\/\/blog.jetbrains.com\/wp-content\/uploads\/2025\/07\/Example-1.4-CreateUser.png\" alt=\"\" class=\"wp-image-583468\"\/><\/figure>\n<\/figure>\n\n\n\n<p>\u5728\u8fd9\u91cc\uff0c\u6211\u4eec\u53d1\u73b0\u4e86\u5bfc\u81f4\u8be5\u95ee\u9898\u7684\u7b2c\u4e8c\u4e2a\u539f\u56e0\u3002<\/p>\n\n\n\n<p>\u5728 <code>CreateUser<\/code> \u51fd\u6570\u4e2d\uff0c\u5b58\u5728\u4ee3\u7801\u540c\u65f6\u4e3a <code>user<\/code> \u548c <code>error<\/code> \u8fd4\u56de <code>nil<\/code> \u7684\u60c5\u51b5\u3002<\/p>\n\n\n\n<figure class=\"wp-block-image size-full\"><img decoding=\"async\" loading=\"lazy\" width=\"3200\" height=\"340\" src=\"https:\/\/blog.jetbrains.com\/wp-content\/uploads\/2025\/07\/Example-1.5-CreateUser-return-nil-nil.png\" alt=\"\" class=\"wp-image-583479\"\/><\/figure>\n\n\n\n<p>\u8fd9\u662f\u9519\u8bef\u5904\u7406\u4e2d\u76f8\u5f53\u5e38\u89c1\u7684\u9519\u8bef\u3002 \u8fd4\u56de <code>nil<\/code> \u4e14\u6ca1\u6709\u9519\u8bef\uff0c\u770b\u8d77\u6765\u597d\u50cf\u4e00\u5207\u6b63\u5e38\uff0c\u4f46\u5b9e\u9645\u4e0a\u7ed3\u679c\u662f\u65e0\u6548\u7684\u3002 \u8c03\u7528\u65b9\u4ec5\u68c0\u67e5\u4e86\u9519\u8bef\uff0c\u53d1\u73b0\u5b83\u662f <code>nil<\/code>\uff0c\u7136\u540e\u5c1d\u8bd5\u4f7f\u7528\u7ed3\u679c\u3002 \u5728\u6211\u4eec\u7684\u793a\u4f8b\u4e2d\uff0c\u8fd9\u4f1a\u5728\u4ee3\u7801\u8bbf\u95ee <code>user.Age<\/code> \u65f6\u5bfc\u81f4\u5d29\u6e83\u3002<\/p>\n\n\n\n<p>\u6211\u4eec\u53ef\u4ee5\u901a\u8fc7\u5728\u8f93\u5165\u65e0\u6548\u65f6\u8fd4\u56de\u5b9e\u9645\u9519\u8bef\u6765\u4fee\u6b63\u6b64\u95ee\u9898\uff1a<\/p>\n\n\n\n<figure class=\"wp-block-image size-full\"><img decoding=\"async\" loading=\"lazy\" width=\"3200\" height=\"340\" src=\"https:\/\/blog.jetbrains.com\/wp-content\/uploads\/2025\/07\/Example-1.6-CreateUser-return-nil-nil-fix.png\" alt=\"\" class=\"wp-image-583490\"\/><\/figure>\n\n\n\n<p>\u901a\u8fc7\u6b64\u66f4\u6539\uff0c\u4ee3\u7801\u53d8\u5f97\u6b63\u786e\u4e86\uff0c\u68c0\u67e5\u4e5f\u4e0d\u518d\u62a5\u544a nil \u89e3\u5f15\u7528\u3002<\/p>\n\n\n\n<p>\u624b\u52a8\u67e5\u627e\u6b64\u7c7b\u95ee\u9898\u53ef\u80fd\u65e2\u7f13\u6162\u53c8\u4ee4\u4eba\u6cae\u4e27\uff0c\u5c24\u5176\u662f\u5728\u5927\u578b\u9879\u76ee\u4e2d\u3002 \u521b\u5efa <code>nil<\/code> \u503c\u7684\u4f4d\u7f6e\u53ef\u80fd\u8ddd\u79bb\u5bfc\u81f4\u95ee\u9898\u7684\u4f4d\u7f6e\u5f88\u8fdc\u3002<\/p>\n\n\n\n<p>\u6b63\u56e0\u4e3a\u5982\u6b64\uff0cGoLand \u5728\u68c0\u6d4b\u5230\u6b64\u7c7b\u95ee\u9898\u65f6\u4f1a\u7acb\u5373\u5728\u7f16\u8f91\u5668\u4e2d\u9ad8\u4eae\u663e\u793a\u3002 \u5bf9\u4e8e\u8fd9\u4e9b\u8b66\u544a\uff0c\u6211\u4eec\u63d0\u4f9b\u4e86\u4e13\u95e8\u7684\u4e0a\u4e0b\u6587\u64cd\u4f5c\uff1a<em>Explain potential nil dereference<\/em>\uff08\u89e3\u91ca\u6f5c\u5728\u7684 nil \u89e3\u5f15\u7528\uff09\u3002 \u6b64\u64cd\u4f5c\u5c06\u6253\u5f00 <em>Data Flow Analysis<\/em>\uff08\u6570\u636e\u6d41\u5206\u6790\uff09\u5de5\u5177\u7a97\u53e3\uff0c\u60a8\u53ef\u4ee5\u5728\u5176\u4e2d\u9010\u6b65\u4e86\u89e3 <code>nil<\/code> \u503c\u5982\u4f55\u6d41\u7ecf\u4ee3\u7801\u4ee5\u53ca\u6700\u7ec8\u5728\u4f55\u5904\u4f7f\u7528\u3002 \u8fd9\u4f7f\u5f97\u7406\u89e3\u548c\u4fee\u6b63\u95ee\u9898\u53d8\u5f97\u66f4\u52a0\u5bb9\u6613\uff0c\u800c\u65e0\u9700\u641c\u7d22\u6574\u4e2a\u4ee3\u7801\u5e93\u3002<\/p>\n\n\n\n<figure class=\"wp-block-video\"><video controls src=\"https:\/\/blog.jetbrains.com\/wp-content\/uploads\/2025\/07\/Example-1.7-DFA-toolwindow-movie.mov\"><\/video><\/figure>\n\n\n\n<h3 class=\"wp-block-heading\">\u5f53 <code>nil<\/code> \u88ab\u5ffd\u7565\u65f6\uff1a\u6355\u83b7\u4e0d\u5b89\u5168\u7684\u5b9e\u53c2\u548c\u63a5\u6536\u5668<\/h3>\n\n\n\n<p>\u6211\u4eec\u7684\u5206\u6790\u4e0d\u4ec5\u9650\u4e8e\u8ddf\u8e2a <code>return<\/code> \u503c\u3002 \u5b83\u8fd8\u80fd\u901a\u8fc7\u7406\u89e3\u51fd\u6570\u662f\u5426\u9700\u8981\u975e nil \u5b9e\u53c2\u6216\u80fd\u5426\u5b89\u5168\u63a5\u53d7 <code>nil<\/code> \u6765\u63a8\u65ad\u5f62\u53c2\u4e3a nil \u6027\u3002 \u8fd9\u5bf9\u4e8e\u6355\u83b7\u5c06 <code>nil<\/code> \u503c\u65e0\u610f\u4f20\u9012\u7ed9\u65e0\u6cd5\u6b63\u786e\u5904\u7406\u5b83\u7684\u51fd\u6570\u7684\u60c5\u51b5\u7279\u522b\u6709\u7528\u3002<\/p>\n\n\n\n<p>\u6211\u4eec\u6765\u770b\u53e6\u4e00\u4e2a\u793a\u4f8b\uff1a<\/p>\n\n\n\n<figure class=\"wp-block-gallery has-nested-images columns-default is-cropped wp-block-gallery-5 is-layout-flex wp-block-gallery-is-layout-flex\">\n<figure class=\"wp-block-image size-large\"><img decoding=\"async\" loading=\"lazy\" width=\"3206\" height=\"756\" data-id=\"583512\" src=\"https:\/\/blog.jetbrains.com\/wp-content\/uploads\/2025\/07\/Example-2.1-prcoess.png\" alt=\"\" class=\"wp-image-583512\"\/><\/figure>\n<\/figure>\n\n\n\n<p>\u8fd9\u91cc\uff0c\u6211\u4eec\u5728 <code>user<\/code> \u4e0a\u8c03\u7528 <code>Copy<\/code> \u65b9\u6cd5\u3002 \u540c\u65f6\uff0c\u6211\u4eec\u5c06 <code>nil<\/code> \u4f5c\u4e3a\u4e0a\u4e0b\u6587\u4f20\u9012\uff0c\u5047\u8bbe\u8fd9\u6837\u505a\u662f\u5b89\u5168\u7684\u3002&nbsp;<\/p>\n\n\n\n<p>\u4f46\u662f\u68c0\u67e5\u663e\u793a\u4e86\u4e00\u4e2a\u8b66\u544a\uff1a\u5f53\u6211\u4eec\u5c06 <code>nil<\/code> \u503c\u4f5c\u4e3a\u4e0a\u4e0b\u6587\u4f20\u9012\u65f6\uff0c\u4e0a\u4e0b\u6587\u5b9e\u53c2\u53ef\u80fd\u4f1a\u5bfc\u81f4 <code>nil<\/code> \u89e3\u5f15\u7528\u3002 \u6211\u4eec\u6765\u68c0\u67e5\u4e00\u4e0b <code>Copy<\/code> \u65b9\u6cd5\u7684\u5b9e\u73b0\uff1a<\/p>\n\n\n\n<figure class=\"wp-block-image size-full is-resized\"><img decoding=\"async\" loading=\"lazy\" width=\"3206\" height=\"960\" src=\"https:\/\/blog.jetbrains.com\/wp-content\/uploads\/2025\/07\/Example-2.2-Copy.png\" alt=\"\" class=\"wp-image-583523\" style=\"aspect-ratio:3.339583333333333;width:840px;height:auto\"\/><\/figure>\n\n\n\n<p>\u5728\u8fd9\u6bb5\u4ee3\u7801\u4e2d\uff0c\u65b9\u6cd5\u5728\u6ca1\u6709\u68c0\u67e5 <code>ctx<\/code> \u662f\u5426\u4e3a <code>nil<\/code> \u7684\u60c5\u51b5\u4e0b\u8bbf\u95ee <code>ctx.isDebugEnabled<\/code>\u3002 \u5982\u679c <code>ctx<\/code> \u4e3a <code>nil<\/code>\uff0c\u7a0b\u5e8f\u5c06\u5728\u8fd0\u884c\u65f6\u5b95\u673a\u3002<\/p>\n\n\n\n<p>\u4e3a\u4e86\u89e3\u51b3\u8fd9\u4e2a\u95ee\u9898\uff0c\u6211\u4eec\u53ef\u4ee5\u5728\u8bbf\u95ee\u5176\u5b57\u6bb5\u4e4b\u524d\u6dfb\u52a0\u663e\u5f0f <code>nil<\/code> \u68c0\u67e5\uff0c\u4ece\u800c\u4f7f <code>ctx<\/code> \u5f62\u53c2\u5177\u6709 nil \u5b89\u5168\u6027\u3002<\/p>\n\n\n\n<figure class=\"wp-block-gallery has-nested-images columns-default is-cropped wp-block-gallery-7 is-layout-flex wp-block-gallery-is-layout-flex\">\n<figure class=\"wp-block-image size-large\"><img decoding=\"async\" loading=\"lazy\" width=\"3206\" height=\"324\" data-id=\"583534\" src=\"https:\/\/blog.jetbrains.com\/wp-content\/uploads\/2025\/07\/Example-2.3-Copy-ctx-fix.png\" alt=\"\" class=\"wp-image-583534\"\/><\/figure>\n<\/figure>\n\n\n\n<p>\u901a\u8fc7\u6b64\u66f4\u6539\uff0c\u4ee3\u7801\u53d8\u5f97\u5b89\u5168\uff0c\u5e76\u4e14\u8c03\u7528\u70b9\u7684\u8b66\u544a\u6d88\u5931\u4e86\u3002<\/p>\n\n\n\n<figure class=\"wp-block-gallery has-nested-images columns-default is-cropped wp-block-gallery-9 is-layout-flex wp-block-gallery-is-layout-flex\">\n<figure class=\"wp-block-image size-large\"><img decoding=\"async\" loading=\"lazy\" width=\"3206\" height=\"848\" data-id=\"583545\" src=\"https:\/\/blog.jetbrains.com\/wp-content\/uploads\/2025\/07\/Example-2.4-process.png\" alt=\"\" class=\"wp-image-583545\"\/><\/figure>\n<\/figure>\n\n\n\n<p>\u4e0d\u8fc7\uff0c\u8fd9\u5e76\u4e0d\u662f\u552f\u4e00\u7684\u95ee\u9898\u3002 \u5206\u6790\u8fd8\u62a5\u544a\u4e86\u4e0e <code>user<\/code> \u53d8\u91cf\u76f8\u5173\u7684\u6f5c\u5728 <code>nil<\/code> \u89e3\u5f15\u7528\u3002<\/p>\n\n\n\n<p>\u8981\u7406\u89e3\u539f\u56e0\uff0c\u6211\u4eec\u53ef\u4ee5\u4f7f\u7528 <em>Explain potential nil dereference<\/em>\uff08\u89e3\u91ca\u6f5c\u5728\u7684 nil \u89e3\u5f15\u7528\uff09\u64cd\u4f5c\u3002<\/p>\n\n\n\n<figure class=\"wp-block-video\"><video controls src=\"https:\/\/blog.jetbrains.com\/wp-content\/uploads\/2025\/07\/Example-2.5-DFA-toolwindow-movie.mov\"><\/video><\/figure>\n\n\n\n<p><code>process<\/code> \u51fd\u6570\u5141\u8bb8 <code>user<\/code> \u4e3a <code>nil<\/code>\uff0c\u6211\u4eec\u672a\u7ecf\u68c0\u67e5\u5c31\u5c06\u5176\u4f20\u9012\u7ed9 <code>Copy<\/code>\u3002&nbsp;<\/p>\n\n\n\n<p>\u5728 <code>Copy<\/code> \u65b9\u6cd5\u5185\u90e8\uff0c\u63a5\u6536\u5668 <code>u<\/code> \u5728\u68c0\u67e5\u4e4b\u524d\u5c31\u88ab\u4f7f\u7528\u3002 \u5177\u4f53\u6765\u8bf4\uff0c<code>u<\/code> \u88ab\u4f20\u9012\u7ed9 <code>logUserEvent<\/code> \u51fd\u6570\uff0c\u5728\u8bbf\u95ee <code>u.Name<\/code> \u5b57\u6bb5\u65f6\u4f1a\u53d1\u751f\u89e3\u5f15\u7528\u3002 \u56e0\u6b64\uff0c\u5982\u679c <code>process<\/code> \u51fd\u6570\u4e2d\u7684 <code>user<\/code> \u53d8\u91cf\u4e3a <code>nil<\/code>\uff0c\u4f1a\u53d1\u751f <code>nil<\/code> \u89e3\u5f15\u7528\u3002<\/p>\n\n\n\n<p>\u8fd9\u4e9b\u793a\u4f8b\u8868\u660e <code>nil<\/code> \u89e3\u5f15\u7528\u95ee\u9898\u901a\u5e38\u5f88\u5fae\u5999\u4e14\u5bb9\u6613\u88ab\u5ffd\u89c6\u3002 \u5373\u4f7f\u4ee3\u7801\u770b\u8d77\u6765\u6574\u6d01\u4e14\u7b26\u5408\u4e60\u60ef\uff0c\u5c0f\u5c0f\u7684\u5047\u8bbe\u4e5f\u53ef\u80fd\u5bfc\u81f4\u8fd0\u884c\u65f6\u5d29\u6e83\u3002 \u624b\u52a8\u8ffd\u8e2a\u6839\u672c\u539f\u56e0\u53ef\u80fd\u4f1a\u975e\u5e38\u68d8\u624b\uff0c\u5c24\u5176\u662f\u5f53\u4ea7\u751f <code>nil<\/code> \u503c\u7684\u4f4d\u7f6e\u4e0e\u5176\u4f7f\u7528\u4f4d\u7f6e\u76f8\u53bb\u751a\u8fdc\uff0c\u88ab\u591a\u4e2a\u51fd\u6570\u8c03\u7528\u3001\u6587\u4ef6\u6216\u8f6f\u4ef6\u5305\u5206\u9694\u5f00\u65f6\u66f4\u662f\u5982\u6b64\u3002<\/p>\n\n\n\n<p>\u8fd9\u6b63\u662f\u8fc7\u7a0b\u95f4\u5206\u6790\u53d1\u6325\u4f5c\u7528\u7684\u5730\u65b9\u3002 \u5b83\u53ef\u4ee5\u8ddf\u8e2a <code>nil<\/code> \u503c\u5728\u51fd\u6570\u8c03\u7528\u4e2d\u7684\u79fb\u52a8\u3002 \u60a8\u65e0\u9700\u731c\u6d4b\u95ee\u9898\u4ece\u4f55\u5f00\u59cb\uff0c\u800c\u662f\u53ef\u4ee5\u6e05\u695a\u5730\u770b\u5230\u4ece\u6e90\u5934\u5230\u89e3\u5f15\u7528\u70b9\u7684\u5b8c\u6574\u8def\u5f84\u3002<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">Quick Documentation\uff08\u5feb\u901f\u6587\u6863\uff09\u73b0\u5728\u4f1a\u663e\u793a\u4e3a nil \u6027\u4fe1\u606f<\/h2>\n\n\n\n<p>GoLand \u4e2d\u7684\u4e3a nil \u6027\u5206\u6790\u4e0d\u4ec5\u4ec5\u662f\u4e3a\u4e86\u5728\u7f16\u8f91\u5668\u4e2d\u9ad8\u4eae\u663e\u793a\u95ee\u9898\u3002 \u5982\u60a8\u6240\u89c1\uff0c\u6211\u4eec\u7684\u5206\u6790\u53ef\u4ee5\u786e\u5b9a\u51fd\u6570\u662f\u5426\u53ef\u80fd\u8fd4\u56de <code>nil<\/code>\uff0c\u4ee5\u53ca\u5c06 <code>nil<\/code> \u4f5c\u4e3a\u5b9e\u53c2\u4f20\u9012\u7ed9\u7279\u5b9a\u5f62\u53c2\u662f\u5426\u5b89\u5168\u3002 \u7531\u4e8e\u8be5\u5206\u6790\u80fd\u591f\u7406\u89e3\u51fd\u6570\u7684\u9884\u671f\u884c\u4e3a\uff0c\u6211\u4eec\u51b3\u5b9a\u8ba9\u8fd9\u4e9b\u4fe1\u606f\u6613\u4e8e\u8bbf\u95ee\u3002 \u56e0\u6b64\uff0c\u6211\u4eec\u5c06\u4e3a nil \u6027\u4fe1\u606f\u76f4\u63a5\u96c6\u6210\u5230\u4e86 <em>Quick Documentation<\/em>\uff08\u5feb\u901f\u6587\u6863\uff09\u5f39\u51fa\u7a97\u53e3\u4e2d\u3002<\/p>\n\n\n\n<p>\u5728\u5e94\u7528\u4efb\u4f55\u4fee\u6b63\u4e4b\u524d\uff0c\u8ba9\u6211\u4eec\u56de\u5230\u4e4b\u524d\u7684\u7b2c\u4e00\u4e2a\u793a\u4f8b\u3002 \u5982\u679c\u6211\u4eec\u5c06\u6587\u672c\u5149\u6807\u653e\u5728 <code>NewUser<\/code> \u51fd\u6570\u4e0a\u5e76\u89e6\u53d1<em>Quick Documentation<\/em>\uff08\u5feb\u901f\u6587\u6863\uff09\uff0c\u6211\u4eec\u5c06\u770b\u5230\u4e00\u4e2a\u540d\u4e3a <em>Nilability info<\/em>\uff08\u4e3a nil \u6027\u4fe1\u606f\uff09\u7684\u90e8\u5206\u3002 \u5b83\u663e\u793a\u4e86\u51fd\u6570\u5f62\u53c2\u548c <code>return<\/code> \u503c\u7684\u4e3a nil \u6027\u3002 \u5728\u6b64\u793a\u4f8b\u4e2d\uff0c\u51fd\u6570\u53ef\u80fd\u4f1a\u8fd4\u56de\u4e00\u4e2a <code>nil<\/code> \u7ed3\u679c\uff0cQuick Documentation\uff08\u5feb\u901f\u6587\u6863\uff09\u5f39\u51fa\u7a97\u53e3\u4f1a\u6e05\u695a\u5730\u544a\u8bc9\u6211\u4eec\u8fd9\u4e00\u70b9\u3002<\/p>\n\n\n\n<figure class=\"wp-block-image size-full\"><img decoding=\"async\" loading=\"lazy\" width=\"3206\" height=\"962\" src=\"https:\/\/blog.jetbrains.com\/wp-content\/uploads\/2025\/07\/Example-3.1-quick-documentation-NewUser.png\" alt=\"\" class=\"wp-image-583567\"\/><\/figure>\n\n\n\n<p>\u8fd9\u4e00\u529f\u80fd\u540c\u6837\u9002\u7528\u4e8e\u5f62\u53c2\u548c\u63a5\u6536\u5668\u3002 \u5728\u7b2c\u4e8c\u4e2a\u793a\u4f8b\u4e2d\uff0c\u540c\u6837\u5728\u5e94\u7528\u4efb\u4f55\u4fee\u6b63\u4e4b\u524d\uff0c<em>Nilability info<\/em>\uff08\u4e3a nil \u6027\u4fe1\u606f\uff09\u90e8\u5206\u5411\u6211\u4eec\u5c55\u793a\u4e86\u51fd\u6570\u7684\u63a5\u6536\u5668 <code>u<\/code> \u548c\u5f62\u53c2 <code>ctx<\/code> \u90fd\u5e94\u8be5\u4e3a\u975e nil\u3002<\/p>\n\n\n\n<figure class=\"wp-block-gallery has-nested-images columns-default is-cropped wp-block-gallery-11 is-layout-flex wp-block-gallery-is-layout-flex\">\n<figure class=\"wp-block-image size-large\"><img decoding=\"async\" loading=\"lazy\" width=\"3206\" height=\"1346\" data-id=\"583578\" src=\"https:\/\/blog.jetbrains.com\/wp-content\/uploads\/2025\/07\/Example-3.2-quick-documentation-Copy.png\" alt=\"\" class=\"wp-image-583578\"\/><\/figure>\n<\/figure>\n\n\n\n<p>\u6dfb\u52a0\u7684\u8fd9\u4e00\u529f\u80fd\u867d\u5c0f\uff0c\u5374\u5e26\u6765\u4e86\u5de8\u5927\u7684\u6539\u53d8\u3002 \u901a\u8fc7\u5feb\u901f\u67e5\u627e\uff0c\u60a8\u53ef\u4ee5\u6982\u62ec\u4e86\u89e3\u91cd\u8981\u8be6\u7ec6\u4fe1\u606f\uff0c\u8fd9\u6709\u52a9\u4e8e\u60a8\u7f16\u5199\u66f4\u5b89\u5168\u7684\u4ee3\u7801\u5e76\u964d\u4f4e\u610f\u5916 <code>nil<\/code> \u89e3\u5f15\u7528\u7684\u98ce\u9669\u3002 \u4e0d\u8fc7\uff0c\u8bf7\u8bb0\u4f4f\uff0c\u5206\u6790\u5e76\u4e0d\u80fd\u6db5\u76d6\u6240\u6709\u60c5\u51b5\uff0c\u56e0\u6b64\u8bf7\u52a1\u5fc5\u4ed4\u7ec6\u68c0\u67e5\u4ee3\u7801\u3002<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">\u5c40\u9650\u6027\u4e0e\u6743\u8861<\/h2>\n\n\n\n<p>\u6b64\u5206\u6790\u7684\u9996\u4e2a\u7248\u672c\u7279\u610f\u8bbe\u8ba1\u5f97\u7b80\u5355\u4e14\u5ba1\u614e\u3002 \u5b83\u5e76\u672a\u8bd5\u56fe\u6355\u83b7\u6240\u6709\u53ef\u80fd\u7684 <code>nil<\/code> \u89e3\u5f15\u7528\uff0c\u8fd9\u662f\u6709\u610f\u4e3a\u4e4b\u3002 \u6211\u4eec\u4e13\u6ce8\u4e8e\u6700\u5e38\u89c1\u548c\u6700\u91cd\u8981\u7684\u60c5\u51b5\uff0c\u65e8\u5728\u5c06\u8bef\u62a5\u7387\u964d\u81f3\u6700\u4f4e\u3002 \u6211\u4eec\u4f1a\u4e0d\u65ad\u6539\u8fdb\u8be5\u5206\u6790\uff0c\u5e76\u8c28\u614e\u5730\u6dfb\u52a0\u65b0\u7684\u7528\u4f8b\u3002 \u6211\u4eec\u7684\u76ee\u6807\u662f\u6355\u83b7\u66f4\u591a\u95ee\u9898\uff0c\u540c\u65f6\u907f\u514d\u4e0d\u5fc5\u8981\u7684\u5e72\u6270\u3002<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">\u907f\u514d\u5b95\u673a\uff0c\u62e5\u62b1\u5b89\u5168<\/h2>\n\n\n\n<p>\u8fc7\u7a0b\u95f4\u4ee3\u7801\u5206\u6790\u8ba9\u60a8\u53ef\u4ee5\u66f4\u8f7b\u677e\u5730\u5c3d\u65e9\u6355\u83b7\u5e76\u4fee\u6b63 <code>nil<\/code> \u6307\u9488\u89e3\u5f15\u7528\u95ee\u9898\u3002 \u901a\u8fc7\u8de8\u51fd\u6570\u3001\u6587\u4ef6\u548c\u8f6f\u4ef6\u5305\u8ddf\u8e2a <code>nil<\/code> \u503c\uff0c\u6b64\u5206\u6790\u6709\u52a9\u4e8e\u5728\u6f5c\u5728 bug \u5f71\u54cd\u751f\u4ea7\u73af\u5883\u4e4b\u524d\uff0c\u66f4\u8f7b\u677e\u5730\u7406\u89e3\u5176\u6839\u672c\u539f\u56e0\uff0c\u4ece\u800c\u51cf\u5c11\u505c\u673a\u65f6\u95f4\uff0c\u907f\u514d\u9020\u6210\u635f\u5931\u60e8\u91cd\u7684\u4e8b\u6545\u3002&nbsp;<\/p>\n\n\n\n<p>\u6211\u4eec\u5f88\u671f\u5f85\u5728\u672a\u6765\u7684\u66f4\u65b0\u4e2d\u7ee7\u7eed\u5b8c\u5584\u548c\u6269\u5c55\u8fd9\u4e9b\u529f\u80fd\u3002 \u8bf7\u7ee7\u7eed\u5173\u6ce8\u3002\u4e00\u5982\u65e2\u5f80\uff0c\u6211\u4eec\u5f88\u4e50\u610f\u542c\u53d6\u60a8\u7684\u53cd\u9988\uff01<\/p>\n\n\n\n<p><em>GoLand \u56e2\u961f<\/em><\/p>\n\n\n\n<p><\/p>\n\n\n\n<p><\/p>\n\n\n\n<p>\u672c\u535a\u6587\u82f1\u6587\u539f\u4f5c\u8005\uff1a<\/p>\n\n\n    <div class=\"about-author \">\n        <div class=\"about-author__box\">\n            <div class=\"row\">\n                <div class=\"about-author__box-img\">\n                    <img decoding=\"async\" src=\"https:\/\/blog.jetbrains.com\/wp-content\/uploads\/2025\/07\/Me.png\" width=\"200\" height=\"200\" alt=\"Arseniy Terekhov\" loading=\"lazy\"  class=\"avatar avatar-200 wp-user-avatar wp-user-avatar-200 photo avatar-default\">\n                <\/div>\n                <div class=\"about-author__box-text\">\n                                            <h4>Arseniy Terekhov<\/h4>\n                                                        <\/div>\n            <\/div>\n        <\/div>\n    <\/div>\n","protected":false},"author":1297,"featured_media":586118,"comment_status":"closed","ping_status":"closed","template":"","categories":[808],"tags":[8850],"cross-post-tag":[],"acf":[],"_links":{"self":[{"href":"https:\/\/blog.jetbrains.com\/zh-hans\/wp-json\/wp\/v2\/go\/586113"}],"collection":[{"href":"https:\/\/blog.jetbrains.com\/zh-hans\/wp-json\/wp\/v2\/go"}],"about":[{"href":"https:\/\/blog.jetbrains.com\/zh-hans\/wp-json\/wp\/v2\/types\/go"}],"author":[{"embeddable":true,"href":"https:\/\/blog.jetbrains.com\/zh-hans\/wp-json\/wp\/v2\/users\/1297"}],"replies":[{"embeddable":true,"href":"https:\/\/blog.jetbrains.com\/zh-hans\/wp-json\/wp\/v2\/comments?post=586113"}],"version-history":[{"count":8,"href":"https:\/\/blog.jetbrains.com\/zh-hans\/wp-json\/wp\/v2\/go\/586113\/revisions"}],"predecessor-version":[{"id":586132,"href":"https:\/\/blog.jetbrains.com\/zh-hans\/wp-json\/wp\/v2\/go\/586113\/revisions\/586132"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/blog.jetbrains.com\/zh-hans\/wp-json\/wp\/v2\/media\/586118"}],"wp:attachment":[{"href":"https:\/\/blog.jetbrains.com\/zh-hans\/wp-json\/wp\/v2\/media?parent=586113"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blog.jetbrains.com\/zh-hans\/wp-json\/wp\/v2\/categories?post=586113"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blog.jetbrains.com\/zh-hans\/wp-json\/wp\/v2\/tags?post=586113"},{"taxonomy":"cross-post-tag","embeddable":true,"href":"https:\/\/blog.jetbrains.com\/zh-hans\/wp-json\/wp\/v2\/cross-post-tag?post=586113"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}