1.传入数组时,数组名退化成一级指针(int s[ ]等效于int *s),传入指针数组时,数组名退化成二级指针。
2.假设s为函数内退化形成的指针,则*(s+i),s[i]效果相同,指针通过下标访问其所关联的内存中元素时相当于做了解引用即等同于做了 * 的操作。
3.当s被解引用后为void时,需要对void指定正确的类型,若解引用后是void*则不用。
具体见总结的案例:
#include <stdio.h>
#include <iostream>
#include <boost/type_index.hpp>
using namespace std;
void func(int **s)
{
cout<<"deliver int **!"<<endl;
for(int i = 0; i < 4; i++)
{
printf("%x\n",*(s+i) );
printf("0x%x\n",s[i]);
cout<<"type:"<<boost::typeindex::type_id_with_cvr<decltype(s[i])>().pretty_name()<<endl;//int **
}
}
void func_void(void **s)
{
cout<<"deliver void **!"<<endl;
for(int i = 0; i < 4; i++)
{
printf("%x\n",*(s+i) );//s不用转化成int**,因为指针大小都相同,s+i跳变的距离是*s,即void*,大小和int*一致
printf("0x%x\n",s[i]);
cout<<"type:"<<boost::typeindex::type_id_with_cvr<decltype(s)>().pretty_name()<<endl;//void **
cout<<"type:"<<boost::typeindex::type_id_with_cvr<decltype(*(s+i))>().pretty_name()<<endl;//void *&
cout<<"type:"<<boost::typeindex::type_id_with_cvr<decltype(s[i])>().pretty_name()<<endl;//void *&
}
}
void funcc_void(void *s)
{
cout<<"deliver void *!"<<endl;
for(int i = 0;i < 4; i++)
{
cout<<*((int *)s+i)<<endl;//s要转化成int*,因为s跳变的跨距是*s也即void,但void是没有长度的。
cout<<((int *)s)[i]<<endl;
}
}
void funcc(int s[])//int s[]中的s会退化成指针,因此这么写和下面这么写完全一致,建议用下面的写法,便于理解*(s+i)的操作
//void funcc(int *s)
{
cout<<"deliver int *!"<<endl;
for(int i = 0;i < 4; i++)
{
cout<<*(s+i)<<endl;
cout<<s[i]<<endl;
}
}
int main()
{
//char[] 转 char*
void* arry[4]={nullptr};
for(int i = 0; i < 4; i++)
{
arry[i] = new int(i);
}
cout<<"in main:"<<endl;
for(int i = 0; i < 4; i++)
{
printf("%x",*(arry+i) );
printf("0x%x\n",arry[i]);
}
func((int **)arry);//若arry是int**这里不用转,func内部实现所有地方都不变
func_void((void **)arry);//以上三处打印结果一致
int ar[4] = {1,2,3,4};
funcc(ar);
funcc_void(ar);//以上两处打印结果一致
return 0;
}