C++/CLI中可以對(duì)運(yùn)算符進(jìn)行重載，但與本地C++有所區(qū)別。同時(shí)對(duì)于運(yùn)算符重載，數(shù)值類和引用類也存在不同要求。下面以例子開始，了解C++/CLI中重載運(yùn)算符的方法。

一、數(shù)值類中重載運(yùn)算符

下面的例子重載了加法運(yùn)算符。

value class Length
{
private:
	int feet;
	int inches;

public:
	static initonly int inchesPerFoot = 12;
	
	Length(int ft, int ins) : feet(ft), inches(ins) {}
	
	virtual String^ ToString() override
	{ return feet+L" feet "+inches+L" inches"; }

	Length operator+(Length len)
	{
		int inchTotal = inches + len.inches + inchesPerFoot*(feet + len.feet);
		return Length(inchTotal/inchesPerFoot, inchTotal%inchesPerFoot);
	}
};

類的使用很簡(jiǎn)單，方法如下

Length len1 = Length(6, 9);
Length len2 = Length(7, 8);
Console::WriteLine(L"{0} plus {1} is {2}", len1, len2, len1+len2);

上面重載的加法運(yùn)算符也可通過靜態(tài)成員的方式實(shí)現(xiàn)。

static Length operator+(Length len)
{
	int inchTotal = inches + len.inches + inchesPerFoot*(feet + len.feet);
	return Length(inchTotal/inchesPerFoot, inchTotal%inchesPerFoot);
}

下面定義Length與數(shù)值的乘法重載運(yùn)算符，它包括了數(shù)值*長(zhǎng)度和長(zhǎng)度*數(shù)值兩種情況。這也是二元操作的一個(gè)例子

value class Length
{
	//...

	static Length operator*(double x, Length len);
	static Length operator*(Length len, double x);
};

   函數(shù)的定義如下

Length Length::operator*(double x, Length len)
{
	int ins = safe_cast<int>(x*len.inches + x*len.feet*inchesPerFoot);
	return Length( ins/12, ins%12 );
}

length Length::operator*(Length len, double x)
{
	return operator*(x, len);
}

下面定義遞增運(yùn)算符，這是一個(gè)一元運(yùn)算符，可用同一個(gè)函數(shù)來定義前綴遞增和后綴遞增運(yùn)算，編譯器能夠自動(dòng)的根據(jù)調(diào)用情況來判斷是先遞增還是后遞增。

static Length operator++(Length len)
{
	++len.inches;
	len.feet += len.inches/len.inchesPerFoot;
	len.inches %= len.inchesPerFoot;
	return len;
}

二、引用類中重載運(yùn)算符

在引用類中重載運(yùn)算符的方法與數(shù)值類基本相同，主要區(qū)別是形參和返回值一般都是句柄。這里就不再贅述了。

屬性是C++/CLI的類成員，它類似于成員變量，但實(shí)際上不是。其主要區(qū)別在于，字段名引用了某個(gè)存儲(chǔ)單元，而屬性名則是調(diào)用某個(gè)函數(shù)。屬性擁有訪問屬性的set()和get()函數(shù)。當(dāng)我們使用屬性名時(shí)，實(shí)際上在調(diào)用該函數(shù)的get()或set()函數(shù)。如果一個(gè)屬性僅提供了get()函數(shù)，則它是只讀屬性；如果一個(gè)屬性僅提供set()函數(shù)，則它是只寫屬性。

類可以有2種不同的屬性：標(biāo)量屬性和索引屬性。標(biāo)量屬性是指通過屬性名來訪問的單值；索引屬性是利用屬性名加方框號(hào)來訪問的一組值。如 String類，其Length屬性為標(biāo)量屬性，用object->Length來訪問其長(zhǎng)度，且Length是個(gè)只讀屬性。String還包含了索引屬性，可以用object[idx]來訪問字符串中第idx+1個(gè)字符。

屬性可以與類的實(shí)例（類對(duì)象）相關(guān)，此時(shí)屬性被稱為實(shí)例屬性，如String類的Length屬性；如果用static修飾符指定屬性，則屬性為類屬性，所有該類得實(shí)例都具有相同的屬性值。

一、標(biāo)量屬性

標(biāo)量屬性是單值，用property關(guān)鍵字可定義標(biāo)量屬性，還需要定義其get()和set()函數(shù)，如下例所示

value class Height
{
private:
	// Records the height in feet and inches
	int feet;
	int inches;
	literal int inchesPerFoot = 12;
	literal double inchesToMeter = 2.54/100;

public:
	// Create a height from inches value
	Height(int ins)
	{
		feet = ins/inchesPerFoot;
		inches = ins%inchesPerFoot;
	}

	// Create a height from feet and inches
	Height(int ft, int ins) : feet(ft), inches(ins) {};

	// The height in meters as a property
	property double meters
	{
		double get()
		{
			return inchesToMeters * (feet*inchesPerFoot + inches);
		}
	}

	// Create a string representation of the object
	virtual String^ ToString() overrides
	{
		return feet + L" feet " + inches + L" inches";
	}
};

上面的例子定義了一個(gè)merters的屬性，下面是屬性的用法

Height ht = Height(6, 8);
Console::WriteLine(L"The height is {0} meters", ht->meters);

屬性不一定要定義成內(nèi)聯(lián)函數(shù)，也可以在.cpp中外部定義它，如在上例的定義中僅保留get()函數(shù)聲明

	property double meters
	{
		double get();
	}

函數(shù)定義在.cpp中時(shí)，需要加類名和函數(shù)名的限定（但不需要返回值？），方法如下：

Height::meters::get()
{
	return inchesToMeters*(feet*inchesPerFoot+inches);
}

如果定義一個(gè)屬性時(shí)，不提供get()和set()函數(shù)定義，這種屬性被稱為平凡標(biāo)量屬性。對(duì)于此類屬性，編譯器將提供一個(gè)默認(rèn)的get()和set()實(shí)現(xiàn)，如下例所示：

value class Point
{
public:
	property int x;
	proterty int y;

	virtual String^ ToString() overrides
	{
		return L"("+x+L","+y+")";		// Result is (x,y)
	}
};

下面是一個(gè)完整的例子，說明了標(biāo)量屬性的聲明及其使用方法

// Ex7_16.cpp : main project file.

#include "stdafx.h"

using namespace System;

// Class defining a person's height
value class Height
{
private:
	// Record the height in feet and inches
	int feet;
	int inches;

	literal int inchesPerFoot = 12;
	literal double inchesToMeters = 2.54/100;

public:
	// Create a height from inches value
	Height(int ins)
	{
		feet = ins/inchesPerFoot;
		inches = ins%inchesPerFoot;
	}

	// Create a height from feet and inches
	Height(int ft, int ins) : feet(ft), inches(ins) {};

	// The height in meters
	property double meters
	{
		double get()
		{
			return inchesToMeters*(feet*inchesPerFoot+inches);
		}
	}

	// Create a string representation of the object
	virtual String^ ToString() override
	{
		return feet + L" feet " + inches + L" inches";
	}
};

// Class defining a person's weight
value class Weight
{
private:
	int lbs;
	int oz;

	literal int ouncesPerPound = 16;
	literal double lbsToKg = 1.0/2.2;

public:
	Weight(int pounds, int ounces)
	{
		lbs = pounds;
		oz = ounces;
	}

	property int pounds
	{
		int get() { return lbs; }
		void set(int value) { lbs = value; }
	}

	property int ounces
	{
		int get() { return oz; }
		void set(int value) { oz = value; }
	}

	property double kilograms
	{
		double get() { return lbsToKg*(lbs+oz/ouncesPerPound); }
	}

	virtual String^ ToString() override
	{
		return lbs + L" pounds " + oz + L" ounces";
	}
};

ref class Person
{
private:
	Height ht;
	Weight wt;

public:
	property String^ Name;

	Person(String^ name, Height h, Weight w) : ht(h), wt(w)
	{
		Name = name;
	}

	Height getHeight() { return ht; }
	Weight getWeight() { return wt; }
};

int main(array<System::String ^> ^args)
{
	Weight hisWeight = Weight(185, 7);
	Height hisHeight = Height(6, 3);
	Person^ him = gcnew Person(L"Fred", hisHeight, hisWeight);

	Weight herWeight = Weight(105, 3);
	Height herHeight = Height(5, 2);
	Person^ her = gcnew Person(L"Freda", herHeight, herWeight);

	Console::WriteLine(L"She is {0}", her->Name);
	Console::WriteLine(L"Her weight is {0:F2} kilograms.", her->getWeight().kilograms);
	Console::WriteLine(L"Her height is {0} which is {1:F2} meters.", her->getHeight(), 
		her->getHeight().meters);

	Console::WriteLine(L"He is {0}", him->Name);
	Console::WriteLine(L"His weight is {0}", him->getWeight());
	Console::WriteLine(L"His height is {0} which is {1:F2} meters.", him->getHeight(), 
		him->getHeight().meters);

    return 0;
}

輸出為

She is Freda
Her weight is 47.73 kilograms.
Her height is 5 feet 2 inches which is 1.57 meters.
He is Fred
His weight is 185 pounds 7 ounces
His height is 6 feet 3 inches which is 1.91 meters.

二、索引屬性

索引屬性是類的一組屬性值，其訪問方法同數(shù)組元素那樣，在方括號(hào)內(nèi)加索引值來訪問。如果在方括號(hào)前面的是類對(duì)象的名稱，則該索引屬性被稱為默認(rèn)索引屬性（如String^ obj可以用obj[idx]來訪問字符串中第idx+1個(gè)字符），如果用屬性名[idx]來訪問索引屬性值，則稱為有名索引屬性。下面的代碼在類Name中定義了一個(gè)默認(rèn)索引屬性，

ref class Name
{
private:
	array<String^>^ Names;

public:
	Name(...array<String^>^ names) : Names(names) {}
	
	// Indexed property to return any name
	property String^ default[int]
	{
		// Retrieve indexed property value
		String^ get(int index)
		{
			if(index >= Names->Length)
				throw gcnew Exception(L"Index out of range");
			return Names[index];
		}
	}
};

在上面的例子中，如果將default換成別的名字，則該屬性就成為一個(gè)有名索引屬性。在定義索引屬性時(shí)，方括號(hào)內(nèi)用int指定了索引的數(shù)據(jù)類型為int型，它也可以是別的數(shù)據(jù)類型。訪問索引屬性的get()函數(shù)的形參其數(shù)據(jù)類型必須與屬性名后方括號(hào)內(nèi)類型相同；set()函數(shù)必須有2個(gè)形參，第一個(gè)指定索引，第二個(gè)指定屬性元素的值。

下面是一個(gè)完整的例子，說明了索引屬性的定義與使用方法。

// Ex7_17.cpp : main project file.

#include "stdafx.h"

using namespace System;

ref class Name
{
private:
	array<String ^>^ Names;

public:
	Name(...array<String ^>^ names) : Names(names) {}

	// Scalar property specifying number of names
	property int NameCount
	{
		int get() { return Names->Length; }
	}

	// Indexed property to return names
	property String^ default[int]
	{
		String ^ get(int index)
		{
			if(index >= Names->Length)
				throw gcnew Exception(L"Index out of range");
			return Names[index];
		}
	}
};

int main(array<System::String ^> ^args)
{
	Name^ myName = gcnew Name(L"Ebenezer", L"Isaiah", L"Ezra", L"Inigo", L"Whelkwhistle");

	// List the names
	for(int i=0; i<myName->NameCount; i++)
		Console::WriteLine(L"Name {0} is {1}", i+1, myName[i]);
    return 0;
}

輸出為

Name 1 is Ebenezer
Name 2 is Isaiah
Name 3 is Ezra
Name 4 is Inigo
Name 5 is Whelkwhistle

索引屬性的索引也可以不是整型，甚至可以不是數(shù)字，下面的例子定義了一個(gè)商店類，其屬性O(shè)pening指定了商店的開門時(shí)間，訪問該屬性的索引有2個(gè)參數(shù)，如下面的例子所示

enum class Day { Monday, Tuesday, Wednesday, Thursday, Friday, Saturday, Sunday };

// class defining a shop
ref class Shop
{
public:
	property String^ Opening[Day, String^]	// Opening times
	{
		String ^ get(Day day, String^ AmOrPm)
		{
			switch(day)
			{
				case Day::Saturday:
					if(AmOrPm == L"am")
						return L"9:00";
					else
						return L"14:30";
					break;

				case Day::Sunday:
					return L"closed";
					break;

				default:
					if(AmOrPm == L"am")
						return L"9:30";
					else
						return L"14:00";
					break;
			}
		}
	}
};

使用該類的方法如下

Shop^ shop = gcnew Shop;
Console::WriteLine(shop->Opening(Day::Saturday, L"pm");

三、靜態(tài)屬性

靜態(tài)屬性為類的所有實(shí)例共有，類似于類的靜態(tài)成員變量。通過在屬性定義前添加修飾符static來定義，如下面的例子所示

value class Length
{
public:
	static property String ^ Units
	{
		String ^ get() { return L"feet and inches"; }
	}
};

無論是否創(chuàng)建類實(shí)例，靜態(tài)屬性都存在。如果已經(jīng)定義了類實(shí)例，則可以用實(shí)例名.屬性名來訪問靜態(tài)屬性。對(duì)于上面的例子如果已經(jīng)定義了一個(gè)類對(duì)象len，則可以如此訪問其靜態(tài)屬性：

Console::WriteLine(L"Class units are {0}.", len.Units);

 注意：在定義了屬性之后，對(duì)應(yīng)的get_屬性名和set_屬性名自動(dòng)成為系統(tǒng)保留名稱，不能為其它目的而使用他們。如果定義了默認(rèn)索引屬性，則set_Item和get_Item也成為系統(tǒng)保留名稱，不可被使用。

C++/CLI中可以定義兩種類型的struct和class類型，一種為數(shù)值類（或數(shù)值結(jié)構(gòu)）：value class(value struct)；一種是引用類（或引用結(jié)構(gòu)）：ref class(ref value)。與本地C++一樣，class與struct的區(qū)別在于前者的成員默認(rèn)為私有，后者默認(rèn)為公有。下面僅以類來介紹，內(nèi)容同樣適用于結(jié)構(gòu)。

value class與ref class組成的是雙關(guān)鍵字，也就是說，單獨(dú)的value、ref并不是關(guān)鍵字。數(shù)值類與引用類的區(qū)別，以及它們與本地C++類的區(qū)別主要包括以下幾個(gè)方面：

• 數(shù)值類的對(duì)象包含自己的數(shù)據(jù)，引用類的對(duì)象只能用句柄來訪問。
• 在C++/CLI中，函數(shù)成員不能聲明為const類型，取而代之的是字面值類型，修飾詞關(guān)鍵字為 literal。
• 在非靜態(tài)函數(shù)成員中，this指針類型與本地C++不同：數(shù)值類的this指針為內(nèi)部指針類型(interior_ptr<T>)，而引用類的this指針為句柄類型(T^)。
• C++/CLI類的數(shù)據(jù)成員不能包含本地C++數(shù)組或本地C++類對(duì)象。
• C++/CLI類無友元函數(shù)。
• C++/CLI類的數(shù)據(jù)成員不能包含位類型的數(shù)據(jù)成員。（什么是位數(shù)據(jù)類型）
• C++/CLI類的函數(shù)成員不能有默認(rèn)的形參。

此外，在C++/CLI中，不推薦類命名時(shí)使用前綴‘C’，其成員變量命名也不用前綴’m_’。

一、定義數(shù)值類

數(shù)值類主要用于表示具有有限個(gè)數(shù)據(jù)成員的簡(jiǎn)單對(duì)象，其定義方法與本地C++類基本相同。首先看一個(gè)定義數(shù)值類，以及使用類的完整例子。

// Ex7_14.cpp : main project file.

#include "stdafx.h"

using namespace System;

// class representing a height
value class Height
{
private:
	// Records the height in feet and inches
	int feet;
	int inches;

public:
	// Create a height from inches value
	Height(int ins)
	{
		feet = ins/12;
		inches = ins%12;
	}

	// Create a height fromm feet and inches
	Height(int ft, int ins) : feet(ft), inches(ins) {}
};

int main(array<System::String ^> ^args)
{
	Height myHeight = Height(6, 3);
	Height^ yourHeight = Height(70);
	Height hisHeight = *yourHeight;

	Console::WriteLine(L"My height is {0}", myHeight);
	Console::WriteLine(L"Your height is {0}", yourHeight);
	Console::WriteLine(L"His height is {0}", hisHeight);
    return 0;
}

輸出為

My height is Height
Your height is Height
His height is Height

在上面的例子中，myHeight和hisHeight被分配在堆棧上，yourHeight被分配到了CLR堆上。其中hisHeight是yourHeight的一個(gè)副本，當(dāng)向 hisHeight賦值時(shí)，需要用*操作符對(duì)句柄yourHeight進(jìn)行解除引用計(jì)算。這是因?yàn)?strong>數(shù)值類對(duì)象總是包含自己的數(shù)據(jù)，因此它們不能引用同一個(gè)對(duì)象，在賦值時(shí)總是采用復(fù)制的方式進(jìn)行。注意：在C++/CLI中，不能重寫默認(rèn)構(gòu)造函數(shù)。默認(rèn)構(gòu)造函數(shù)將所有的值類型數(shù)據(jù)成員初始化為0，將引用類型（句柄）初始化為nullptr。同樣，也不能重載復(fù)制構(gòu)造函數(shù)和賦值操作符。默認(rèn)的復(fù)制操作是將每一個(gè)數(shù)據(jù)成員進(jìn)行復(fù)制，對(duì)象間的賦值也是如此。

C++/CLI中的類都有一個(gè)成員函數(shù)ToString()，它返回一個(gè)表示對(duì)象的字符串句柄。默認(rèn)情況下，該字符串為類名。這從上面的輸出可以看出：傳遞給WriteLine()函數(shù)的是Height對(duì)象，結(jié)果輸出的并非對(duì)象所包含的高度值，而是類名Height，這是因?yàn)榫幾g器認(rèn)為此處需要調(diào)用該對(duì)象的字符串表示法，因此安排的ToString()函數(shù)調(diào)用，這個(gè)過程可以顯示的表達(dá)為

double pi = 3.142;
Console::WriteLine(pi.ToString());

double類型被映射到System命名空間中的System::Double類，該類實(shí)現(xiàn)了ToString方法，因此可以正確的輸出變量pi的數(shù)值3.142而非類名Double。在上面的例子中，為了正確地輸出高度，可給Height定義中增加ToString()的重載函數(shù)。

	//Create a string repesentation og the object
	virtual String^ ToString() override
	{
		return feet + L" feet " + inches + L" inches";
	}

現(xiàn)在可以正確的輸出為

My height is 6 feet 3 inches
Your height is 5 feet 10 inches
His height is 5 feet 10 inches

在定義數(shù)值類時(shí)，如果數(shù)據(jù)成員為常量，C++/CLI中將其定義為”字面值”(literial)。在上面的例子中，將12定義為字面值，可以使得代碼的可讀性更高，避免“幻數(shù)”的出現(xiàn)（意指程序代碼中難以理解其來源或意義的常數(shù)，如上面例子中的12）。定義字面值的方法如下

value class Height
{
	int feet;
	int inches;
	literial int inchesPerFoot = 12;
	
	// Other code...
};

這樣就可以在其后直接使用該字面值，而非難以理解的12了

Height(int ins)
{
	feet = ins/ inchesPerFoot;
	inches = ins% inchesPerFoot;
}

利用”字面值”leterial來定義常量的一個(gè)缺點(diǎn)是：必須在定義常量的同時(shí)指定它的值。另外一種定義常量的方法是使用initonly修飾符，使用該修飾符的常量變量只能在構(gòu)造函數(shù)的初始化表，或者構(gòu)造函數(shù)體內(nèi)進(jìn)行一次初始化， 之后再也不能被修改。注意：不能在聲明非靜態(tài)initonly常量時(shí)指定初值，而必須是在構(gòu)造函數(shù)的初始化表或構(gòu)造函數(shù)體內(nèi)。下面的例子描述了onlyinit的用法

value class Length
{
private:
	int feet;
	int inches;
	
public:
	initonly int inchesPerFoot;
	
	// Constructor
	Length(int ft, int ins) : 
		feet(ft), inches(ins),
		inchesPerFoot(12);
}

上面的構(gòu)造函數(shù)也可以寫成

Lenght(int ft, int ins) :
	feet(ft), inches(ins)
{
	inchesPerFoot = 12;
}

如果是靜態(tài)地initonly變量，則只能在定義時(shí)指定初值。因?yàn)槿绻詷?gòu)造函數(shù)中定義，則每次創(chuàng)建類實(shí)例都將對(duì)靜態(tài)變量賦值，這顯然與靜態(tài)、常量這樣的概念沖突。解決的辦法是，如果一定要在構(gòu)造函數(shù)中初始化initonly類型的靜態(tài)常量，則可定義一個(gè)靜態(tài)構(gòu)造函數(shù)。

value class Length
{
private:
	int feet;
	int inches;

	static Length() { inchesPerFoot = 12; }

public:
	initonly static int inchesPerFoot;

	Length(int ft, int ins) :
		feet(ft), inches(ins)
	{ }
};

靜態(tài)構(gòu)造函數(shù)函數(shù)沒有形參，且沒有初始化表，總是被聲明為private。它不能被直接調(diào)用，而是由普通構(gòu)造函數(shù)在調(diào)用之前自動(dòng)調(diào)用。這種方法與在定義靜態(tài)initonly變量時(shí)指定初始值的唯一區(qū)別是，初始化值可以是在運(yùn)行時(shí)確定的。

二、定義引用類

引用類更加類似于本地C++類，它沒有數(shù)值類那么多的限制。但引用類沒有默認(rèn)的復(fù)制構(gòu)造函數(shù)和賦值運(yùn)算符，如果定義的類需要進(jìn)行復(fù)制或賦值，必須顯式地添加相應(yīng)的函數(shù)成員。下面的例子定義了一個(gè)引用類及其使用方法。

// Ex7_15.cpp : main project file.

#include "stdafx.h"

using namespace System;

ref class Box
{
public:
	// No-arg constructor supplying default field values
	Box():Length(1.0), Width(1.0), Height(1.0)
	{
		Console::WriteLine(L"No-arg constructot called.");
	}
	// Constructor definition using an initialisation list
	Box(double lv, double bv, double hv):Length(lv), Width(bv), Height(hv)
	{
		Console::WriteLine(L"Constructor called.");
	}

	// Function to calculate the volume of a box
	double Volume()
	{
		return Length*Width*Height;
	}

private:
	double Length;
	double Width;
	double Height;
};

int main(array<System::String ^> ^args)
{
	Box^ aBox;
	Box^ newBox = gcnew Box(10, 15, 20);
	aBox = gcnew Box;

	Console::WriteLine(L"Default box volume is {0}", aBox->Volume());
	Console::WriteLine(L"New box volume is {0}", newBox->Volume());
    return 0;
}

輸出為

Constructor called.
No-arg constructot called.
Default box volume is 1
New box volume is 3000

在上面的例子中，main()函數(shù)的第一句沒有創(chuàng)建任何對(duì)象，僅僅聲明了一個(gè)句柄，并被默認(rèn)的賦值成nullptr。此外，引用對(duì)象總是在堆上創(chuàng)建，因此總是用gcnew來調(diào)用其構(gòu)造函數(shù)，并用句柄來跟蹤引用對(duì)象。

類函數(shù)是C++/CLI中引入的新概念，其功能類似于函數(shù)模板，但原理上卻迥然不同。使用函數(shù)模板時(shí)，編譯器根據(jù)模板生成函數(shù)源代碼，然后將其與其它代碼一起編譯。這種方法可能會(huì)產(chǎn)生許多函數(shù)，從而使得生成模塊的體積增加，這就是所謂的“代碼膨脹”。類函數(shù)與之不同，類函數(shù)本身將被編譯，在調(diào)用類函數(shù)時(shí)，實(shí)際類型在運(yùn)行時(shí)取代了類函數(shù)的類型形參，這不會(huì)導(dǎo)致新增代碼的問題。

一、類函數(shù)的定義

類函數(shù)與普通函數(shù)的區(qū)別在于：它需要定義一個(gè)特殊的形參——類型形參，該參數(shù)說明在運(yùn)行時(shí)傳遞給函數(shù)的參數(shù)類型。下面的例子定義了一個(gè)類函數(shù)，用于找出某種數(shù)據(jù)類型數(shù)組中最大的元素。

generic<typename T> where T:IComparable
T MaxElement(array<T>^ x)
{
	T max = x[0];
	for(int i=1; i<x->Lenght; i++)
		if(max->CompareTo(x[i])<0)
			max = x[i];
	return max;
}

關(guān)鍵字generic規(guī)定后面的內(nèi)容為類函數(shù)定義，尖括號(hào)內(nèi)用關(guān)鍵字typename定義了一個(gè)類型形參T，如果有多個(gè)類型形參，它們都放在尖括號(hào)內(nèi)，用逗號(hào)分開。

關(guān)鍵字where引入使用類函數(shù)時(shí)，傳遞給T的類型實(shí)參應(yīng)滿足的約束條件。這里的條件是：所有用于替代T的類型必須實(shí)現(xiàn)了IComparable接口。該約束也意味著，所有傳入的類型實(shí)參都實(shí)現(xiàn)了CompareTo()函數(shù)，允許對(duì)該類型兩個(gè)對(duì)象進(jìn)行比較。

第二行定義了函數(shù)的返回值類型、函數(shù)名稱以及形參，與普通函數(shù)定義類似，但有的類型用T來描述，它們將在運(yùn)行時(shí)被確定。

二、使用類函數(shù)

調(diào)用類函數(shù)的方法與調(diào)用普通函數(shù)的方法一樣。對(duì)上面聲明的MaxElement()函數(shù)可如此調(diào)用：

array<double>^ data = {1.5, 3.5, 6.7, 4.2, 2.1};
double maxData = MaxElement(data);

 在這個(gè)例子中，編譯器能夠判斷出該類函數(shù)的類型實(shí)參為double，生成調(diào)用函數(shù)的代碼(并非是該類函數(shù)的double版)，執(zhí)行時(shí)再用 double代替T。注意：與函數(shù)模板不同，對(duì)于類函數(shù)編譯器不創(chuàng)建函數(shù)實(shí)例，而是僅僅是使編譯后的代碼可以接受數(shù)據(jù)類型作為類型實(shí)參，實(shí)際的類型替換在運(yùn)行時(shí)實(shí)現(xiàn)。

應(yīng)該注意的是，如果以字符串常量作為實(shí)參傳遞給類函數(shù)，編譯器將認(rèn)為類型實(shí)參是String^，無論該字符串常量是窄字符串(“Hello”)還是寬字符串(L“Hello”)。

有些情況下，編譯器無法根據(jù)函數(shù)調(diào)用來判斷類型實(shí)參是什么，這時(shí)可用在函數(shù)名后面加尖括號(hào)和類型名稱來顯示的指定，上面的例子也可以寫作

double maxData = MaxElement<double>(data);

另外需要注意的是，提供給類函數(shù)作為類型實(shí)參的不能是本地C++類類型、本地指針、引用，也不能是值類類型的句柄(如 int^)。而只能是值類型(如int、double)或引用類型的跟蹤句柄(如String^)。

下面是一個(gè)使用類函數(shù)的完整示例。

// Ex6_10.cpp : main project file.
// Defining and using generic fuctions
#include "stdafx.h"

using namespace System;

// Generic function to find the maximum element in an array
generic<typename T> where T:IComparable
T MaxElement(array<T>^ x)
{
	T max = x[0];
	for(int i=1; i<x->Length; i++)
		if(max->CompareTo(x[i])<0)
			max = x[i];
	return max;
}

// Generic function to remove an element from an array
generic<typename T> where T:IComparable
array<T>^ RemoveElement(T element, array<T>^ data)
{
	array<T>^ newData = gcnew array<T>(data->Length-1);
	int Index = 0;		// Index to elements in newData array
	bool found = false;	// Indicates that the element to remove from was found
	for each(T item in data)
	{
		// Check for invalid index or element found
		if((!found) && item->CompareTo(element)==0 )
		{ 
			found = true;
			continue;
		}
		else
		{
			if(Index == newData->Length)
			{
				Console::WriteLine(L"Element to remove not found");
				return data;
			}
			newData[Index++] = item;
		}
	}
	return newData;
}

// Generic function to list an array
generic<typename T> where T:IComparable
void ListElements(array<T>^ data)
{
	for each(T item in data)
		Console::Write(L"{0, 10}", item);
	Console::WriteLine();
}

int main(array<System::String ^> ^args)
{
	array<double>^ data = {1.5, 3.5, 6.7, 4.2, 2.1};
	Console::WriteLine(L"Array contains:");
	ListElements(data);
	Console::WriteLine(L"\nMaximun element = {0}\n", MaxElement(data));
	array<double>^ result = RemoveElement(MaxElement(data), data);
	Console::WriteLine(L"After removing maximun, array contains:");
	ListElements(result);


	array<int>^ numbers = {3, 12, 7, 0, 10, 11};
	Console::WriteLine(L"Array contains:");
	ListElements(numbers);
	Console::WriteLine(L"\nMaximun element = {0}\n", MaxElement(numbers));
	Console::WriteLine(L"After removing maximun, array contains:");
	ListElements(RemoveElement(MaxElement(numbers), numbers));

	array<String^>^ strings = {L"Many", L"hands", L"make", L"light", L"work"};
	Console::WriteLine(L"Array contains:");
	ListElements(strings);
	Console::WriteLine(L"\nMaximun element = {0}\n", MaxElement(strings));
	Console::WriteLine(L"After removing maximun, array contains:");
	ListElements(RemoveElement(MaxElement(strings), strings));

	return 0;
}

輸出如下

Array contains:
       1.5       3.5       6.7       4.2       2.1

Maximun element = 6.7

After removing maximun, array contains:
       1.5       3.5       4.2       2.1
Array contains:
         3        12         7         0        10        11

Maximun element = 12

After removing maximun, array contains:
         3         7         0        10        11
Array contains:
      Many     hands      make     light      work

Maximun element = work

After removing maximun, array contains:
      Many     hands      make     light

C++/CLI中函數(shù)的工作方式與ISO/ANSI C++完全相同，但由于在C++/CLI中用跟蹤句柄和跟蹤引用替代了本地指針和引用，因此也帶來一些變化，主要包括

• CLR程序中函數(shù)的形參與返回值可以是數(shù)值類型、跟蹤句柄、跟蹤引用和內(nèi)部指針。
• 如果某個(gè)形參是CLR數(shù)組，程序不需要另外的參數(shù)指定其大小，因?yàn)閿?shù)組大小在屬性Length中。
• 在C++/CLI程序中，不能像C++一樣進(jìn)行地址的算術(shù)運(yùn)算，而應(yīng)使用數(shù)組索引。（內(nèi)部指針不是可以算術(shù)操作嗎？）
• 可以方便的返回CLR堆上的句柄，因?yàn)镃LR有垃圾回收機(jī)制自動(dòng)清理無用的內(nèi)存。
• C++/CLI函數(shù)接收可變長(zhǎng)度參數(shù)的機(jī)制與本地C++不同。
• C++/CLI中main()函數(shù)訪問命令行實(shí)參的機(jī)制與本地C++不同。

下面就最后2條進(jìn)行說明。

一、接收可變長(zhǎng)度參數(shù)的函數(shù)

C++/CLI允許將形參列表指定為數(shù)組，數(shù)組聲明前面加省略號(hào)，從而實(shí)現(xiàn)實(shí)參的長(zhǎng)度可變。

int sum(...array<int>^ args)
{
	// Code for sum
}

上面的sum()函數(shù)可以接收任意數(shù)量的整數(shù)作為實(shí)參，在函數(shù)內(nèi)部，通過訪問數(shù)組args的元素就可以實(shí)現(xiàn)對(duì)實(shí)參的處理，實(shí)參個(gè)數(shù)由args的屬性Length得到。下面是一個(gè)完整的例子，描述了該機(jī)制的工作過程。

// Ex5_15.cpp : main project file.
#include "stdafx.h"
using namespace System;

double sum(...array<double>^ args)
{
	double sum = 0.0;
	for each(double arg in args)
		sum += arg;
	return sum;
}

int main(array<System::String ^> ^args)
{
	Console::WriteLine( sum(2.0, 4.0, 6.0, 8.0, 10.0, 12.0) );
	Console::WriteLine( sum(1.1, 2.2, 3.3, 4.4, 5.5, 6.6, 7.7, 8.8, 9.9) );
        return 0;
}

輸出為

42
49.5

二、main()的實(shí)參

從前面的例子可以看出，CLR程序中main()函數(shù)僅有一個(gè)形參，它為String^類型的數(shù)組，這就將處理命令行實(shí)參簡(jiǎn)化為訪問該數(shù)組的元素。下面的例子展示了這個(gè)用法。

此外還應(yīng)注意：與本地C++中main()不同，命令行參數(shù)中不包括程序名稱本身。

// Ex5_16.cpp : main project file.
#include "stdafx.h"
using namespace System;

int main(array<System::String ^> ^args)
{
	Console::WriteLine(L"There were {0} command line arguments.", args->Length);
	Console::WriteLine(L"Command line arguments received are:");
	int i=1;
	for each(String^ str in args)
		Console::WriteLine(L"Argument {0}: {1}", i++, str);
    
	return 0;
}

輸出為

D:\My Documents\My Projects\Ex5_16\Debug>ex5_16 tring multiple "arguments values
" 4.5 0.0
There were 5 command line arguments.
Command line arguments received are:
Argument 1: tring
Argument 2: multiple
Argument 3: arguments values
Argument 4: 4.5
Argument 5: 0.0

與本地C++自己維護(hù)堆不同，C++/CLI中動(dòng)態(tài)分配的內(nèi)存是由CLR來維護(hù)的。當(dāng)不需要堆時(shí)，CLR自動(dòng)將其刪除回收，同時(shí)CLR還能自動(dòng)地壓縮內(nèi)存堆以避免產(chǎn)生不必要的內(nèi)存碎片。這種機(jī)制能夠避免內(nèi)存泄露和內(nèi)存碎片，被稱為垃圾回收，而由CLR管理的這種堆被稱為CLR堆。它由操作符gcnew創(chuàng)建。

由于垃圾回收機(jī)制會(huì)改變堆中對(duì)象的地址，因此不能在CLR堆中使用普通C++指針，因?yàn)槿绻羔樦赶虻膶?duì)象地址發(fā)生了變化，則指針將不再有效。為了能夠安全地訪問堆對(duì)象，CLR提供了跟蹤句柄（類似于C++指針）和跟蹤引用（類似于C++）引用。

一、跟蹤句柄

跟蹤句柄類似于本地C++指針，但能夠被CLR垃圾回收器自動(dòng)更新以反映被跟蹤對(duì)象的新地址。同時(shí)不允許對(duì)跟蹤句柄進(jìn)行地址的算術(shù)運(yùn)算，也不能夠進(jìn)行強(qiáng)制類型轉(zhuǎn)換。

凡是在CLR堆上創(chuàng)建的對(duì)象必須被跟蹤句柄引用，這些對(duì)象包括：(1)用gcnew操作符顯示創(chuàng)建在堆上的對(duì)象；(2)所有的引用數(shù)據(jù)類型（數(shù)值類型默認(rèn)分配在堆棧上）。注意：所有分配在堆上的對(duì)象都不能在全局范圍內(nèi)被創(chuàng)建。

關(guān)于跟蹤句柄的相關(guān)使用方法參見《C++/CLI學(xué)習(xí)入門(三):數(shù)組》

二、跟蹤引用

跟蹤引用類似于本地C++引用，表示某對(duì)象的別名。可以給堆棧上的值對(duì)象、CLR堆上的跟蹤句柄創(chuàng)建跟蹤引用。跟蹤引用本身總是在堆棧上創(chuàng)建的。如果垃圾回收移動(dòng)了被引用的對(duì)象，則跟蹤引用將被自動(dòng)更新。

跟蹤引用用%來定義，下面的例子創(chuàng)建了一個(gè)對(duì)堆棧上值對(duì)象的跟蹤引用：

int value = 10;
int% trackValue = value;

stackValue為value變量的引用，可以用stackValue來訪問value：

trackValue *= 5;
Console::WriteLine(value);	// Result is 50

三、內(nèi)部指針

C++/CLI還提供一種用關(guān)鍵字interior_ptr定義的內(nèi)部指針，它允許進(jìn)行地址的算術(shù)操作。必要時(shí)，該指針內(nèi)存儲(chǔ)的地址會(huì)由CLR垃圾回收自動(dòng)更新。注意，內(nèi)部指針總是函數(shù)的局部自動(dòng)變量。

下面的代碼定義了一個(gè)內(nèi)部指針，它含有某數(shù)組中第一個(gè)元素的地址：

array<double>^ data = {1.5, 3.5, 6.7, 4.2, 2.1};
interior_ptr<double> pstart = %data[0];

必須給interio_ptr指定內(nèi)部指針指向的對(duì)象類型。此外還應(yīng)該給指針進(jìn)行初始化，如果不提供初始值，系統(tǒng)將其默認(rèn)初始化為nullptr。

內(nèi)部指針在指定類型時(shí)應(yīng)注意：可以包含堆棧上值類型對(duì)象的地址，也可以包含指向CLR堆上某對(duì)象句柄的地址，還可以是本地類對(duì)象或本地指針，但不能是CLR堆上整個(gè)對(duì)象的地址。也就是說，可以使用內(nèi)部指針存儲(chǔ)作為CLR堆上對(duì)象組成部分的數(shù)值類對(duì)象（如CLR數(shù)組元素）的地址，也可以存儲(chǔ)System::String對(duì)象跟蹤句柄的地址，但不能存儲(chǔ)String對(duì)象本身的地址。

interior_ptr<String^> pstr1;	// OK -- pointer to a handle
interior_ptr<String>  pstr2;	// ERROR -- pointer to a String object

與本地C++指針一樣，內(nèi)部指針可以進(jìn)行算術(shù)計(jì)算。可以通過遞增或遞減來改變其包含的地址，從而引用后面或前面的數(shù)據(jù)項(xiàng)；還可在內(nèi)部指針上加上或減去某個(gè)整數(shù)；可以比較內(nèi)部指針。下面的例子展示了內(nèi)部指針的用法：

// Ex4_19.cpp : main project file.
#include "stdafx.h"
using namespace System;

int main(array<System::String ^> ^args)
{
	array<double>^ data = {1.5, 3.5, 6.7, 4.2, 2.1};
	interior_ptr<double> pstart = &data[0];
	interior_ptr<double> pend = &data[data->Length - 1];
	double sum = 0;

	while(pstart<=pend)
		sum += *pstart++;

	Console::WriteLine(L"Total of data array elements = {0}\n", sum);

	array<String^>^ strings = { L"Land ahoy!",
		L"Splice the mainbrace!",
		L"Shiver me timbers!",
		L"Never throw into the wind!"
	};

	for(interior_ptr<String^> pstrings = &strings[0]; pstrings-&strings[0] < strings->Length; ++pstrings)
		Console::WriteLine(*pstrings);

    return 0;
}

輸出為

Total of data array elements = 18

Land ahoy!
Splice the mainbrace!
Shiver me timbers!
Never throw into the wind!

C++/CLI字符串（Unicode字符組成的字符串）是指在System命名空間中定義的String類，即由System:Char類型的字符序列組成的字符串。它包含大量強(qiáng)大的功能，使得字符串的處理非常容易。創(chuàng)建一個(gè)String對(duì)象的方法如下例所示：

System::String^ saying = L"Many hands make light work.";

跟蹤句柄saying用于訪問String類對(duì)象。該對(duì)象的字符為寬字符，因?yàn)椴捎昧饲熬Y “L”，如果省略“L”，該字符串由8位的字符組成，編譯器將確保將其轉(zhuǎn)換成寬字符。

訪問字符串內(nèi)字符可以像訪問數(shù)組元素一樣，使用索引來訪問，首字符的索引為0。這種方法只能用于讀取字符串內(nèi)字符，但不能用于修改字符串的內(nèi)容。

Console::WriteLine("The third character in the string is {0}", saying[2]);

利用Length屬性，可以獲取字符串內(nèi)字符的數(shù)量（長(zhǎng)度）。

Console::WriteLine("The saying has {0} charactors.", saying->Length);

一、連接字符串

利用 “+”可以連接字符串，形成新的字符串。執(zhí)行下面的例子之后，name3將包含字符串 “Beth and Betty”。

String^ name1 = L"Beth";
String^ name2 = L"Betty";
String^ name3 = name1+L" and "+name2;

“+”還可以用來連接字符串與數(shù)值、bool值等非字符串變量，在連接之前，這些變量將自動(dòng)的轉(zhuǎn)換成字符串。

String^ str = L"Value: ";
String^ str1 = str + 2.5;	// str1 is "Value: 2.5"
String^ str2 = str + 25;	// str2 is "Value: 25"
String^ str3 = str + true;	// str3 is "Value: True"

“+”還可以用來連接字符串與字符，但要注意，結(jié)果字符串的形式取決于字符的類型。這是因?yàn)閏har類型的字符被視為數(shù)值，wchar_t與String對(duì)象的字符具有相同的類型（Char類型）。

char ch = 'Z';
wchar_t wch = 'Z';
String^ str4 = str + ch;	// str4 is "Value: 90"
String^ str5 = str + wch;	// str5 is "Value: Z"

String類型定義了Join()函數(shù)，用于將數(shù)組中的多個(gè)字符串連接成一個(gè)字符串，數(shù)組元素之間用分隔符隔開，如

array<String^>^ names = {"Jill", "Ted", "Mary", "Eve", "Bill"};
String^ seperator = " and ";
String^ joined = String::Join(seperator, names);	// joined is "Jill and Ted and Mary and Eve and Bill"

特別注意：String對(duì)象是固定不變的，一旦創(chuàng)建完畢后就不能再被修改了。這意味著所有的字符串操作都是在創(chuàng)建新的字符串。

下面的例子將整數(shù)數(shù)組內(nèi)的元素按列整齊地輸出。

// Ex4_17.cpp : main project file.
#include "stdafx.h"

using namespace System;

int main(array<System::String ^> ^args)
{
	array<int>^ values = { 2, 456, 23, -46, 34211, 456, 5609, 112098, 234,
		-76504, 341, 6788, -909121, 99, 10 };
	String^ formatStr1 = "{0, ";
	String^ formatStr2 = "}";
	String^ number;

	int maxLength = 0;
	for each(int value in values)
	{
		number = ""+value;
		if(maxLength<number->Length)
			maxLength = number->Length;
	}

	String^ format = formatStr1+(maxLength+1)+formatStr2;

	int numberPerLine = 3;
	for(int i=0; i<values->Length; i++)
	{
		Console::Write(format, values[i]);
		if((i+1)%numberPerLine == 0)
			Console::WriteLine();
	}
}

輸出為

       2     456      23
     -46   34211     456
    5609  112098     234
  -76504     341    6788
 -909121      99      10

二、修改字符串

Trim()函數(shù)用于刪除字符串頭部和尾部的空格。不帶參數(shù)調(diào)用該函數(shù)將刪除字符串頭、尾部的全部空格并返回一新字符串。

String^ str = {" Handsome is as handsome does...     "};
String^ newStr = str->Trim();

也可傳遞給Trim()函數(shù)字符數(shù)組作為參數(shù)，字符串將從頭部和尾部開始刪除數(shù)組中的字符。如果字符出現(xiàn)在字符串中間，則不會(huì)被刪除。

String^ toBeTrimed = L"wool wool sheep sheep wool wool wool";
array<wchar_t>^ notWanted = {L'w', L'o', L'l', L' ' };
Console::WriteLine(toBeTrimed->Trim(notWanted));

上面的語句將輸出
sheep sheep

如果在上面的語句中沒有加前綴”L“，則字符為char類型，對(duì)應(yīng)于System::SByte類型。不過編譯器將自動(dòng)地將其轉(zhuǎn)換成wchar_t類型（即System::Char類型）。

Trim()函數(shù)也支持直接輸入要?jiǎng)h除的字符列表，下面的語句將產(chǎn)生同樣的輸出

Console::WriteLine(toBeTrimed->Trim(L'w', L'o', L'l', L' '));

如果僅僅想要?jiǎng)h除頭部或者尾部中的一端，可以使用TrimStart或者TrimEnd函數(shù)。

如果要在字符串的一端填充空格或其它字符（這一般用于以固定寬度靠左或靠右對(duì)齊輸出文本），可使用PadLeft()和PadRight()函數(shù)。如果字符串長(zhǎng)度大于指定的長(zhǎng)度參數(shù)，則返回字符串為長(zhǎng)度等于原來字符串的新字符串。

String^ value = L"3.142";
String^ leftPadded = value->PadLeft(10);	// Result is "    3.142"
String^ rightPadded = value->PadRight(10);	// Result is "3.142    "
String^ leftPadded2 = value->PadLeft(10, L'*');	// Result is "*****3.142"
String^ rightPadded2= value->PadRight(10,L'#');	// Result is "3.142#####"

如果需要將字符串轉(zhuǎn)換成大寫或小寫，可使用ToUpper()或ToLower函數(shù)。

String^ proverb = L"Many hands make light work."
String^ upper = proverb->ToUpper();	// Result is "MANY HANDS MAKE LIGHT WORK."

如果需要在字符串中間插入一個(gè)字符串，可使用Insert()函數(shù)，第一個(gè)參數(shù)指定起始位置的索引，第二個(gè)參數(shù)指定要插入的字符串。

String^ proverb = L"Many hands light work.";
String^ newProverb = proverb->Insert(5, "deck ");

結(jié)果是

Many deck hands make light work.

如果要用另一個(gè)字符替換字符串中指定的字符，或者用另一個(gè)子串替換字符串中給定的子串，可使用Replace()函數(shù)。

String^ proverb = L"Many hands make light work."
Console::WriteLine(proverb->Replace(L' ', L'*');
Console::WriteLine(proverb->Replace(L"Many hands", L"Press switch");

輸出為

Many*hands*make*light*work.
Pressing switch make light work.

三、搜索字符串

如果需要測(cè)試字符串是否以給定的子串開始或結(jié)束，可使用StartWith()或EndWith()函數(shù)。要尋找的子串句柄作為參數(shù)傳遞給函數(shù)，返回bool值。

String^ snetence = L"Hide, the cow's outside.";
if(sentence->StartWith(L"Hide"))
        Console::WriteLine("The sentence starts with 'Hide'.");

IndexOf()函數(shù)用于返回給定字符或子串在字符串中找到的第一個(gè)實(shí)例索引，如果未找到，則返回-1。

String^ sentence = L"Hide, the cow's outside.";
int ePosition = sentence->IndexOf(L'e');	// Return 3
int thePosition = sentence->IndexOf(L"the");	// Retuen 6

也可以指定IndexOf搜索的起始索引，這一般用于遍歷整個(gè)字符串找出所有的實(shí)例，如下面的例子：

int index = 0;
int count = 0;
while((index=words->IndexOf(word, index))>=0)
{
    index += word->Length;
    count++;
}
Console::WriteLine(L"'{0}' was found {1} times in: {2}", word, count, words);

LastIndexOf()函數(shù)類似于IndexOf()函數(shù)，不過它用于從字符串尾部或指定索引位置開始，倒著向頭部搜索。注意：如果從尾部開始的索引值是words->Lenght-1。

如果要搜索一個(gè)字符串?dāng)?shù)組中任意元素出現(xiàn)在字符串中的位置，可以使用IndexOfAny()函數(shù)。同樣，它也有倒序搜索的版本。 下面的例子說明了IndexOfAny()的用法。下面的例子用于搜索字符串中的標(biāo)點(diǎn)符號(hào)

// Ex4_18.cpp : main project file.
#include "stdafx.h"

using namespace System;

int main(array<System::String ^> ^args)
{
	array<wchar_t>^ punctuation = {L'"', L'\'', L'.', L',', L':',L'!', L'?'};
	String^ sentence = L"\"It's chilly in here\", the boy 's mother said coldly.";

	array<wchar_t>^ indicators = gcnew array<wchar_t>(sentence->Length){L' '};

	int index = 0;
	int count = 0;
	while((index=sentence->IndexOfAny(punctuation, index))>=0)
	{
		indicators[index] = L'^';
		++index;
		++count;
	}
	Console::WriteLine(L"There are {0} punctuation charactors in the string:", count);
	Console::WriteLine(L"\n{0}\n{1}", sentence, gcnew String(indicators));
    return 0;
}

輸出為

There are 6 punctuation charactors in the string:
"It's chilly in here", the boy 's mother said coldly.
^  ^                ^^         ^                    ^

要學(xué)習(xí)數(shù)組，必須先了解跟蹤句柄。

一、跟蹤句柄

跟蹤句柄類似于本地C++指針，但也有很大區(qū)別。跟蹤句柄確實(shí)存儲(chǔ)著某個(gè)對(duì)象的地址，但當(dāng)CLR壓縮堆過程中改變了該對(duì)象的地址，則垃圾回收器自動(dòng)更新句柄所包含的地址。我們不能像本地指針那樣用跟蹤句柄來執(zhí)行地址的算術(shù)運(yùn)算，也不允許對(duì)跟蹤句柄進(jìn)行強(qiáng)制類型轉(zhuǎn)換。

在CLR堆中創(chuàng)建的對(duì)象必須被跟蹤句柄引用。所有屬于引用類型的對(duì)象都存儲(chǔ)在堆中，因此為引用這些對(duì)象所創(chuàng)建的變量都必須是跟蹤句柄。例如，String類型是引用類型，因此引用String對(duì)象的變量必須是跟蹤句柄。值類型默認(rèn)分配在堆棧上，但也可以用gcnew操作符將其存儲(chǔ)在堆上。此外必須注意，在堆上分配的變量——其中包括所有CLR引用類型——都不能在全局作用域內(nèi)聲明。

通過在類型名稱后加”^”符號(hào)，用于聲明一個(gè)該類型的句柄。下面的例子聲明了一個(gè)String類型的跟蹤句柄proverb。

String^ proverb;

在聲明時(shí)句柄時(shí)，系統(tǒng)自動(dòng)為其分配一個(gè)空值，該句柄不引用任何對(duì)象。也可顯示地將某個(gè)句柄置為空值:

proverb = nullptr;

注意不能用0來表示空值。如果用0來初始化某個(gè)句柄，則0將自動(dòng)轉(zhuǎn)換為被引用類型的對(duì)象，而句柄則指向該對(duì)象。可以在聲明句柄時(shí)顯示的將其初始化：

String^ saying = L"I used to think I was indecisive but now I???ê?èm not so sure."; 

該語句首先在堆上創(chuàng)建一個(gè)包含等號(hào)右邊字符串的String對(duì)象，然后將該對(duì)象的地址存入saying中。注意字符串字面值的類型為const wchar_t*而非String。類String提供了這樣的方法使得const wchar_t*類型的字符串可以用來創(chuàng)建String類型的對(duì)象。

下面這條語句創(chuàng)建了值類型的句柄：

int^ value = 99; 

      該語句在堆上創(chuàng)建一個(gè)Int32型的值類型變量，然后將該變量的地址存入句柄value中。由于value是一種指針，因此不能直接參與算術(shù)運(yùn)算，可使用*運(yùn)算符對(duì)地址求值（類似于本地C++指針那樣）:

int result = 2*(*value)+15;

      由于*value表示value所指向地址存儲(chǔ)的數(shù)值，因此result的值為2*99+15=213。注意，當(dāng)value作為運(yùn)算式左值時(shí)，不需要*即可對(duì)value指向的變量賦值。

int^ result = 0;
result = 2*(*value)+15;

      首先創(chuàng)建了一個(gè)指向數(shù)值0的句柄result。（該語句會(huì)觸發(fā)一條編譯器警告，提示不能利用0來將句柄初始化為空值。）

      第2條語句=號(hào)右邊為數(shù)值，而左邊為句柄，編譯器將自動(dòng)將右值賦予句柄所指向的對(duì)象，即將其轉(zhuǎn)換為如下語句

*result = 2*(*value)+15;

       注意，要采用上面的語句，result句柄必須實(shí)際定義過。如果僅僅聲明了result，則會(huì)產(chǎn)生運(yùn)行時(shí)錯(cuò)誤

int^ result;
*result = 2*(*value)+15;

       這是因?yàn)榈诙湟獙?duì)地址result求值，即意味著result指向的對(duì)象已經(jīng)存在，但實(shí)際并非如此，因?yàn)槁暶髟搶?duì)象時(shí)系統(tǒng)默認(rèn)賦予其空值(nullptr)。在這種情況下，采用下面的方法就可以正常工作了

int^ result;
result = 2*(*value)+15; 

二、數(shù)組

(一)數(shù)組句柄

       CLR數(shù)組是分配在可回收垃圾堆上的。必須用array<typename>指出要?jiǎng)?chuàng)建的數(shù)組，同其它CLR堆上的對(duì)象一樣，需要用句柄來訪問它，例子如下：

array<int>^ data;

      數(shù)組句柄data可用于存儲(chǔ)對(duì)元素類型為int的一維數(shù)組的引用。下面的例子聲明了一個(gè)句柄，并新建一個(gè)CLR數(shù)組來對(duì)此句柄初始化。

array<int>^ data = gcnew array<int>(100); 

       和本地C++數(shù)組一樣，CLR數(shù)組中元素的索引值也是從0開始的，可以通過[ ]訪問數(shù)組元素。數(shù)組元素都是CLR對(duì)象，在上面的例子中數(shù)組元素為Int32型對(duì)象，它們?cè)谒阈g(shù)表達(dá)式中就像普通的整數(shù)類型一樣。

       Length屬性是數(shù)組的一個(gè)重要屬性，記錄著數(shù)組元素的數(shù)量。保存了64位的數(shù)組長(zhǎng)度。

for(int i=0; i<data->Length; i++)
	data[i] = 2*(i+1);

可以用for each循環(huán)遍歷數(shù)組元素。

array<int>^ value = {3, 5, 6, 8, 6};
for each(int item in value)
{
	item = 2*item + 1;
	Console::WriteLine("{0, 5}", item);
}

該循環(huán)輸出5字符寬度的字段，以右對(duì)齊的方式輸出當(dāng)前元素的計(jì)算結(jié)果，輸出如下：

    7   11   13   17   13 

       數(shù)組句柄可以被重新賦值，只要保持?jǐn)?shù)組元素類型和維數(shù)（等級(jí)）不變即可，在前面例子中的數(shù)組句柄data指向一個(gè)int類型的一維數(shù)組，可以重新給它賦值，使其指向另外的int類型1維數(shù)組：

data = gcnew array<int>(45);

       數(shù)組可以在創(chuàng)建時(shí)通過元素列表初始化，下例在CLR堆上創(chuàng)建了一個(gè)double類型的數(shù)組，并將引用賦值給了數(shù)組句柄：

array<double>^ sample = {3.4, 2.3, 6.8, 1.2, 5.5, 4.9, 7.4, 1.6};

       如果在聲明數(shù)組句柄時(shí)不進(jìn)行初始化，那么在給句柄賦值時(shí)不能采用上面的方法直接用元素列表用作右值，而必須采用顯示創(chuàng)建的方式。即不能

array<double>^ sample;
sample = {3.4, 2.3, 6.8, 1.2, 5.5, 4.9, 7.4, 1.6}

       而必須采用如下方式

array<double>^ sample;
sample = gcnew array<double>{3.4, 2.3, 6.8, 1.2, 5.5, 4.9, 7.4, 1.6}

       對(duì)于字符串?dāng)?shù)組，注意每一個(gè)元素也是引用類型，這是因?yàn)槊恳粋€(gè)元素String也是在CLR堆上創(chuàng)建的，因此也要用String^來訪問它。

array<String^>^ names = {"Jack", "John", "Joe", "Jessica", "Jim", "Joanna"};

       可以用Array類靜態(tài)函數(shù)Clear()對(duì)數(shù)組中的連續(xù)數(shù)組元素清零。

Array::Clear(samples, 0, samples->Length);

       Clear()函數(shù)的第一個(gè)參數(shù)是被清零的數(shù)組，第二個(gè)參數(shù)是要清除地第一個(gè)元素的索引，第三個(gè)參數(shù)為要清除地元素?cái)?shù)量。因此上述語句將samples數(shù)組的所有元素都置為0。如果Clear()清除的是某個(gè)跟蹤句柄，則句柄所對(duì)應(yīng)的元素都被應(yīng)用Clear()函數(shù)。如果元素為bool型，則被置為false。

(二)數(shù)組排序

Array類還定義了一個(gè)Sort()靜態(tài)函數(shù)，可用于對(duì)數(shù)組進(jìn)行排序。如果以數(shù)組句柄作為參數(shù)，則對(duì)整個(gè)數(shù)組排序。如果要對(duì)數(shù)組部分排序，則還需要增加元素起始索引及數(shù)量，如下例

array<int>^ samples = {27, 3, 54, 11, 18, 2, 16};
Array::Sort(samples, 2, 3);

排序后數(shù)組元素變?yōu)閧27, 3, 11, 18, 54, 2, 16}

Sort函數(shù)還有很多其它版本，下面的例子展示了如何排序兩個(gè)相關(guān)的數(shù)組，即第一個(gè)數(shù)組中的元素是第二個(gè)數(shù)組對(duì)應(yīng)元素的鍵。對(duì)第一個(gè)數(shù)組排序后，可對(duì)第二個(gè)數(shù)組進(jìn)行相應(yīng)的調(diào)整，使得鍵與值相互對(duì)應(yīng)。

Sort()函數(shù)對(duì)2個(gè)數(shù)組排序時(shí)，用第一個(gè)數(shù)組參數(shù)來確定兩個(gè)數(shù)組的順序，以此保持2個(gè)數(shù)組元素對(duì)應(yīng)關(guān)系不變。

// Ex4_13.cpp : main project file.
#include "stdafx.h"
using namespace System;

int main(array<System::String ^> ^args)
{
	array<String^>^ names = { "Jill", "Ted", "Mary", "Eve", "Bill", "Al" };
	array<int>^ weights = {103, 168, 128, 115, 180, 176};

	Array::Sort(names, weights);
	for each( String^ name in names )
		Console::Write(L"{0, 10}", name);
	Console::WriteLine();
	
	for each(int weight in weights)
		Console::Write(L"{0, 10}", weight);
	Console::WriteLine();
	
	return 0;
}

輸出為： 

Al Bill Eve Jill Mary Ted 
176 180 115 103 128 168 

(三)數(shù)組搜索

Array類還提供了函數(shù)BinarySearch()以使用對(duì)分法搜索算法，對(duì)一維數(shù)組或給定范圍內(nèi)搜索特定元素的索引位置。使用該函數(shù)要求數(shù)組必須是順序排列的，因此在搜索之前必須對(duì)數(shù)組進(jìn)行排序。

array<int>^ value = { 23, 45, 68, 94, 123, 150, 203, 299 };
int toBeFound = 127;
int position = Array::BinarySearch(value, toBeFound);
if(position<0)
        Console::WriteLine(L"{0} was not found.", toBeFound);
else
        Console::WriteLine(L"{0} was found at index position {1}", toBeFound, position);

Array::BinarySearch()的第一個(gè)參數(shù)是被搜索數(shù)組的句柄，第二個(gè)參數(shù)是要查找的內(nèi)容，返回值為int類型的數(shù)值。如果返回值小于0則說明未找到。如果要指定搜索范圍，則需要傳遞4個(gè)參數(shù)，其中第2參數(shù)為搜索起始索引，第3參數(shù)為搜索的元素?cái)?shù)量，第4個(gè)是要搜索的內(nèi)容。下面的代碼從第4個(gè)元素開始，一直搜索到結(jié)束位置。

array<int>^ value = { 23, 45, 68, 94, 123, 150, 203, 299 };
int toBeFound = 127;
int position = Array::BinarySearch(value, 3, 6, toBeFound);    

// Ex4_14.cpp : main project file.
#include "stdafx.h"
using namespace System;

int main(array<System::String ^> ^args)
{
	array<String^>^ names = { "Jill", "Ted", "Mary", "Eve", "Bill", "Al", "Ned", "Zoe", "Dan", "Jean" };
	array<int>^ weights = {103, 168, 128, 115, 180, 176, 209, 98, 190, 130};
	array<String^>^ toBeFound = {"Bill", "Eve", "Al", "Fred"};
	
	int result = 0;
	Array::Sort(names, weights);

	for each( String^ name in toBeFound )
	{
		result = Array::BinarySearch(names, name);
		if(result<0)
			Console::WriteLine(L"{0} was not found.", name);
		else
			Console::WriteLine(L"{0} weights {1} lbs.", name, weights[result]);
	}

	return 0;
}

        當(dāng)搜索不到目標(biāo)時(shí)，Array::BinarySearch()函數(shù)輸出的并非任意負(fù)數(shù)，而是第一個(gè)大于該目標(biāo)的元素索引值的按位補(bǔ)碼。利用該方法，可以不打亂順序在數(shù)組中插入新值。如，我們希望插入”Fred”到names數(shù)組中

array<String^>^ names = { "Jill", "Ted", "Mary", "Eve", "Bill", "Al", "Ned", "Zoe", "Dan", "Jean" }
Array::Sort(names);
String^ name = L"Fred";
int position = Array::BinarySearch(names, name);
if(position<0)
position = ~position;

此時(shí)，position保存的是大于Fred的第一個(gè)元素的位置，該數(shù)值可用于插入新值。

array<String^>^ newNames = gcnew array<String^>(names->Length+1);
for(int i=0;i<position;i++)
	newNames[i] = names[i];
newNames[position] = name;

if(position<name->Length)
	for(int i=position; i<names->Length; i++)
		newNames[i+1] = names[i];
names = nullptr;

注意：最后一句用于刪除names數(shù)組。

(四)多維數(shù)組

C++/CLI中可以創(chuàng)建多維數(shù)組，最大維數(shù)32維。與ISO/ANSI C++不同的是，C++/CLI中的多維數(shù)組并非數(shù)組的數(shù)組，而是真正的多維數(shù)組，創(chuàng)建整數(shù)多維數(shù)組方法如下：

array<int 2>^ value = gcnew array<int, 2>(4, 5);

上面的代碼創(chuàng)建了一個(gè)二維數(shù)組，四行五列，共20個(gè)元素。訪問的方法是利用多個(gè)用逗號(hào)分隔的索引值來訪問每一個(gè)元素，而不能用一個(gè)索引值訪問一行

int nrows = 4;
int ncols = 5;
array<int, 2>^ value = gcnew array<int, 2>(nrows, ncols);
for(int i=0; i<nrows; i++)
    for(int j=0; j<ncols; j++)
        value[i, j] = (i+1)*(j+1);

上面的代碼利用循環(huán)給二維數(shù)組value賦值。這里訪問二維數(shù)組元素的符號(hào)與本地C++不同：后者實(shí)際上是數(shù)組的數(shù)組，而C++/CLI是真正的二維數(shù)組，不能用一個(gè)索引值來訪問二維數(shù)組，那樣是沒有意義的。數(shù)組的維數(shù)被稱為等級(jí)，上面value數(shù)組的等級(jí)為2。而本地C++數(shù)組的等級(jí)始終為1。當(dāng)然，在C++/CLI中也可以定義數(shù)組的數(shù)組，方法見下例

// Ex4_15.cpp : main project file.
#include "stdafx.h"
using namespace System;

int main(array<System::String ^> ^args)
{
	const int SIZE = 12;
	array<int, 2>^ products = gcnew array<int, 2>(SIZE, SIZE);
	
	for(int i=0; i<SIZE; i++)
		for(int j=0; j<SIZE; j++)
			products[i, j] = (i+1)*(j+1);
	Console::WriteLine(L"Here is the {0} times table:", SIZE);

	// Write horizontal divider line
	for(int i=0; i<=SIZE; i++)
		Console::Write(L"_____");
	Console::WriteLine();

	// Write top line of table
	Console::Write(L"    |");
	for(int i=1; i<=SIZE; i++)
		Console::Write("{0, 3} |", i);
	Console::WriteLine();

	// Write horizontal divider line with verticals
	for(int i=0; i<=SIZE; i++)
		Console::Write("____|", i);
	Console::WriteLine();

	// Write remaining lines
	for(int i=0; i<SIZE; i++)
	{
		Console::Write(L"{0, 3} |", i+1);
		for(int j=0; j<SIZE; j++)
			Console::Write("{0, 3} |", products[i, j]);
		Console::WriteLine();
	}

	// Write horizontal divider line
	for(int i=0; i<=SIZE; i++)
		Console::Write("_____", i);
	Console::WriteLine();
	return 0;
}

上面的例子創(chuàng)建了一個(gè)12x12的乘法表，輸出如下：

Here is the 12 times table:
_________________________________________________________________
    |  1 |  2 |  3 |  4 |  5 |  6 |  7 |  8 |  9 | 10 | 11 | 12 |
____|____|____|____|____|____|____|____|____|____|____|____|____|
  1 |  1 |  2 |  3 |  4 |  5 |  6 |  7 |  8 |  9 | 10 | 11 | 12 |
  2 |  2 |  4 |  6 |  8 | 10 | 12 | 14 | 16 | 18 | 20 | 22 | 24 |
  3 |  3 |  6 |  9 | 12 | 15 | 18 | 21 | 24 | 27 | 30 | 33 | 36 |
  4 |  4 |  8 | 12 | 16 | 20 | 24 | 28 | 32 | 36 | 40 | 44 | 48 |
  5 |  5 | 10 | 15 | 20 | 25 | 30 | 35 | 40 | 45 | 50 | 55 | 60 |
  6 |  6 | 12 | 18 | 24 | 30 | 36 | 42 | 48 | 54 | 60 | 66 | 72 |
  7 |  7 | 14 | 21 | 28 | 35 | 42 | 49 | 56 | 63 | 70 | 77 | 84 |
  8 |  8 | 16 | 24 | 32 | 40 | 48 | 56 | 64 | 72 | 80 | 88 | 96 |
  9 |  9 | 18 | 27 | 36 | 45 | 54 | 63 | 72 | 81 | 90 | 99 |108 |
 10 | 10 | 20 | 30 | 40 | 50 | 60 | 70 | 80 | 90 |100 |110 |120 |
 11 | 11 | 22 | 33 | 44 | 55 | 66 | 77 | 88 | 99 |110 |121 |132 |
 12 | 12 | 24 | 36 | 48 | 60 | 72 | 84 | 96 |108 |120 |132 |144 |
_________________________________________________________________

其中創(chuàng)建二維數(shù)組的代碼如下：

const int SIZE = 12;
array<int, 2>^ products = gcnew array<int, 2>(SIZE, SIZE);

第一行定義了一個(gè)整型常量SIZE，用于指定每一維數(shù)組的元素?cái)?shù)量，第二行代碼定義了一個(gè)等級(jí)2的數(shù)組，為12x12大小，該數(shù)組用于存儲(chǔ)12x12的乘法表乘積。然后在嵌套循環(huán)中給數(shù)組賦值，大部分代碼用于格式化輸出以使其更加美觀，這里就不再說明。

(五)數(shù)組的數(shù)組

如果數(shù)組的元素是引用數(shù)組的跟蹤句柄，那么就可以創(chuàng)建數(shù)組的數(shù)組。同時(shí)，每一維數(shù)組的長(zhǎng)度可以不同，即所謂的“鋸齒形數(shù)組”。例如，用ABCDE來表示學(xué)生的成績(jī)等級(jí)，根據(jù)等級(jí)分組存儲(chǔ)班內(nèi)學(xué)生的姓名，則可以創(chuàng)建一個(gè)包含5個(gè)元素的數(shù)組，每個(gè)元素為一個(gè)姓名數(shù)組（即字符串?dāng)?shù)組）

array<array<String ^>^>^ grades = gcnew array<array<String^>^>(5)

利用上面創(chuàng)建的數(shù)組，然后可以創(chuàng)建5個(gè)姓名數(shù)組了

grades[0] = gcnew array<String^>{"Louise", "Jack"};
grades[1] = gcnew array<String^>{"Bill", "Mary", "Ben", "Joan"};
grades[2] = gcnew array<String^>{"Jill", "Will", "Phil"};
grades[3] = gcnew array<String^>{"Ned", "Fred", "Ted", "Jed", "Ed"};
grades[4] = gcnew array<String^>{"Dan", "Ann"};

grades[n]訪問grades數(shù)組的第n個(gè)元素，而各元素為指向String^類型數(shù)組的句柄，因此上面的語句用于創(chuàng)建了String對(duì)象句柄的數(shù)組，并將創(chuàng)建數(shù)組的地址賦值給了grades數(shù)組元素。同時(shí)，這些字符串?dāng)?shù)組的長(zhǎng)度是不同的。

上面的語句也可以用一個(gè)初始化語句來實(shí)現(xiàn)

array<array<String^>^>^ grades = gcnew array<array<String^>^>
{
    gcnew array<String^>{"Louise", "Jack"},
    gcnew array<String^>{"Bill", "Maray", "Ben", "Joan"},
    gcnew array<String^>{"Jill", "Will", "Phil"},
    gcnew array<String^>{"Ned", "Fred", "Ted", "Jed", "Ed"},
    gcnew array<String^>{"Dan", "Ann"},
};

注意：元素的初值必須寫在花括號(hào)里。

// Ex4_16.cpp : main project file.
#include "stdafx.h"
using namespace System;

int main(array<System::String ^> ^args)
{
	array<array<String^>^>^ grades = gcnew array<array<String^>^>
		{
			gcnew array<String^>{"Louise", "Jack"},
			gcnew array<String^>{"Bill", "Maray", "Ben", "Joan"},
			gcnew array<String^>{"Jill", "Will", "Phil"},
			gcnew array<String^>{"Ned", "Fred", "Ted", "Jed", "Ed"},
			gcnew array<String^>{"Dan", "Ann"}
		};
	
	wchar_t gradeLetter = 'A';
	for each(array<String^>^ grade in grades)
	{
		Console::WriteLine(L"Students with Grade {0}:", gradeLetter++);
		for each(String^ student in grade)
			Console::Write("{0, 12}", student);
		Console::WriteLine();
	}
	return 0;
}

輸出為

Students with Grade A:
      Louise        Jack
Students with Grade B:
        Bill       Maray         Ben        Joan
Students with Grade C:
        Jill        Will        Phil
Students with Grade D:
         Ned        Fred         Ted         Jed          Ed
Students with Grade E:
         Dan         Ann

一、基本控制結(jié)構(gòu)

ISO/ANSI C++中的控制與循環(huán)全部適用于C++/CLI。下例展示了C++/CLI控制臺(tái)程序中的控制循環(huán)：

例子：基本循環(huán)控制

// Ex3_15.cpp : main project file.
#include "stdafx.h"

using namespace System;

int main(array<System::String ^> ^args)
{
    wchar_t letter;

    Console::Write(L"Enter a letter:");
    letter = Console::Read();

    if(letter>='A')
        if(letter<='Z')
        {
            Console::WriteLine(L"You entered a captial letter.");
            return 0;
        }

    if(letter>='a')
        if(letter<='z')
        {
            Console::WriteLine(L"You entered a small letter.");
            return 0;
        }

    Console::WriteLine(L"You did not enter a letter.");
    return 0;
}

letter被聲明為wchar_t類型，映射為C++/CLI中的System::Char類型，它具有一些特殊的功能，其中包括將字符代碼轉(zhuǎn)換為大寫和小寫的函數(shù)：Char::ToUpper（）和Char::ToLower()，被轉(zhuǎn)換的函數(shù)作為參數(shù)被傳遞給它:

wchar_t uppercaseLetter = Char::ToUpper(letter);

此外還包括檢測(cè)字母是否大寫或小寫的函數(shù):IsUpper()和IsLower()，因此上例可改為

wchar_t letter; 
wchar_t upper; 

Console::Write(L"Enter a letter:"); 
letter = Console::Read(); 
upper = Char::ToUpper(letter); 

if(upper>='A' && upper<='Z') 
    Console::WriteLine(L"You entered a {0} letter.", Char::IsUpper(letter) ? "Capital":"Small"); 
else 
    Console::WriteLine(L"You entered a small letter.");

Console::ReadKey()函數(shù)用于測(cè)試按鍵，并將結(jié)果存儲(chǔ)在ConsoleKeyInfo類對(duì)象里。該類有3個(gè)可訪問屬性用于幫助確定被按下的鍵是哪個(gè)或哪些鍵。屬性Key識(shí)別被按下的鍵是哪個(gè)，屬性KeyChar是被按鍵的Unicode字符碼，屬性Modifiers表示Shift,Alt,Ctrl鍵的按位組合，它是定義在System命名空間中的枚舉類型ConsoleModifiers的常量，包括Shift\Alt\Control。

應(yīng)該注意的是，在C++/CLI中枚舉常量在用作數(shù)值之前必須被顯示的強(qiáng)制轉(zhuǎn)換為值類型（整數(shù)類型）

例子：使用Console::ReadKey()函數(shù)

// Ex3_16.cpp : main project file.

#include "stdafx.h"

using namespace System;

int main(array<System::String ^> ^args)
{
	ConsoleKeyInfo keyPress;

	Console::WriteLine(L"Press a key combination - press Escape to quit.");
	do{
		keyPress = Console::ReadKey(true);
		Console::Write(L"You pressed");
		if(safe_cast<int>(keyPress.Modifiers)>0)
			Console::Write(L" {0}", keyPress.Modifiers);
		Console::WriteLine(L" {0} which is the {1} character", keyPress.Key, keyPress.KeyChar);
	}while(keyPress.Key != ConsoleKey::Escape);
    return 0;
}

該程序的輸入示例如下：

Press a key combination - press Escape to quit.
You pressed Enter which is the  character
You pressed Spacebar which is the   character
You pressed Spacebar which is the   character

從輸出中可以看出，當(dāng)不只一個(gè)鍵被按下時(shí)，用一條語句就可以得到所有的鍵。這是因?yàn)镸odifiers枚舉類型是用FlagsAttribute屬性定義的，該屬性表明這種枚舉類型是一組唯一的位標(biāo)志。這使得該枚舉類型的變量可以由若干與在一起的標(biāo)志位組成，而Write()或WriteLine()函數(shù)可以識(shí)別并輸出各標(biāo)志位。

二、for each循環(huán)

以例子開始

// Ex3_17.cpp : main project file.

#include "stdafx.h"

using namespace System;

int main(array<System::String ^> ^args)
{
	int volwels = 0;
	int consonants = 0;
	String^ proverb = L"A nod is as good as a wink to a blind horse.";

	for each(wchar_t ch in proverb)
	{
		if(Char::IsLetter(ch))
		{
			ch = Char::ToLower(ch);
			switch(ch)
			{
			case 'a': case 'e': case 'i': case 'o': case 'u':
				++volwels;
				break;

			default:
				++consonants;
				break;
			}
		}
	}

	Console::WriteLine(proverb);
	Console::WriteLine(L"The proverb contains {0} volwels and {1} consonants.",
		volwels, consonants);
    return 0;
}

輸出為：

A nod is as good as a wink to a blind horse. 
The proverb contains 14 volwels and 18 consanants. 

注意：由于proverb字符串中的字符都是Unicode字符，因此用wchar_t（映射為Char類型）類型的變量來存儲(chǔ)這些字符。變量ch為循環(huán)內(nèi)的局部變量。

從今日開始，將前期學(xué)習(xí)《Visual C++ 2005入門經(jīng)典》（Ivor Horton著 清華大學(xué)出版社出版）的相關(guān)筆記整理到隨筆中，希望能和C++/CLI愛好者分享學(xué)習(xí)過程中的心得。文中主要內(nèi)容和例子摘自原書相關(guān)章節(jié)，如有侵權(quán)，請(qǐng)留言或來信告知。

相比于ISO/ANSI C++而言，C++/CLI進(jìn)行了大量的擴(kuò)充，并且提供了大量的附加功能。主要包括:

• 在C++/CLI程序中，所有ISO/ANSI基本數(shù)據(jù)類型都可以使用，但在一些特殊的上下文環(huán)境中，它們具有一些額外屬性；
• 在控制臺(tái)程序中，C++/CLI對(duì)鍵盤和命令行輸出提供了自己的機(jī)制；
• C++/CLI中引入了safe_cast運(yùn)算符，確保強(qiáng)制類型轉(zhuǎn)換操作能夠生成可檢驗(yàn)的代碼；
• C++/CLI提供了另外一種基于類的枚舉功能，其靈活性超過了ISO/ANSI C++中的enum聲明。

一、基本數(shù)據(jù)類型

C++/CLI中包括了所有ISO/ASNI C++中的基本數(shù)據(jù)類型，算術(shù)運(yùn)算也和本地C++完全一樣。除此之外，C++/CLI中還定義了2種整數(shù)類型，如表1所示：

表1:C++/CLI新增基本數(shù)據(jù)類型

指定long long數(shù)據(jù)類型時(shí)，需要在整數(shù)數(shù)值后面加LL或小寫字母ll，如

longlong big = 123456789LL;

指定unsinged long long類型時(shí)，需要在整數(shù)數(shù)值后面加ULL或小寫字母ull，如

unsigned long long huge = 123456789LL;

在C++/CLI中，每一個(gè)ISO/ANSI C++基本類型名稱都映射到System命名空間中定義的值類類型。在C++/CLI程序中，ISO/ANSI C++基本類型名稱都是CLI中對(duì)應(yīng)值類類型的簡(jiǎn)略形式。表2給出了基本類型、占用內(nèi)存以及對(duì)應(yīng)的值類類型。

表2：基本類型與CLI值類型

默認(rèn)情況下，char類型被視為singed char，因此其關(guān)聯(lián)的值類類型為System::SByte。如果編譯選項(xiàng)/J，則char 默認(rèn)為unsigned char，此時(shí)關(guān)聯(lián)為System::Byte。System為根命名空間名，C++/CLI的值類類型在這個(gè)空間中定義。此外System空間中還定義了許多其他類型，如表示字符串的String類型、精確存儲(chǔ)的十進(jìn)制小數(shù)類型Decimal等等。

在C++/CLI中，關(guān)聯(lián)的值類類型為基本類型添加了重要的附加功能。編譯器在需要時(shí)，將安排原值與關(guān)聯(lián)類型之間的自動(dòng)轉(zhuǎn)換，其中從原值轉(zhuǎn)換為關(guān)聯(lián)類型成為裝箱(boxing)，反之稱為拆箱(unboxing)。根據(jù)上下文環(huán)境，這些變量將表現(xiàn)為簡(jiǎn)單的值或者對(duì)象。

由于ISO/ANSI C++基本類型的名稱是C++/CLI程序中值類類型名稱的別名，所以原則上C++/CLI代碼中可用任何一種名稱。

int count = 10; 
double value = 2.5;

與下面的代碼是等價(jià)的

System::Int32 count = 10; 
System::Double value = 2.5;

上面2種代碼是完全合法的，但應(yīng)盡量使用基本類型名稱，如int和double，而不是System::Int32和System::Double。這是因?yàn)樯厦婷枋龅倪@種映射關(guān)系僅適用于Visual C++ 2005及以上版本的編譯器，其他版本編譯器未必實(shí)現(xiàn)這種映射關(guān)系。

將基本類型轉(zhuǎn)換為值類類型是C++/CLI的一個(gè)重要特征。在ISO/ANSI C++中基本類型與類類型完全不同，而在C++/CLI中，所有數(shù)據(jù)都以類類型的形式存儲(chǔ)，包括值類型（存儲(chǔ)在堆棧上）和引用類型（存儲(chǔ)在堆上）2種。

例子：Fruit CLR控制臺(tái)項(xiàng)目

在Visual Studio 2005中創(chuàng)建CLR Console Application項(xiàng)目，輸入名稱Ex2_12，將生成如下文件

// Ex2_12.cpp : main project file. 
#include "stdafx.h" 
using namespace System; 
int main(array<System::String ^> ^args) 
{ 
    Console::WriteLine(L"Hello World"); 
    return 0; 
}

main函數(shù)后的參數(shù)為命令行參數(shù)。然后按如下方式改寫代碼

// Ex2_12.cpp : main project file. 
#include "stdafx.h" 
using namespace System; 
int main(array<System::String ^> ^args) 
{ 
    int apples, oranges; 
    int fruit; 

    apples = 5; 
    oranges = 6; 
    fruit = apples + oranges; 
    Console::WriteLine(L"\nOranges are not the only fruit ..."); 
    Console::Write(L"- and we have "); 
    Console::Write(fruit); 
    Console::Write(L" fruit in all.\n"); 

    return 0; 
}

編譯后執(zhí)行得到如下輸出：

Oranges are not the only fruit?- 
- and we have 11 fuit in all. 

與ISO/ANSI C++版本比較，變量的類型int將成為C++/CLI類型System::Int32。如果用System::Int32替換代碼中的int，然后重新編譯運(yùn)行，結(jié)果將沒有變化。

WriteLine()函數(shù)為C++/CLI函數(shù)，定義在System命名空間的Console類中。Console表示標(biāo)準(zhǔn)輸入輸出流。Write()函數(shù)為該類的另一個(gè)輸出函數(shù)，不會(huì)自動(dòng)換行。下面專門討論C++/CLI的控制臺(tái)輸入輸出。     

二、控制臺(tái)輸出

C++/CLI中特有控制臺(tái)格式化輸出功能，例如可用下面的代碼來輸出字符串與變量混合文本。

Console::WriteLine(L"There are {0} fruit.", fruit);

Console::WriteLine()的第一個(gè)參數(shù)是L”There are {0} fruit.”，其中{0}為格式化占位符，表示在此處插入第二個(gè)參數(shù)的值，如果有更多需要插入的參數(shù)，則該參數(shù)對(duì)應(yīng)的占位符編號(hào)繼續(xù)增加：{1}、{2}、{3}…。在第一個(gè)字符串參數(shù)中，編號(hào)的順序可以顛倒，如

Console::WriteLine(L"There are {1} packages weighting {0} pounds", packageWeight, packageCount);

格式化占位符還可以控制顯示的格式，如{1:F2}表示第2個(gè)參數(shù)顯示成有2位小數(shù)的浮點(diǎn)數(shù)，冒號(hào)后的為格式規(guī)范

Console::WriteLine(L"There are {0} packages weighting {1:F2} pounds ", packageCount, packageWeight);

輸出為

There are 25 packages weighting 7.50 pounds.       

一般說來，可以編寫格式為{n,w:Axx}的格式規(guī)范，其中n為索引值，用于選擇逗號(hào)后的第幾個(gè)參數(shù)； A為單個(gè)字母，表示如何對(duì)變量格式化；xx為1個(gè)或2個(gè)數(shù)字，指定參數(shù)的精度；w為有符號(hào)整數(shù)，表示可選的字段寬度范圍，如果w為+，則字段右對(duì)齊，如果w為-，則左對(duì)齊。如果數(shù)值的位置數(shù)小于w指定的位置數(shù)，則多出來的用空格填充，如果數(shù)值的位置數(shù)大于w指定的位置數(shù)，則忽略w的限定：

Console::WriteLine(L"Packages: {0,3} Weight: {1,5￡oF2} pounds ", packageCount, packageWeight);

輸出為（下劃線表示空格填充位）：

Packages: _25 Weight: __7.50 pounds

可選的格式說明符如表3所示

表3：格式說明符

例子：計(jì)算地毯價(jià)格，演示CLR控制臺(tái)程序的格式化輸出

// Ex2_13.cpp : main project file.
#include "stdafx.h"
using namespace System;
int main(array<System::String ^> ^args)
{
	double carpetPriceSqYd = 27.95;
	double roomWidth = 13.5;			// in feet
	double roomLength = 24.75;			// in feet
	const int feetPerYard = 3;
	double roomWidthYard = roomWidth/feetPerYard;
	double roomLengthYard = roomLength/feetPerYard;
	double carpetPrice = roomWidthYard*roomLengthYard*carpetPriceSqYd;

	Console::WriteLine(L"Room is {0:F2} yards by {1:F2} yards",
		roomWidthYard, roomLengthYard);
	Console::WriteLine(L"Room area is {0:F2} square yards", 
		roomWidthYard*roomLengthYard);
	Console::WriteLine(L"Carpet price is ${0:F2}", carpetPrice);
	return 0;
}

三、控制臺(tái)輸入

.Net Framework的控制臺(tái)鍵盤輸入功能有限，可以適用Console::ReadLine()函數(shù)把整行輸入作為字符串讀取，或者使用Console::Read()讀取單個(gè)字符，還可以適用Console::ReadKey()讀取按鍵。ReadLine()的例子如下：

ReadLine()用于將整行文本存入字符串中，按下Enter鍵時(shí)，文本結(jié)束。變量line為String^型，表示String數(shù)據(jù)類型的引用，line為Console::ReadLine()函數(shù)讀入字符串的引用。

String^ line = Console::ReadLine();

Read()用于逐字符的讀入輸入數(shù)據(jù)，并將其轉(zhuǎn)換成對(duì)應(yīng)的數(shù)字值。ReadKey的例子如下：

char ch = Console::Read();

ReadKey()用于讀取按鍵值，并返回ConsoleKeyInfo對(duì)象，該為對(duì)象定義在System命名空間中的值類型。參數(shù)true表示按鍵不在命令行上顯示出來，false則表示顯示按鍵回顯。按鍵對(duì)應(yīng)的字符可用ConsoleKeyInfo對(duì)象的KeyChar得到。

ConsoleKeyInfo keyPressed = Console::ReadKey(true);
Console::WriteLine(L"The key press corresponds to the character: {0}", keyPress.KeyChar);

盡管C++/CLI控制臺(tái)程序中不能格式化輸入，但輸入一般都通過窗口組件得到，因此這僅僅是一個(gè)小缺陷。

四、強(qiáng)制類型轉(zhuǎn)換safe_cast

在CLR環(huán)境中safe_cast用于顯示的強(qiáng)制類型轉(zhuǎn)換。safe_cast用于將一種類型轉(zhuǎn)換為另一種類型，在不成功時(shí)能夠拋出異常，因此在C++/CLI中使用safe_cast是比較好的選擇。其用法和static_cast一樣：

double value1 = 10.5; 
double value2 = 15.5; 
int whole_number = safe_cast<int>(value1) + safe_cast<int>(value2);

五、枚舉

C++/CLI的枚舉與ISO/ANSI C++有較大的區(qū)別。下例為C++/CLI中的一個(gè)枚舉類型：該語句定義了一個(gè)枚舉類型Suit，該類型的變量只能被賦值枚舉定義中的值，且必須用枚舉類型名稱限定枚舉常數(shù)。

enum class Suit {Clubs, Diamonds, Hearts, Spades};
Suit suit = Suit::Diamonds;

注意class關(guān)鍵字跟在enum之后。說明該枚舉類型為C++/CLI，該關(guān)鍵字還表明在定義中規(guī)定的常量: Clubs\Diamonds\Hearts\Spades都是類對(duì)象而非ISO/ANSI C++中的基本類型（整型）值。實(shí)際上，默認(rèn)情況下這些都是Int32類型的對(duì)象。

由于C++/CLI枚舉定義中的變量都是類對(duì)象，因此不能在函數(shù)內(nèi)部定義。

(一）指定枚舉常量的類型

枚舉中常量的類型可以是下表中任一基本類型：

要指定一個(gè)枚舉常量的類型，可以在枚舉類型名稱之后寫入常量類型名稱（要用冒號(hào)隔開），下例枚舉類型中的常量為Char類型，對(duì)應(yīng)的基本類型為char。其中第一個(gè)常量默認(rèn)情況下對(duì)應(yīng)于代碼值0，后面的依次遞增。

enum class Face:char { Ace,Two,Three,Four,Five,Six,Seven,Eight,Nine,Ten,Jack,Queen,King};

(二)指定枚舉常量的值

可以賦予枚舉類型定義中的一個(gè)或全部常數(shù)對(duì)應(yīng)的值，下例使得Ace獲得1，Two獲得2，其余依此類推，直到King=13。

enum class Face:char { Ace=1,Two,Three,Four,Five,Six,Seven,Eight,Nine,Ten,Jack,Queen,King};

如果想讓Ace獲得最大值，則可以如下定義：

enum class Face:Char { Ace=14,Two=2,Three,Four,Five,Six,Seven,Eight,Nine,Ten,Jack,Queen,King};

例子：使用枚舉類型

// Ex2_14.cpp : main project file.
#include "stdafx.h"
using namespace System;

enum class Suit {Clubs, Diamonds, Hearts, Spades};

int main(array<System::String ^> ^args)
{
	Suit suit = Suit::Clubs;
	int value = safe_cast<int>(suit);

	Console::WriteLine(L"Suit is {0} and the value is {1}", suit, value);
	suit = Suit::Diamonds;
	value = safe_cast<int>(suit);
	Console::WriteLine(L"Suit is {0} and the value is {1}", suit, value);
	suit = Suit::Hearts;
	value = safe_cast<int>(suit);
	Console::WriteLine(L"Suit is {0} and the value is {1}", suit, value);
	suit = Suit::Spades;
	value = safe_cast<int>(suit);
	Console::WriteLine(L"Suit is {0} and the value is {1}", suit, value);
    return 0;
}

該例子的輸出為

Suit is Clubs and the value is 0 
Suit is Diamonds and the value is 1 
Suit is Hearts and the value is 2 
Suit is Spades and the value is 3 

例子說明

• Suit為枚舉類型，不能在函數(shù)main()內(nèi)部定義，因此只能定義為全局作用域內(nèi)。
• 必須用類型名稱Suit限定枚舉常量，如Suit::Clubs，否則編譯器將無法識(shí)別。
• 變量suit的值為類對(duì)象，要獲取其值必須顯示的將其轉(zhuǎn)換成int類型。