结构体内部的成员是何时分配内存空间的？

昨天晚上发现一个很多菜鸟都会遇到的一个问题：结构体内部的成员是何时分配内存空间的？
示例：
程序代码：

#include <stdio.h>
struct stu
{
    int a;
    int b;
};

void f(void)
{
    struct stu m;
    int c;
    ……
}

int main()
{
    int d;

    f();
    ……
}

我想知道的是在前面声明struct stu这个结构体的时候有木有给这个结构体中的那两个成员分配内存空间。
经过我仔细的研究，我采用了推理的方式，得出了结论：
要想知道在何时分配内存空间，首先要知道，定义和声明的含义。定义就是具有以下明确的格式，如：连接说明符 类型说明符 变量名；而声明则比较复杂，声明包括类型的声明，变量的声明等等。这里暂且考虑类型的声明。在本例中，前面的struct stu结构体就是在声明类型。我的问题是在声明该结构体时，有没有给其中的两个成员分配内存呢？因为其中的两个成员完全是有定义的格式的。在某些教科书上明确的说定义的时候是要给变量分配内存空间的。但是，当我在vc++6.0中采用单步调试的时候，只有在调用f()函数时分配了存储空间。然而昨晚，有人告诉我说：确实是在定义的时候分配了存储空间，那个结构体中的int a; int b;也是定义，所以在声明结构体时，里面的成员已经分配存储空间了。但是我不这么认为，然而一时间没有说服他的理由。现在，我经过推理得到了结论。推理过程是这样的：如果在声明结构体时就已经分配了内存空间，那么此时内存中一定是存在结构体内部的成员的，那么内存要为这两个结构体成员分配多少呢？换句话说就是要分配几个成员的空间呢？可能有人说两个，只是这时的成员无法找到而已如果定义了结构体变量便可以找到了。但是你想想如果定义了一个结构体变量，可能就会是用了刚刚在结构体声明时的那两个成员的空间和刚刚定义的一个结构体变量相互组合形成一个新的结构体变量，内部包含结构体变量的成员。如果，再定义了一个结构体变量呢？那个在结构体声明时定义的两个成员就不够了，因为在结构体声明时并没有告知要定义几个这样的成员，这样在你又一次定义结构体变量的时候根本就无法找到成员的内存，何来组合呢？不要告诉我两次定义结构体的机理不一样，如果不一样的话，那么c语言的编辑者的思维就有问题了。所以，本人认为不是所有的定义都要给变量分配内存的。
那个人用了这样的语句来证明他的结论，然而我觉的有问题。他的语句是这样的，在主函数中写出printf(“%d”, sizeof(strut stu));在屏幕上打印出来的是8.然后他认为，在声明结构体的时候，就已经给那两个成员分配了内存，否则不会打印出8这个字符。但是我觉的不对，我觉得，你要是在任意一个位置写出这一句话都会打印出8的。因为sizeof函数对于本机来说，已经确定了对已有的类型具有特定的整数。就是说，无论在何时，写出sizeof(int)其返回值都是int在你的机子上特定的长度而已。