/*

 验证：

 用typedef定义的新类型名声明的变量是否与普通的声明变量一样，是一种求值的过程，还是单纯的替换过程？

 */

 typedef short int arrTen[]; //定义了一个新类型，这个类型是：一个包含10个short类型元素的一维数组

 int main(){

     short int j;

     short int myarr[];

     arrTen *arr1;

     /*

     现在需要验证arr1的类型：

     假设是求值过程，那么意味着对表达式*arr1求值的结果是arrTen类型，也就是说arr1是一个指针，指向一个数组，但是在C语言中数组是一个很朴素的概念，它只是连续的内存单元，所以指向一个数组准确地说是指向一片拥有10个short元素的内存空间

     假设是替换过程，那么上述声明相当于：short int *arrTen[10]，而这个声明意味着arrTen是一个拥有10个元素的数组，每个元素的类型是指针，指向short类型的内存单元，在这里发现了问题，如果声明（用typedef定义(或声明)新类型时和用typedef声明变量时）用到了很多操作符，替换过程就会出现优先级的失调，所以在此猜测这种假设是错的

     */

     /* 实际操作验证 */

     //arr1[1]=&j; //报错，GCC5.2:error: assignment to expression with array type

     arr1=&myarr; //未报错，myarr的类型是一个指向short的指针，而&myarr的类型是一个指向拥有10个short元素的数组的指针

     /* 综上，arr1是一个指向数组的指针，所以第一种假设成立，typedef声明变量时也是一种求值过程 */

     return ;

 }