C++/CLI(
CLI:Common Language Infrastructure)是一门用来代替
C++托管扩展(下文使用MC++指代)新的语言规范。重新简化了
C++托管扩展的语法,提供了更好的代码可读性。和
微软
.NET的其他语言一样,微软向
ECMA提交了C++/CLI的标准。C++/CLI现在可以在
Visual C++ 2005上开发。C++/CLI的部分特性已经申请了
专利。
1 语法改变 C++/CLI是一门独立的语言(比如新的关键字),而不是像C++托管扩展一样是C++的超集 (C++托管扩展有一些不标志的 关键字如__gc和__value)。所以,C++/CLI对于这些语法有较大的改变,尤其是去除了一些意义不明确的关键字,增加了一些.NET的特性. 很多不一致的 语法,像MC++的不同版本用法的操作符new()被区分开:在C++/CLI,.NET引用类型的创建要使用新的关键字gcnew。并且C++/CLI增加了新的 泛型概念(与C++ templates相似,但还是有很大的区别)。 1.1 句柄(Handle) 回到MC++,有两类 指针: 用__nogc标识的指针是传统意义上的C++指针,而用__gc标识的指针为.NET中的引用。但在C++/CLI里,唯一的指针就是传统意义上的C++指针,而.NET引用类型使用一个“句柄”来获取,使用新的语法“类名^”代替了MC++的“类名*”。新的句法使得托管和非托管代码混合开发更加方便;它指明了对象将会被垃圾回收器自动销毁还是手动销毁。 范例 代码: // C++托管扩展 #using <mscorlib.dll> using namespace System::Collections; __gc class referencetype { protected: String* stringVar; int intArr __gc[]; ArrayList* doubleList; public: referencetype(String* str,int* pointer,int number) // 哪个是托管的? { doubleList = new ArrayList(); System::Console::WriteLine(str->Trim() + number.ToString()); } }; // C++/CLI #using <mscorlib.dll> using namespace System::Collections::Generic; ref class referencetype { protected: String^ stringVar; array<int> intArr; List<double>^ doubleList; public: referencetype(String^ str,int* pointer,int number) // 不会再分不清了吧? { doubleList = gcnew List<double>(); System::Console::WriteLine(str->Trim() + number); } }; 1.2 跟踪引用(Tracking reference) C++/CLI里的一个“跟踪引用”也是一个句柄,但它是传地址而不是传值。等同于在C#中加了“ref”关键字,或Visual Basic .NET的“ByRef”。C++/CLI使用“^%”语法来定义一个跟踪引用。与传统C++中的“*&”语法相似。 下面的示例了“跟踪引用”的使用。如果把“^%”改成“^”(也就是使用普通的句柄),10个字符串将不会被修改,而只会生成那些字符串的副本,这些都是因为那些引用已经不是传地址而是传值。 int main() { array<String^>^ arr = gcnew array<String^>(10); int i = 0; for each(String^% s in arr) s = gcnew String(i++.ToString()); return 0; } 上面的代码示例了用户如何用C++/CLI做一些其他.NET语言不能做的事情,比如C#就不允许在foreach循环中这样做。例如foreach(ref string s in arr)在 C#中是非法的。 1.3 析构(Finalizer/Destructor) C++/CLI的另一个变化就是使用“!类名()”来声明一个托管类型的“析构方法”(在垃圾回收器回收对象之前的不确定的时间由CLR调用),而原来的“~类名()”是用来定义“传统的析构函数”(能被用户自己调用)。另外,下面的例子说明了如何在C++/CLI中托管对象如何自动调用“传统析构函数”。 在一个典型的.NET程序中(例如直接使用CIL)编程,可以由用户自己调用的“析构方法”是用实现IDisposable接口,通过编写Dispose方法来实现显式释放资源;而不确定的“析构方法”是通过重载Finalize函数来实现的。 // C++/CLI ref class MyClass // :IDisposable (编译器自动实现IDisposable接口) { public: MyClass(); // 构造函数 ~MyClass(); // (确定的) 析构函数 (编译器使用IDisposable.Dispose来实现) protected: !MyClass(); // 析构方法 (不确定的) (编译器通过重载virtual void Finalize来实现) public: static void Test() { MyClass auto; // 这不是个句柄,它将调用MyClass的默认构造函数 // 使用auto对象 // 函数返回前自动调用auto的析构函数(IDisposable.Dispose,由~MyClass()定义)来释放资源 // 以上代码等效于: MyClass^ user = gcnew MyClass(); try { /* 使用auto对象 */ } finally { delete user; /* 由编译器调用auto.Dispose() */ } } }; // C# class MyClass : IDisposable { public MyClass() {} // 构造函数 ~MyClass() {} // 析构方法 (不确定的) (编译器通过重载virtual void Finalize来实现),与C++/CLI的!MyClass()等效 public void Dispose() {} // Dispose方法 public static void Test() { using(MyClass auto = new MyClass()) { /* 使用auto对象 */ } // 因为使用了using句法,编译器自动调用auto.Dispose() // 以上代码等效于: MyClass user = new MyClass(); try { /* 使用user对象 */ } finally { user.Dispose(); } } } 一、绪论 当微软推出VS.NET7实现了可扩展的托管C++后,C++程序员们反映不一。尽管大部分的程序员对于能够继续使用C++感到很欣慰,但几乎所有的人对于托管C++提供的晦涩语法感到很痛苦。微软明显从反馈中感觉到托管C++不是那么成功。 2003年10月6日,ECMA(欧洲计算机制造商协会)宣布成立专家组,负责结合ISO标准C++与通用语言,开发一个可扩展语言的标准,这个新的可扩展语言被称为C++/CLI标准。这个标准将被VS.NET2005的C++编译器支持。 二、老语法存在的问题 1、晦涩繁琐的语法和文法--这两个"双重底线"问题加重了阅读的负担。 2、二流的CLI支持--相对与C#与VB.NET,MC++使用不方便的工作区来提供CLI支持,例如,它没有一个一一对应的结构来列举.NET的集合。 3、C++与.NET粗陋地结合--对于CLI类型,你不能使用C++的特色,例如模板;同样,对于C++类型,你不能使用CLI的特色,例如碎片帐集。 4、令人混淆的指针--非托管的C++的指针及托管的引用指针都使用*语法,这非常令人混淆,因为-gc指针与托管指针在本质和行为上完全不同。 5、MFC编译器不能产生可校验的代码。 三、C++/CLI给我们提供了什么? 1、优雅流畅的语法和文法--C++/CLI为C++开发人员书写托管代码提供了一种非常自然的感觉,并且它提供了非托管代码到托管代码的平滑过度。以前所谓的"双重底线"问题现在已经荡然无存。 2、一流的CLI支持--CLI特色,例如属性、碎片集合和属类得到了直接支持,此外,C++/CLI还准许将这些特色用于本地非托管的类。 3、一流的C++类支持--C++特色,例如模板和析构函数对于拖管和非拖管类继续有效。实际上,C++/CLI是你可以"表面上"在栈或C++本地堆上声明一个.NET类型唯一的.NET语言。 4、在.NET与C++之间的沟壑上架起了一座桥梁--C++开发人员在抨击BCL时不再象离开水的鱼。 5、C++/CLI编译器产生的可执行文件完全是可校验的。 四、"Hello World"小程序
上述代码除了不需要引用mscorlib.dll库外,与老的语法没有太大的区别,因为无论你什么时候使用/clr进行编辑,编译器都可以暗中进行引用(现在默认的是/clr:newSyntax)。 五、句柄 与老的语法主要的混淆是我们习惯于使用*符号来声明拖管引用或非拖管指针,在C++/CLI里微软引入了句柄的概念。
^符号代表一个托管对象(声明时看上去象个帽子),按照CLI的规定,句柄代表一个拖管对象的引用。句柄在CLI中是新的语法,相当于C++中的-gc指针。句柄与指针不再混淆,在本质上两者完全不同。 六、句柄与指针是怎样区分开来的? 1、指针声明时使用*符号,而句柄使用^符号。 2、句柄是针对拖管堆上对象的拖管引用,而指针仅仅指向内存中的一个地址。 3、指针很稳定,GC循环不会影响到它;句柄在基于GC或内存紧张的情况下,可以指向不同的内存位置。 4、对于指针,程序开发人员必须"显式"地删除,否则会面临泄露的危险,而对于句柄,是否进行显式删除则完全根据程序人员的爱好了。 5、句柄一定要指向一个具体的类型,即所谓的类型安全性,而指针明显不是这样,你决不可以将一个句柄指向Void^类型。 6、正如new操作符返回一个指针一样,gcnew返回一个句柄。 七、CLR对象示例
关键字gcnew用来实例化一个CLI对象,而且它返回一个指向在CLR堆上的对象的句柄,gcnew的优点在于它可以方便的让我们区分拖管和非拖管的实例对象。 大部分情况下,gcnew关键字和^操作符提供了你用来进行BCL的一切手段,但是很明显你需要创建和声明属于自己的拖管类和接口。 八、声明类型 CLR类型有一个形容词前缀用来说明类型的种类,下面是C++/CLI中的类型声明示例:
上述程序中的代码与老的C++语言相比看上去非常简洁,在以往的C++代码中,至少要用到-gc和-interface这两个关键词。 九、装箱/拆箱操作 在C++/CLI中,加箱是隐含的,而且类型是安全的,一个二进制的拷贝被执行并在CLR堆上形成一个对象,去箱是显式的,仅仅需要使用reinterpret_cast操作符来解除引用。
在上述代码中,"o"对象是一个加箱的拷贝,从第二个语句Console::WriteLine.的输出可以很明显地看到,它并没有涉及到int类型的整数值。 当你对一种数值类型进行加箱操作时,返回的对象记住了最初的数值类型。
因此不能对不同类型的对象进行去箱操作。
如果你非尝试这么做,那么你将得到一个System.InvalidCastException。让我们来探讨一下完美的类型安全性,如果你要看内部代码,你将看到微软的内部箱在实际中的运用。例如:
编译后的代码是:
根据微软的内部文档,箱操作将未加工的类型转换为一个具体类型的实例,这项工作的完成通过创建一个新的对象并将数据拷贝到这个新分配的对象。 十、写在后面的话 为什么很多人已经可以使用C、C++、.NET来开发程序但还在积极学习C++/CLI呢,我想有四个方面的原因: 1、从编译器直到内层都还在支持C++代码; 2、C++/CLI对于其他标准来说无意是具有毁灭性地; 3、与生俱来的内部支持胜过所有其他CLI语言 4、所有在MFC中出现的下划线都已不再存在。 |
C++/CLI
最新推荐文章于 2024-07-19 23:58:51 发布
C++/CLI