文字列のコピーの際に見かける、while (*s1++ = *s2++)という表現について質問です。
これは条件文のところを、(*s1++ = *s2++) != 0x00と読み替えることができ、
ループが終わるのは*s1が0x00になったときという認識でよいのでしょうか。