使用屬性,避免將數據成員直接暴露給外界
學習研究.NET的早期,經常碰到一些學習C#/.NET的朋友問,要屬性這種華而不實的東西做什麼?後來做項目時也時常接到team裡的人的抱怨反饋,為什麼不直接放一個public字段?如:
1 2 3 4 5 6 7 8 9 10 11 12 13 14
class
Card
{
public
string
Name;
}
而要做一個
private
字段+
public
屬性
class
Card
{
private
string
name;
public
string
Name
{
get
{
return
this
.name;}
set
{
this
.name=value;}
}
}
我記得在早期的一個項目裡,team中的一個朋友甚至厭煩了寫private字段+public屬性,尤其是碰到一大堆臃腫的data object class的時候,索性自己寫了一個小工具,來提供一個類的字段名和類型,然後自動為該類生成相應的private字段+public屬性。
我在編程的時候是個徹底的實用主義者,用稍微高雅一點的話說叫“不喜歡過度的設計”。如果真的像上面那樣寫Card,而且在將來沒有什麼改變的需求,我也不喜歡像上面第2段程序那樣把事情故意搞得復雜。但如果從component的角度來講,總有一些class是要供外部長久地使用,也潛在地在將來有被改變的需求。這時候,提供屬性就很有必要了。
這就是這個Item試圖要歸納的使用屬性的理由:
1.可以對賦值做校驗、或者額外的處理
2.可以做線程同步
3.可以使用虛屬性、或者抽象屬性
4.可以將屬性置於interface中
5.可以提供get-only或者set-only版本,甚至可以給讀、寫以不同的訪問權限(C# 2.0支持)
個人感覺3、4條是屬性最大的優點,可以填補沒有“虛字段”或“抽象字段”的缺憾,在設計組件的時候非常有用,也體現了C#這樣的component-oriented語言的精神內涵。
但如果沒有上述理由,而且日後對程序做大的改動可能性比較小時,我想也大可不必非要把每個public字段都要變成屬性。比如在設計一些輕型的struct,用於互操作的時候,直接使用public字段沒什麼不好。所以,感覺本條目Bill Wagner先生使用“Always Use Properties Instead of Accessible Data Members”顯得太過強硬。
其實,這裡的討論也表明閱讀《Effective C#》一書時需要注意的地方,即Effective原則並不是放之四海而皆准的。不同的項目(組件化、復用程度較高的項目?還是“一次編寫、N年都run”的項目),不同的角色(類庫/組件開發人員?還是應用程序開發人員?),有著不同的Effective准則。事實上,書中很多Items都是從類庫/組件開發人員的角度來考慮的。
關於屬性的性能問題需要談一點,如果僅僅是簡單地以存取模式來使用屬性,在相當程度上是沒有性能損失的。因為在JIT編譯過程中已經做了inline的處理。不過inline處理還是有一些基本的條件,有些情況下JIT編譯器不會inline,比如虛調用,方法的IL代碼長度過長(目前CLR的規定是超過32bytes為代碼長度過長),有復雜的控制流邏輯,有異常處理等。這些條件都是要麼根本不能使用inline(比如虛屬性),要麼inline的代價太大,容易導致代碼的bloat,要麼是inline起來很費時間——已經喪失了inline的意義,因為.NET的inline機制發生在JIT過程中。使用屬性有個別讓人感覺不舒服的地方,比如它影響開發人員的開發效率,但對代碼運行的效率不產生影響。
明辨值類型和引用類型的使用場合
這個條款討論的是類型設計時候的tradeoff——是將類型設計為結構還是類。Bill Wagner先生給出了一個原則“值類型用於存儲數據,引用類型用於定義行為(value types store values and reference types define behavior)”。
如何判斷這個原則的適用性,Bill Wagner也給出了一個方法,那就是首先回答下面幾個問題:
1.該類型的主要職責是否用於數據存儲?
2.該類型的公有接口是否都是一些存取屬性?
3.是否確信該類型永遠不可能有子類?
4.是否確信該類型永遠不可能具有多態行為?
如果所有問題的答案都是yes,那麼就應該采用值類型。這樣的判斷確實有很好的理由支撐,但是我個人認為“將這4個問題回答為yes”還不足以構成采用值類型的全部理由。因為在很多項目實踐中,我發現值類型帶來的性能問題不可小視。值類型帶來的性能問題主要有兩個:
1.由於值類型實例在棧和托管堆之間的轉換而導致的box/unbox,以及由此帶來的托管堆上的垃圾。
2.值類型默認情況下采用的是值拷貝語義,如果是比較大的值類型,在傳遞參數和函數返回值時,同樣會帶來性能問題。
關於第1條,Bill Wagner在本條款中提到了“引用類型會給垃圾收集器帶來負擔”這個表面看似正確的判斷。但是由於box/unbox的效應,有些情況下,反倒是值類型給垃圾收集器帶來了更多的負擔。比如將一些值類型放到一個集合中,然後又頻繁地對其進行讀寫操作。如果碰到這種情況,我想“放棄結構而采用類”未嘗不是一種更好的做法。事實上,將一個用作數據存儲的值類型(比如System.Drawing.Point)添加到一個集合(System.Collections.ArrayList)中是一個太常見不過的操作。不過,C# 2.0中新引入的泛型技術對box/unbox的問題有極大的改善。
關於第2條,Scott Meyers先生在Effective C++的第22條“盡量使用pass-by-reference(傳址),少用pass-by-value(傳值)”中講的比較清楚。雖然由於C#中的結構類型具有默認的深拷貝語義,沒有拷貝構造器的調用。而且結構類型也沒有子類,因此在某種程度上來講不具有多態性,也就沒有C++對象傳值時可能出現的切割(slicing)效應。但是值拷貝的成本仍然不小。尤其是在這個值類型比較大的情況下,問題就比較嚴重。實際上,在.NET框架的Design Guidelines for Class Library Developers文檔中,在說明什麼時候應該使用結構類型的時候,其中提到了一項原則(還有其他一些並行原則)——類型實例數據的大小要小於16個字節。該文檔主要是從類型的運行效率層面來考慮的,而Bill Wagner先生這裡的條款主要是從類型的設計層面來考慮的。
從上述兩條討論來看,我個人傾向於對結構類型采取更為保守的設計策略。而對於類則可以積極大膽地使用。因為“將結構類型不適當地設計為類”帶來的不良後果要遠遠小於“將類不適當地設計為結構類型”所帶來的不良後果。就目前的經驗來看,我甚至認為只有和非托管互操作打交道的情況才是使用結構類型最充足的理由,其他情況都要“三思而後行”。當然,在C# 2.0中引入泛型技術之後,box/unbox將不再是一個沉重的負擔,應付一些非常輕量級的場合,結構類型依然有自己的一席之地。