作者:hotplum 长篇连载...
突然发现偶是越来越喜欢这里了!(虽然来这里的雷锋大多是搞web开发的....)
   雷锋,虽然是有目的的宣传为主塑造的形象,但那个以奉献为荣的时代奠定了我们今天舒适的生活条件!
我们需要互助,我们也需要开放!


     做了近9年的程序员,确切的说是一个应用软件程序员,一个win32 应用软件程序员.
虽然使用过VC等工具,但对于c语言从来没有过系统学习.以前学习c++也是为了更好的理解OO,学习ATL是为了学习Com.偶然的机会看到了20年前的"历史"书- <<C语言程序设计>>第二版中文版.很薄的一本书,很快就读完了.由于近来在web开发中接触了Javascript,对计算机语言又有了更深的理解.之所以把自己的学习所得记录下来,一来是因为记忆力衰退,二来也给那些后来的同仁一点或许用的着的参考资料!
"男怕入错行,女怕嫁错郎". 是说一旦做出选择,时间长了,重新选择的成本非常之高!
如果还有机会,你会选择做程序员吗?会吗?不会吗?

先开个头,慢慢道来:

c语言



1 c语言的三个标准: (方言)

    传统c语言 73年发明后的 K&R写的c成为事实标准

   C90  ANSI 90年 规范的C标准 (大多数编译器都支持)

    C99  ANSI 99年 目前最新的c标准

[ 本帖最后由 hotplum 于 2008-2-22 11:50 编辑 ]

2 计算机语言

计算机语言最终要在其宿主环境中运行,编译语言(是指那些需要首先编译为本地汇编语言的语言,包括c/c++,pascal/delphi,VB等等)的宿主一般为 操作系统(或者直接运行在计算机硬件上面) ,最终运行在计算机上面的都是机器指令. 任何一种语言其实至少包括两个方面,语言本身和其可以调用的库.

    库是依赖宿主环境的许多功能的现成实现,汇编语言可以调用的库就是操作系统提供的系统调用了,在linux上是内核提供的系统调用,32位 windows上面是

  内核提供win32 api,而c语言的库是利用系统调用实现的统一的接口或者处理其他操作的  已经实现的接口,对于现在的语言来说,库(面向对象的语言就是类库)是

  语言最重要的部分,而语言本身是很小一部分了,比如Java的JDK,C#/VB.net等的.net Framework, Delphi/C++builder的VCL,VC++的MFC/ATL等等,c语言的库就是标准c库stdlib

      另外对于C#和java,他们的宿主与编译语言的宿主不同,他们会首先编译为一种中间语言(字节码,不是汇编语言),而字节码的宿主是运行他们的虚拟机.

      解释语言(或者叫动态语言,脚本语言)就更不同,他们的宿主为某一环境,比如Javascript的宿主可以是浏览器,web服务器等等可以解释运行javascript的地方,perl有自己的运行环境等等 ,解释语言的库一方面可以通过语言本身提供(javascript有许多为了实现某些功能的框架库,还有许多语言本身的扩展库),一方面可以通过宿主提供调用外部接口的库!



   目前流行的语言体系来说,静态语言的纯语言特性发展大部分是以c为基础的,如c++,c#,java等等动态语言的特性许多源于unix早期的shell(其实shell也是一种语言,宿主就是解析shell的程序, 比如linux上的bash,dos下的command,windows2008推出了自己的powershell).

   当然还有其他的计算机语言,比如现在比较流行的XML,可以作为一种可扩展的标记语言! 还有正则表达式等等也是计算机语言.



   关于计算机语言的简单总结,也就是说,学一门语言应该学什么?



   看上面的分析我们可以看到三个部分: (1)纯语言特性(2)库(3)语言的宿主

   对于现代的任何一门计算机语言,纯语言特性应该能在1周的时间就能掌握!(接下来我会以c语言为例说明,大家看看K&R也会发现,c语言的书竟然很薄),库和语言的宿主其实有很大的关联

   ,因为许多时候库是提供了一种访问宿主的途径,比如c语言的标准IO库等等,有些时候是语言自身的处理,比如字符串操作库,其他的类库也一样.如果是基础的学习,c语言是第一选择,

   (语言本身也一样)因为许多语言都是类c的(类似c).包括javascript,php等等脚本语言.

   Linux和GCC是最佳的宿主和库学习途径,原因更简单--开源.在你遇到任何不清楚的地方时,都可以直接看他的实现,也就是源代码.另外一点,就是Linux秉承了Unix的文化KISS

   (Keep It Simple ,Stupid),许多的东西实现的都很简单(所以容易学习),蠢(不喜欢搞技巧,所以容易理解).

   对于宿主的学习可能是需要长时间投入经历的,但回报是可观的,计算机软硬件不断的更新,变化,但基本的体系结构变化很慢.对于编译语言的宿主--计算机系统,我看到一本不错的

   书:CSAPP(深入理解计算机系统),关于库,除了学习宿主需要外,最好是结合应用(呵呵,我是一个应用软件程序员),开发什么样的应用,尽量使用熟悉的擅长此类应用的语言和工具,

   这个时候再系统的掌握这种语言的库就可以,不过我们会发现,随着对宿主(主要只计算机系统)的理解逐渐的深入,学习语言和库的能力会越来越强.此所谓事半功倍.

   另外,学习库的最好资料就是发布库程序的官方文档,当然如果有源代码就是最好的资料的! 学习计算机系统的好帮手就在你身边,就是你身边的计算机.呵呵,我在大学参加计算机培训

   时听到老师最多的一句话就是"上机试试,我说的不一定对";

[ 本帖最后由 hotplum 于 2008-2-1 09:20 编辑 ]

看了以后,很受启发

3. c语言的语言特性

(一) 概况



     看看hello,world程序



     #include <stdio.h>



     int main(int argc, char *argv[])

     {

       printf("Hello,World!\n");

       return 0;

     }



     这是著名的Helloworld程序,最早在K&R上出现,经典语言入门程序.他已经包括了上面说过的三个部分:语言本身,库和宿主

     hello程序调用了标准IO库的printf函数,printf函数最终调用宿主的功能把Hello,World!打印到显示器或其他设备上(那是宿主决定的,我们先不管)



     先看看计算机语言应该有什么基本的特性:



     语法



     语句



     关键字



     保留字



     运算符



     数据对象



   

     语法比如语句后要有分号.复合语句要用大括号等等

     语句是构成一条语法结构的合法表达.比如 a = b; 是一条语句  a =  就不是; 还有函数调用等等,相对于表达式,语句是没有值的(结果);

     关键字 比如for if return 等等

     保留字 是现在未实现,将来也许要实现的语言特性关键字

     运算符是数据对象运算的规则(计算机运算不同于数学运算,哈哈,需要看看宿主的知识了),数据对象和运算符等构成了一个表达式(表达式的处理结果仍然是一个数据对象)



     数据对象数据结构的核心,体现了信息的表示和处理的核心,数据对象是信息的表示.

这个是重点概念.



     了解c语言的语法可以参看K&R第二版(c90)附录A,或者直接看最新的c99,<<c语言参考手册>>(包含c99).

冯.诺依曼 体系中

程序=算法+数据结构



C语言程序非常简单,整个c程序都可以看成两部分,函数和外部变量(c语言的概念,就是我上面说的数据对象).另外宏是个编译器特性,暂且不提.

(二) 数据对象

所以我们先来说说这个数据对象,数据对象大概包含一下特征.

(1)    属性

数据对象包含哪些属性?

名称

值

类型

长度(尺寸)

内存占用

还有吗?.



我这里不按照数据对象是常量,变量还是数据类型(typedef 关键词定义 pascal 中用 type定义,数据类型暂不考虑,她只有名称和类型,像是类型的代号),我也搞不清常量和变量的确切定义(依据编译后机器语言的处理形式?比如说常量不占用内存,比方立即数,立即数是编码在代码中的,浮点数又有区别,立即数故名思意,当时有效,过后无效了,也就是没有生存期,作用域也是一个点),其实似乎搞清楚也没有什么太大用处.通常我们都是通过对象(数据对象简称对象吧)名称访问对象的值,但是立即数没有名称,还有一种比如通过手动分配内存(如malloc 函数)的变量也没有名称,需要通过间接引用访问其值.

对象的值是根据对象类型做出的解释,当然一般值都有内存占用,内存占用的空间就是其类型的长度(尺寸),当然实际尺寸和宿主有关,我们不用考虑,姑且认为char占用一个字节(8bit).不同长度(尺寸)的对象类型肯定不同,相同长度(尺寸)的对象类型也可能不同,比如 long(认为是4个字节) 和float.

C语言基本数据类型非常简单(其实,计算机的数据原本就简单,都是二进制表示的数),依据计算机处理的不同就两种类型 整型和浮点型!

  整型根据长度和有无符号表示的不同分为一下几种类型


unsigned char
8位
无符号char

unsigned short int
一般位16位
无符号 int

unsigned long int
一般为32位
无符号 long

unsigned int
根据计算机字长,32位机是32位
无符号 int

signed char
8位
符号char

signed short int
一般位16位
符号 int

signed long int
一般为32位
符号 long

signed int
根据计算机字长,32位机是32位
符号 int


long 和short 修饰int时 int可以省略

另外c99支持long long 用来表示64位整型.(其实在64位机器上int就是64位,c设计者为了编译器的效率没有规定各种类型必须的长度,只是说short不长于int,int不长于long,所以有可能short=int=long,由编译器决定长度对程序性能来讲是有很大优势的)



无符号整型比较简单就是2的n次幂 -1  最大可以表示2的n次幂个数(n是位长)

有符号整型采用二进制补码格式表示!



浮点类型 采用IEEE格式

根据长度分为 float (32位) double (64位) 还有IA32CPU体系上的long double (80位)



由基本数据类型可以组成复合数据类型,比如

数组:有若干个相同数据类型组成(基本数据类型或复合数据类型,比如二维数组其实是两个一维数组组成)

记录借用pascal的称呼,因为”结构”有数据结构的意思)有若干个不同数据类型.

联合:和记录一样只是组成元素基于相同的偏移开始(其实知道内存结构,数据类型就跟清楚了)

枚举 只是一种整型常量的表示方式,不是真正的类型.

最后一个有意思的类型是指针(pointer),指针是一种对内存占用(上面说过)的间接引用.其实指针不能算作一种数据类型(函数指针是引用函数的入口地址,先不讨论),指针其实就是汇编语言中的间接寻址. 看看一个指针的定义:

int *pSize;

所有指针变量占用的内存长度都一样(一般位字长,32体系中是32位),指针变量的值是一个整型(尺寸是字长),她表示一个地址,而这个地址存放的是一个数据对象.所以我们说指针的类型其实是地址存放数据对象的类型,我们在定义时候说明的,比如上面说明pSize变量中存放的地址(pSize的值)处为一个int型的数据对象.如此而已.没有类型的指针只能传递,不能操作的比如void *;

指针的设计是c语言的灵魂,但也是把双刃剑!除了指针存放数据对象的地址这一特性,还有就是编译器提供的指针运算为指针的使用提供了广泛的用途!

先看一个例子:

比如++运算对于指针来讲是什么意思呢? 对于一个整型

int a = 10;

int b=a++;   //b =11

a++表达式求值结果还是一个整型的数据对象.

上面的pSize 一样

int *pNext=pSize++;

pSize++表达式求值结果还是一个整型指针(地址),但这个地址是多少呢?

c语言是这样定的:pNext的地址是pSize地址+int数据类型的长度(比如4个字节,记住,字节是cpu处理地址的原子单位)

[图片]

对于数组

char str[]=”hello,world”;

str是一个char数组长度初始化为”hello,world”的长度12,字符11一个’\ 0’.

char *pStr = &str[0];

利用指针运算,比如 *(pStr+4) 和 str[4] 是一样的!

pStr+4意味着第0个字符地址+4个字节后的地址,这个地址上的值(类型是char已经说明).

简单总结一下指针的运算

a 指针与相同类型指针的赋值和比较(一般指针在同一个数组中比较有意义).

b 将指针赋值为0,以及指针与0 的比较运算(将指针赋值为空,以及判断指针是否为空)

c 指针与整数之间的加减运算(相当于地址向后或向前移动sizeof(指针类型)字节).

d 两个指针的减法(一般在同一个数组中有意义)





打住….



(2)    作用域



其实应该先说生存期.不过这两个概念在任何语言中都是有的.作用域其实是一个编译时期的概念. 作用域与数据对象的声明有关系:

先说说代码块,作用域的空间(生存期是时间特性,哈哈难以避免的时空).

c语言的代码块(为了简单不考虑#include情况了,其实#include是在预编译时将引用的代码展开在文件处,所以按源文件考虑是一样的.一般c语言的声明在.h文件中,后来的语言为了避免引用的命名冲突,使用了namespace).



一个源文件是最大的代码块(其实整个程序是最大的代码块),包含在里面的函数是一层代码块,函数内部包含

{  }的语句也是代码块. 小的代码块总是被大的代码块包含.代码块中包含的代码块我们暂且成为子代码块.

C语言(后来的标准)允许在任何位置声明变量(数据对象).

理解了代码块就理解作用域了.

作用域范围就是从声明开始之后的代码块中,包含子代码块.这里说的是声明,不是定义.

函数的局部变量定义就是声明.声明外部变量用关键字extern



比如:

void print(void)

int main(int argc,char *argv[])

{

  if (argc>2)

  {

       extern a;

       printf("%d\n",a);

  }

  //int b = a; //这里不属于a的作用域

  print();

  return 0;

}



int a =100;  //定义在这里 这以后默认声明了 ,所以下面的子代码块中都是可见的

void print(void)

{

  printf("%d\n",a);

}



如果是定义在另外一个文件中的外部变量(哈哈,函数都是外部的),我们能不能可见呢?

先看看生存期.()

[ 本帖最后由 hotplum 于 2008-2-3 22:27 编辑 ]

(3)    生存期

c语言数据对象的生存期 分为三种:

外部变量: 生存期由编译器和操作系统决定,一般来说生存期从定义开始到程序结束为止.

内部变量(c语言也叫auto,另外寄存器变量就不考虑了),一般在函数内部(函数的子代码块中的定义的变量也一样)从定义开始(其实是函数开始),到函数结束为止.

动态创建的数据对象只是那些比如通过malloc调用得到的内存块上的数据对象,生存期靠程序员决定(不错,给程序员很大的发挥空间,不过是把”双刃剑”,以至于java不允许干这个事情).



另外注意一个关键字 static

如果是外部变量static修饰限制了这个外部变量的作用域,只能在本文件中使用.

如果是内部变量static ,改变了这个变量的生存期(类似一个外部变量).

当然函数也是外部的,如果用 static修饰,也是改变了这个函数的作用域,只能在本文件中使用.

没有static修饰的外部变量其实作用域可以是整个程序.

另外c引入c++的const关键字只是说明该变量的只读特性.仅此而已.







复杂类型的定义与声明



数组   数组定义时必须指明长度: int  arrCount[10];

      如果定义时之间初始化,则可以不指明长度,使用初始化常量中的长度.

         Int arrCount[]={1,2};

声明时不需要指定长度,如果指定的长度和定义的不符则运行出错(一般编译器不检查此类错误)  extern b[];

记录

首先定义一个记录类型(是一种数据类型)

struct String

{

  int len;

  char *str;

};

  

   根据类型定义记录数据对象

   struct String str;

   或者同时定义数据类型和数据对象

struct String

{

   int len;

  char *str;

}str;



作为外部变量声明时 需要指明数据类型

extern String str;

另外数组在参数传递和返回时的表现和记录不同!在下面的函数和程序结构探讨; 先说点别的.



哈哈,似乎我漏掉了最常用的一种数据类型: 字符串.

在c语言中字符串不是语言的内建类型,或者说c语言没有对字符串内建支持(pascal/Delphi等对字符串提供了内建支持),对于编译语言,语言的内建支持其实就是编译器的支持(Delphi的AnsiString的实现非常巧妙,既有效率,使用又简单,但缺点也是明显的其中之一就是如果不了解编译器的实现原理,一旦出现问题,会让程序员不知所措,或许也是c语言没有内置字符串支持的原因).

先说说字符,字符就是整型,根据不同的编码标准得到不同的字符集比如单字节的ASCII编码(其实是7位编码),双字节的unicode编码,还有许多编码标准,目前在网络应用比较广泛的是utf-8编码(不固定字节长度,但在0-127之间的编码兼容ASCII).对于ASCII编码,c语言是内置支持的,比如 char  a = ‘a’;   变量a中存放的其实是97.字符编码就是某种字符由哪个整型数表示.

字符串在c中就是字符数组.我们常说的以0 结尾的字符数组.而真正赋予这种”数据类型”字面含义的是操作字符串的库函数(在string.h中定义),所以使用c语言开发的同学会抱怨,简单的字符串相加都要调用函数实现.

如果这样岂不更好(c里面没有string  可以typedef……)

stirng a = “hello,”;

string b = “world”;

string c= a +b; // c为”hello,world”

很多其他语言就是这样的!比如c++ (c++使用运算符重载这种”高深”的特性,除了浪费开发者的脑力,不知道还有什么好处).

其实作为一个复合类型,赋值运算,相加运算都有他特定的含义.在c中典型的

char str[]=”hello,world”;

str其实是这样的,字符数组赋初值是编译器实现的(打住,如果有空一定要修炼计算机原理方面的知识…)

h
e
l
l
o
,
w
o
r
l
d
\0




当然 string c = a + b 这种语法也需要编译器去实现.c语言其实可以自己编写string的实现(没有编译器支持,只能是靠函数了…)

下面可以看看delphi编译器(Delphi 7)实现的ansistring, 看上去大概是这样的:

struct String

{

  long refcount;  //在-8偏移处存放引用计数

  long length;    //在-4偏移处存放字符串长度

  char *str;       //与0结尾的字符串兼容

};

这样几乎解决了0结尾字符串的所有缺点.

引用计数和编译器的Copy On Write 使字符串一方面可以动态创建(随意变换长度),又减少了赋值次数.-4偏移的字符串长度可以方便的得到串长(因为许多字符串操作依赖字符串长度,0结尾的字符串需要遍历字符串得到长度),另外0结尾的字符串不能存放字符’\0’,ansiString就可以.最后字符串实际内容存放着0结尾的字符串,兼容了c的这种字符串形式. 不过AnsiString需要编译器做许多工作实现生存期自管理和Copy On Write 等功能,高级的字符串操作需要我们了解编译器的行为.

如果喜欢,我们也可以用c实现字节的字符串格式和相应的操作函数.

语言的数据对象是核心内容,但根本上依赖计算机原理,所以随着对计算机系统的深入,了解的也越透彻,看问题反而越简单.深奥的原理其实往往是简单并且美的.

[ 本帖最后由 hotplum 于 2008-2-3 22:26 编辑 ]

好帖...期待续集

引用:

原帖由 88424758 于 2008-2-3 15:41 发表
好帖...期待续集

欢迎讨论!我对c语言其实还是比较陌生的(虽然做过不少软件和项目,但使用c/c++语言很少)!
虽然喜欢linux ,喜欢GCC,但都是业余爱好,平时都是使用微软平台上开发!
对于刚刚学习软件的同学,linux,gcc开始的学习应该是最有希望有所收获的!

现在，我很难静下心去学C语言呀！

1.函数
函数调用非常依赖编译实现,函数的参数和返回值一般存放在线程堆栈中.
对于c语言,函数都是外部的!(函数中不能包含函数)
重要的一条,函数的参数传递统一为值传递
这一点很重要!
一般来说,在调用一个函数时,参数是放在栈里的(有时候编译器会把参数放到寄存器中,不影响我们讨论),值传递的意思是,编译器会将传递给函数的参数(我这里不打算引入形参和实参的概念,其实或许无助于理解)的值赋值到栈中,这样的处理会使编译简单,也使程序员容易理解.
int AddTen(int aNum)
{
  return aNum + 10;
}
int a =100;
int main()
{
  int b =AddTen(a);
return 0;
}
调用函数AddTen 时 变量a的值 100 被赋值到栈中,也就是在函数AddTen中 aNum是一个局部变量,值是100.
传值的缺点是明显的,如果参数尺寸很大,则复制会影响性能,而且大多数复制是没有必要的!
另外,如果一个函数有多个返回值怎么办?
有经验的C程序员在传递尺寸大的参数或者需要多个返回值时,会采用传递指针的方法:
比如上面定义的struct String
int getStringLen(struct String *str);

需要注意的一个问题是数组,在c语言中,数组名其实就是数组第一个元素的地址!
数组名作为参数传递,在函数的局部变量中引用的是一个地址,其实该局部变量就是一个指针.
比如 int a[]={1,2,3,4,5};
对a的引用其实是相当于&a[0];仅仅如此而已;
比如函数
int sum(int a[],int aLen)
{
  int result = 0;
  for (int i=0 ;i<aLen;i++)
  {
    result +=a
}
return result;
}

调用是这样的  int total = sum(a,5);
对于一个数组,知道其元素类型(int),第一个元素地址&a[0],还有数组长度(5),就能完全操作一个数组了,结合前面讨论的指针的运算特性,就可以用指针方便的操作数组了.

2 程序结构
先简单的说说程序的控制流,
一个程序的运行只有三种控制流:
顺序
选择
循环

其实,只要有if 和goto (汇编里的jmp),就可以实现上面的三种程序控制流.
C语言里表示选择的除了if else 语句 还有 switch case 语句
循环也只有 while for 和 do while 三种语句.(break 和 continue 只是限制性的goto)
因为简单所以K&R中也只是讲了10页的内容

由于c语言是严格的将声明和定义分开的,甚至使用.h来表示声明(不是绝对的),.c文件表示定义.但这样做的优点是明显的.尤其是对于编译器来说.
Pascal程序虽然没有明显的区分.h和.c两个文件中,但也通过一个文件中interface和implementation关键字来区分.
一个c程序,就是若干.h的头文件(声明文件)和若干个.c的文件(定义文件)里包含若干个函数和外部变量.就是这样简单.

[ 本帖最后由 hotplum 于 2008-2-16 13:53 编辑 ]