#include<stdio.h>
main()
{   int a[3][4]={{1,2,3,4},{3,4,5,6},{5,6,7,8}};
    int i;                  //以上两行为定义变量和初始化数组。
    int (*p)[4]=a,*q=a[0]; //p是一个指针变量，指向包含4个整型元素的一维数组。q为指向a[0]的指针变量。p，q均指向数组中a[0][0]的地址。
    for(i=0;i<3;i++)
    {   if(i==0)
       (*p)[i+i/2]=*q+1;
    else
       p++,++q;
    }
    for(i=0;i<3;i++)
       printf("%d,",a[i][i]); //输出数组中行和列相同下标的值
    printf("%d,%d\n",*((int *)p),*q);//p指针强制转换为指向整型的指针，再输出p指向的值。输出q此时所指变量的值。
}
分析过程：
前两行为定义数组为3行4列，并进行初始化。定义整型变量i。定义指针变量p和q，p是一个指针变量，指向包含4个整型元素的一维数组。q为指向数a[0]的指针变量。此时p，q均指向数组中a[0][0]的地址。
   进入循环语句后，由于i=0，所以执行选择语句，将q指针加1指向0行1列的地址，再将q所指的地址赋给p指针。再执行i++；接下来由于均不满足循环里选择语句的条件，所以执行两次p，q指针的移动，指向下一个数。
                 结束循环后，此时p指向a[0][2]的值，q指向a[3][0]的值。接着输出数组中行和列下标相同的值，再将p指针强制转换为指向整型的指针，输出p指向的值5，再输出q指向的值3。


还有什么可以补充的？或者哪里有错？

大家最好明天上午之前告诉我。