C에서 string선언을 이렇게 하면? / char str[] ="a1" "b2" "c3";

즉 concatenation 과정 중, 기존 literal들 끝 \0는 전부 제거되고, concatenation 후 나온 literal 끝에만 \0가 추가됩니다.

ps)
실제 C compile 과정 중, 임시로 결합 전 literal들이 존재할 수는 있으나, 어차피 compile 과정 중 결합이 이루어지므로, 결합 후 literal에만 신경쓰면 됩니다.
"연속된 string literal들은 단일 literal로 간주한다."는 규칙만 지키면 되므로, compiler에 따라 임시 literal이 필요없게 만들 수도 있겠죠.(예를 들어 "abc"whitespace문자"def"라는 부분에서 중간에 있는 "whitespace문자"를 무시해버리기)

참고로 여기서 연속이라는 의미는 각 literal 사이에 공백문자들(whitepace문자 - space 외에 tab, 개행 문자등도 포함)만 허용됩니다.
따라서 간혹 source 가독성을 위해 문자열을 쪼개 기술할 때도 사용하기도 합니다.(보통 이 용도)

printf("abc and def");

printf("abc and "
       "def");