使用 Spring Boot 4 構建空安全應用程式
這是 Road to GA 系列中的一篇新博文,這次分享了 Spring 組合中空安全支援的最新狀態,作為我之前相關博文 使用 JSpecify 和 NullAway 在 Spring 應用程式中實現空安全 以及相關 Spring I/O 演講的後續。
我們正在修復“十億美元的錯誤”嗎?
是的,我們正在做!這裡的“我們”指的是參與 JSpecify 專案的組織、Spring 團隊以及您,將升級到 Spring Boot 4 的 Spring 開發者。
話雖如此,我認為“十億美元的錯誤”並不是 Tony Hoare 曾為此道歉的空引用的發明。我認為真正的錯誤是沒有在型別系統中明確表達它,因為空性的隱式性質導致瞭如此多的 NullPointerException……