全面剖析指针——指针和结构类型的关系

可以声明一个指向结构类型对象的指针。
例十二：
struct MyStruct
{
int a;
int b;
int c;
};
//声明了结构对象ss，并把ss的成员初始化为20，30和40。
struct MyStruct ss={20,30,40};
//声明一个指向结构对象ss的指针。它的类型是MyStruct*,它指向的类型是MyStruct。
struct MyStruct *ptr=&ss;
//声明一个指向结构对象ss的指针。但是pstr和它被指向的类型ptr是不同的。
int *pstr=(int*)&ss;
请问怎样通过指针ptr来访问ss的三个成员变量？
答案：
ptr->a; //指向运算符，或者可以这们(*ptr).a,建议使用前者
ptr->b;
ptr->c;
又请问怎样通过指针pstr来访问ss的三个成员变量？
答案：
*pstr； //访问了ss的成员a。
*(pstr+1); //访问了ss的成员b。
*(pstr+2) //访问了ss的成员c。
    虽然我在我的MSVC++6.0上调式过上述代码，但是要知道，这样使用pstr来访问结构成员是不正规的，为了说明为什么不正规，让我们看看怎样通过指针来访问数组的各个单元:
(将结构体换成数组)
例十三：
int array[3]={35,56,37};
int *pa=array;
通过指针pa访问数组array的三个单元的方法是：
*pa; //访问了第0号单元
*(pa+1); //访问了第1号单元
*(pa+2); //访问了第2号单元
    从格式上看倒是与通过指针访问结构成员的不正规方法的格式一样。
    所有的C/C++编译器在排列数组的单元时，总是把各个数组单元存放在连续的存储区里，单元和单元之间没有空隙。但在存放结构对象的各个成员时，在某种编译环境下，可能会需要字对齐或双字对齐或者是别的什么对齐，需要在相邻两个成员之间加若干个"填充字节"，这就导致各个成员之间可能会有若干个字节的空隙。
    所以，在例十二中，即使*pstr访问到了结构对象ss的第一个成员变量a，也不能保证*(pstr+1)就一定能访问到结构成员b。因为成员a和成员b之间可能会有若干填充字节，说不定*(pstr+1)就正好访问到了这些填充字节呢。这也证明了指针的灵活性。要是你的目的就是想看看各个结构成员之间到底有没有填充字节，嘿，这倒是个不错的方法。
    不过指针访问结构成员的正确方法应该是象例十二中使用指针ptr的方法。