1、变量的声明
声明变量的基本形式:
说明符号(一个或者多个) 声明表达式列表
说明符 (specifier) 包含一些关键字,用于描述被声明的标识符的基本类型,它也可用户改变标识符的缺省存储类型和作用域.
如:
int i;
char j, k, l;
修改变量的长度或者是否为有符号数的关键字:
//short long signed unsigned
unsigned short int a;
unsigned short a;
相等的整型说明
| 有符号 | 无符号 |
|---|---|
| short signed short | unsigned short |
| short int signed short int | unsigned short int |
| int signed int | unsigned int |
| signed | unsigned |
| long signed long | unsigned long |
| long int signed long int | unsigned long int |
2、指针的声明
几个需要注意的点
//正常的声明一个指向整型指针
int *a;
//也可以这样写, *与int 类型标识符贴近.
int* a;
//需要注意的是 只有b 是整型指针, c,d是整型
int *b, c, d;
//只有*紧贴变量名时才使得 b,c,d 都是指向整型的指针
int *b, *c, *d;
//声明+初始化一个字符串
char *message = "hello world!";
//上句相当于这两行代码
char *message;
message = "hello world!";
3、typedef
typedef 允许程序员为各种数据类型定义新的名字
例如:
//声明一个指向字符的指针prt_to_char
char *prt_to_char;
//用typedef 把 prt_to_char作为指向字符的指针类型的新名字.
typedef char *ptr_to_char;
//可以使用这个新名字定义 指向字符的指针
ptr_to_char a;
注意:应该使用typedef 而不是 #define 来创建新的类型名 ,因为后者无法处理指针类型
定义复杂的类型名字时应该使用typedef 如:函数指针或者指向数组的指针
4、常量
ANISI C允许声明常量.
常量的样子和变量完全一样,只是不能被修改.声明时使用const关键字.
如
//常量的声明,但是无法被更改
int const a;
const int a;
//所以常量声明和定义是一起的
int cosnt a = 1;
//当涉及指针变量时,需要注意
//pi 是一个普通的指向整型的指针,
int *pi;
//pic 是一个指向整型常量的指针.你可以修改指针的值,但你不能修改它所指向的值.
int const *pic;
//pcc 为指向整型的常量指针.此时指针是常量,它的值无法被修改,但你可以修改它所指向的整型的值.
int * const pcc;
//cc无论是指针还是它所指向的值都是常量,不允许修改
int const * const * cc;
*cosnt 的结合是从右往左的,如 int const pcc; const修饰,指针是不能被修改的.又如 int const pic ,指针所指的值是不能被修改的
#define 也是可以定义常量的, 用字面值的地方都可以用 #define 来定义
5、作用域 scope
变量在程序的某个部分被声明的时候,它只有在程序的一定区域才能被访问. 这个区域由标识符作用域决定.
编译器可以确认4中不同类型的作用域:
文件作用域、函数作用域、代码块作用域、原型作用域
6、链接属性
链接属性一共有3种:external(外部)、internal(内部)、none(无)
没有链接属性的标识符(none )总是被当作单个个体,也就是该标识符的多个声明被当作独立不同的实体.
属于internal链接属性的标识符在同一个源文件的所有声明中都指向同一个实体,但位于不同源文件的多个声明则分属不同的实体.
属于 external 链接属性的标识符不论声明多少次,位于几个源文件都标示同一个实体.
关键字 extern 和 static 用于在声明中修改标识符的链接属性.如果某个声明在正常情况下具有 extrenal 链接属性,在它前面加上 static 关键字可以使它的链接属性变为 internal.
如
// b 的作用域变为该源文件所私有
static int b;
//函数 foo的作用域为它所在的源文件所私有, 可以防止它被其他源文件调用
static int foo(int d);
7、存储类型
变量的存储类型是指存储变量值的内存类型.
存储类型决定来变量何时创建、何时销毁、以及它的值保持多久.
变量存储的三个地方:普通内存、运行时堆栈、硬件寄存器.
变量的缺省存储类型取决于它的声明位置.
-
凡是在任何代码块之外声明的变量,总是存储与静态内存中,也就是不属于堆栈的内存,这类变量称为静态(static)变量.对于这类变量,你无法为他们指定其他存储类型. 静态类型在程序运行之前创建,在程序的整个执行期间始终存在.它始终保持原先的值,除非给它赋一个不同的值或者程序结束.
-
在代码块内部声明的变量的缺省存储类型都是自动(automatic), 也就是说它存储于堆栈中,称为自动(auto)变量.一个函数被多次调用,它内部的自动变量会被多次创建和销毁.对于在代码块内部声明的变量,如果给它加上static关键字,可以使它的存储类型从自动变为静态.具有静态存储类型的变量在整个程序执行过程中一致直存在,而不仅仅在声明它的代码块的执行时存在.
注意:修改变量的存储类型,并不代表修改变量的作用域,它仍然只能在该代码内部按名字访问.函数的形式参数不能声明为静态,因为实参总是在堆栈中传递参数,用于支持递归
关键字register可用于自动变量的声明,提示它们应该存储于机器的硬件寄存器而不是内存中,这类变量称为寄存器变量.通常,寄存器变量比存储于内存的变量访问起来效率更高.但是编译器并不一定要理睬 register关键字,如果有太多的变量被声明为 register, 它只选取前几个实际存储于寄存器中,其余的就按照普通自动变量处理.
8、static 关键字
特别提醒: 不同的上下文环境,static关键字具有不同的作用
-当它用与函数定义时,或用于代码块之外的变量声明时,static 关键字用于修改标识符的链接属性, 从 external 改为 internal, 但标识符的存储类型和作用域不受影响.用这种方式声明的函数或变量只能在声明他们的源文件内部访问.
-当它用于代码块内部的变量时, static关键字用于修改变量的存储类型,从自动变量修改为静态变量,但变量的链接属性和作用域不受影响.用这种方式声明的变量在程序执行之前创建,并在程序的整个执行期间一致存在,而不是每次在代码块开始执行是创建,在代码块执行完毕后销毁.
9、作用域、链接属性、存储类型总结
| 变量类型 | 声明的位置 | 是否存于堆栈 | 作用域 | 如果声明为static |
|---|---|---|---|---|
| 全局 | 所有代码块之外 | 否 | 从声明处到文件尾 | 不允许从其他源文件访问 |
| 局部 | 代码块起始处 | 是 | 整个代码块 | 变量不存储于堆栈中,它的值在真个执行期一直保持 |
| 形式参数 | 函数头部 | 是 | 整个函数 | 不允许 |