我把n改成100，马上输出正确值100，这说明sizeof对定长数组是这样用的。

//直接上代码

    int n = 0;
    char a[n];    //定义一个变长数组，接收字符输入
    char *p = a;
    char ch;

    printf("Enter a message: ");
    ch = getchar();
    while (ch != '\n'){        //将输入的字符放到数组中
        n++;
        *p = ch;
        p++;
        ch = getchar();
    }

    printf("%d\n", sizeof(a));    //这里输出的数值应该是输入的字符的个数，可是为什么输出是0呢？（sizeof(char)的值是1，就不去除他了）

变长数组是不完全数据类型，sizeof也不知道他的长度。
翻译：变长数组的长度就像盒子里的巧克力，sizeof也不知道下一块是什么味。

你的想法也太神奇了吧
a是变长数组，而非动态数组；即使是动态数组，也无法通过指向第一个元素的指针p去动态改变其尺寸呀。

从才没用p去改变他的尺寸呢，我用n去改变他的尺寸，哈哈

  int n = 0;
    char a[n];    //定义一个变长数组，接收字符输入
这样的化sizeof输出0很正常啊！难道你认为当你向a赋值的时候会自动增加数组的长度？
 n++;  是不是以为执行这一句后你认为a[n]应该是a[1]了，如果是这样的话，只能说，你的理解完全错了。
事实上在char a[n]之后，a和n已经没有任何关系了。不管你把n改成任何数值，这个数组也不会变化的。

变长数组是不完全数据类型，sizeof也不知道他的长度。
翻译：变长数组的长度就像盒子里的巧克力，sizeof也不知道下一块是什么味。
--------------------------------------
这话你从哪里听来的？变长数组属于complete type，sizeof在“运行时”知道其尺寸。
我猜原话中的『变长数组』指的是这种
struct foo {
    ……
    int vv[0];
};
也就结构体尾部定义一个空数组，由用户自己决定这个结构体的实际长度。

变长数组是不完全数据类型，不能使用sizeof获得它的大小。
来自：http://blog.  《例解GNU C之零长数组与变长数组》

C/C++中的不完全类型[编辑]
C/C++中不完全类型有三种不同形式： void、未指定长度的数组以及具有非指定内容的结构和联合。使用不完全类型的指针或引用，不需要知道类型的全部内容。另外也用于解决对象类型及其成员之间的类型循环依赖。
来自： http://zh. 《不完全类型》

那我就用n标记数组的长度好了，不然我也不知道数组有多长

第一个链接，你声明了一个“变长数组的不完全类型”，而不是说“变长数组”就是不完全类型。
比如 struct foo; 此时 strcut foo 就是个 incomplete type，但不能说 struct 就是 incomplete type。

第二个链接，同上，说的是“未指定长度的数组”，不能因为 VLA可以不指定长度 就认为VLA是不完全类型。你想想呀，普通函数声明时也是可以不指定长度的，难道说普通函数也是不完全类型。
BTW：wiki上的“具有非指定内容的结构和联合”，最好改为“具有未指定内容的结构和联合”

C 语言不允许 int n=8; int a[n];这么使用的。
所以再讨论sizeof(a)输出什么就意思不大了