D 2.0 Const/Final/Invariant 概念簡(jiǎn)介
 
D 2.0 Const/Final/Invariant 概念簡(jiǎn)介

    D 2.0 specs 里的相關(guān)文檔可讀性不佳，因此我總結(jié)了一個(gè)簡(jiǎn)單的 const/final/invariant 概念簡(jiǎn)介，更詳細(xì)的用法還請(qǐng)參考 D  2.0 specs。
    在2.0中，invariant 和 const 有作存儲(chǔ)類、定義類型和定義成員函數(shù)三種用途，深刻地改變了D程序編寫的方式，跟C++一樣，使用const/final/invariant 需要更仔細(xì)地設(shè)計(jì)和編碼，回報(bào)是提供了更好的類型安全性并能讓編譯器產(chǎn)生出更高效的代碼。這些 constness 特性，雖然看起來(lái)語(yǔ)法很復(fù)雜，但也比 C++ 的前后置 const 要容易理解記憶得多了，因?yàn)樗�不�?C++ 中的 const  定義那樣存在很大的隨意性。

1. invariant
1.1    invariant 作存儲(chǔ)類(storage class)
    存儲(chǔ)類是一個(gè)指定數(shù)據(jù)存儲(chǔ)地點(diǎn)或方式的標(biāo)志，static 就是一種存儲(chǔ)類，用來(lái)要求編譯器把數(shù)據(jù)存儲(chǔ)到程序的靜態(tài)存儲(chǔ)區(qū)中。
    invariant 存儲(chǔ)類定義一個(gè)真正的常量，這個(gè)常量決不能更改，甚至有可能是放在只讀存儲(chǔ)器中。因此，invariant 存儲(chǔ)類定義的常量沒(méi)有地址，編譯器也會(huì)禁止任何的取地址行為。
    invariant 定義的常量只能使用初始化語(yǔ)法賦予初始值，如果 invariant 為引用/指針類型，那么所引用的數(shù)據(jù)也同樣是 invariant 的。

1.2 invariant 作類型
    你可以用 invariant(TYPE) 的方法定義一個(gè)含有 invariant 屬性的新類型，括號(hào)中的 TYPE 表示整個(gè)類型中適用于 invariant 的部分，比如： invariant(int)* ptr; 這行代碼申明了一個(gè)指針變量 ptr，ptr本身是變量，但它所指向的類型 (int)是不可變的，因此 *ptr = 3; 這樣的代碼是一個(gè)語(yǔ)法錯(cuò)誤。

1.3 invariant 成員函數(shù)
    invariant 可以用于修飾類和結(jié)構(gòu)的成員函數(shù)，在 invariant 成員函數(shù)中傳入的 this 指針／引用及其關(guān)聯(lián)的任何東西都保證為 invariant。invariant 成員函數(shù)只能訪問(wèn)該類或結(jié)構(gòu)的invariant 成員變量或其他 invariant 成員函數(shù)。
   

2. const
2.1 const 存儲(chǔ)類
    const 存儲(chǔ)類類似于 invariant 存儲(chǔ)類，不同的是 const 定義的指針／引用所指向的數(shù)據(jù)可以是變量，因此它們可能會(huì)在其他地方被修改。

2.2 const 作類型
    與 invariant 作類型類似，const(TYPE) 定義一個(gè)含有 const 屬性的新類型。不同點(diǎn)是當(dāng) const(TYPE) 作為指針／引用類型時(shí)，其所指向的類型可以是變量，如：int a; const(int)* ptr = &a; ptr 本身是變量，ptr 也可以指向變量，但是通過(guò) ptr 只能只讀地訪問(wèn) a。

2.3 const 成員函數(shù)
    const 修飾的成員函數(shù)類似C++中函數(shù)聲明后置的 const，表示他們不允許更改 "this" 指針／引用指向的對(duì)象數(shù)據(jù)。請(qǐng)注意這里的修辭，“不允許”意味著可以像C/C++一樣用轉(zhuǎn)型騙過(guò)編譯器，不過(guò)欺騙編譯器恐怕沒(méi)什么好結(jié)果。與 invariant 成員函數(shù)類似，const 成員函數(shù)可以訪問(wèn) invariant 和 const 成員變量和函數(shù)。

3. final 存儲(chǔ)類

    final 存儲(chǔ)類定義一個(gè)數(shù)據(jù)的訪問(wèn)模式為只讀，與 invariant 不同的是，編譯器為 final 定義的對(duì)象在內(nèi)存中分配了空間。換句話來(lái)說(shuō)，final 對(duì)象跟真正的變量沒(méi)什么區(qū)別，只是由編譯器來(lái)強(qiáng)制實(shí)施對(duì)此對(duì)象的只讀訪問(wèn)。final 定義的對(duì)象可以用初始化語(yǔ)法初始化或在構(gòu)造函數(shù)中初始化（加入 final 對(duì)象是類成員的話，當(dāng)然，模塊的this()也支持）。
    在成員函數(shù)方面，很早以前 final 已經(jīng)用來(lái)表示禁止 override 了，final 也不能作為類型使用。

更多信息請(qǐng)登陸http://61.191.27.74:802/ 最后，歡迎加入http://61.191.27.74:802/的會(huì)員

安徽新華電腦學(xué)校專業(yè)職業(yè)規(guī)劃師為你提供更多幫助【在線咨詢】