如果你以前经常使用visual basic的话,你会发现visualbasic .net有点熟悉,又有一点陌生。在可以利用许多以前就具备的技巧和知识的同时,仍然有很多东西要学。
许多公司花费了大笔的资金投资于visual basic6.0编写的软件,这些公司将面临如何处理这些已存在的软件的问题。我在介绍visual basic .net新特点的同时,将会介绍影响把代码移植到visual basic .net的关键所在。正如你将看到的,会有很多问题要考虑。随着编程语言变得更加一致、强大和友好,你会发现把visual basic 6.0项目改写成visual basic .net项目需要很大的努力和技术。如果顺利的话,你将有幸在不远的将来从零开始编写一个visualbasic .net的项目。
新的便利:
我首先将介绍用一行代码实现声明并初始化变量的新语法。尽管许多初学者会认为这种语法是理所当然的,但实际上那些已习惯于在visual basic用两行代码来声明和初始化变量的程序员会对此感到很欣慰。
这儿是利用了visual basic .net语法优势的三个例子:
dim x as integer = 10
dim obj1 as class1 = new class1
dim obj2 as new class2
请注意,与前两行不一样,最后一行用的是在visual basic 6.0中合法的语法,它在visual basic .net中同样是合法的。然而,值得注意的是,这儿的as new语句在visual basic .net and visual basic 6.0中的处理是不同的,许多有经验的程序员反对使用as new语句,因为它将导致初始化的延迟,进而导致较低的执行效率,并给调试程序带来了许多困难。
好消息是as new语法在visual basic .net中并不会造成初始化的延迟,因此不会导致相同的问题。在看前面的例子时,你应该注意第三行,它用了as new语句,但与前面几行具有一样的执行效率。当你在visual basic .net中使用as new语句时,这个对象将在执行下一行之前被创建、初始化,并指派给你的变量。
这种方便的初始化语法也可以被用在类或结构的定义中。正如你想得那样,语法应该是这样的:
class class1
private field1 as integer = 10
public field2 as class1 = new class1
end class
另一点值得注意的是,当你在同一行声明几个变量时,他们应该是相同类型的变量,请看这个例子:
dim x, y, z as integer
三个变量都被声明成integer类型,你不再需要担心前两个变量偶然会被当作variant类型。实际上,你不用担心有什么变量会被当作variant类型处理,因为variant类型不再被clr编程模型所支持。现在的通用类型是system.object.
在visual basic .net新增加的语法中,我最喜欢的一点是现在函数可以用return来向它的调用者返回一个值。请看下面的例子:
function myfunction() as string
return "this is my return value"
end function
这个例子和用其他语言(比如c语言)一样,return语句将结束函数的执行,并把控制权返回给调用者。我觉得使用return语句与我们在visualbasic的早期版本中的做法相比要方便得多。正如你记得的,在以前的版本中,要返回给调用者的值必须在函数的内部被赋给函数名。由于在visualbasic .net中使用了return语句,你可以很容易地实现更改函数名或把代码从一个函数中复制、粘贴到另一个函数,而不需要搜索函数的内容并替换原来的函数名。
消除矛盾
正如我在二月份的文章中提到的那样,在把一个对象指派给一个变量时,visual basic .net既不需要,也不允许你用set这个关键字。visualbasic 6.0 和visual basic .net的编译器有许多方面不一样,这就是其中之一。请看下面的代码:
dim obj1, obj2, obj3, obj4 as class1
obj1 = new class1
obj2 = obj1
set obj3 = new class1
set obj4 = obj3
第二行和第三行代码在visual basic .net中是合法的。但在visualbasic 6.0中编译时,它们将导致运行期错误。第四行和第五行的代码在visualbasic 6.0中是合法的,但在visual basic .net中却不能通过编译。正如你想象的,在把代码从visualbasic 6.0移植到visual basic.net时,需要特别注意对set语句的改写。
在用visual basic .net编写了六个多月的程序后,我发现自己仍然会使用set语句,老习惯是不容易被改掉的。而且由于工作的关系,有好几次我得在同一天即用visualbasic.net,又用visual basic 6.0编写程序。不停地来回往复真地很困难。
在参数传递中括号的使用也发生了变化,这也给代码移植增加了困难。你们中的许多人在经过多年的编程之后已经习惯了调用函数和子程序的规则和特点。visualbasic.net小组觉得应该实现调用方法的一致性。
在visual basic. net中,参数传递的规则很简单。当你调用一个函数或子程序并需要传递一个或多个参数时,必须用小括号把参数括起来。当调用一个不需要参数的函数或子程序时,小括号可以被省略。你不得不承认,与早期版本的visualbasic中的规则相比,这些规则更直截了当,也更容易去学。
值得注意另一点是参数传递的默认方式也改变了。比如,当一个方法被定义成下面这种样式时,参数是如何被传给调用者的。
sub method1(param1 as integer)
' implementation
end sub
在visual basic以前的版本中,param1是引用传递的。也就是说在执行method1时,改变这个integer类型的参数将导致调用者中相应的实际参数的值的改变。而在visualbasic.net中,默认的参数传递方式变成了值传递。也就是说执行method1时,只是值被传递给了param1,并且在method1中改变parame1的值不会改变调用者中相应的实际参数的值。很明显,在把visualbasic 6.0中代码移植到visual basic.net,这种参数传递默认方式的改变将破坏一些代码的语义。
请注意,在上一个例子中,被传递到参数的是一个值而不是地址。基本类型比如byte,integer,double, and boolean都是值类型。用户定义的枚举和结构类型也是值类型。在以值传递方式传递时,变量总是被复制。
当你传递的参数是基于类时,情况就不同了。基于类的参数是引用类型而不是值类型。它们被用来传递对象的引用。如果一个调用者传递了一个对象的引用给一个用了值传递方式的方法,在这个方法的实现中,对象的状态可能被改变。这种状态的改变将反映到调用者中。因此,无论你把参数声明成值传递还是引用传递,注意值类型还是引用类型之间的区别是很重要的。
尽管在方法中仍然可以使用可选参数,这仍是值得注意的地方。与visualbasic 6.0不同,使用可选参数需要一个默认值。在同一行中,visual basic.net不支持ismissing函数,也就是说你区分不出一个省略了参数的调用和一个给参数传了默认值的调用。
如果你考虑在方法中使用可选参数,你应该考虑重载方法。一旦你知道了重载方法的好处和语法,你也许就会停止在方法中使用可选参数。
更高级别的类型保护
许多使用visual basic的开发者希望在每一个visualbasic的源文件的开头能有一个option explicit语句。option explicit的应用可以区别对待真正的开发者和临时用户。和以前的版本不同,visual basic.net缺省就使用option explicit。
在编译时默认使用option strict是visual basic.net的另一个特点。使用了option strict后,缩小转换就被禁止了,因为它可能会导致数据或精度的丢失。请看下面的例子:
dim x as double
x = 20.1
dim y as integer
' implicit narrowing conversion
y = x ' doesn't compile under option strict
这段代码在visual basic 6.0可以被编译通过,但在visual basic.net中,如果option strict语句被使用,它就不能被编译通过。option strict的使用使得程序员必须对应该使用何种类型很清楚。
dim x as double
x = 20.1
dim y as integer
' explicit narrowing conversion
y = cint(x) ' compiles under option strict
另一个很大的变化是现在if语句被优化了。这代表了一个很有价值的最优化,而且现在当把代码移植到visual basic.net时,理解这将如何影响基于visual basic 6.0的代码变得很重要。请看下面的代码:
if function1() and function2() then
' statement block
end if
如果function1返回了false值,那需要执行function2以决定是否要执行ifthen中的代码吗?很明显这是不需要的。然而早期版本的visual basic并没有像这样优化if语句,在任何情况下function2都将被执行。visualbasic.net实现了优化,因此当function1返回值为false时,function2不会被执行。这是另一个使得基于visualbasic 6.0的代码不能在visual basic.net中正确执行的因素。
现在我想谈谈这个语言中在类型安全方面的另一个改进。你应该注意到,如果function1或function2返回的值不是boolean,那么前面的代码不能通过编译。由于类型安全的级别更高了,你不可以用integer类型的值进行条件测试了。比如下面的这段代码,在visual basic 6.0中是被经常使用的,但在visual basic.net中却不能通过编译。
dim x as integer
' set x to 0 for false or anything else for true
if x then
' execute statement block
end if
这种由option strict带来的新的类型安全级别使得你在使用if和doloops语句时,必须使用boolean类型的值,而不能用其它类型的值。
在使用诸如not、 and、 or、 xor等的逻辑比较符时,你也被限制必须使用boolean类型的值来输入输出。这与在以前版本的visualbasic中这些比较符既可以用于逻辑比较又可以用于按位比较不同。下面这段代码在visualbasic 6.0中能正常运行,但在visual basic .net中却不能通过编译。
dim x as integer
dim y as integer
dim z as integer
x = 3
y = 6
z = x and y ' doesn't compile
visual basic.net提供了四种新的按位比较运算符:bitnot,bitand, bitor, 和bitxor。这些运算符允许你在类型安全的方式下实行按位比较运算。比如,你可以用这些运算符中的一个对两个integer值的每一位来实现or运算,还可以实现位掩码。下面是使用bitor和bitand的一个例子:
dim x as integer = 3
dim y as integer = 6
dim z as integer
' or bits together
z = x bitor y ' z now equals 7
' and to find intersection of bits
z = x bitand y ' z now equal 2
设计数组
声明和使用数组的基本语法发生了很大的变化。首先,数组的下界别成了零。你不可以声明一个下界为1的数组。因此,optionbase语句不再被visualbasic .net支持。
另外,你在声明一个数组时必须用它的元素个数,而不是它的上界来初始化。这儿是一个例子:
' declare an array with 3 elements from 0 to 2
dim array1(3) as integer
array1(0) = 2
array1(1) = 4
array1(2) = 8
上一段声明如果在visual basic 6.0中被使用,这个数组将有四个元素,下标从0到3。而在visualbasic.net中,这个数组有三个元素,下标从0到2。在visualbasic .net中,如果你的代码企图访问下标为3的数组元素,将引起运行期例外。比如:
' index out of range exception
array1(3) = 16
visual basic.net为初始化数组提供了一种新的语法。你可以只用一行代码完成数组的声明和初始化。就像这样:
new array initialization syntax
dim array1 as integer() = {2, 4, 8}
'
在visual basic的早期版本中,你可以用for each循环遍历一个数组。
dim x as integer
for each x in array1
console.writeline(x)
next
同时,你也可以用for循环和数组长度来遍历一个数组。比如:
dim i as integer
for i = 0 to (array1.length - 1)
console.writeline(array1(i))
next i
clr 和visual basic.net还支持多维数组。比如,当你想要一个二维数组时,你可以用下面三个技术中的一个来定义它:
dim array1(2, 2) as integer
dim array2 as integer(,)
redim array2(2, 2)
dim array3 as integer(,) = { {12, 24}, {10, 20} }
使用数组时,你应该知道,不仅仅是语法变了,在运行时被处理的方式也发生了变化。在clr中,数组被分配的地址空间总是在堆中。当你向一个方法传递数组类型的参数时,你使用的引用传递而不是值传递。
这儿是互相传递数组引用的三个方法:
dim array1(2, 2) as integer
dim array2 as integer(,)
redim array2(2, 2)
dim array3 as integer(,) = { {12, 24}, {10, 20} }
method1在两个方向同时传递了数组引用,这一般用来向调用者返回数组引用。
method2 和 method3 从调用者向方法的实现中传递了数组引用。请注意method2的参数被声明一维数组,而在method3中参数被声明成了二维数组。
每一个数组对象继承了系统支持的类system.array的核心细节实现和公共成员。你可以参考在.net platform sdk中有关system.array的文档。这个类提供了面向一般数组的任务的函数,比如清空、复制、克隆、搜索和排序。这儿是使用system.array类提供的一些方法的例子:
dim array1 as integer() = {4, 2, 8, 1}
dim array2 as integer()
' cloning an array
array2 = ctype(array1.clone(), integer())
' clearing an array
system.array.clear(array1, 0, array1.length)
' sorting an array
system.array.sort(array2)
' sorting an array in reverse order
system.array.reverse(array2)
请注意,你可以对任何基于icomparable界面实现的数组使用排序操作。clr的核心类型,比如integer,double, string, and date,都被设计成实现icomparable的了。如果你想把数组按你想要的方式进行排序,你只要在类和结构中实现icomparable接口就可以了。
属性的新语法:
我相信你对在早期版本的visual basic如何定义和使用属性很熟悉。尽管使用属性的原因是相同的,但定义属性的语法已经变了。属性现在必须用包括set块或get块的属性构造器来定义。
下面是一个有private字段和public属性的类的例子:
class class1
' private field
private m_name as string
' public property
public property name as string
get
return m_name
end get
set
if value <> "" then ' value is intrinsic variable
m_name = value
end if
end set
end property
end class
请注意set块中包含了内部变量value。visualbasic.net用这个内部变量向你在set块中的属性实现传递了由客户制定的属性值。另外,在visual basic.net中,程序员不再会有何时应使用set属性,而何时应使用let属性的困惑了。
一个属性一定是readwrite, readonly, 或 writeonly的。上面的例子演示了readwrite的属性。下面的例子将演示如何创建readonly和 writeonly的属性。
' readonly property has get but no set
public readonly property fullname as string
get
return m_firstname & " " &m_lastname
end get
end property
' writeonly property has set but no get
public writeonly property password as string
set
m_password = value
end set
end property
请注意,当你省略了get块或set块时,你一定要使用readonly或writeonly关键字
索引属性和默认属性
一个属性可以被指定一个或多个索引。这可以使属性具有数组的特点。请看下面的类:
class class1
private m_names as string() = {"ted", "fred", "jed"}
' an indexed property
readonly property item(index as integer) as string
get
return m_names(index)
end get
end property
end class
在客户端,你可以用下面的例子访问item属性。
dim obj as new class1
dim s1 string
s1 = obj.item(0)
如果把这个例子作进一步的改进,你可以把一个索引属性标记为类的默认属性。为了实现这一点,只要把default关键字加到上一个例子中就可以了,就像这样:
default readonly property item(index as integer)…
一旦你为一个索引属性标记了default关键字,客户端的代码就可以省略属性的名字而使用对象引用,就像使用一个数组一样。
dim obj as new class1
dim s1 string
s1 = obj(0)
请注意,对于默认属性有一个重要的限制,即非索引属性不可以被标记为默认属性。这个限制在visual basic.net中体现了出来,因为你不可以用set语句来指定一个对象引用。既然set语句不再被visual basic.net所支持,那么非索引的默认属性将导致无法解决的多义性问题。
小结
正如你所见到的那样,在许多方面visual basic.net都与它以前的版本不同。它具有更高的一致性和类型安全级别。另外,用visual basic.net我们更容易写出控制性、可读性很高的代码。虽然它有时要求你习惯于那些编译时额外的检查,但它将在你测试和调试时,为你节约宝贵的时间。
好消息是visual basic已经被改成了一种更好、更强有力的语言。而坏消息是在visual basic 6.0下编写的软件需要做很多工作才可以被移植到visual basic.net下。