c语言字符串，字符串遇到0和\0都会结束吗？

#include <stdio.h>
#include <string.h>
void main()
{ char s[]="Happy\0";

s[0]='0';

s[1]=0;

s[2]='\0';

printf("%d%d",sizeof(s),strlen (s));
}



这个程序输出7 1，说明求字符串长度遇到0也会结束？