C: 第9章 变量

变量

在定义变量的时候，需要指定变量的数据类型。比如定义一个int整型变量：

int a = 1;

 

除了指定变量的数据类型，还可以对变量进行如下修饰

auto

static

extern

register

 

auto

auto是C语言中的一个关键字。用于修饰变量。这个修饰符在C11之前很少使用，但这个修饰符是变量定义时的默认修饰符。

 

如int i;等价于auto int i;

 

和int i;这种定义形式一样，auto int i;在函数内部定义的话，表示变量是一个局部变量。在函数外部定义的话，表示变量是一个全局变量。

 

auto修饰符在后面的语言规范中有新的定义。

 

auto a = "this is a string.";

 

static

static可以用于修饰变量和函数。static修饰的变量为静态变量，static修饰的函数为静态函数。

 

变量可以是全局的，也可以是局部的变量。由static修饰的全局变量为静态全局变量，由static修饰的局部变量为静态局部变量。

 

静态全局变量

 

静态局部变量

 

static变量的初始化

var_t* init2() 

{

  static var_t va = {

 .va_a = "test2.", 

 .va_b = 5, 

 .va_c = 100};

 

  return &va;

}

 

var_t* init2() 

{

  static var_t va;

 

  va.va_a = "test2."; 

  va.va_b = 5; 

  va.va_c = 100;

 

  return &va;

}

 

 

#include <stdio.h>

typedef struct 
{
  char* va_a;
  int va_b;
  long va_c;
} var_t;


var_t* init1() 
{
  var_t va = {
	  .va_a = "test1.", 
	  .va_b = 5, 
	  .va_c = 100};

  return &va;
}


var_t* init2() 
{
  static var_t va = {
	  .va_a = "test2.", 
	  .va_b = 5, 
	  .va_c = 100};

  return &va;
}

int main()
{
  var_t *va1 = NULL, *va2 = NULL;

  va1 = init1();
  printf("a:%s, b:%d, c: %ld\n", va1->va_a, va1->va_b, va1->va_c);
  va2 = init2();
  printf("a:%s, b:%d, c: %ld\n", va2->va_a, va2->va_b, va2->va_c);

  printf("a:%s, b:%d, c: %ld\n", va1->va_a, va1->va_b, va1->va_c);
  printf("a:%s, b:%d, c: %ld\n", va2->va_a, va2->va_b, va2->va_c);
  return 0;
}

这段程序编译的时候会产生一个告警：

 

warning: function returns address of local variable

告警产生的地方是init1函数返回的地方：return &va;可以看到这里的va是一个局部变量，将一个局部变量地址返回是不对的，这样做非常危险。

 

这段程序的特点是init2函数，它和init1的区别是va是一个静态变量，因为定义在函数内部，所以是静态局部变量。

_init2:

pushl%ebp

movl%esp, %ebp

movl$_va.2315, %eax

popl%ebp

 

ret

 

.section .rdata,"dr"

LC1:

.ascii "test.\0"

.data

.align 4

_va.2315:

.longLC1

.long5

 

.long100

 

静态函数

 

extern

 

register

 

局部变量

 

全局变量

 

静态变量