char s2="ABC\ DEF"; 需要怎么改是其输出结果为 ABCDEF ABCDEF ABCDEF 为什么

char s2="ABC\ DEF"; 需要怎么改是其输出结果为 ABCDEF ABCDEF ABCDEF 为什么
#include
void main()
{
char s1[]="ABC"
"DEF";
char s2="ABC\
DEF";
char s3[]="ABC" "DEF";
cout