编辑代码

#include <stdio.h>
int main () {
    char * ch = "1234";
    int a = strlen(ch);
    printf("d%\n", a);

    //char * ch1 = ch;
    //int b = strlen(ch1);
    //printf("%d\n", b);
	return 0;
}