深入总结C/C++数组与指针

 本文是看了某文章之后总结的，算是翻译吧。

1.指针与数组。

数组能被隐式转化成常量指针并指向数组中的第一个元素的地址，但是什么时候能呢？什么时候不能呢？
我们关注二维数组(一维的没什么好说)，int b[2][2]={{1,1},{2,2}};数组名b在int (*a)[2]=b;中会被转化成第一个元素的地址，也就是&b[0].因为&b[0]是一个指向一维数组的指针，所以赋值给(*a)[2]是没问题的。如果是int (*a)[2]=b[0];就不能，因为b[0]指向的是一维数组，它被隐式转化后是int *，不能赋值给 (*a)[2]。
int (*a)[2]=b;         right
int (*a)[2]=&b[0];     right
int (*a)[2]=b[0];      wrong
int (*a)[2]=&b[0][0]； wrong   
总而言之，在数组与指针间转化要看准是否一一匹配,别把int * 赋值给 (int *)[2]等。

2.数组的下标与指针

int a[2]={0,1};对于a[0]，这个下标的本质就是*(a+0)；那么也能是*(0+a)啦？那么也能使0[a]啦？没错，的确能！
int b[2][2]={0,1,2,3};你甚至可以1[b][1]，编译器翻译就是 *(*(1+b)+1)，神奇的写法。

3.数组名和指针什么时候不能等同

看看下面的代码：
//in main.cpp
#include <iostream>
#include "test_1.h"

using namespace std;

char s[]={'a','b','c','d','e'};

int main()
{
    cout<<"main ing ..."<<s<<endl;
    fun();
    return 0;
}

//in test_1.cpp
#include <iostream>

using namespace std;

//extern char s[];
extern char *s;

void fun(void)
{
    cout<<"test_1.cpp ing :"<<s<<endl;
}

// int test_1.h
#include <iostream>

using namespace std;

void fun(void);

结果是：
main ing ..abcde
test_1.cpp ing :
没打印出abcde
查资料发现：
int a[2]={0,1};
int *b=a;
1.对于a[0]，将数组名a代表的数组首地址和0相加，得到要访问数据的地址；
2.对于b[0]，从b代表的地址单元取出内容和0相加，得到要访问数据的地址。
也就是说上面的code中，test_1.cpp中s代表的地址单元内容是Ox664636261 再加上0，你将会得到Cannot access memory at address Ox64636261 ...

4.数组作为函数参数

当数组作为函数参数传入时，数组退化成指针，类型是第一个元素的地址类型。数组名被改写成一个指针参数，这个规则并不是递归定义的。数组的数组会被改写成“数组的指针”，而不是“指针的指针”。
以上一段话，解决了我最近研究的问题，我的矩阵链相乘时候遇到了这个地方，挺迷茫的，现在终于明了了。
fun1(char s[10]){}//s在函数内部实际类型是char *;
fun2(char s[][10]){}//s在函数内部实际类型是char(*)[10];
fun3(char *s[15]){}//s在函数内部实际类型是char **;
fun4(char (*s)[10]){}//s在函数内部实际类型是char(*)[10]