回 帖 发 新 帖 刷新版面

主题:[原创]C语言的抽象与函数指针

[center][size=6]C语言的抽象与函数指针[/size][/center]
说明:本文的程序都是一些片段,并且使用了C99的语法,如果想运行这些片段,请把它们补充完整,并且使支持C99语法的编译器编译,如GCC或者Lcc-Win。

一、何为抽象?

  从小到大,我们接触到的抽象,最熟悉的莫过于数学了。为什么这样说呢?

  比如说,在小学的时候,老师总是拿了几个苹果来引诱我们:同学们,这里有几个苹果啊?于是我们流着口水一个个地数,一个苹果,两个苹果,三个苹果,然后说三个苹果!第二回,老师又拿了三只葡萄来引诱我们:同学们,这里有几只葡萄啊?于是我们又一只只数过来:一只葡萄二只葡萄三只葡萄,三只葡萄!第三天,老师又拿了三颗糖果来问我们:同学们,这里有几颗糖果啊?我们又数开了:一颗糖果,两颗糖果,三颗糖果!回答:三颗糖果。
  每一次老师拿了不同的东西来的时候,我们都要从头到尾数一次:一个苹果,两个苹果,三个苹果……

  稍稍长大了一些后,老师再拿了三个雪梨来问我们:同学们,这里有几个雪梨啊?这回我们学精了,不用一个雪梨二个雪梨地数,我们直接数:一二三,一共三个。
  
  请注意到最后一次数雪梨的时候,我们不是数多少个雪梨,我们只是在数一二三,并没有说一个雪梨二个雪梨三个雪梨,换句话说,我们并不是在数讲台上的雪梨,我们只是在数一二三。而得出来结果却是正确的。为什么呢?

    我们来分析一下。每次老师叫我们数的东西都是不同的,苹果,葡萄,糖果,雪梨。它们之间好像没有什么关系。而每次我们都能得出一个相同的结果:三。

  这个“三”是何方神圣,能把这几堆风马牛不相及的东西联系起来?这几堆东西之间有什么共性是隐藏在它们各不相同的是外表之下的呢?

  答案大家都知道了,这个共性就是“数量”,这几堆东西的数量,是它们唯一相同的地方。而这个“三”,就是用来刻划这一个共性——数量的。这几堆东西的数量是相同的,因此,这个“三”也就同时刻划了这三堆东西的数量这个共性。
  
  这个例子很简单,道理也很明显,但是却是我们在数学上所做的第一次抽象!

  至此,我们不妨这样诠释抽象的含义:抽象就是对某类事物的共同特征的刻划。

  什么叫“共同特征”?在上面的例子中,“数量为三”就是那四堆东西的共同特征,把它抽象出来,就是一个“三”。当我们认识了一个苹果后,以后再看到苹果,就知道它是苹果,因为这两个苹果有共同的特征,我们把它抽象出来,形成一个“苹果”的概念,以后再遇到苹果,把这个实在的苹果跟抽象后的“苹果”一对照,就能知道那个是不是真的苹果。抽象的威力就是,把事物的共同特征刻划出来之后,就能把它应用到这一类事物中,而不必去对付这一类事物的具体的个体了。

  把这个“三”抽象出来后,我们数苹果就方便多了,我们只需要数“一二三”,然后在结果后面接上苹果葡萄糖果雪梨后,我们就知道那里有三个苹果三个葡萄三颗糖果三个雪梨。

  请注意把“三”抽象出来前后,我们数苹果方法的变化。而抽象之前,我们是对着一个苹果一个苹果地数,数完后一个葡萄一个葡萄地数,数苹果的方法不能用在葡萄上,而数葡萄的方法不能用在数苹果上。每数一样东西,我们就要学习一种数数的方法,多不方便。

  而我们把“三”抽象出来后,我们数苹果的方法就成了数“一二三”,结果后面接上“个苹果”,数葡萄的方法就成了数“一二三”,结果后面接上“个葡萄”,数苹果的方法稍作修改就可以应用到数葡萄上。我们只学会了一种数数方法,却可以用它来数各种各样的东西,包括香蕉,椰子,桔子等等等等的东西,这就是抽象的威力。

    同时,对这个“三”我们也可以发出这样的疑问:这个“三”是什么?这个“三”是那几堆东西各自的数量吗?不是,它不是那几堆东西各自的数量,它只是一个汉字,一个代号,3也可以叫“三”,III也可以叫“三”。把这个数量拿走以后,“三”,又是什么?(武林外传看多了……)

  其实,“三”的确也不是什么,它只是一个刻划,在世界上找不到任何一个具体的东西可以直接对应到“三”的。我们运算的只是一个抽象的东西,得出一个抽象的结果,再把这个抽象的结果重新映射到具体的事物中去。我们处理事物的方法和具体的事物分离开来了!

  小学里我们学习的抽象,主要是把数量抽象出来,并用具体数字来表现它们。对这些具体数字的运算,就代表了对这些具体的个体的运算。因此,小学的数学又叫“算术”,它是对具体的数进行“运算”的“技术”。而到了初中,我们学会了用变量来代替数字,从而把某一类运算抽象出来。

  比如说求长方形的面积。在小学的时候,我们只会求那些长宽都是给定的“具体的”(这里这个“具体的”意思不是说它们可以在世界上找到对应物,什么意思?观众自己琢磨去吧,呵呵)数的长方形的面积,而上初中后,我们学会了用字母来表示数字,于是我们学会了任何一个长方形的面积,学会了用S=ab来表示一个长方形的面积。

  再比如说说路程的长度。小学的时候,我们只会求速度与时间都是给定的“具体的”数的那种运动的路长度,而初中的时候,我们就学会了用S=vt来表示各种各样的运动的路程长度。

  这又是一次进步!我们在已经抽象过的数字上面又进行了一次抽象。这次抽象中,我们看到了,其实求长方形的面积跟求路程的长度,本质上是一样的!于是我们又“无师自通”地学会那种具有“结果与两个变量成正比例”的特征的问题的解法,把这个“结果与两个变量成正比例”的特征抽象出来,就是S=ab这个等式。

  中学的时候遇到的时候抽象,主要是用字母来代替数字,从而把数量之间的关系与具体的数字分离开来,这种数量之间的关系,就是数学中的“函数”了。中学的数字又叫“代数”。

  上到大学,我们学到的数学,则是更高层次的抽象。大学的数学叫“数学分析”,是研究函数之间的关系,用f(x)来代表一个函数,正是对各种函数之间的共同特征的刻划。

  比如说,一个有界函数函数在某个有限区间上是否可积,就要看它在这个有限区间上是否处处连续。具体这个函数是什么,我们不用理会。只要它满足这个条件,那它就是可积的。

  上面说了一堆,就是要说明,抽象的威力,就是在于让我们可以专心处理某类事件的共同特征本身,而不用关系具体的个体。

二、C语言中的抽象

  通过上面的分析,我们知道了抽象的威力。而对于一个程序语言来说,它的能力大小取决于它对具体事物的抽象能力。一种语言抽象的能力越大,它能对事物的描述就越本质。

  有些观众可能会觉得,上面所说的抽象,好像跟程序设计中的某些原则有些类似。其实这很正常,程序设计本来就是从数学中来的,数学中的某些思想能在程序设计中得到体现也不奇怪。只是可能某种思想在某些语言中体现得比较明显面而另一些思想则体现在其它语言罢了。

  而在C语言中,也具有三个层次的抽象能力,正好与上面所说的三个抽象层次相对应。

  其一,在C语言中存在各种数据类型,可以对现实中的数量进行映射。这是第一个层次的抽象。如果没有这个抽象能力,那基本上这个语言就没有什么用了。一个例子是HTML,这个语言实际上不算编程语言,因为单靠它自己,连1+1都不能计算。因为它缺少表示数字的机制。它只能用于标记,属于一个标记符号。

  其二,在C语言中可以定义函数,与代数中的函数有类似之处。可以让我们以相同的方法处理那些具有相同逻辑特征的运算。

  比如说,我们要计算1,9,10,111的平方,我们当然可以这样写:
#include <stdio.h>

int main(void)
{
    printf("%d\n", 1 * 1);
    printf("%d\n", 9 * 9);
    printf("%d\n", 10 * 10);
    printf("%d\n", 111 * 111);
    
    return 0;
}
但是这样写,并没有把“平方”这个共同的概念表示出来,于是我们在学习了C语言中的函数后,我们会把x * x这个模式抽象出来,把程序写成下面的样子:
#include <stdio.h>

int square(int x)
{
    return x * x ;
}

int main(void)
{
    printf("%d\n", square(1));
    printf("%d\n", square(9));
    printf("%d\n", square(10));
    printf("%d\n", square(111));
    
    return 0;
}
或者更简单的:
#include <stdio.h>

int square(int x)
{
    return x * x ;
}

int print_int_square(int x)
{
    return printf("%d\n", square(x));
}

int main(void)
{
    print_int_square(1);
    print_int_square(9);
    print_int_square(10);
    print_int_square(111);
    
    return 0;
}
  在第一个程序中,我们直接运算了1,9,10,111的平方,把它们打印出来。在第二个程序中,我们把这个“平方运算”抽象成函数square(),这下,我们不仅可以计算1,9,10,111的平方了,还可以计算任何一个整型数的平方。换句话说,square()不理会这个数是什么,只要求它是个整型数。在第三个程序中,我们是把打印语句也放在一个函数中,不过这并没有什么本质的不同。

  其三,C语言中一个非常重要的特性,让它具有刻划第三个抽象层次的能力,这就是函数指针。

  回头看上面第三个程序,我们为什么一定要让它打印一个数的平方呢?要是能让它在调用的时候再决定打印什么这不是更好吗?这个函数不是更通用吗?

  于是我们写出第三个程序:
#include <stdio.h>

typedef int(*F_T)(int);

int square(int x)
{
    return x * x ;
}

int print_int_fun(int x, F_T fun)
{
    return printf("%d\n", fun(x));
}

int main(void)
{
    print_int_fun(1, square);
    print_int_fun(9, square);
    print_int_fun(10, square);
    print_int_fun(111, square);
    
    return 0;
}

  现在,print_int_fun()不关心这个数是什么,也不关心打印这个数的什么“亲戚朋友”了。它只管打印。

  

  我们现在可以定义一个函数来计算一个整型数的立方,并且把它传递给这个print_int_fun(),就可以打印出这个数的立方了。

  换句话说,print_int_fun()不仅处理变量,同时也处理函数,它具备了第三层抽象的能力。

回复列表 (共64个回复)

51 楼

杰杰的数学的确牛B

52 楼


[em1][em1][em1]
的却不错

53 楼

嗯看了后 有收获!!!

54 楼

呵呵 
我是菜鸟 对指针不是很明白,正在研究 c与指针 这本书

55 楼

看不懂....郁闷ing.......收藏起来慢慢看哈.
up到天亮!!

56 楼

在main函数中用不用return差不多吧

57 楼

[quote]在main函数中用不用return差不多吧
[/quote]
加了returen遵循C99标准,不加就不遵循。
自己看着办。

58 楼

昨天写了一个关于函数指针的帖子,sarrow看了马上要我过来看,嘿嘿,比我的那些简陋的东西好多了,顶起!!
    这样的帖子就该加精!!

59 楼


刚加入这个论坛,你写得太好了,让我受益匪浅  ,支持支持!!!

60 楼

“抽象”这个说法我同意
但例子举得似乎不够很好

T* map(T (*fun)(T), T arr[], int len)
{
    for (int i = 0; i < len; ++i)
    {
        arr[i] = fun(arr[i]);
    }
    
    return arr;
}
中的 return arr;是毫无必要的
如果是一种个人喜爱的风格,那另当别论

我来回复

您尚未登录,请登录后再回复。点此登录或注册