对于局部变量,由于是创建在堆栈上,所以near、far等关键字将不具备任何意义,因为创建在堆栈上的变量的寻址方式就只有一种,即使用sp和bp维护函数堆栈,利用bp+/-一个偏移来寻址函数参数变量和局部变量。这样的寻址方式是固定而唯一的,near和far等关键字都派不上用场,这里的near和far将没有任何的实际含义。
对于使用near、far和huge修饰的全局变量的含义也很容易理解了。near型的全局变量,被分配到了当前的数据段上,寻址这个变量只需要一个 16bits的偏移量,而far型全局变量在寻址时,需要给出段值和偏移量。huge型数组可以使用大于64K的内存空间。
far、near、huge型指针变量之间的相互转换,从小尺寸的指针到大尺寸的指针将进行自动的类型转换,转换方式为加上当前的DS形成32bits的指针。从大尺寸的指针到小尺寸的指针需要进行强制类型转换,转换的结果为只保留低16bits,但是这样俄转换没有实际的意义或
者说用处不大,并且极其容易引入内存访问的错误,所以要严格避免使用。
需要注意的是,near、far、huge三个关键字的使用,还需要内存模式的紧密配合。但并不是说tiny模式下就不能使用near、far、huge三个关键字。tiny模式下同样可以定义如下的指针:
char far *pbuf = 0xA0000000;
并且我能保证这个指针能够绝对正确的工作,对函数、全局变量的修饰也是如此。但是如何正确的工作,如何才是最和合理的方式,请自己思考了。基本的原理我也讲的很清楚,就不再多费唇舌。
Turbo C中,我想最为困惑的就是内存模式了,我也是费了很多时间和精力,通过分析Turbo C的汇编代码的出的以上结论。许多朋友都对此很困惑,所以这部分重点讲了下,和大家分享。
如有不正确之处,请不吝赐教,旨在抛砖引玉。tcc编译汇编代码的方法为:
tcc -c -mt -S filename.c,
-c 指明compile only,-mx用于指定内存模式,-S指明生成汇编代码,如果大家有兴趣可以尝试使用这个方法分析tcc编译结果的汇编代码,从而更加深刻的理解C与汇编的关系。
当我们在编写、制作并向用户提供自己的库文件时,也需要注意内存模式的匹配,否则在进行链接时会存在问题。一个较为简单的方法就是向用户提供全套内存模式的库文件,这也是Turbo C的ANSI C库的做法,前文已经提到。如果不想提供多个内存模式的库文件,可以对程序中每个函数、全局变量和指针变量进行显式的类型声明,以精确定义每个变量的类型。
关于TC中各种编译工具的使用方法,可以直接参考其帮助,并且许多参考文档都有说明,这里我就不再详