#include<stdio.h>
int main()
{
    char a[]="Hello,World!";
    printf("%d",sizeof(a));
    return 0;
}

是的，是13个  外加 结束符'\0' 放在a[12]