C语言的链接属性

c语言链接属性一共有三种

• external(外部)
• internal(内部)
• none(无)

none

没有链接属性的标识符(none)总是被当做独立的个体,也就是多该标识符的多个声明被当做独立不同的实体.

internal

internal链接属性在同一个文件的所有生命中都指向同一个实体,但位于不同源文件的多个声明则分属不同的实体。

external

external链接属性的标识符不论声明多少次,位于几个源文件都表示同一个实体.

static和extern

关键字static和extern可以修改标识符的链接属性.

static声明只能在文件内部使用,如果external的属性前使用了static也是有效的.

extern声明的可以在其他任何位置访问该实体

多个文件相互引用

a.c 中声明了num并且链接了b函数(b.c中的声明)

#include <stdio.h>

int num = 10;
// 访问外部文件的函数b()
extern int b();
int main(void)
{
    printf("%d\n",b());
    return 0;
}

b.c 中声明了函数b并且链接了num变量

#include <stdio.h>
// 访问外部文件的num
extern int num;
int b() 
{
    return 2 * num;
}

static禁止其他文件使用

static_1.c 中声明了变量i

#include <stdio.h>

static int i = 2;
// 链接外部函数
extern void func();

int main()
{
    printf("this is static.c i=%d\n",i);
    func();
    return 0;    
}

static_2.c 中无法使用static_1的变量i,不赋值会报错

#include <stdio.h>
extern int i;
void func(){
   int i = 3; 
   printf("this is static_2.c i=%d\n",i);
}

C语言的存储类型

变量存储类型是指存储变量的内存类型，变量的存储类型决定了变量何时创建、销毁、以及它的值保存多久，有三个地方可以用于存储变量

• 普通内存
• 运行时堆栈
• 硬件寄存器

自动变量(auto)

• 在代码块内部声明的变量的(缺省)存储类型是自动的

• 它存储于堆栈中

• 可以使用关键字auto来修饰变量,但极少用到，一般代码块内部的变量默认是auto修饰

• 这些变量在代码块执行时创建，代码块结束后销毁

• 如果一个函数被调用多次，则代码块内部变量也会创建多次，其地址可能与原来相同，也可能不同。

• 如果对代码块内部的变量加上static关键字修饰，则存储类型从自动变为静态的，具有静态存储类型的变量在整个程序执行中一直存在，而不仅仅是在声明它的代码块的执行时存在。但是即使使用static修饰，也不能改变变量的作用于，仍然只能使用名字访问

• 函数的形参不能声明为静态，因为实参总是在堆栈中传递给函数，用于支持递归

#include <stdio.h>

int main(int argc,const char **argv)
{
    auto int a = 1;
    int b = 2;
    static int c = 3;
    printf("a=%d\n",a);
    printf("b=%d\n",b);
    printf("c=%d\n",c);
    return 0;
}

寄存器(register)

关键字register可以用于自动变量的声明，提示他们应该存储于机器的硬件寄存器而不是内存中，这类变量称为寄存器变量。

• 寄存器变量比内存访问效率更高，但编译器并不一定理睬register关键字
• 如果register声明过多，编译器会选取前几个实际存储于寄存器中。

#include <stdio.h>
// register int num = 10; error
int main(int argc,const char **argv)
{
    register int num = 10; 
    printf("num=%d\n",num);
    return 0;
}

static(关键字)

• 对于函数声明或者代码块外部的变量声明，static用于修改链接属性，从external修改为internal,但是存储类型和作用域不受影响。
• 这种方式声明的函数或者变量只能在源文件内部访问。
• 在代码块 声明时，static用于修改变量的存储类型，从auto修改为static，作用域和存储类型不受影响
• 这种方式的声明在程序执行之前创建，在整个程序执行期间一直存在，而不是代码块运行时创建，结束时销毁。

总结

存储类型总结

变量类型	声明位置	是存储在堆栈	作用域	如果声明为static
全局	所有代码块之外	否	从声明位置到文件尾	不允许其他文件访问
局部	代码块内	是	代码块	变量不存储于堆栈中，值在整个执行期一直保持
形参	函数头部	是	整个函数	不允许

全文总结

1. 为了保持最佳的可移植性，把字符的值限制在有符号和无符号范围之内。
2. 不要把整型值和枚举值混在一起使用
3. 在定义新类型名时，使用typedef而不是#define
4. 不要在嵌套的代码块中使用相同的变量名