对C语言里数组与指针的几点认识与理解
1.c语言中,有时需要使用只读数组,也就是程序从数组中读取数值,但是程序不向数组中写数据,在这种情况下声明并初始化数组时,建议使用const。
2.变量和数组都是自动类型的,不同的存储类有时具有不同的属性,自动类型就是如果没有进行初始化,一些存储类的变量和数组会把他们的存储单元设置为0;
#include <stdio.h>
#define SIZE 4
int main(int argc, const char * argv[]) {
int some_data[SIZE]={1492,1066};
int i;
printf("%s%s\n","i","some_data[i]");
for (i=0; i<SIZE; i++) {
printf("%d--%d\n",i,some_data[i]);
}
return 0;
}
输出结果
isome_data[i]
0--1492
1--1066
2--0
3--0
从上面的结果我们可以看出,编译器做的很好,当数值数目小于数组元素数目时,多余的数组元素被初始化为0。也就是说,如果不初始化数组,数组元素和末初始化的普通变量一样,其中存储的是无用的数值;但是如果部分初始化数组,未初始化的元素则被设置为0;
如果初始化列表中项目的个数大于数组大小,编译器会毫不留情地认为这是一个错误。一种做法就是你可以省略括号中的数字,从而让编译器自动匹配数组大小和初始化列表中的项目数目
3.指定初始化项目
传统的我们一般会这样初始化数组:
int arr[6]={0,0,0,0,0,211};
但我们也可以在初始化列表中使用带有方括号的元素下标可以指定某个特定的元素
int arr[6]={[5]=211};
在初始化一个或多个元素后,未经初始化的元素都将被设置为0
4.指针和数组
short dates[4];
short*pti;
short index;
double bills[4];
double*ptf;
pti=dates;
ptf=bills;
for (index=0; index<4; index++) {
printf("pointer +%d:%p %p\n",index,pti+index,ptf+index);
}
输出结果
pointer +0:0x7fff5fbff738 0x7fff5fbff710
pointer +1:0x7fff5fbff73a 0x7fff5fbff718
pointer +2:0x7fff5fbff73c 0x7fff5fbff720
pointer +3:0x7fff5fbff73e 0x7fff5fbff728
指针的数值就是它所指向的对象的地址,地址的内部表示方式是由硬件来决定的
在指针钱运用运算符*就可以得到该指针所指向的对象的数值
对指针加1,等价于对指针的值加上它所指向的对象的字节大小
dates+2==&dates[2]; //相同的地址
*dates+2 == dates[2]; // 相同的值
这些关系总结了数组和指针间密切的关系,可以用指针标示数组的每个元素,并得到每个元素的数值,
顺便提一下,请注意区分(dates+2)和dates+2。间接运算符的优先级高于+,因此后者等价于:(dates)+2
*(dates+2 ) /* dates 的第3个元素的值*/
*dates+2 /*第一个元素的值和2相加*/
赋值:可以把一个地址赋给指针。通常使用数组名或地址运算符&来进行地址赋值。
int urn[5]={100,200,300,400,500};
int*ptr1,*ptr2,ptr3;
ptr1=urn;
ptr2=&urn[2];
printf("ptr1=%p,*ptr1 =%d,&ptr1=%p\n",ptr1,*ptr1,&ptr1);
//指针加法
ptr3=*(ptr1+4);
printf("ptr1+4=%p,*(ptr4+3)=%d\n",ptr1+4,*(ptr1+3));
//递增指针
ptr1++;
printf("ptr1=%p,*ptr1=%d,&ptr1=%p\n",ptr1,*ptr1,&ptr1);
//递减指针;
ptr2--;
printf("ptr2=%p,*ptr2=%d,&ptr2=%p\n",ptr2,*ptr2,&ptr2);
--ptr1;//恢复为初始值
++ptr2;//恢复为初始值
printf("ptr1=%p,ptr2=%p\n",ptr1,ptr2);
//一个指针减去另一个指针
printf("ptr2=%p,ptr1=%p,ptr2-ptr1=%ld\n",ptr2,ptr1,ptr2-ptr1);
//一个指针减去一个整数
printf("ptr3=%d,ptr3-2=%d\n",ptr3,ptr3-2);
输入结果为:
*p1=100,*p2=100,*p3=300
*p1++=100,*++p2=200,(*p3)++=300
*p1=200,*p2=200,*p3=301
ptr1=0x7fff5fbff6e0,*ptr1 =100,&ptr1=0x7fff5fbff678
ptr1+4=0x7fff5fbff6f0,*(ptr4+3)=400
ptr1=0x7fff5fbff6e4,*ptr1=200,&ptr1=0x7fff5fbff678
ptr2=0x7fff5fbff6e4,*ptr2=200,&ptr2=0x7fff5fbff670
ptr1=0x7fff5fbff6e0,ptr2=0x7fff5fbff6e8
ptr2=0x7fff5fbff6e8,ptr1=0x7fff5fbff6e0,ptr2-ptr1=2
ptr3=500,ptr3-2=498
赋值:可以把一个地址赋给指针。通常使用数组名或地址运算符&来进行地址赋值。上面例子中,把数组urn的起始地址赋给ptr1。变量ptr2得到的是数组第三个也即最后一个元素的地址。注意:地址应该和指针类型兼容,不能把一个double类型的地址赋给一个指向int的指针
求值或取值:运算符可取出指针指向地址中存储的数值。因此,ptr1开始为100,即存储在地址0x7fff5fbff6e0中的值。
取指针地址:指针变量同其他变量一样具有地址和数值,使用运算符&可以得到存储指针本身的地址。本例中,ptr1被存储在内存地址0x7fff5fbff678中,该内存单元的内容是0x7fff5fbff6e0,即urn的地址。
将一个整数加给指针:可以使用+运算符来把一个整数加给一个指针,或者把一个指针加给一个正数。两种情况下,这个正数都会和指针所指类型的字节数相乘,然后所得的结果会加到初始地址上。于是,ptr4的结果等同于&urn【4】。如果相加的结果超出了初始指针所指向的数组的范围,那么这个结果是不确定的,除非超出数组最后一个元素的地址能够确保是有效的。
增加指针的值:可以通过一般的加法或增量运算符来增加一个指针的值。对指向某数组元素指针做增量运算,可以让指针指向该数组的下一个元素。因此,ptr++运算把ptr1加上数值4,使ptr1指向urn[1]。现在ptr1的值是0x7fff5fbff6e4,*ptr的数值为200.请注意ptr1本身的地址仍然是0x7fff5fbff678。别忘了,变量不会因为它的值得变化而移动位置。
从指针中减去一个整数:可以使用-运算符来从一个指针中减去一个整数。指针必须是第一个操作数,或者是一个指向整数的指针。这个正数都会和指针所指类型的字节数相乘,然后所得到的结果会从初始地址中国减掉。于是,ptr3-2的结果等同于&urn[2].因为ptr3是指向&urn[4]的。如果相减的结果超出了初始指针所指向的数组的范围,那么这个结果是不确定的,除非超出数组最后一个元素的地址能够确保是有效的。
减小指针的值:指针当然也可以做减量运算。ptr2自减1之后,它将不再指向第三个元素,而是指向第二个数组元素。请注意,你可以使用前缀和后缀形式的增量和减量运算符。对指针ptr1和ptr2都指向同一个元素urn【1】,直到他们被重置。
5.关于const的内容
两个函数
void show_array(const double ar[],int n);
void mult_array(double ar[],int n,double mult);
double rates[5]={88.99,110.22,59.45,183.22,340.21};
const double locked[4]={0.08,0.075,0.0725,0.07};
像show_array这样的函数可以接受普通数组和常量数组的名称作为实际的参数,因为这两种参数都可以赋给指向常量的指针
show_arrary(rates,5);
show_arrary(locked,4);
但是,像mult_arrary()这样的函数不能接受常量数组的名称作为参数
mult_array(rates,5,1.2);
mult_array(locked,4,1.2);
函数参量定义中使用const,不仅可以保护数据,而且使函数可以使用声明为const的数组
关于const的用法还有很多,例如,你可以使用关键字const来声明并初始化指针,以保证指针不会指向别处,关键在于const的位置
这样的指针仍然 可以用于修改数据,但它只能指向最初赋给它的地址,不能修改所指向的地址
double * const pc1 = rates; //pc1指向数组的开始处
*pc1 = 92.99;//允许
//pc1=&rates[2]; // 不允许
指向常量的指针不能用于修改数值,但是指向的地址是可以改变的
const double locked[4]={0.08,0.075,0.0725,0.07};
const double*pc=rates; //pc指向数组开始处
//*pc=320.0; //不允许
//pc[2]=222.22; //不允许
pc=locked;//允许
pc=&rates[4];//允许
pc++;//让pc指向rates[1]这是允许的
rates[0]=99.99; //允许 因为rates不是常量
也可以使用两个const来创建指针,这个指针既不可以更改所指向的地址,也不可以修改所指向的数据
const double* const pc2 = rates;
// pc2 = &rates[2];//不允许
// *pc2 = 92.99 //不允许
6.指针和多维数组
函数是通过指针来处理多维数组的
来看一个例子:
假设有如下声明:
int zippo[4][2]; 整数数组的数组
数组名zippo同时也是数组首元素的地址。在本例中,zippo的首元素本身又是包含两个int的数组,因此zippo也是包含两个int的数组的地址。下面从指针地址进一步分析:
①因为zippo是数组首元素的地址,所以zippo的值和&zippo[0]相同。另一方面,zippo[0]本身是包含两个整数的数组,因此zippo[0]的值同其首元素的地址&zippo[0][0]相同。简单地说,zippo[0]是一个整数大小对象的地址,而zippo是两个整数大小对象的地址。因为整数和两个整数组成的数组开始于同一个地址,因此zippo和zippo[0]具有相同的数值。
②对一个指针加1,会对原来的数值加上一个对应类型大小的值。在这方面,zippo和zippo[0]是不一样的,zippo所指向对象的大小是两个int,而zippo[0]所指向对象的大小是一个int,因此zippo+1和zippo[0]+1的结果不同。
③对一个指针取值得到的是该指针所指向对象的数值。因为zippo[0]是其首元素zippo[0][0]的地址,所以(zippo[0])代表存储在zippo[0][0]中的数值,即一个int数值。同样zippo代表其首元素zippo[0]的值,但是zippo[0]本事就是一个int数的地址,即&zippo[0][0],因此zippo是&zippo[0][0]。对这两个表达式同时应用取值元算符将得到zippo等价于&zippo[0][0],后者简化后即为一个int数zippozippo[0][0]。简言之,zippo是地址的地址,需要两次取值才可以得到通常的数值。地址的地址或指针的指针是双重间接的典型例子。
总结完的关系如下:
// zippo[0] 表示首元素的地址
// zippo[0][0] 表示元素的值
// *zippo表示首元素的值
// &zippo[0][0]= zippo[0]=*zippo=zippo
// *(zippo[0])表示存储在zippo[0][0]中的数值
// *(zippo[0])=zippo[0][0] = **zippo = *&zippo[0][0]
下面我们看一下这个输出结果
printf("8-----*(*(zippo+2)+1)=%d\n",*(*(zippo+2)+1));
结果为:
8-----*(*(zippo+2)+1)=3
让我们来分步来建立这个表达式
zippo //第一个大小为2个int的元素地址
zippo+2 //第3个大小为2个int的元素地址
*(zippo+2)第3个元素,即包含2个int值得数组,因此也是其第一个元素(int值)的地址
*(zippo+2)+1包含2个int值的数值的第2个元素的地址
*(*(zippo+2)+1)数组第三行第2个int(zippo[2][1])的值
7.指向多维数组的指针
如何声明一个指向二维数组的指针变量pz?例如,在编写处理像zippo这样的数组的函数时,就会用到这类指针。指向int的指针可以胜任吗?不可以。这种指针只是和zippo[0]兼容,因为它们都指向一个单个int值。但是zippo是其首元素的地址,而该首元素又是包含两个int值的数组。因此,pz必须指向一个包含两个int值的数组,而不是指向一个单个int值。下面是正确的代码:
int(*pz)[2];//pz指向一个包含2个int值的数组(使用圆括号的原因是是表达式中[]的优先级高于*)
zippo[m][n]==*(*(zippo+m)+n)
pz[m][n]=*(*(pz+m)+n)
指针之间的赋值规则比数组类型的赋值更严格。例如,你可以不需要进行类型转换就直接把一个int数值赋给一个double类型的变量。但对于指针来说,这样的赋值是不允许的
????
int *pt;
int(*pa)[3];
int ar1[2][3];
int ar2[3][2];
int **p2;
pt = &ar1[0][0];
pt = ar1[0];
pt = ar1;//非法
pa = ar1;
pa = ar2;//非法
p2 = &pt;
*p2 = ar2[0];
p2 = ar2;//非法
8.函数和多维数组
void sum_rows(int ar[][COLS],int rows)
请注意下面的声明是不正确的
int sum2(int ar[][],int rows);//错误的声明
编译器会把数组符号转换成指针符号。这就意味着,ar[1]会被转换成ar+1。编译器这样转换的时候需要知道ar所指向对象的数据大小。
int sum2(int ar[][4],int rows);//合法声明
就表示ar指向由4个int值构成的数组,也就是16个字节长的对象,所以ar+1表示”在这个地址上加16个字节大小“。
也可以如下这样在另一对方括号中填写大小,但编译器将忽略之:
int sum2(int ar[3][4],int rows)//合法声明,但3将被忽略
一般地,声明N维数组的指针时,出了最左边的方括号可以留空之外,其他都需要填写数值
int sum4(int ar[][12][20][30],int rows);
上一篇: 用C语言实战:输出数组元素的简单示例
下一篇: 用C语言编写函数处理数组的输入与输出
推荐阅读
-
传入二维数组到C语言函数的方法:理解二级指针与二维数组的差异
-
掌握C/C++里的教训:理解数组定义与值初始化的混乱情况——第六章2.0节
-
理解C语言中字符串与字符数组的各类输入输出方式差异 - 重点讲解输入部分
-
对C语言里数组与指针的几点认识与理解
-
包婷婷 (201550484)作业一 统计软件简介与数据操作-SPSS(Statistical Product and Service Solutions),"统计产品与服务解决方案"软件。最初软件全称为"(SolutionsStatistical Package for the Social Sciences),但是随着SPSS产品服务领域的扩大和服务深度的增加,SPSS公司已于2000年正式将英文全称更改为"统计产品与服务解决方案",标志着SPSS的战略方向正在做出重大调整。为IBM公司推出的一系列用于统计学分析运算、数据挖掘、预测分析和决策支持任务的软件产品及相关服务的总称SPSS,有Windows和Mac OS X等版本。 1984年SPSS总部首先推出了世界上第一个统计分析软件微机版本SPSS/PC+,开创了SPSS微机系列产品的开发方向,极大地扩充了它的应用范围,并使其能很快地应用于自然科学、技术科学、社会科学的各个领域。世界上许多有影响的报刊杂志纷纷就SPSS的自动统计绘图、数据的深入分析、使用方便、功能齐全等方面给予了高度的评价。 R统计软件介绍 R是一套完整的数据处理、计算和制图软件系统。其功能包括:数据存储和处理系统;数组运算工具(其向量、矩阵运算方面功能尤其强大);完整连贯的统计分析工具;优秀的统计制图功能;简便而强大的编程语言:可操纵数据的输入和输出,可实现分支、循环,用户可自定义功能。 与其说R是一种统计软件,还不如说R是一种数学计算的环境,因为R并不是仅仅提供若干统计程序、使用者只需指定数据库和若干参数便可进行一个统计分析。R的思想是:它可以提供一些集成的统计工具,但更大量的是它提供各种数学计算、统计计算的函数,从而使使用者能灵活机动的进行数据分析,甚至创造出符合需要的新的统计计算方法。 该语言的语法表面上类似 C,但在语义上是函数设计语言(functional programming language)的变种并且和Lisp 以及 APL有很强的兼容性。特别的是,它允许在"语言上计算"(computing on the language)。这使得它可以把表达式作为函数的输入参数,而这种做法对统计模拟和绘图非常有用。 R是一个免费的*软件,它有UNIX、LINUX、MacOS和WINDOWS版本,都是可以免费下载和使用的。在R主页那儿可以下载到R的安装程序、各种外挂程序和文档。在R的安装程序中只包含了8个基础模块,其他外在模块可以通过CRAN获得。 二、R语言 R是用于统计分析、绘图的语言和操作环境。R是属于GNU系统的一个*、免费、源代码开放的软件,它是一个用于统计计算和统计制图的优秀工具。 R作为一种统计分析软件,是集统计分析与图形显示于一体的。它可以运行于UNIX,Windows和Macintosh的操作系统上,而且嵌入了一个非常方便实用的帮助系统,相比于其他统计分析软件,R还有以下特点: 1.R是*软件。这意味着它是完全免费,开放源代码的。可以在它的网站及其镜像中下载任何有关的安装程序、源代码、程序包及其源代码、文档资料。标准的安装文件身自身就带有许多模块和内嵌统计函数,安装好后可以直接实现许多常用的统计功能。[2] 2.R是一种可编程的语言。作为一个开放的统计编程环境,语法通俗易懂,很容易学会和掌握语言的语法。而且学会之后,我们可以编制自己的函数来扩展现有的语言。这也就是为什么它的更新速度比一般统计软件,如,SPSS,SAS等快得多。大多数最新的统计方法和技术都可以在R中直接得到。[2] 3. 所有R的函数和数据集是保存在程序包里面的。只有当一个包被载入时,它的内容才可以被访问。一些常用、基本的程序包已经被收入了标准安装文件中,随着新的统计分析方法的出现,标准安装文件中所包含的程序包也随着版本的更新而不断变化。在另外版安装文件中,已经包含的程序包有:base一R的基础模块、mle一极大似然估计模块、ts一时间序列分析模块、mva一多元统计分析模块、survival一生存分析模块等等.[2] 4.R具有很强的互动性。除了图形输出是在另外的窗口处,它的输入输出窗口都是在同一个窗口进行的,输入语法中如果出现错误会马上在窗口口中得到提示,对以前输入过的命令有记忆功能,可以随时再现、编辑修改以满足用户的需要。输出的图形可以直接保存为JPG,BMP,PNG等图片格式,还可以直接保存为PDF文件。另外,和其他编程语言和数据库之间有很好的接口。[2] 5.如果加入R的帮助邮件列表一,每天都可能会收到几十份关于R的邮件资讯。可以和全球一流的统计计算方面的专家讨论各种问题,可以说是全世界最大、最前沿的统计学家思维的聚集地.[2] R是基于S语言的一个GNU项目,所以也可以当作S语言的一种实现,通常用S语言编写的代码都可以不作修改的在R环境下运行。 R的语法是来自Scheme。R的使用与S-PLUS有很多类似之处,这两种语言有一定的兼容性。S-PLUS的使用手册,只要稍加修改就可作为R的使用手册。所以有人说:R,是S-PLUS的一个“克隆”。 但是请不要忘了:R是免费的(R is free)。R语言源代码托管在github,具体地址可以看参考资料。[3] 。 R语言的下载可以通过CRAN的镜像来查找。 R语言有域名为.cn的下载地址,有六个,其中两个由Datagurn,由 中国科学技术大学提供的。R语言Windows版,其中由两个下载地点是Datagurn和 USTC提供的。 三、stata Stata 是一套提供其使用者数据分析、数据管理以及绘制专业图表的完整及整合性统计软件。它提供许许多多功能,包含线性混合模型、均衡重复反复及多项式普罗比模式。用Stata绘制的统计图形相当精美。 新版本的STATA采用最具亲和力的窗口接口,使用者自行建立程序时,软件能提供具有直接命令式的语法。Stata提供完整的使用手册,包含统计样本建立、解释、模型与语法、文献等超过一万余页的出版品。 除此之外,Stata软件可以透过网络实时更新每天的最新功能,更可以得知世界各地的使用者对于STATA公司提出的问题与解决之道。使用者也可以透过Stata. Journal获得许许多多的相关讯息以及书籍介绍等。另外一个获取庞大资源的管道就是Statalist,它是一个独立的listserver,每月交替提供使用者超过1000个讯息以及50个程序。 四、PYTHON
-
如何使用C语言编写一个小程序来理解并实例化高等数学中的映射、单射与一一对应函数的概念
-
C语言里的多任务技巧:理解进程与线程基础
-
剖析C语言数组与指针的实战汇编代码示例
-
F#探险之旅(二):函数式编程(上)-函数式编程范式简介 F#主要支持三种编程范式:函数式编程(Functional Programming,FP)、命令式编程(Imperative Programming)和面向对象(Object-Oriented,OO)的编程。回顾它们的历史,FP是最早的一种范式,第一种FP语言是IPL,产生于1955年,大约在Fortran一年之前。第二种FP语言是Lisp,产生于1958,早于Cobol一年。Fortan和Cobol都是命令式编程语言,它们在科学和商业领域的迅速成功使得命令式编程在30多年的时间里独领风骚。而产生于1970年代的面向对象编程则不断成熟,至今已是最流行的编程范式。有道是“*代有语言出,各领风骚数十年”。 尽管强大的FP语言(SML,Ocaml,Haskell及Clean等)和类FP语言(APL和Lisp是现实世界中最成功的两个)在1950年代就不断发展,FP仍停留在学院派的“象牙塔”里;而命令式编程和面向对象编程则分别凭着在商业领域和企业级应用的需要占据领先。今天,FP的潜力终被认识——它是用来解决更复杂的问题的(当然更简单的问题也不在话下)。 纯粹的FP将程序看作是接受参数并返回值的函数的集合,它不允许有副作用(side effect,即改变了状态),使用递归而不是循环进行迭代。FP中的函数很像数学中的函数,它们都不改变程序的状态。举个简单的例子,一旦将一个值赋给一个标识符,它就不会改变了,函数不改变参数的值,返回值是全新的值。 FP的数学基础使得它很是优雅,FP的程序看起来往往简洁、漂亮。但它无状态和递归的天性使得它在处理很多通用的编程任务时没有其它的编程范式来得方便。但对F#来说这不是问题,它的优势之一就是融合了多种编程范式,允许开发人员按照需要采用最好的范式。 关于FP的更多内容建议阅读一下这篇文章:Why Functional Programming Matters(中文版)。F#中的函数式编程 从现在开始,我将对F#中FP相关的主要语言结构逐一进行介绍。标识符(Identifier) 在F#中,我们通过标识符给值(value)取名字,这样就可以在后面的程序中引用它。通过关键字let定义标识符,如: let x = 42 这看起来像命令式编程语言中的赋值语句,两者有着关键的不同。在纯粹的FP中,一旦值赋给了标识符就不能改变了,这也是把它称为标识符而非变量(variable)的原因。另外,在某些条件下,我们可以重定义标识符;在F#的命令式编程范式下,在某些条件下标识符的值是可以修改的。 标识符也可用于引用函数,在F#中函数本质上也是值。也就是说,F#中没有真正的函数名和参数名的概念,它们都是标识符。定义函数的方式与定义值是类似的,只是会有额外的标识符表示参数: let add x y = x + y 这里共有三个标识符,add表示函数名,x和y表示它的参数。关键字和保留字关键字是指语言中一些标记,它们被编译器保留作特殊之用。在F#中,不能用作标识符或类型的名称(后面会讨论“定义类型”)。它们是: abstract and as asr assert begin class default delegate do donedowncast downto elif else end exception extern false finally forfun function if in inherit inline interface internal land lazy letlor lsr lxor match member mod module mutable namespace new nullof open or override private public rec return sig static structthen to true try type upcast use val void when while with yield 保留字是指当前还不是关键字,但被F#保留做将来之用。可以用它们来定义标识符或类型名称,但编译器会报告一个警告。如果你在意程序与未来版本编译器的兼容性,最好不要使用。它们是: atomic break checked component const constraint constructor continue eager event external fixed functor global include method mixinobject parallel process protected pure sealed trait virtual volatile 文字值(Literals) 文字值表示常数值,在构建计算代码块时很有用,F#提供了丰富的文字值集。与C#类似,这些文字值包括了常见的字符串、字符、布尔值、整型数、浮点数等,在此不再赘述,详细信息请查看F#手册。 与C#一样,F#中的字符串常量表示也有两种方式。一是常规字符串(regular string),其中可包含转义字符;二是逐字字符串(verbatim string),其中的(")被看作是常规的字符,而两个双引号作为双引号的转义表示。下面这个简单的例子演示了常见的文字常量表示: let message = "Hello World"r"n!" // 常规字符串let dir = @"C:"FS"FP" // 逐字字符串let bytes = "bytes"B // byte 数组let xA = 0xFFy // sbyte, 16进制表示let xB = 0o777un // unsigned native-sized integer,8进制表示let print x = printfn "%A" xlet main = print message; print dir; print bytes; print xA; print xB; main Printf函数通过F#的反射机制和.NET的ToString方法来解析“%A”模式,适用于任何类型的值,也可以通过F#中的print_any和print_to_string函数来完成类似的功能。值和函数(Values and Functions) 在F#中函数也是值,F#处理它们的语法也是类似的。 let n = 10let add a b = a + blet addFour = add 4let result = addFour n printfn "result = %i" result 可以看到定义值n和函数add的语法很类似,只不过add还有两个参数。对于add来说a + b的值自动作为其返回值,也就是说在F#中我们不需要显式地为函数定义返回值。对于函数addFour来说,它定义在add的基础上,它只向add传递了一个参数,这样对于不同的参数addFour将返回不同的值。考虑数学中的函数概念,F(x, y) = x + y,G(y) = F(4, y),实际上G(y) = 4 + y,G也是一个函数,它接收一个参数,这个地方是不是很类似?这种只向函数传递部分参数的特性称为函数的柯里化(curried function)。 当然对某些函数来说,传递部分参数是无意义的,此时需要强制提供所有参数,可是将参数括起来,将它们转换为元组(tuple)。下面的例子将不能编译通过: let sub(a, b) = a - blet subFour = sub 4 必须为sub提供两个参数,如sub(4, 5),这样就很像C#中的方法调用了。 对于这两种方式来说,前者具有更高的灵活性,一般可优先考虑。 如果函数的计算过程中需要定义一些中间值,我们应当将这些行进行缩进: let halfWay a b = let dif = b - a let mid = dif / 2 mid + a 需要注意的是,缩进时要用空格而不是Tab,如果你不想每次都按几次空格键,可以在VS中设置,将Tab字符自动转换为空格;虽然缩进的字符数没有限制,但一般建议用4个空格。而且此时一定要用在文件开头添加#light指令。作用域(Scope)作用域是编程语言中的一个重要的概念,它表示在何处可以访问(使用)一个标识符或类型。所有标识符,不管是函数还是值,其作用域都从其声明处开始,结束自其所处的代码块。对于一个处于最顶层的标识符而言,一旦为其赋值,它的值就不能修改或重定义了。标识符在定义之后才能使用,这意味着在定义过程中不能使用自身的值。 let defineMessage = let message = "Help me" print_endline message // error 对于在函数内部定义的标识符,一般而言,它们的作用域会到函数的结束处。 但可使用let关键字重定义它们,有时这会很有用,对于某些函数来说,计算过程涉及多个中间值,因为值是不可修改的,所以我们就需要定义多个标识符,这就要求我们去维护这些标识符的名称,其实是没必要的,这时可以使用重定义标识符。但这并不同于可以修改标识符的值。你甚至可以修改标识符的类型,但F#仍能确保类型安全。所谓类型安全,其基本意义是F#会避免对值的错误操作,比如我们不能像对待字符串那样对待整数。这个跟C#也是类似的。 let changeType = let x = 1 let x = "change me" let x = x + 1 print_string x 在本例的函数中,第一行和第二行都没问题,第三行就有问题了,在重定义x的时候,赋给它的值是x + 1,而x是字符串,与1相加在F#中是非法的。 另外,如果在嵌套函数中重定义标识符就更有趣了。 let printMessages = let message = "fun value" printfn "%s" message; let innerFun = let message = "inner fun value" printfn "%s" message innerFun printfn "%s" message printMessages 打印结果: fun value inner fun valuefun value 最后一次不是inner fun value,因为在innerFun仅仅将值重新绑定而不是赋值,其有效范围仅仅在innerFun内部。递归(Recursion)递归是编程中的一个极为重要的概念,它表示函数通过自身进行定义,亦即在定义处调用自身。在FP中常用于表达命令式编程的循环。很多人认为使用递归表示的算法要比循环更易理解。 使用rec关键字进行递归函数的定义。看下面的计算阶乘的函数: let rec factorial x = match x with | x when x < 0 -> failwith "value must be greater than or equal to 0" | 0 -> 1 | x -> x * factorial(x - 1) 这里使用了模式匹配(F#的一个很棒的特性),其C#版本为: public static long Factorial(int n) { if (n < 0) { throw new ArgumentOutOfRangeException("value must be greater than or equal to 0"); } if (n == 0) { return 1; } return n * Factorial (n - 1); } 递归在解决阶乘、Fibonacci数列这样的问题时尤为适合。但使用的时候要当心,可能会写出不能终止的递归。匿名函数(Anonymous Function) 定义函数的时候F#提供了第二种方式:使用关键字fun。有时我们没必要给函数起名,这种函数就是所谓的匿名函数,有时称为lambda函数,这也是C#3.0的一个新特性。比如有的函数仅仅作为一个参数传给另一个函数,通常就不需要起名。在后面的“列表”一节中你会看到这样的例子。除了fun,我们还可以使用function关键字定义匿名函数,它们的区别在于后者可以使用模式匹配(本文后面将做介绍)特性。看下面的例子: let x = (fun x y -> x + y) 1 2let x1 = (function x -> function y -> x + y) 1 2let x2 = (function (x, y) -> x + y) (1, 2) 我们可优先考虑fun,因为它更为紧凑,在F#类库中你能看到很多这样的例子。 注意:本文中的代码均在F# 1.9.4.17版本下编写,在F# CTP 1.9.6.0版本下可能不能通过编译。 F#系列随笔索引页面
-
当我们还在谈“性”变色时,这群高中生拍了一部“小黄片”-sex的英剧在国内悄悄的火了,光是小肯关注的公号里,就发现已经不下十个公号写过这部网剧了。 这是一部由英美合拍的小众网剧,被称为校园版的《X爱大师》,它还有一个很直白的剧名《性爱自修室》。 没错,这是一部从标题就能看出“有点黄”的剧,当然,剧中的大尺度戏份也并不少。 比如第一集开始就出现的大尺度画面,让人非常措手不及了。 但就是这样一部从标题到剧情都很sex的剧,在国内掀起了一股不小的热潮,豆瓣评分高达9.1分,基本上看过这部剧的人都给了好评。 当然,如果这是一部只是在写“性爱”这么肤浅的剧的话,在豆瓣上是绝对达不到这样的高分。其实,《性爱自修室》又名《性教育》,是围绕青少年“性”问题展开的喜剧。 在剧中,你可能会意外的发现,这群高中生在青春期遇到的性问题,尴尬,不被理解的压抑,以及爱的问题,都是那么的真实。 这部剧到底拍的有多好呢? 不少网友在看完这部剧后,提到最多的一句话便是:“这哪里是我们的青春,这是我们羡慕的青春!” 在国内传统思想的影响下,“性教育”一直是我们缺失很久的一门课。 还记得,小时候与父母一起看电视每当看到有亲热戏的部分,父母都会第一时间跳转到另一个频道,而自己也不好意思的移开视线,这大概是和父母最默契的时刻。 在国外,许多孩子的性知识大多来自于父母或者老师。对比国内的小孩,大概许多人对“性”的了解,都来自于某部电影或者小说,而这部分没有父母的参与。 在《性爱自修室》中,男主奥帝斯是名高中生,和众多普通学生一样,在校园里很不显眼,也不被关注。普通的奥帝斯最特殊的地方大概是,他的妈妈是一名性治疗师。 每个小孩大概都问过父母同样的一个问题“我是怎么来的?” 大人都想着小孩子什么都不懂,所以随便找个理由忽悠一下就行,很少有父母愿意真正的向他们的孩子解释“你到底是怎么来到这个世界上的。” 而答案天花乱坠又刚刚好错过最正确的那个,我们听到最多的那个答案大概就是:“你是上天赐给我们的礼物。” 更别说告诉自己的孩子“什么是性爱?” 在剧中,奥帝斯就有这样的经历,大概在他六七岁的时候,他目睹了父亲的出轨,懵懂的他问母亲珍“什么是性”。作为性爱治疗室的珍,用极具学术性的语言为他解决了这个问题:性的意思就是,男性的生殖器官进入女性的生殖器官。