数组指针、指针数组、传参

文章详细介绍了C语言中的指针基础,包括字符指针用于存放字符串首地址,常量字符串在内存中的存储以及const修饰符的作用。同时,讲解了指针数组和数组指针的区别,以及如何使用数组指针。最后,讨论了一维和二维数组作为函数参数时的传参方式和设计考虑。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

指针基本概念:

  1. 指针就是个变量,用来存放地址,地址唯一标识一块内存空间。
  2. 指针的大小是固定的4/8个字节(32位平台/64位平台)。
  3. 指针是有类型,指针的类型决定了指针的±整数的步长,指针解引用操作的时候的权限。
    在基本内容之上进行深度剖析

1. 字符指针

在指针的类型中我们知道有一种指针类型为字符指针 char* ;
一般使用:

int main()
{
    char ch = 'w';
    char *pc = &ch;
    *pc = 'w';
    return 0; }

还有一种使用方式如下:

int main()
{
    const char* pstr = "hello bit.";//这里是把一个字符串放到pstr指针变量里了吗?
    printf("%s\n", pstr);
    return 0; }

容易让人以为是把字符串 hello bit 放到字符指针 pstr 里了,但是/本质是把字符串 hello
bit. 首字符的地址放到了pstr中。
指针赋值的就是地址,按照规则把首字符地址存入指针,解引用时候调到首字符地址一次开始访问,访问到/0停止,写成字符串形式后面默认自带“/0”
在这里插入图片描述
这样并不存在什么问题,但是像下面这种:
在这里插入图片描述
直接出错了,这种写法不默认自带“/0”
在这里插入图片描述
无关是否定义元素个数。
在这里插入图片描述
上面代码的意思是把一个常量字符串的首字符 h 的地址存放到指针变量 pstr 中。
例题分析:

#include <stdio.h>
int main()
{
    char str1[] = "hello bit.";
    char str2[] = "hello bit.";
    const char *str3 = "hello bit.";
    const char *str4 = "hello bit.";
    if(str1 ==str2)
 printf("str1 and str2 are same\n");
    else
 printf("str1 and str2 are not same\n");
       
    if(str3 ==str4)
 printf("str3 and str4 are same\n");
    else
 printf("str3 and str4 are not same\n");
       
    return 0; }

这道题比较经典,要看清楚不是值相等是判断条件,地址是否相等才是判断条件
在这里插入图片描述
在这里插入图片描述
可以看到str3和str4指向地址相同,这里主要涉及的知识点是const的作用,和常量字符的地址
这里str3和str4指向的是一个同一个常量字符串。C/C++会把常量字符串存储到单独的一个内存区域,当
几个指针。指向同一个字符串的时候,他们实际会指向同一块内存。但是用相同的常量字符串去初始化
不同的数组的时候就会开辟出不同的内存块。所以str1和str2不同,str3和str4不同。
三、修饰函数的参数

根据常量指针与指针常量,const修饰函数的参数的作用

1、防止修改指针指向的内容
2、防止修改指针指向的地址
意思就是当一个常量字符串被创建之后,只要用被const修饰的指针去访问,这时不会继续开辟内存空间,而是直接访问原有的地址,类似于访问静态区数据
这句话意思是不是在创建一个常量字符串时候,会创建一个地址放在静态区存储。当不用const的数组被赋值这个字符串时候,开辟了动态区空间。但是const修饰的直接访问静态区的常量字符串地址了
在这里插入图片描述

2. 指针数组

下面指针数组是什么意思

int* arr1[10]; //整形指针的数组
char *arr2[4]; //一级字符指针的数组
char **arr3[5];//二级字符指针的数组

指针数组是数组,只是数组里面存放的是指针,当然,这个指针变量被创建的时候,就在需要新的指针来访问他的地址,就是二级指针

3. 数组指针

3.1 数组指针的定义

数组指针是指针?还是数组?
答案是:指针。
我们已经熟悉:
整形指针: int * pint; 能够指向整形数据的指针。
浮点型指针: float * pf; 能够指向浮点型数据的指针。
那数组指针应该是:能够指向数组的指针。
下面代码哪个是数组指针?

下面代码哪个是数组指针?

int *p1[10];
int (*p2)[10];
//p1, p2分别是什么?

解释:

int (p)[10];
解释:p先和
结合,说明p是一个指针变量,然后指着指向的是一个大小为10个整型的数组。所以p是一个
指针,指向一个数组,叫数组指针。
这里要注意:[]的优先级要高于号的,所以必须加上()来保证p先和结合。
int * p[10]可以理解成(int* ) p[10]意思就是整形指针,然后有10个3,就是指针构成的数组,就是指针数组

3.2 &数组名VS数组名

对于下面的数组:

int arr[10];

arr 和 &arr 分别是啥?
我们知道arr是数组名,数组名表示数组首元素的地址。
那&arr数组名到底是啥?
我们看一段代码:

#include <stdio.h>
int main()
{
    int arr[10] = {0};
    printf("%p\n", arr);
    printf("%p\n", &arr);
    return 0; }

在这里插入图片描述
这样一看貌似&arr和首元素地址一样,我们看到的确是这样,
可见数组名和&数组名打印的地址是一样的。
难道两个是一样的吗?
我们再看一段代码:

#include <stdio.h>
int main()
{
 int arr[10] = { 0 };
 printf("arr = %p\n", arr);
 printf("&arr= %p\n", &arr);
 printf("arr+1 = %p\n", arr+1);
 printf("&arr+1= %p\n", &arr+1);
 return 0; }

在这里插入图片描述
根据上面的代码我们发现,其实&arr和arr,虽然值是一样的,但是意义应该不一样的。
实际上: &arr 表示的是数组的地址,而不是数组首元素的地址。(细细体会一下)
本例中 &arr 的类型是: int(*)[10] ,是一种数组指针类型
数组的地址+1,跳过整个数组的大小,所以 &arr+1 相对于 &arr 的差值是40.
其实主要是一个p只能打印一个元素地址,展示给我们看才是这种效果

3.3 数组指针的使用

那数组指针是怎么使用的呢?
既然数组指针指向的是数组,那数组指针中存放的应该是数组的地址。
看代码:

#include <stdio.h>
int main()
{
    int arr[10] = {1,2,3,4,5,6,7,8,9,0};
    int (*p)[10] = &arr;//把数组arr的地址赋值给数组指针变量p
    //但是我们一般很少这样写代码
    return 0; }

一个数组指针的使用:

#include <stdio.h>
void print_arr1(int arr[3][5], int row, int col) {
    int i = 0;
    for(i=0; i<row; i++)
   {
        for(j=0; j<col; j++)
       {
            printf("%d ", arr[i][j]);
       }
               printf("\n");
   }
}
void print_arr2(int (*arr)[5], int row, int col) {
    int i = 0;
    for(i=0; i<row; i++)
   {
        for(j=0; j<col; j++)
       {
            printf("%d ", arr[i][j]);
       }
        printf("\n");
   }
}
int main()
{
    int arr[3][5] = {1,2,3,4,5,6,7,8,9,10};
   print_arr1(arr, 3, 5);
    //数组名arr,表示首元素的地址
    //但是二维数组的首元素是二维数组的第一行
    //所以这里传递的arr,其实相当于第一行的地址,是一维数组的地址
    //可以数组指针来接收
    print_arr2(arr, 3, 5);
    return 0; }

总结回顾

int arr[5];    //整形数组
int *parr1[10];  //指针构成的数组  指针数组
int (*parr2)[10];  //数组构成的指针   数组指针
int (*parr3[10])[5]; //指针构成的数组的数组    指针二维数组

4. 数组参数、指针参数

在写代码的时候难免要把【数组】或者【指针】传给函数,那函数的参数该如何设计呢?

4.1 一维数组传参

void test(int arr[])			
{}                              
void test(int arr[10])		
{}       
void test(int* arr)			   
{}                               
void test2(int* arr[20])		
{}   
void test2(int** arr)			
{}   

int main()                            
{
	int arr[10] = { 0 };			   
	int* arr2[20] = { 0 };//[int*][int*]……[int*]

	test(arr);			               
	test2(arr2);
		
   	return 0;
}

4.2二维数组传参

函数形参的设计只能省略一个 [ ] 的数字,列不能省;因为对一个二维数组,可以不知道有多少行,但是必须知道一行多少元素。这样才方便运算。
指针传参
一级指针传参

### C/C++ 中二维数组指针传参解析 在 C 和 C++ 编程语言中,处理二维数组并将其作为参数传递给函数是一个常见的需求。然而,由于内存布局和指针类型的复杂性,这种操作需要特别注意。 #### 1. 基本概念 在 C/C++ 中,二维数组本质上是一块连续分配的内存区域。对于 `float array[M][N]` 类型的二维数组,其存储方式是以行为单位展开的一维线性结构[^2]。因此,在函数间传递二维数组时,通常有以下几种常见方法: - 使用固定大小的多维数组。 - 将二维数组视为一维数组来间接访问。 - 使用指向指针指针(如 `float**`),但这需要注意动态分配的情况以及可能引发的错误。 --- #### 2. 函数形如 `void f(float **p)` 的问题分析 当尝试通过 `float **p` 来模拟二维数组的操作时,可能会遇到运行期非法访问的问题。这是因为 `float **p` 并不真正代表一个标准意义上的二维数组。具体来说: - 如果直接将二维数组地址赋值给 `float **p`,则会破坏原有的内存布局逻辑,因为 `float **p` 需要额外一层解引用才能找到实际数据位置[^1]。 例如: ```cpp #include <iostream> using namespace std; void f(float **p) { p[1][1] = 0; } int main() { float arr[2][2] = {{1, 2}, {3, 4}}; float (*ptr)[2] = arr; // 正确声明指针变量 f((float **)arr); // 错误:强制类型转换可能导致未定义行为 } ``` 上述代码中的 `(float **)arr` 转换实际上改变了原始数组的实际内存模型,从而导致越界或非法访问等问题。 --- #### 3. 推荐解决方案 为了安全有效地传递二维数组至函数,可以采用如下策略之一: ##### 方法 1: 明确指定维度 如果知道二维数组的具体尺寸,则可以通过显式声明形参与实参匹配的方式来解决此问题。例如: ```cpp #include <iostream> // 形参明确指定行列数 void func(int rows, int cols, double (&matrix)[rows][cols]) { matrix[1][1] = 99; } int main() { const int ROWS = 2, COLS = 2; double myArray[ROWS][COLS] = {{1, 2}, {3, 4}}; func(ROWS, COLS, myArray); cout << "Modified value at (1,1): " << myArray[1][1] << endl; } ``` 这种方法利用了现代 C++ 对数组引用的支持,能够保持原生二维数组语义的同时提供更好的安全性[^4]。 ##### 方法 2: 动态分配与指针管理 另一种更灵活但也更具风险的方法涉及手动创建基于堆空间的二维数组,并借助双重指针完成初始化及后续操作。以下是示例实现: ```cpp #include <iostream> using namespace std; void initMatrix(int sizeX, int sizeY, double **mat) { for (int i=0;i<sizeX;++i){ mat[i]=new double[sizeY]; memset(mat[i],0,sizeof(double)*sizeY); } } void freeMatrix(int sizeX,double **mat){ for(int i=0;i<sizeX;i++) delete[] mat[i]; delete [] mat; } int main(){ int X=3,Y=4; double **myMat=new double*[X]; try{ initMatrix(X,Y,myMat); // Access elements like this: myMat[1][2]=78.56; cout<<"Value set:"<<myMat[1][2]<<endl; }catch(...){ cerr<<"Error during initialization!"<<endl; } freeMatrix(X,myMat); } ``` 这里展示了如何构建可变规模的矩阵对象及其释放过程[^3]。 --- #### 总结 综上所述,虽然表面上看起来可以直接把二维数组当作双层指针对待,但实际上两者之间存在本质区别。推荐优先考虑静态绑定或者模板技术以简化开发流程;而对于那些确实需要用到动态配置场景下的应用场合,则务必小心谨慎地控制生命周期以免造成资源泄漏或其他隐患。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值