c-programing 질문.

#include <stdio.h>
#include <stdlib.h>
#include <string.h>
 
int main(void)
{
	char str1[100];
	char str2[10];
	char buffer_test[100];
 
	fputs("Please input any sentence: " , stdout);
	fgets(str1 , sizeof(str1) , stdin);
 
	printf("\n");
 
	strncpy(str2 , str1 , sizeof(str2)-1 ); // copy
	str2[sizeof(str2)-1] = '\0'; // This is the last index of str2.
 
	fputs("The sentence that copied: " , stdout);
	printf("%s" , str2);
 
	system("PAUSE");
	return 0;
}

=> 입력받은 문자열을 복사해서 다시 출력해주는 간단한 프로그램입니다. 프로그램상 문제점은 없습니다.
하지만 "str2[sizeof(str2)-1] = '\0' 구문을 주석처리 하면 어떤 결과가 초래 될것인가?" 라는 질문에 답하기 위해[책에서 해보라고해서 한번 해 본것 입니다..(열혈강의 c 프로그래밍)]
해당 구문을 주석 처리하고 컴파일한후 프로그램을 실행하면서 '의아한 부분' 을 발견했습니다. 바로 printf("%s" , str2); 구문에 의해서 출력되어 지는 부분입니다.

▼[str2[sizeof(str2)-1] = '\0' 구문 주석처리 했다는 가정 하에 프로그램 실행 예]▼ (출력 결과 그대로 입니다)

Please input any sentence: hello world

The sentence that copied: hello woruhello world
계속하려면 아무 키나 누르십시오.......

=> str2같은 경우 배열의 크기가 10이라서 hello wor(쓰레기값) 이라는 결과가 출력 될것이라고 예측 했었습니다. 하지만 출력결과는 완전 딴판이었 더군요..
문자열(str2의 배열) 끝에 null문자가 없는대 모양새는 이상하지만 문자열을 출력했다는 것과, str2보다 크기가 큰 문자열이 출력되었다는 점..이 2가지를 도대체 어떻게 설명을 해야 할지 모르겠습니다..