以下程序运行后的输出结果是( ) main() { char s[]＝"1234"， *ps； for(ps＝s；ps＜s+3；ps++)printf("%c"，ps)； printf("\n")； }