程序本质上,就是由数据和处理数据的方法构成。函数和方法,这两个名词虽然字面不同,但意义上其实没有区别。只是因为它们出现的地方有异,给予了不同的名称,比如在全局环境中,叫函数,在对象或类中,叫方法。而C#没有全局的概念,所以绝大多数时候,都叫方法。本节内容比较多,列一下目录:
- 基本概念
- 函数的声明和调用
- 函数表达式
- 通过Function的构造函数来声明函数(JS/TS)
- 函数/变量提升(JS)
- 值参数
- 引用参数/输出参数
- 可选参数/默认值参数
- 数组参数/剩余参数
- 扩展方法
- 闭包和委托捕获
一、基本概念
JS:
①一等公民,和number、string、bool等一样,是一种值;
②是object的子类型;
③可以全局定义和使用;
④当函数作为对象的属性时,称之为方法
TS:
和JS一样,只是多了类型约束
C #
①类中有两个成员:数据成员和方法成员,方法规定了类的行为
②只能在类里申明、类里使用;
③方法可否视为一种值?C#中,方法不是一种值,但使用委托时,有类似表现
二、函数声明和调用
JS/TS的函数可以声明在全局、对象和类中,C#只能在类中声明。三者的参数和返回值等概念及用法没有什么不同,只是JS没有类型约束,TS在JS基础上增加了类型约束(还可以通过接口约束),而C#本身就是强类型。C#中多了一些修饰符,比如public等访问修饰符,以及static、abtract等,TS中,当方法在类中申明时,也引入了部分修饰符。
//==========JS==========
//全局声明和调用 function sum(x,y){ return x + y; }
sum(1,2);
//对象中声明和调用 const mc = { name: 'MC', sayHi: function(){console.log('Hi,i am MC');} , //还可以写成 sayHi(){console.log('Hi,i am MC');} }
mc.sayHi(); //类中声明(暂略,比较类时再具体谈)
//==========TS==========
//全局声明和调用,多了类型约束 function sum(x:number,y:number):number{ return x + y; }
sum(1,2); //对象中声明和调用,通过接口约束 interface{ name: string, sayHi():void } const person = { name: 'MC', sayHi(){console.log('Hi,i am MC');} }
person.sayHi(); //类中声明(暂略,比较类时再具体谈)
//==========C#========== //需要在类中声明,如果不是静态方法,需要创建对象后,才能调用 public class Person { public string Name{get;set} public int Sum(int x, int y){return x + y;} public void SayHi(){Console.WriteLine("Hi, i am MC");} }
var p1 = new Person();
p1.SayHi();
三、函数表达式(JS/TS)
仅限于JS/TS,使用非常灵活,是函数作为一种值的突出表现。C#中没有此概念,但是通过委托貌似能实现类似功能。
//==========JS========== //将函数赋值给变量,变量sum也是方法的名称 let sum = function(x,y){ return x + y; } //方法调用 sum(5,6)
//==========TS========== //通过类型推断来声明 let sum = function(x:number,y:number):number{ return x + y; } //完整的写法应该是这样 let sum1:(x:number,y:number) => number = function(x:number,y:number):number{ return x + y; } //也可以通过接口来约束申明 interface ISum{ (x:number,y:number):number } let sum2:ISum = function(x:number,y:number):number{ return x + y; }
//==========C#========== //定义一个委托类型 delegate int DeleSum(int x,int y); class HelloWorld { static void Main(string[] args) { //定义一个委托对象,并将匿名函数“赋值”给委托“变量” DeleSum deleSum = delegate(int x,int y){return x + y;}; Console.WriteLine(deleSum(2,2)); } } //对比一下,都使用Lambda表达式,像不像? //TS中:let sum = (int x,int y)=>{return x + y;} //C#中,使用自定义委托类型:DeleSum deleSum = (int x,int y)=>{return x + y;} //C#中,使用内置泛型委托:Func<int,int,int> sum = (int x,int y)=>{return x + y;}
四、通过Function的构造函数来声明函数/有点拗口(JS/TS)
仅限于JS/TS,极少使用。JS中,几个类型都有相对应的包装类,都有对应的构造方法,如number>Number,string>String,array>Array,function>Function,object>Object等。所以函数也可以通过构造函数创建。
//==========JS========== //构造函数的参数,最后一个为返回值,前面的均为参数 let sum = new Function('x','y','return x+y'); console.log(sum(1,2)); //TS?不知道咋搞,类型约束放在哪?
五、函数提升(JS/TS)
仅限于JS/TS,在全局或一个作用域中,编译时,变量和函数的定义会先执行,函数定义优先于变量定义。函数提升仅限于通过“函数声明”定义的方法,函数表达式定义的方法,不存在变量提升;变量提升仅限var定义的变量。let和const定义的变量,不存在变量提升。
//==========JS========== //全局中,虽然函数声明在后面,但先执行了 console.log(sum1(1,2)); function sum1(x,y){return x+y;} //函数作用域中,函数声明也提前到了作用域的顶部 function f1(){ console.log(sum2(1,2)); function sum2(x,y){return x+y;} } //TS中有一样的表现 //C#中不存在变量提升
六、值参数
形参和实参是值复制关系,调用方法时,实参的值复制给了形参。如果是基本类型,直接复制值,如果是引用类型,则复制引用地址。C#和JS/TS,基本一致。
//==========JS========== //参数为值类型(复制值) function sum(x,y){ return x + y; } //调用时分别将1和2的值,复制给了形参x和y sum(1,2); //参数为引用类型(复制引用地址) function sayName(x){ console.log(x.name); x.name = 'functionMC'; } let p1 = { name: 'MC', age: 18 } //调用时将p1的引用地址复制给了形参x,两者指向的堆中的值是同一个 sayName(p1);//输出MC console.log(p1.name);//输出functionMC
//==========TS========== //参数为值类型(复制值) function sum(x:number,y:number):number{ return x + y; } //调用时分别将1和2的值,复制给了x和y sum(1,2); //参数为引用类型。注:此处使用接口来约束形参和实参 interface IPerson{ name: string, age: number } function sayName(x:IPerson):void{ console.log(x.name); x.name = 'functionMC'; } let p1:IPerson = { name: 'MC', age: 18 } sayName(p1);//输出MC console.log(p1.name);//输出functionMC
//==========C#========== public class Program { public static void Main() { //静态方法中,不能直接调用实例成员,所以先将自己实例化 Program program = new Program(); //值类型参数,方法调用时,直接将值复制给形参 program.Sum(1, 2); //结果为3 //引用类型参数,方法调用时,将引用地址复制给形参 //形参和实参指向的堆中的数据,是同一个 var p1 = new Person() { Name = "MC", Age = 18 }; program.SayName(p1); //输入MC Console.WriteLine(p1.Name); //输出functionMC } //定义一个使用值类型参数的方法 public int Sum(int x, int y) { return x + y; } //定义一个使用引用类型参数的方法 public void SayName(Person p) { Console.WriteLine(p.Name); p.Name = "functionMC"; } } //自定义类,用来测试引用类型参数 public class Person { public string? Name { get; set; } public int? Age { get; set; } }
七、引用参数和输出参数
引用参和输出参,是C#中的概念。和值参数不同的是,实参作为形参的别名直接进入方法体中运算。所以,在方法体中如果改变了形参,也会同时改变实参。JS/TS中,因为var的作用域问题,也会产生类似结果。
//==========C#========== //引用参数使用ref,输出参数用out,原理和用法参不多 //在申明和调用的时候都要用ref或out关键词 //调用时,只能使用变量 //out的特殊在于,在调用的方法体中,在给输出参数赋值 //out在方法调用里,变量可以不用赋值,赋值也没有意义,因为方法体中需要赋值 class HelloWorld { static void Main(string[] args) { Count a1 = new Count(); int a2 = 10; //调用时,也要用ref关键词修饰实参,且实参只能用变量 RefMethod(ref a1, ref a2); Console.WriteLine($"a1值变成了{a1.Val},a2值变成了{a2}"); } //方法定义时,使用ref关键词修饰形参 static void RefMethod(ref Count c1, ref int i1) { //形参和实参是同一个,形参值变了,实参值也会变 c1.Val += 2; i1 += 2; } } class Count { public int Val = 20; }
//==========JS/TS========== //方法体中,直接找到全局的变量count修改值 var count = 10; function Method(){ count += 2; } Method(); console.log(count);
八、可选参数/默认值参数
C#和TS都是强类型,所以方法参数要受到一定约束,可选参数、数组参数等,都是在可约束条件下的增加灵活性。而JS的参数则不受任务约束,爱传不传,爱传啥就传啥。
//==========JS========== //JS中没有可选参数的概念,因为它不受约束 function f1(a,b){ return a + b; } //爱咋咋滴 f1(1,2,3); f1(1); f1(1,'MC'); f1();
//==========TS========== //“?”号定义可选参数 function f1(a:string,b?:string):void{ console.log(a +'-'+ b); } //可传可不传,不传时默认为undefined f1('function','MC');//结果function-MC f1('function');//结果function-undefined //设置参数默认值 function f2(a:string,b:string='MC'):void{ console.log(a +'-'+ b); } f2('function','MC');//结果function-MC f2('function');//结果function-MC
//==========C#========== public class Program { public static void Main() { f1("function", "MC");//输出结果function-MC f1("function");//输出结果function-MC f2("function", "MC");//输出结果function-MC f2("function");//输出结果function- } //可选参数,设置默认值 static void f1(string a, string b = "MC") { Console.WriteLine(a + "-" + b); } //可空参数,如果不传,则为null static void f2(string a, string? b = null) { Console.WriteLine(a + "-" + b); } }
九、数组参数/剩余参数
C#和TS都是强类型,所以方法参数要受到一定约束,可选参数、数组参数等,都是在可约束条件下的增加灵活性。而JS的参数则不受任务约束,爱传不传,爱传啥就传啥。
//==========C#========== public class Program { public static void Main() { //调用方式一 f1(1, 2, 3, 4); f1(1, 2, 3); f1(1, 2); f1(); //调用方式二 var a1 = new int[] { 1, 2, 3, 4, 5, 6 }; f1(a1); } //使用关键词params定义数组参数 static void f1(params int[] intVals) { if ((intVals != null) && (intVals.Length != 0)) { foreach (var item in intVals) { Console.WriteLine(item); } } } }
//==========TS========== //TS中用“...”定义剩余参数 function push(array: any[], ...items: any[]):void { items.forEach(function(item) { array.push(item); }); } let a = []; push(a, 1, 2, 3);//结果[1,2,3] push(a, 2, 3, 4);//结果[1,2,3,2,3,4]
十、扩展方法
扩展方法是C#中的概念,通过新类扩展定义新的方法,调用时,直接用原对象调用,就好像这个方法属于原类一样。JS和TS中,不动类,一样也可以扩展,直接粗鲁的“.”符号就可以,即使是引入了类,也能通过原型随意扩展,和C#不一样的是,实质上这个方法是添加到了原对像里。
//==========C#========== public class Program { public static void Main() { var cal = new Cal(2, 4); cal.Sum();//结果为6,原类的方法 cal.Avg();//结果为3,新类的扩展方法 } } //原类 internal class Cal { private int d1; private int d2; public Cal(int d1, int d2) { this.d1 = d1; this.d2 = d2; } public int Sum() { return d1 + d2; } } //在一个静态的新类里,"静静的"增加了一个新的方法 internal static class CalExtend { //公开的静态方法 //参数为原类型,且使用this关键词修饰 static public int Avg(this Cal c1) { return c1.Sum() / 2; } }
//==========JS========== let a = { name:'MC', sayHi(){console.log('HI,MC');} }; a.sayHi(); //随意的扩展一个方法 a.sayHello = ()=>{console.log('Hello,MC')}; a.sayHello();
//==========TS========== //下面这个案例,无法运行,提示Object没有assign方法,TS中去掉这个方法了? //下面的代码,去掉类型,可以在JS中运行 class Cal{ x:number; y:number; constructor(x:number,y:number){ this.x = x; this.y = y; } sum():number{ return this.x + this.y; } } //随意的添加一个扩展方法 Object.assign(Cal.prototype, { avg():number{ return 2; } }); let cal = new Cal(2,4); cal.sum(); cal.avg();
十一、闭包和委托捕获
JS/TS中,对于作用域的嵌套,内层作用域可以看到和使用外层作用域的东西,就像一个隐私玻璃,里面可以看外面,外面看不到里面。闭包可以简单的类比为,外层作用域派出的,混入内层作用域的一个函数间谍,通过它将内层作用域的东西“偷出来”,这样外层作用域也能看到和使用内层作用域的东西,而且这个函数间谍还很敬业,把内层的环境也一起打包带了出来,使得内层环境不会塌陷。巧得是,C#中也有类似的功能,叫匿名方法的捕获。
//==========JS/TS========== function outF(){ const x = '我是内层的x'; function inF(){ return x; } return inF(); } //inF就是我们派出的间谍函数-闭包 //他不仅带出了x,还把他潜入的作用域,整个都一锅端了出来 console.log(outF());//结果为'我是内层的x' console.log(x);//报错,提示x没有定义,外层直接向内层要是要不到的
public class Program { public static void Main() { //定义一个委托对象 Func<int> f1; //下面是内层作用域 { int x = 3; f1 = () => { return x; };//捕获了变量x } //委托对象f1将捕获到的x带到了外层作用域,获得变量x Console.WriteLine(f1()); Console.WriteLine(x);//报错提示当前上下文不存在x } }