问题:

在读K&R版的The C Programming Language一书时,我在[介绍,第3页]看到这样一条说明:

因为C语言提供的数据类型和控制结构可以直接被大部分计算机系统所支持,所以在实现自包含程序时所需要的运行库文件一般很小。

这段黑体说明了什么?能否找到一个例子来说明C语言中的某种数据类型或控制结构不被某种计算机系统直接支持呢?

回答:

事实上,C语言中确实有不被直接支持的数据类型。

在许多嵌入式系统中,硬件上并没有浮点运算单元。因此,如果你写出下面的代码:

float x = 1.0f, y = 2.0f;
return x + y;

可能会被转化成下面这种形式:

unsigned x = 0x3f800000, y = 0x40000000;
return _float_add(x, y);

然后编译器或标准库必须提供'floatadd()'的具体实现,这会占用嵌入式系统的内存空间。依此去计算代码在某个微型系统(译者注:也就是指微型嵌入式系统)的实际字节数,也会发现有所增加。

另一个常见的例子是64位整型数(C语言标准中'long long'类型是1999年之后才出现的),这种类型在32位系统上也不能直接使用。古董级的SPARC系统则不支持整型乘法,所以在运行时必须提供乘法的实现。当然,还有一些其它例子。

其它语言

相比起来,其它编程语言有更加复杂的基本类型。

比如,Lisp中的symbol需要大量的运行时实现支持,就像Lua中的table、Python中的string、Fortran中的array,等等。在C语言中等价的类型通常要么不属于标准库(C语言没有标准symbol或table),要么更加简单,而且并不需要那么多的运行时支持(C语言中的array基本上就是指针,以NULL结尾的字符串实现起来也很简单)。

控制结构

异常处理是C语言中没有的一种控制结构。非局部的退出只有'setjmp()'和'longjmp()'两种,只能提供保存和恢复某些部分的处理器状态。相比之下,C++运行时环境必须先遍历函数调用栈,然后调用析构函数和异常处理函数。


via:stackoverflow

作者:Dietrich Epp 译者:KayGuoWhu 校对:wxy

本文由 LCTT 原创翻译,Linux中国 荣誉推出

已有 10 条评论

  1. 一个原生用来写OS的语言如果数据类型都不直接支持那是何等的蛋疼啊 —— 微博评论 发表。
  2. 嵌入式C语言有一堆不支持的数据类型和标准库。C语言表示只要给我指针和数组我就可以撬动操作系统。 —— 微博评论 发表。
  3. 回复@第一百零九将改名字改名字: 指针+数组, 怎么实现结构体? —— 微博评论 发表。
  4. 转一个 —— 微博评论 发表。
  5. 同意 —— 崖山一劫 发表。
  6. @我的印象笔记 —— 微博评论 发表。
  7. 回复@breakersunsl:在数组内自己维护类型块,写过汇编没? —— 微博评论 发表。
  8. 回复@第一百零九将改名字改名字:汇编有指令可以维护内存区块,纯c的实现没见过. —— 微博评论 发表。
  9. 回复@breakersunsl:没说要实现,只是说有指针和数组能实现。用汇编操作java类对象见过没![害羞] —— 微博评论 发表。
  10. 回复@第一百零九将改名字改名字:x86汇编可以引用java对象吗?我查查去[思考]... 利用指针和数组两种基本类型, 的确可以组合出来很多数据类型,各种内存操作啊...想想就蛋疼[doge],这恐怕也是c的强大所在吧[思考] —— 微博评论 发表。

添加新评论