情有独钟C++:Visual C++ .NET编译器的新特性_VC技术_C语言教程
本文来自21视频教程网C语言频道
老资格的 C++ 程序员们都想知道:他们赖以生存的 C++ 语言在 C# 和微软的 .NET 的冲击下何去何从?本文将对 .NET 世界中的 C++ 进行简要描述。在 .NET 中,C++ 分裂为两大阵营:受管代码 (Managed Code) 和非受管代码 (Unmanaged Code)。非受管代码不使用通用语言运行时环境 (CLR) ,而受管代码则用到了 Managed Extensions for C++ 。本文将对两者分别讨论。 |
C++ 社区给人的感觉就象一个大家庭:初生的小宝宝总是倍受呵护,而年长的孩子却是无人关心。如此被忽视,又怎能教人不心痛?事实上,技术领域的情况比这更糟:技术的革新实在太快,人们疲于奔命却无可奈何,否则连饭碗都保不住了。 |
如今,微软公司的新产品 .NET 框架被炒得沸沸扬扬——的确很不错;众人还对所谓的 C# 语言连声喝彩。作为 C++ 的程序员,心里却很不是滋味:我是不是也要改行学 C# 了?因为人们只有在比较 C# 与 C++ 才会偶尔提及 C++ 了。 |
C++ 程序员要过时了吗?绝不!本文先简要描述 Visual Studio .NET 为 C++ 引入的新特性,然后再介绍微软公司对新版 C++ 的计划。首先从两个方面来谈谈 Visual Studio .NET 里的 C++ :标准的 C++ 和 Managed Extensions for C++ 。 |
对标准 C++ 的扩充主要是为了保持兼容性;也就是说,为了保持国际标准化组织 (ISO) 所规定的 C++ 语言特性。而 Managed Extensions for C++ 则是为了把 C++ 纳入 .NET 框架之中。 |
Visual Studio .NET 下的标准 C++ |
为了保持对 ISO 标准的兼容性,标准 C++ 作了如下改进: |
(1) 虚拟函数的返回值现在支持共变 (covariant) 类型了,这是类层次体系上的一个重大改进; |
(2) 支持对静态整数类型常量( static const integer )成员的显式初始化; |
第一项是增加 covariant 返回类型,它已经由标准委员会核准。也就是说,如果基类的某个虚拟函数返回值是该类本身的实例,那么它在派生类中被重载后也能返回此派生类本身的实例。在类层次体系中,这是一种很重要的设计模式;在 Visual Studio .NET 中,它也大受欢迎。 |
virtual Query *clone() = 0; |
如果想要其派生类实例 NotQuery 的 clone 函数返回一个 NotQuery 对象,即: |
{ return new NotQuery( this ); } |
当没有 covariant 返回类型支持时,clone 的返回类型必然是 Query* : |
// without covariant return type support |
此时如果把 clone 的返回值分配给 Query* 类型的指针,那么一切工作正常: |
NotQuery::NotQuery( const NotQuery &rhs ) |
{ operand = rhs.operand->clone(); } |
但是如果要分配给 NotQuery* 类型的指针呢? |
NotQuery nq( new NameQuery( "Shakespeare" ); |
// oops: illegal assignment ... |
NotQuery *pnq0 = nq->clone(); |
// ok: required explicit cast ... |
static_cast<NotQuery*>(nq->clone()); |
现在有了 covariant 返回类型,你就可以显式返回 NotQuery* 类型了: |
// with covariant return type support |
virtual NotQuery* clone() |
{ return new NotQuery( this ); } |
于是,clone 的返回类型变得更直观,不再需要强制类型转换了: |
// ok: implicit conversion ... ; |
// ok: no conversion necessary ... ; |
NotQuery *pnq = nq->clone(); |
第二项是静态整数常量类型成员的显式初始化,它对 C++ 的影响就没有 covariant 返回类型那么大了。它仅仅给使用常量表达式(如:定长数组)的类的设计带来了方便。例如: |
static const int ms_buf_size = 1024; |
char m_buffer[ ms_buf_size ]; |
static const int 类型成员被初始化以后,就可以为本类的其它成员所用,例如设置 m_buffer 的大小,而不用象以前那样,使用枚举变量了。 |
第三项是主函数的默认返回值为 0 。主函数的返回值代表程序的退出状态。习惯上,返回 0 代表程序正常结束。在标准 C++ 里,如果没有显性指定返回值,编译器就会自动地在主函数末尾插入一行: |
进入 Visual Studio .NET 时代,Visual C++ 终于支持它了! |
Visual Studio .NET 下的受管 C++ |
Visual Studio .NET 的 Managed Extensions for C++ 提供了三种基本的应用策略: |
(1) 为原有的 API 提供 .NET“包装”,把 C++ 类统统移植到 .NET 平台中。 |
(2) 混用 C++ 类与微软 .NET 的三种框架类: |
基础程序类, 例如:线程支持,网络套接字和正规表达式; |
应用领域支持,例如:XML、ASP.NET、Web 服务、Windows 窗体、ADO.NET,等等。 |
(3) 象 C# 和 Visual Basic 那样直接操作 .NET 环境。然而,目前尚无相应的快速开发工具(RAD)用于 Windows 窗体和 Web 表单的可视化编程。 |
先来看看第一种方案:用 .NET 包装原有的代码。在我的 C++ Primer 一书 (Addison-Wesley,1998) 中,我示范了一个相当大的文本查询系统,其中大量使用了 STL 容器类用于解析文本文件和建立数据结构。它的引用文件内容如下: |
typedef pair<short,short> location; |
typedef vector<location> loc; |
typedef vector<string> text; |
typedef pair<text*,loc*> text_loc; |
vector<string> *lines_of_text; |
text_loc *text_locations; |
map<string,loc*> *word_map; |
static string filt_elems; |
Query 类是用于解释查询语言的抽象基类,下面演示了它的功能: |
Enter a query-please separate each item by a space. |
Terminate query (or session) with a dot( . ). |
==> fiery && ( bird || shyly ) |
( bird || shyly ) ( 2 ) lines match |
fiery && ( bird || shyly ) ( 1 ) lines match |
Requested query: fiery && ( bird || shyly ) |
(3) like a fiery bird in flight. A beautiful fiery bird, he tells her, |
现在我把 TextQuery 接口提交给 .NET 平台,没有修改代码,更没有重写函数。最终,一切顺利。假如移植到 .NET 平台必须完全重写代码的话,我可能就不会那么做了。幸好受管 C++ 提供了包装移植的方式。下面是包装的一种方式: |
TextQueryNet() : pquery( new TextQuery()){} |
~TextQueryNet(){ delete pquery; } |
void query_text() { pquery->query_text(); } |
void build_up_text() { pquery->build_up_text();} |
关键字 __gc 用于指定受管类,它们接受垃圾回收器管理,占用通用语言运行时 (CLR) 受管堆。与原先的代码一样,我把原生类 (native class) 宣告为指针类型成员,使用关键字 new 在非受管堆分配空间,由于它不支持垃圾回收管理,故在析构函数中使用 delete 回收空间。build_up_text 和 query_text 都是残余 (stub) 函数,用于呼叫真正的 TextQuery 对象。 |
作为对照,我们来看看由 Managed C++ Project Wizard 自动生成的主函数: |
#include "gc_TextQuery.h" |
S"Beginning managed wrapper test ..." ); |
TextQueryNet *tqn = new TextQueryNet(); |
S"Ending managed wrapper test ..." ); |
现在,我们来讨论 .NET 框架的利用。如果有人问我,ISO 标准 C++ 最大的缺点是什么?我的答案是:它没有提供支持诸如线程、网络编程、正规表达式以及XML 等应用领域的标准库。标准委员会已将其列入下一轮工作计划,但那是一年以后的事了。目前我们怎么办?其实,.NET 框架已经提供了引人入胜的解决方案。下面演示一个简单的 Socket 服务器类,它利用了 .NET 框架: |
// include the necessary assemblies |
// open up the associated namespaces |
using namespace System::Threading; |
using namespace System::Data; |
using namespace System::Data::SqlClient; |
using namespace System::Collections; |
using namespace System::Net::Sockets; |
__gc class SocketDemo_Server |
static const int port = 4554; |
static const int maxPacket = 128; |
// grab the data from the SQL database |
它的功能是查询 Northwind 公司职员的电话号码;其中的 SQL 数据库可以在 Visual Studio .NET 发行版本中找到。 |
Server[4554]: OK: started TcpListener ... |
Server[4554]: OK: listening for connections ... |
Server[4554]: OK: retrieved SQL database info ... |
Server[4554]: OK: a client connected ... |
Server[4554]: OK: client requested phone # for Fuller |
Server[4554]: OK: first request for Fuller |
Server[4554]: Phone number for Fuller: (206) 555-9482 |
Server[4554]: OK: a client connected ... |
Server[4554]: OK: client requested phone # for King |
Server[4554]: OK: first request for King |
Server[4554]: Phone number for King: (71) 555-5598 |
Server[4554]: OK: a client connected ... |
Server[4554]: OK: client requested phone # for Fuller |
Server[4554]: OK: cached request for Fuller |
Server[4554]: Phone number for Fuller: (206) 555-9482 |
Server[4554]: OK: a client connected ... |
Server[4554]: OK: client requested phone # for Musil |
Server[4554]: OK: first request for Musil |
Server[4554]: Phone number for Musil: Sorry. Cannot be found. |
tcpl = new TcpListener( port ); |
S"Server[{0}]: OK: started TcpListener ... ", |
// retrieve the data from the data base ... |
new Thread( new ThreadStart( this, |
&SocketDemo_Server::retrieveData )); |
tdata->Start(); // ok: kick off the thread ... |
// thread to handle a socket connection ... |
new Thread( new ThreadStart( this, |
&SocketDemo_Server::handleConnection )); |
S"Oops: Unable to Set Up SocketDemo_Server" ); |
Console::WriteLine( ex->ToString() ); |
我们看到,Start 函数利用 Thread 类生成许多线程,分别响应每位客户的请求。此外,由于 WriteLine 函数需要引用参数,故我们使用了 __box( port ) 。 |
再有,Exception 类是一切 .NET 的异常处理类的基类;ToString 方法用于显示整个堆栈 (酷极了); ThreadStart 是 代表 (delegate) 类型 —— 既能指向静态成员函数,也能指向动态成员函数的通用指针类型。 |
当然,它的实现代码还可以进一步完善,但是我想您现在已经体会到 .NET 框架的强大和易用性了。更重要的是,您已经看到,在 C++ 里面使用它是多么的简单! |
本文是对 Visual Studio .NET 下的 C++ 的简单介绍,希望在读过之后,您会对 Visual C++ 充满信心,因为它不仅仅是 Visual Studio .NET 中的一份子,而且是其重要的一员。为了体现其重要性,微软公司 Visual C++ 工作组正在努力工作以争取尽早完成新一代 Visual C++ 的过渡版本,它将具有本文所述的全部新特性。在 ISO 标准 C++ 的兼容性方面,工作组已经迈出了一大步。对于优秀的程序员来说,它意味着模板,模板,还是模板!诸如 Loki 和 Boost 等大量使用模板的第三方程序库,正在紧张工作中。正如人们在电影中说的那样:“瞧着吧,好戏还在后头呢!” |