如何優雅地根治 null 值引起的 Bug,看我的!
寫在前面
在筆者幾年的開發經驗中,經常看到專案中存在到處
空值判斷
的情況,這些判斷,會讓人覺得摸不著頭緒,它的出現很有可能和當前的業務邏輯並沒有關係。但它會讓你很頭疼。
有時候,更可怕的是系統因為這些空值的情況,會丟擲空指標異常,導致業務系統發生問題。
此篇文章,總結了幾種關於空值的處理手法,希望對讀者有幫助。
業務中的空值
場景
存在一個
UserSearchService
用來提供使用者查詢的功能:
public
interface
UserSearchService
{
List
<
User
>
listUser
();
User
get
(
Integer
id
);
}
問題現場
對於
面嚮物件語言
來講,抽象層級特別的重要。尤其是對介面的抽象,它在設計和開發中佔很大的比重,我們在開發時希望儘量面向介面程式設計。
對於以上描述的介面方法來看,大概可以推斷出可能它包含了以下兩個含義:
listUser()
: 查詢使用者列表
get(Integerid)
: 查詢單個使用者
在所有的開發中,XP推崇的TDD模式可以很好的引導我們對介面的定義,所以我們將TDD作為開發程式碼的”推動者”。
對於以上的介面,當我們使用TDD進行測試用例先行時,發現了潛在的問題:
listUser()
如果沒有資料,那它是返回空集合還是null呢?
get(Integerid)
如果沒有這個物件,是拋異常還是返回null呢?
深入listUser研究
我們先來討論
listUser()
這個介面,經常看到如下實現:
public
List
<
User
>
listUser
(){
List
<
User
>
userList
=
userListRepostity
。
selectByExample
(
new
UserExample
());
if
(
CollectionUtils
。
isEmpty
(
userList
)){
//spring util工具類
return
null
;
}
return
userList
;
}
這段程式碼返回是null,從我多年的開發經驗來講,對於集合這樣返回值,最好不要返回null,因為如果返回了null,會給呼叫者帶來很多麻煩。你將會把這種呼叫風險交給呼叫者來控制。
如果呼叫者是一個謹慎的人,他會進行是否為null的條件判斷。如果他並非謹慎,或者他是一個面向介面程式設計的狂熱分子(當然,面向介面程式設計是正確的方向),他會按照自己的理解去呼叫介面,而不進行是否為null的條件判斷,如果這樣的話,是非常危險的,它很有可能出現空指標異常!
基於此,我們將它進行最佳化:
public
List
<
User
>
listUser
(){
List
<
User
>
userList
=
userListRepostity
。
selectByExample
(
new
UserExample
());
if
(
CollectionUtils
。
isEmpty
(
userList
)){
return
Lists
。
newArrayList
();
//guava類庫提供的方式
}
return
userList
;
}
對於介面(
ListlistUser()
),它一定會返回List,即使沒有資料,它仍然會返回List(集合中沒有任何元素);
透過以上的修改,我們成功的避免了有可能發生的空指標異常,這樣的寫法更安全!
深入研究get方法
對於介面
User get(Integer id)
你能看到的現象是,我給出id,它一定會給我返回User。但事實真的很有可能不是這樣的。
我看到過的實現:
public
User
get
(
Integer
id
){
return
userRepository
。
selectByPrimaryKey
(
id
);
//從資料庫中透過id直接獲取實體物件
}
相信很多人也都會這樣寫。
透過程式碼的時候得知它的
返回值
很有可能是null! 但我們透過的介面是分辨不出來的!
這個是個非常危險的事情。尤其對於呼叫者來說!
我給出的建議是,需要在介面明明時補充文件,比如對於異常的說明,使用註解@exception:
public
interface
UserSearchService
{
/**
* 根據使用者id獲取使用者資訊
* @param id 使用者id
* @return 使用者實體
* @exception UserNotFoundExceptio
*/
User
get
(
Integer
id
);
}
我們把介面定義加上了說明之後,呼叫者會看到,如果呼叫此介面,很有可能丟擲“UserNotFoundException(找不到使用者)”這樣的異常。
這種方式可以在呼叫者呼叫介面的時候看到介面的定義,但是,這種方式是”弱提示”的!
如果呼叫者忽略了註釋,有可能就對業務系統產生了風險,這個風險有可能導致一個億!
除了以上這種”弱提示”的方式,還有一種方式是,返回值是有可能為空的。那要怎麼辦呢?
我認為我們需要增加一個介面,用來描述這種場景。
引入jdk8的Optional,或者使用guava的Optional。看如下定義:
public
interface
UserSearchService
{
/**
* 根據使用者id獲取使用者資訊
* @param id 使用者id
* @return 使用者實體,此實體有可能是
預設值
*/
Optional
<
User
>
getOptional
(
Integer
id
);
}
Optional有兩個含義: 存在 or 預設。
那麼透過閱讀介面getOptional(),我們可以很快的瞭解返回值的意圖,這個其實是我們想看到的,它去除了
二義性
。
它的實現可以寫成:
public
Optional
<
User
>
getOptional
(
Integer
id
){
return
Optional
。
ofNullable
(
userRepository
。
selectByPrimaryKey
(
id
));
}
深入入參
透過上述的所有介面的描述,你能確定入參id一定是必傳的嗎?我覺得答案應該是:不能確定。除非介面的文件註釋上加以說明。
那如何約束入參呢?
推薦兩種方式:
強制約束
文件性約束(弱提示)
1.強制約束,我們可以透過jsr 303進行嚴格的約束宣告:
public
interface
UserSearchService
{
/**
* 根據使用者id獲取使用者資訊
* @param id 使用者id
* @return 使用者實體
* @exception UserNotFoundException
*/
User
get
(
@NotNull
Integer
id
);
/**
* 根據使用者id獲取使用者資訊
* @param id 使用者id
* @return 使用者實體,此實體有可能是預設值
*/
Optional
<
User
>
getOptional
(
@NotNull
Integer
id
);
}
當然,這樣寫,要配合AOP的操作進行驗證,但讓spring已經提供了很好的整合方案,在此就不在贅述了。
2.文件性約束
在很多時候,我們會遇到遺留程式碼,對於遺留程式碼,整體性改造的可能性很小。
我們更希望透過閱讀介面的實現,來進行介面的說明。
jsr 305規範,給了我們一個描述介面入參的一個方式(需要引入庫
com。google。code。findbugs:jsr305
):
可以使用註解:
@Nullable
@Nonnull
@CheckForNull
進行介面說明。比如:
public
interface
UserSearchService
{
/**
* 根據使用者id獲取使用者資訊
* @param id 使用者id
* @return 使用者實體
* @exception UserNotFoundException
*/
@CheckForNull
User
get
(
@NonNull
Integer
id
);
/**
* 根據使用者id獲取使用者資訊
* @param id 使用者id
* @return 使用者實體,此實體有可能是預設值
*/
Optional
<
User
>
getOptional
(
@NonNull
Integer
id
);
}
小結
透過 空集合返回值,Optional,jsr 303,jsr 305這幾種方式,可以讓我們的程式碼可讀性更強,出錯率更低!
空集合
返回值 :如果有集合這樣返回值時,除非真的有說服自己的理由,否則,一定要返回空集合,而不是null
Optional: 如果你的程式碼是jdk8,就引入它!如果不是,則使用Guava的Optional,或者升級jdk版本!它很大程度的能增加了介面的可讀性!
jsr 303: 如果新的專案正在開發,不防加上這個試試!一定有一種特別爽的感覺!
jsr 305: 如果老的專案在你的手上,你可以嘗試的加上這種文件型註解,有助於你後期的重構,或者新功能增加了,對於老介面的理解!
空物件模式
場景
來看一個DTO轉化的場景,物件:
@Data
static
class
PersonDTO
{
private
String
dtoName
;
private
String
dtoAge
;
}
@Data
static
class
Person
{
private
String
name
;
private
String
age
;
}
需求是將Person物件轉化成PersonDTO,然後進行返回。
當然對於實際操作來講,返回如果Person為空,將返回null,但是PersonDTO是不能返回null的(尤其Rest介面返回的這種DTO)。
在這裡,我們只關注轉化操作,看如下程式碼:
@Test
public
void
shouldConvertDTO
(){
PersonDTO
personDTO
=
new
PersonDTO
();
Person
person
=
new
Person
();
if
(!
Objects
。
isNull
(
person
)){
personDTO
。
setDtoAge
(
person
。
getAge
());
personDTO
。
setDtoName
(
person
。
getName
());
}
else
{
personDTO
。
setDtoAge
(
“”
);
personDTO
。
setDtoName
(
“”
);
}
}
最佳化修改
這樣的資料轉化,可讀性非常差,每個欄位的判斷,如果是空就設定為空字串(“”)
換一種思維方式進行思考,我們是拿到Person這個類的資料,然後進行賦值操作(setXXX),其實是不關係Person的具體實現是誰的。
那我們可以建立一個Person子類:
static
class
NullPerson
extends
Person
{
@Override
public
String
getAge
()
{
return
“”
;
}
@Override
public
String
getName
()
{
return
“”
;
}
}
它作為Person的一種特例而存在,如果當Person為空的時候,則返回一些 get*的預設行為。
所以程式碼可以修改為:
@Test
public
void
shouldConvertDTO
(){
PersonDTO
personDTO
=
new
PersonDTO
();
Person
person
=
getPerson
();
personDTO
。
setDtoAge
(
person
。
getAge
());
personDTO
。
setDtoName
(
person
。
getName
());
}
private
Person
getPerson
(){
return
new
NullPerson
();
//如果Person是null ,則返回空物件
}
其中
getPerson()
方法,可以用來根據業務邏輯獲取Person有可能的物件(對當前例子來講,如果Person不存在,返回Person的的
特例NUllPerso
n),如果修改成這樣,程式碼的可讀性就會變的很強了。
使用Optional可以進行最佳化
空物件模式,它的弊端在於需要建立一個特例物件,但是如果特例的情況比較多,我們是不是需要建立多個特例物件呢,雖然我們也使用了面向物件的
多型特性
,但是,業務的複雜性如果真的讓我們建立多個特例物件,我們還是要再三考慮一下這種模式,它可能會帶來程式碼的複雜性。
對於上述程式碼,還可以使用Optional進行最佳化。
@Test
public
void
shouldConvertDTO
(){
PersonDTO
personDTO
=
new
PersonDTO
();
Optional
。
ofNullable
(
getPerson
())。
ifPresent
(
person
->
{
personDTO
。
setDtoAge
(
person
。
getAge
());
personDTO
。
setDtoName
(
person
。
getName
());
});
}
private
Person
getPerson
(){
return
null
;
}
Optional對空值的使用,我覺得更為貼切,它只適用於”是否存在”的場景。
如果只對控制的存在判斷,我建議使用Optional。
Optioanl的正確使用
Optional如此強大,它表達了
計算機
最原始的特性(0 or 1),那它如何正確的被使用呢!
Optional不要作為引數
如果你寫了一個public方法,這個方法規定了一些輸入引數,這些引數中有一些是可以傳入null的,那這時候是否可以使用Optional呢?
給的建議是: 一定不要這樣使用!
舉個例子:
public
interface
UserService
{
List
<
User
>
listUser
(
Optional
<
String
>
username
);
}
這個例子的方法 listUser,可能在告訴我們需要根據username查詢所有資料集合,如果username是空,也要返回所有的使用者集合。
當我們看到這個方法的時候,會覺得有一些歧義:
“如果username是absent,是返回空集合嗎?還是返回全部的使用者資料集合?”
Optioanl是一種分支的判斷,那我們究竟是關注 Optional還是Optional。get()呢?
給大家的建議是,如果不想要這樣的歧義,就不要使用它!
如果你真的想表達兩個含義,就給它拆分出兩個介面:
public
interface
UserService
{
List
<
User
>
listUser
(
String
username
);
List
<
User
>
listUser
();
}
我覺得這樣的語義更強,並且更能滿足 軟體設計原則中的 “單一職責”。
如果你覺得你的入參真的有必要可能傳null,那請使用jsr 303或者jsr 305進行說明和驗證!
請記住! Optional不能作為入參的引數!
Optional作為返回值
當個實體的返回
那Optioanl可以做為返回值嗎?
其實它是非常滿足是否存在這個語義的。
你如說,你要根據id獲取使用者資訊,這個使用者有可能存在或者不存在。
你可以這樣使用:
public
interface
UserService
{
Optional
<
User
>
get
(
Integer
id
);
}
當呼叫這個方法的時候,呼叫者很清楚get方法返回的資料,有可能不存在,這樣可以做一些更合理的判斷,更好的防止空指標的錯誤!
當然,如果業務方真的需要根據id必須查詢出User的話,就不要這樣使用了,請說明,你要丟擲的異常。
只有當考慮它返回null是合理的情況下,才進行Optional的返回
集合實體的返回
不是所有的返回值都可以這樣用的!如果你返回的是集合:
public
interface
UserService
{
Optional
<
List
<
User
>>
listUser
();
}
這樣的返回結果,會讓呼叫者不知所措,是否我判斷Optional之後,還用進行isEmpty的判斷呢?
這樣帶來的返回值歧義!我認為是沒有必要的。
我們要約定,對於List這種集合返回值,如果集合真的是null的,請返回空集合(Lists。newArrayList);
使用Optional變數
Optional
userOpt
=
。。。
如果有這樣的
變數userOp
t,請記住 :
一定不能直接使用get ,如果這樣用,就喪失了Optional本身的含義 ( 比如userOp。get() )
不要直接使用getOrThrow ,如果你有這樣的需求:獲取不到就拋異常。那就要考慮,是否是呼叫的介面設計的是否合理
getter中的使用
對於一個
java bean
,所有的屬性都有可能返回null,那是否需要改寫所有的getter成為Optional型別呢?
給大家的建議是,不要這樣濫用Optional.
即便 我java bean中的getter是符合Optional的,但是因為java bean 太多了,這樣會導致你的程式碼有50%以上進行Optinal的判斷,這樣便汙染了程式碼。(我想說,其實你的實體中的欄位應該都是由業務含義的,會認真的思考過它存在的價值的,不能因為Optional的存在而濫用)
我們應該更關注於業務,而不只是空值的判斷。
不要在getter中濫用Optional。
小結
可以這樣總結Optional的使用:
當使用值為空的情況,並非源於錯誤時,可以使用Optional!
Optional不要用於集合操作!
不要濫用Optional,比如在java bean的getter中!