我是个菜鸟，我想问一下这个问题：
void main ( )
{
char a [ ] = "12345\0" ;
int i = strlen ( a ) ;
printf ( "%d" , i ) ;
}
答案是多少？5？6？7？8？

谢谢批评，我在做题，但是这个机器上没有能运行C的环境。

谢谢批评，我在做题，但是这个机器上没有能运行C的环境。

这不是我的电脑，我不好随便下东西，我也知道这些题运行一下就好，我也是实在没办法，才问的，刚才也看书了，没太懂，不知道后面的那个“\o”算不算是一个字符。