c# 误区系列(二)
前言
继续整理误区系列,可能会对刚入门的新手有些帮助,然后希望有错误的地方可以指出。
正文
关于泛型方法的确定
class Person
{
public void add(T a)
{
}
}
那么请问这个add 是否是泛型方法。
初学者可能认为有泛型参数的就是泛型,其实不是的。
这个是为什么呢?其实是这样子的,当泛型类型确认的时候,那么add 定义的时候就已经确定了类型。
比如说Person
当T确定是string的时候,在方法申明的时候就已经是string了,而不存在泛型这个概念。
所有泛型的开销没有我们想象的这么大,在应用中,甚至使用泛型效率更高,不是说泛型是优化,而是泛型帮我们避免了太多装箱和拆箱操作。
比如说以前的ArrayList,当我们把int 存进去,是装箱,使用int又是拆箱。
泛型方法是这样的:
class Person
{
public void add
(T a,Q b){
}
}
在每次调用add的时候都必须确认Q的类型。
可空类型是引用类型?
因为可空类型是可以为空的,那么初学者可能就认为可空类型是引用类型了。
其实可空类型是值类型,这个是为什么?看下其中的原理。
说是可空值类型,里面包含着一个判断位。
这个是什么意思呢,比如说一个字节表示0-255,那么会多分配一位去判断这个字节是否为空。
就是多一个位去判断是否为空。
那么这样我们是不是就可以随便使用呢?
从内存和cpu的角度来说,一个可空会增加一位,会增加内存消耗。同样每次使用的时候都要判断是否为null,会增加cpu负担。
既然是值类型,那么就存在装箱和拆箱过程,那么这个过程有什么不同吗?
装箱时检查是否为null,如果为null则直接返回null,如果不是null则获取值进行装箱。
拆箱时如果不是null,则返回值,否则返回null。
所以在c# 不能把null 看做是某个具体的地址,0x00之类的,更多的是一个概念。
那么问题来了,为什么int 不能为空?或者值类型不能为空?
很多回答是这样子的,值变量的本身是具体的值。那么难道引用类型不是指的具体的地址吗?
个人觉得是这样子的,int 类型的定义就规定了多少位为(应用程序如果判断是int的),具有某种稳定的结构,如果破坏这种结构,那么就不是int了。所以int类型不能为null,这是int类型的定义。
事件是一种特殊的委托?
个人认为这句话存在很大的问题,是一个概念性问题。
比如说,我们说正方形是一种特殊的长方形。
为什么可以这么说呢?来看一下长方形的定义。
长方形是有一个角是直角的平行四边形。
长方形的性质为:两条对角线相等;两条对角线互相平分;两组对边分别平行;
两组对边分别相等;四个角都是直角;有2条对称轴(正方形有4条);
具有不稳定性(易变形);长方形对角线长的平方为两边长平方的和;顺次连接矩形各边中点得到的四边形是菱形。
从这个定义中,我们得知长方形包含了正方形,因为其中长方形并没有定义长和宽不相等啊。
同样正方形本身就是长方形,只是说正方形在长方形的条件下,增加了其他条件。
综上所述,是可以这么说的。
但是事件是一种特殊的委托,是真的不能这么讲,因为是两种完全不同的概念。
什么是事件?
1.事件的拥有者
2.事件成员(事件的本身)
3.事件响应者
4.事件处理器:本质上是一种回调方法
5.事件的订阅:谁响应谁订阅
什么是委托?
委托是一个类,它定义了方法的类型,使得可以将方法当作另一个方法的参数来进行传递,这种将方法动态地赋给参数的做法,可以避免在程序中大量使用If-Else(Switch)语句,同时使得程序具有更好的可扩展性。
你会发现这是两种是不同的概念。那么是如何产生这种误解的呢?
看到网上大量流传着:public delegate void EventHandler(object sender, EventArgs e);
这只是说明委托是事件的一种驱动方式,如果把事件认为是一种委托就比较狭隘了,因为有些业务用到事件,如果想到事件就想到委托,就会陷入到僵局中,这样没有去从新定义更复杂的事件。
可能这样不好理解,举一个例子,比如说观察者模式,c# 中委托作为观察者例子,但是观察者和委托没有任何直接关系,难道没有委托,观察者就不存在?
具体可见观察者:
https://www.cnblogs.com/aoximin/p/13726813.html
datetime 是引用类型?
初学者看到datetime 有方法就认为是引用类型,因为值类型都更加简单,没有那么多可操作的方法,然而datetime的确是值类型。
这里涉及到一个问题,那么就是值类型的定义上,值类型的判断不是说存在的位置,也不是说值类型没有方法,而是指这种类型的值是否具有一个稳定的结构(大小等)。
那么是否值类型比引用类型性能更好呢?
这个肯定不是的。值类型(栈上)的优点在于,不用垃圾回收,不会因为类型标识而产生开销,也不用解引用。存储在堆上的值类型,直接和对象一起回收。
这里解释一下,为什么不用垃圾回收,因为如果int 类型不可引用,表示在运行系统中没有其地址了。再举个例子,就是我们磁盘清空了,格式化了,数据还在,只是在它的运行系统中不认为其存在有效数据。
所以说为什么值类型在创建的时候要清空分配的地址,是在使用的时候抹除的。
引用类型的有点在于传递,因为引用类型不用复制整个地址块,只需要复制堆上对象的指定位置,32位是4个字节,64是8个字节。
对象在c# 中默认传递是引用传递的
这个问题涉及于,这样一个场景。
void doSomething(Student student)
{
}
doSomething(a);
那么问题是student是如何赋值的过程?是将这个a对象赋值给他吗?
这个问题就是student这个变量存在堆上还是栈上了?student的值本身是地址,而地址是固定的类型(32位4个字节,64位8个字节),其实是值类型。
传递过程是将a的值传递给student,之所以叫做引用类型,是他们的值指向的位置。
那么问题来了:
void doSomething(Student student)
{
}
doSomething(null);
那么student是否有值?也是有值的,指向就是null,在引用类型中它本身就是一个对象。
结
未完,续。