摘自《Extended STL》中譯
RAII:資源獲取即初始化
資源獲取即初始化(RAII, Resource Acquisition Is Initialization)是指,當(dāng)你獲得一個(gè)資源的時(shí)候,不管這個(gè)資源是對(duì)象、內(nèi)存、文件句柄或者其它什么,你都會(huì)在一個(gè)對(duì)象的構(gòu)造函數(shù)中獲得它,并且在該對(duì)象的析構(gòu)函數(shù)中釋放它。實(shí)現(xiàn)這種功能的類,我們就說(shuō)它采用了"資源獲取即初始化(RAII)"的方式。這樣的類常常被稱為封裝類。
可以依據(jù)資源可變性和資源來(lái)源這兩個(gè)特征,來(lái)對(duì)RAII進(jìn)行分類。
資源可變性
如果一個(gè)封裝類對(duì)其實(shí)例提供額外的功能,使得其實(shí)例能被賦予新資源,這個(gè)類表現(xiàn)出的這種特征即稱為"可變的RAII",否則就是"不可變的RAII"。
不可變的RAII,是使用起來(lái)最簡(jiǎn)單的一種。說(shuō)它簡(jiǎn)單,是因?yàn)樵谶@種情況下,無(wú)需在封裝類中提供用于指定資源的方法--不管是新分配的資源,還是對(duì)其他資源進(jìn)行拷貝。這種RAII還意味著,類的析構(gòu)函數(shù)總是可以假定,被封裝的資源是有效的。
與此相反,提供可變的RAII的類,就需要實(shí)現(xiàn)下列功能中的絕大部分,或者全部:缺省的或者空的構(gòu)造函數(shù),拷貝構(gòu)造函數(shù),拷貝賦值操作,用于指定資源的方法。最重要的是,這樣的類在析構(gòu)函數(shù)和任何類似close()的方法中,釋放資源前,都必須檢測(cè)被封裝的資源是不是null。
資源來(lái)源
對(duì)于提供RAII的類來(lái)說(shuō),第二個(gè)重要的特征是,它們通過什么途徑獲取自己所管理的資源。以std::string為代表的類,使用的是內(nèi)部初始化的RAII:它管理的資源--即內(nèi)存中用于保存字符的緩沖區(qū)--是由它自己創(chuàng)建的,這一資源對(duì)外永遠(yuǎn)是不可見的。與此不同的是,以std::auto_ptr為代表的類表現(xiàn)出外部初始化的RAII行為:它所管理的資源,是使用它的客戶程序(通過另外的某種方式獲得之后)交給它的。
內(nèi)部初始化的RAII的封裝類,一般比較容易實(shí)現(xiàn),但是功能上也比較受限制,因?yàn)樗鼈儷@取資源的機(jī)制是預(yù)先定義好的,并且是固定不變的。不過,這樣的類用起來(lái)也容易一些,或者說(shuō),比較難被誤用:因?yàn)榭蛻舸a幾乎沒有機(jī)會(huì)犯下能導(dǎo)致資源泄露的錯(cuò)誤。