最近看了看C++/CLI specification。
的確，C++/CLI讓C++在使用.NET的時(shí)候手感好了很多，一點(diǎn)學(xué)習(xí)小記，說的不對(duì)，各位多包涵。
Handle Type
對(duì)于CLI中的任意一個(gè)類型T，T^聲明了一個(gè)T的handle類型，它用來指向創(chuàng)建在CLI Heap上的對(duì)象。由于創(chuàng)建載托管堆上的對(duì)象的位置有可能被運(yùn)行時(shí)改變，因此，一個(gè)Handle類型可以動(dòng)態(tài)跟蹤其指向的對(duì)象。從某種意義上說，我們可以把Handle類型看作是托管堆上的指針，而把native pointer看作是原生堆上的指針。
一個(gè)handle類型變量的默認(rèn)值是nullptr。
通過gcnew關(guān)鍵字，你可以在托管堆上創(chuàng)建一個(gè)CLI對(duì)象，這樣的對(duì)象只能夠通過handle來訪問。例如：
R^ r1 = gcnew R; // Allocate an Object on the CLI heap
R^ r2 = r1;?? // Handles r1 and r2 refer to the same object
除非使用delete或者顯式調(diào)用一個(gè)CLI對(duì)象的析構(gòu)函數(shù)，否則CLI對(duì)象的析構(gòu)函數(shù)絕對(duì)不會(huì)被調(diào)用。但是，當(dāng)程序結(jié)束的時(shí)候，GC會(huì)回收對(duì)象的內(nèi)存，并且如果一個(gè)對(duì)象有finalizer，這個(gè)東西倒是會(huì)被調(diào)用。例如：
ref
class T {
public
:
??? T() { }
??? ~T() {
??????? System::Console::WriteLine("I'm destructor!"); }
??? !T() {
??????? System::Console::WriteLine("I'm finalizer!");
??? }
};
之后：
{
??????? T^ t1 = gcnew T();
}
會(huì)看到只有finalizer被調(diào)用了，而：
{
???????
delete t;
}
會(huì)看到析構(gòu)函數(shù)被調(diào)用了。也就是說，對(duì)于一個(gè)托管對(duì)象，有2種清理方式。一種是通過析構(gòu)函數(shù)進(jìn)行確定性的清除；另一種是讓CLI調(diào)用類對(duì)象的finalizer。
l
????????
和原生指針不同，handle類型的變量具有跟蹤功能，也就是說一個(gè)handle類型的變量可以根據(jù)其指向的CLI heap中對(duì)象的位置而改變（因?yàn)?span lang="EN-US">GC可能會(huì)移動(dòng)托管堆中的對(duì)象）。也就是說：handle類型不能轉(zhuǎn)換成void*，也不能進(jìn)行相反的轉(zhuǎn)換
l
????????
handle
類型不能轉(zhuǎn)換成整數(shù)類型，也不能進(jìn)行相反的轉(zhuǎn)換
l
????????
不能對(duì)handle類型進(jìn)行排序
l
????????
Handle
類型的變量只能指向CLI heap中的對(duì)象
例如：
R^ r4 = new R;?
Object^ o = r4;// OK
R^ r5 = dynamic_cast(o); // OK r4 and r5 point to the same object
long
l = reinterpret_cast<long>(r5); //error, can't convert to integer
R^ r6 = reinterpret_cast(l);??? // error, can't convert from integer
std::set s; // error, R^ can't be compared with less
所有指向同一個(gè)托管對(duì)象的引用都可以被看作是等價(jià)的，即使對(duì)象被GC移動(dòng)了也是如此。一個(gè)handle可以有任意的生存周期。也可以被指定成nullptr。對(duì)于一個(gè)handle類型的變量，你也可以通過*來或得其指向的對(duì)象的引用。
Reference Type
一個(gè)原生引用可以被邦定到任何做為左值的原生變量（lvalue）上。
作為一個(gè)托管堆中的對(duì)象，由于GC有可能移動(dòng)它的位置，因此它的位置必須被跟蹤。因此，對(duì)于這樣的對(duì)象的引用被稱為tracking reference（%），由于存在gc-lvalue和lvalue的隱式轉(zhuǎn)換，所以一個(gè)track reference可以既可以邦定到gc-lvalue，也可以邦定到lvalue。當(dāng)其邦定到一個(gè)lvalue時(shí)，取其地址獲得的是一個(gè)原生指針，否則獲得的就是一個(gè)托管handle。例如：
R^ h = gcnew R; // allocate on CLI heap
R& r = *h;??? ? // bind tracking reference to ref class obj
void
F(V% r);
F(*gcnew V);? // bind tracking reference to value class obj
N* p = new N();
N% rn = *p; ???// bind to native object;
和一個(gè)普通的引用一樣，一個(gè)tracking reference也是不可以重邦定的。一旦在聲明時(shí)被指定了對(duì)象，就不可以再進(jìn)行更改。另外你也只可以把tracking reference類型的變量定義成automatic型的。
如果一個(gè)tracking reference被邦定到某個(gè)值類型的基類，那么這個(gè)tracking reference便不能邦定到這個(gè)派生的值類型。也就是說一個(gè)System::Object%不可以邦定到一個(gè)System::ValueType對(duì)象上。
?