1 指针变量的基本操作基本操作
( N; y& G% b) | c' {' W! ]) _# @5 cint a,*iptr,*jptr,*kptr;
iptr = &a;
jptr = iptr;
*jptr = 100;
kptr = NULL; 图解:5 Q5 s9 |' s Q; ~9 R! F& Y" b1 ^: h
4 C+ a ?$ Y) f- W2 I- M1.1 己址和己空间3 y* i% q3 ?2 l3 Y; O
指针变量也是一个变量,对应一块内存空间,对应一个内存地址,指针名就是己址。这空内存空间多大?一个机器字长(machine word),32位的CPU和操作系统就是32个位,4个字节,其值域为:0x-0xFFFFFFFF。64位的CPU和操作系统就是64个位,8个字节,其值域为:0x-0xFFFFFFFFFFFFFFFF。
. f3 C3 ^ B6 j* b1.2 己值、他址、他空间
$ V# v$ {1 w, C4 W- `5 m% @' W指针变量的值就是其指向的空间的地址,指向的地址的空间大小就是指针变量指向类型的大小。
4 M, O+ X5 s3 B0 F% [+ G( `1.3 声明与初始化$ X! m6 L4 L2 c2 g& y+ j: F$ s' @
当声明一个指针变量,没有初始化时,指针变量只获得了其自身的内存空间,而其指向还没有确定,此时指针变量解引用做左值是非法操作。如果要使用指针变量解引用做左值,有三条途径:
) u. G+ b- E; }2 H$ O1 T8 }) {int *ptr;
int *ptr_2;
int a = 1;
ptr_2 = &a;
// *ptr = 0; // 非法操作,其指向其指向的内存空间还未确定
ptr = &a; // ① 右值是一个变量地址
ptr = ptr_2; // ② 右值是一个同类型指针,且已初始化
ptr = (int*)malloc(sizeof(int));// ③ 右值是一个内存分配函数返回一个void指针
*ptr = 0; // 合法操作,ptr有了确定的指向及指向的内存空间; 1.4 函数之间指针值的传递
: V$ S4 n1 t& J. {- Y8 {函数(如下例的funcForSpace())内定义局部变量(如下例的a)保存在一个函数的栈帧上,当一个函数执行完毕后,另一个函数(如下例的stackFrame_reuse())执行时,该空间会被stackFrame_reuse()重复使用,a所使用的空间将不复存在,所以当一个指针变量指向局部变量的内存空间时,其地址值传递给主调函数时,并不是一个有效值。#include <stdio.h>
void funcForSpace(int **iptr) {
int a = 10;
*iptr = &a;
}
void stackFrame_reuse()
{
int a[1024] = {0};
}
int main()
{
int *pNew;
funcForSpace(&pNew);
printf("%d\n",*pNew); // 10,此时栈帧还未被重复使用
stackFrame_reuse();
printf("%d\n",*pNew); // -858993460,垃圾值
while(1);
return 0;
} 可以在funcForSpace()内分配一块堆内存,传递给主调函数。
5 \. @7 B) e5 v% |! z- o; I7 ~#include <stdio.h>
#include <malloc.h>
int g(int **iptr) { // 当试图修改主调函数的一级指针变量时,被调函数的参数是一个二级指针
if ((*iptr = (int *)malloc(sizeof(int))) == NULL)
return -1;
}
int main()
{
int *jptr;
g(&jptr);
*jptr = 10;
printf("%d\n",*jptr); // 10
free(jptr);
while(1);
return 0;
} 可以图示一下以上代码指针的传递过程:
4 W- h M" l9 g- |; f
* p6 }8 S& z) q4 g+ D7 @6 K' A, C; _ p
以下图示a表示计算机内存,b表示一个函数调用时在栈(stack)上开辟的栈帧空间:
8 k K1 Y/ D' J
+ F" c/ D4 v& l) x( {9 ]# J2 指针变量与数组名
% g8 k8 r i R. u+ Q% u) l数组名在一定的上下文中会转换为指向数组首元素的地址,以方便指针的算术运算,如. X2 D6 j) B7 ^" s/ v- [
#include <stdio.h>
int main()
{
int a[5] = {0};
char b[20] = {0};
*(a+3) = 10; // a+3是指相对于地址a,偏移sizeof(int)个字节
*(b+3) = 'x'; // b+3是指相对于地址b,偏移sizeof(char)个字节
printf("%d, %c\n",a[3],b[3]); // 10, x
while(1);
return 0;
}
6 V6 y& ~7 ^6 P, f3 O2 D/ J
3 主调函数与被调函数之间的指针传递
& u- N9 B+ m- ?1 k+ }2 F7 R看以下代码:: [% ~6 i) v& B/ n6 o, S1 b
#include <stdio.h>
void swap1(int x, int y) {
int tmp;
tmp = x; x = y; y = tmp;
}
void swap2(int *x, int *y) {
int tmp;
tmp = *x; *x = *y; *y = tmp;
}
void caller()
{
int a = 10;
int b = 20;
swap1(a,b);
printf("%d %d\n",a,b);
swap2(&a,&b);
printf("%d %d\n",a,b);
}
int main()
{
caller();
return 0;
} 以上代码可用以下图示理解:
" L+ V! {: R) n. G Z( @7 b O* ~% k6 cswap1传值:5 [/ a% R0 `6 M: }
* Q5 F; ^& n" E+ J
swap2传址(指针传递):, r, H* t6 |; U7 h9 d& N
& j" i: i u1 }: P
4 数组做函数参数6 Q7 Z1 w( P" N7 N5 F+ E' x
二维数组是数组的数组,n维数组是n-1维数组的数组。内存是一维的字节序列,所谓的n维数组其实只是一个逻辑意义的表示,其物理结构还是一维线性的。2 a' i) c4 \6 d0 i4 K9 t0 v2 `# ^
n维数组的元素是一个n-1维数组。如果用指针指向一个n维数组,其指针类型必须有n-1维的长度信息,当其用作函数参数时也是如此。
* z. c& |- G. n4 Y* Y0 r- yvoid g(int a[][2]) { // void g(int(*a)[2]){是相同写法
a[2][0] = 5;
}
void caller()
{
int a[3][2];
int (*p)[2] = a;
*(*(p+2)+0) = 7; // p=2表示相对于地址p偏移sizeof(*p)
printf("%d\n",a[2][0]); // 7
g(a);
printf("%d\n",a[2][0]); // 5
} 以上代码可以用以下图示辅助理解:) `! z# C4 A9 D+ Q, @+ P
( P/ F2 h M; j/ Y& L
|