可变目标C编译器 第4章 类型
C程序中具有丰富的数据类型，包括声明中显式定义的类型和用做表达式中间类型的导出类型。例如，下面的赋值语句包含3 种不同类型:
int *p, x;
*p = x;
x是一个存放整数的单元的地址，因此x的地址的类型是：指向一个整数的指针。x的值的类型是整型。同样, p的左值的类型是指向一个整数的指针的指针，p的右值的类型是指向一个整数的指针，*p的类型是整数。lcc在编译赋值语句时必须处理所有这些类型。
lcc实现了类型表示和一组该表示之上的函数，本章将对此进行介绍。函数包括创建类型的类型构造函数以及测试类型 的类型断言函数。lcc还必须实现类型检查，确保声明和表达式遵守语言制定的规则。类型检查使用本章介绍的断言函数，详细参见第9章和第11章。
4.1 类型表示
C语言的类型通常用英文的前缀形式描绘，所谓前缀形式，就是指类型操作数在类型操作符之后出现。例如，int *p声明p是一个指向int的指针,就是C类型int*的前缀表示，指针是操作符，int是操作数，同样，char*(*strings)[10]将strings说明为:
一个指针，指向
一个大小为10的数组，每个数组元素是一个
指针，指向
字符
操作数在它们各自的操作符下以阶梯方式缩进。
表示这种前缀类型规范的方法有很多。例如，一些老的C编译器使用位串来表示，类型操作符和基本类型用若干位编码。位串表示非常紧凑并易于操作，但是一般会对基本和操作符的数目做一定限制，并且不能拥有表示大小的数据，例如不能表示数组的大小。
lcc 通过能反映类型的前缀规范的链接结构来表示类型，类型节点定义如下：
(types.c typedefs) =
typedef struct type * Type;
(types.c exported types) =
struct type {
int op;
Type type;
int align;
int size;
&
相关文档：
函数名与函数指针
函数存放在内存的代码区域内，它们同样有地址，我们如何能获得函数的地址呢？
如果我们有一个int test(int a)的函数，那么，它的地址就是函数的名字，这一点如同数组一样，数组的名字就是数组的起始地址。
一 通常的函数调用
一个通常的函数调用的例子 ......
1.MFC中的方法：(C++)
CFileStatus status;
CFile::GetStatus("D:\\test.txt",status);
long lSizeOfFile;
lSizeOfFile = status.m_size;
lSizeOfFile的值就是D:\\test.txt文件的大小
2.标准C获得文件大小的5种方法
(注意："__FILE__"指的是当前文件，你可以改为有效路径的目标文件，比如"D:\\test.txt"）
#i ......
extern "C" 详解
在C++中，为了支持重载机制，在编译生成汇编代码时，函数的名字要加入函数的参数类型或者返回值类型等信息
在C中，因没有重载机制，编译后的代码只是简单的函数名字而已，不加入其他的信息
1. 不加入extern "C"
testexternc.cpp
int mytest(void)
{
int a=10,b=20;
int c=a+b;
ret ......
指针是c/c++语言的特色，而数组名与指针有太多的相似，甚至很多时候，数组名可以作为指针使用。于是乎，很多程序设计者就被搞糊涂了。而许多的大学老师，他们在c语言的教学过程中也错误得给学生讲解：\"数组名就是指针\"。很幸运，我的大学老师就是其中之一。时至今日，我日复一日地进行着c/c++项目的开发，而身� ......
