求串长
int strlen(char *s);//求串s的长度
【例】printf("%d",strlen(s1)); //输出s1的串长12
打红色之处不是指向字符的指针变量吗?为什么又说是串S呢?

不太明白楼主的意思！是不是这样啊？
strlen()函数中的参数传递的是字符串s的首地址，
如同数组，可以这样定义函数 int strlen（char s[]）,然后这样调用，strlen（s）。