C#常量和字段以及各种方法的语法总结
目录
一、 常量和字段.... 1
1、 常量.... 1
2、字段.... 1
二、方法.... 2
1、实例构造器和类(引用类型).... 2
2、 实例构造器和结构(值类型).... 2
3、 类型构造器.... 3
4、 操作符重载方法.... 3
5、 转换操作符方法.... 3
6、 扩展方法.... 4
三、参数.... 5
1、可选参数和命名参数... 5
2、以引用的方式向方法传递参数.... 5
3、向方法传递可变数量的参数... 6
4、参数和返回类型的设计规范... 6
一、常量和字段
1、 常量
常量使用const标记,表示值恒定不变的符号。可以用c#内置的基元类型和引用为null的引用类型赋值。
优点:
- 编译的时候就确定,所以运行很快,编译器在检测到const标识的时候就使用计算好的值代替,生成元数据,在运行的时候jit二次编译的时候会从元数据中找到值,嵌在机器码里面。所以值类型不会在运行时,加载程序集和动态分配内存。不存在引用。
缺点:
- 正是因为以上的优点,所以值类型在处理不同程集的时候,会存在版本控制的问题,因为改了值类型的值以后,另外一个程序集,不会再运行时重新编译的。
2、字段
1、类型字段,实例字段,只读字段(static,默认,readonly)
类型字段在类型对象中分配内存,类型对象是类型加载到appdomain时候创建的,什么时候类型加载到appdomain? 通常是引用了该类型的任何方法首次进行jit编译的时候。
2、字段的内联初始化只是语法上的简化(上图),c#编译器还是会把他们在构造函数中初始化。
3、引用类型的readonly字段不能变的是引用的地址,而不是引用变量对象的值。
二、方法
1、实例构造器和类(引用类型)
创建引用类型的实例,首先分派类型字段内存,然后初始化对象的附加字段(类型对象指针和同步块索引),最后调用类型对象的实例构造器(初始化字段,调用基类的构造函数,执行自己的代码)。
a、 c#会默认生成类型的无参数构造函数,如果手动写了有参数的构造器,则不会生成。即使类的修饰符是abstract,也会生成默认的protected的无参数构造函数(当然可以手动指定public),如果是静态类,c#编译器根本不会再类中生成默认的无参数构造函数,在访问从基类继承来的任何字段之前,必须先调用基类的构造函数,如果没有显示调用,c#编译器也会生成代码自动调用基类的无参数构造函数,最终system.object的构造函数会被调用。
2、 实例构造器和结构(值类型)
clr总是允许创建值类型的实例,并且没有办法阻止值类型实例化,所以值类型需要也不会定义无参数构造函数。如果一个值类型在引用类型里面作为变量使用,处于性能考虑,c#不会为每个执行类性显示调用其构造函数,但是会在使用前初始化值类型。
如果指定了构造函数那必须为所有的字段初始化,否则会报错。
3、 类型构造器
1、类型构造器用于初始化类型的状态,类型默认没有定义类型构造器,如果定义的话也只能定义一个无参数的。
对类型构造器的调用总是由clr亲自调用的,所以类型构造器访问修饰符是private但是不能手动指定,c#编译器默认加上。
适用于引用类型和值类型(永远别在值类型中定义类型构造器)
2、调用过程
类型构造器的调用比较麻烦,jit在编译一个方法的时候,会检查方法中的所有引用,如果有的类定义了类型构造器,jit就会在appdomain中检查,是否已经调用过类型构造器,调用过了就不在调用。
internal sealed class somereftype
{
static somereftype()
{
}
}
4、 如果类型构造器抛出未处理的,clr会认为类型不可用。视图访问该类型的任何字段或者方法都会抛出system.initializationexception。
4、 操作符重载方法
clr要求操作符重载必须是public static 只少有一个参数类型是方法的定义类型,编译器会生成一个op_*的方法,该方法有个specialname标志,c#编译器看到源码中+操作符的时候,会检查操作数的类型是否定义了名为op_addition的specialname,而且方法的参数是否兼容操作数的类型,如果存在就生成方法调用,否则就报错。
public static int32 operator +(classname c1,classname c2)
{
}
5、 转换操作符方法
public static implicit operator int32(person person)
{
return 10;
}
6、 扩展方法
它允许定义一个静态方法,并用实例方法的语法来调用。
扩展方法必须在非泛型的静态类中声名。
c#编译器在静态类中查找扩展方法时,必须在文件作用域,而不是嵌套类。
使用扩展方法发扩展一个类型同时也扩展了派生类型。所以不要在system.object上扩展。
扩展方法实际上是静态方法,所以不会clr对调用者进行null值检查。(下面的代码可以正常运行,但是有可能在方法的内部抛出null异常)
public static class stringbuilderextensions
{
public static int32 indexof(this stringbuilder sb,char value)
{
for(int32 i=0,i<sb.length;i++)
{
if(sb[i]==value)return i;
return -1;
}
}
}
编译器找扩展方法的顺序:
首先stringbuilder类或者它的基类是否提供了参数类型为char 名称为indexof的方法,如果有就生成il代码来调用。如果没有找到匹配的实例方法,就继续检查是否有任何静态类定义了indexof的静态方法,方法的第一个参数的类型和当前的调用类型一致且使用this修饰。
为接口提供扩展
public static class ienumerableextensions
{
public static void showitem<t>(this ienumerable collection)
{
foreach(var item in collection)
{
console.writeline(item);
}
}
}
为委托定义扩展
public static class actionextentsions
{
public static void invokeandcatch(this action<object> ac,object o)
{
ac(o);
}
}
action<object> action=o=>console.writeline(o.gettype());
action.inokeandcatch(null);
使用委托来引用对象上的扩展方法:
action a=”wupo”.showitems;
a.invoke();
调用委托实例 翻译成 唤出比较合适invoke
调用对象方法,叫调用 call
invoke 是需要唤出某个东西来帮你调用一个信息不明确的方法时,
call 是知道了方法的名称 参数类型 返回值 等。
三、参数
1、可选参数和命名参数
设计方法的参数,可为部分参数分配默认值,然后调用这些方法的代码可以选择不提供部分参数,使用其默认值。
默认值在参数列表的右边,可选参数,在最后且不能有默认值。
默认值可以是 基元类型,枚举,为null的引用类型。
如果参数使用ref 、out标识就不能设置默认值。
2、以引用的方式向方法传递参数
clr默认所用的参数都是传值。传递引用类型的时候,对象的引用(对象指针)被传递给方法,指针本身是传值的。对于值类型,传递给方法的是实例的一个副本。调用者本身不收影响。
clr允许以传引用的方式传递参数,使用out ref关键字,告诉c#编译器生成元数据来指明参数是传引用的,编译器将生成代码来传递参数的地址。
clr本身不区分out 和ref,生成的il代码也差不多,只有一个bit标准符不同个,用以表明方法指定的是out还是ref.不同之处是这个标志符绝定了由哪个方法负责初始化引用的对象。 如果方法使用out 来标记 则表明不指望(但是可以)调用者在调用之前就初始化,被调用的方法不能读取参数的值,而且在放回之前必须向这个值写入。相反如果方法使用ref来标记,调用者必须在调用方法之前就必须把参数初始换,被调用的方法可以读取和写入值。
clr允许根据使用out ref对方法进行重载。
但是不允许仅在out 和ref个有不同的方法进行重载。
对于以引用方式传递给方法的变量,它的类型必须与方法签名中声名的类型相同,否则无法编译,可以使用泛型解决这个问题。
3、向方法传递可变数量的参数
可变参数只能放在方法签名的最后。
static int32 add(params int32[] values)
{
}
由于有params关键字,所以编译器向参数应用定制特性system.paramarrayattribute,c#编译器检测到方法调用,会先检查具有指定名称,同时参数没有应用paramarrayattribute特性的方法,找到就生成调用代码。没有找到就会检查使用了paramarrayattribute的方法,找到以后编译器先生成代码来构造一个数组,填充它的元素,在生成代码来调用它。
4、参数和返回类型的设计规范
声名参数的类型是,应尽量指定最弱类型,宁愿要接口也不要基类。
ienumerable<t> 比list<t>好,如果方法需要列表,使用ilist<t> 也比list<t>好。
上一篇: 自称肥宅的人