strlen() 함수에 관하여

기존에 이와 비슷한 질문이 있는데 추가적으로 궁금한점이

있어서 질문드립니다.

예를 들어

char ch[] = "Testing";

strcpy(ch, "LA");

위의 코드를 printf() 나 puts() 함수를 이용하여

출력하면 문자열 "LA"가 출력될것입니다

근데 사실상 저 두함수는 NULL을 만나기 전까지만

문자열을 출력하는거니 사실상 ch는

"LA\0ting" 이렇게 메모리에 저장되어있는거잖아요.

(뒤의 \0는 생략하고)

그렇다면 제생각에는 strlen(ch) 를 실행할시에

2가아니라

저 메모리에 저장되있는 전부 그대로 7이 나와야되는거

아닌가요? 저 ch 문자형배열의 실제크기가 7이니깐요.

이 함수를 만들때 왜 이렇게 작동하게 구현했는지

궁금합니다...