#include <stdio.h>

int main(void) {
　　char s[] = {'H','e','l','l','o',',','w','o','r','l','d','!'};
　　printf("[%s](%d)\n", s, sizeof(s) );
　　return 0;
}

$ ./a.exe
[Hello,world!?C$aD$a](12)

'\0' 入らないみたいですね！ということは、「たまたま」と考えた方がいいということですね。
コンパイラは gcc 3.4.4 です。