sizeof运算符、strlen()函数和转义字符

本篇文章posted on 2019-12-23 12:58

本人之前写过一篇类似的文章（链接：sizeof运算符和strlen()函数），也比较深入，但是和本篇相比，本篇更加深入。

首先请看下面的代码，这个代码应该输出什么。

下面是C语言代码。

#include<stdio.h>

int main(void)
{
    int a=2,b=0;
    sizeof(b=a++);
    printf("a=%d,b=%d\n",a,b);
    return 0;
}

输出结果如下。

a=2,b=0

首先本人需要强调的是，如果没有sizeof运算符，仅仅是b=a++，那么本题相当容易，就是一道普通的C语言题，输出结果自然就是a=3,b=2，但是令人想不明白的是，在这个赋值运算外面加上一个sizeof运算符，竟然会对赋值的效果产生改变，首先这个sizeof运算符的运算结果是4，unsigned int型，没有问题，但是这个结果没有保存起来，所以不用管。现在我们要考虑的问题是，sizeof里面的赋值运算还执行不执行了，按照习惯，给人的感觉好像是C语言的运算符先按优先级再按结合方向依次执行，好像是先++再=再sizeof（这部分如果不能理解可以看我另一篇文章，链接：自增自减与赋值运算），但是需要额外考虑的是sizeof运算符的结果在运行程序前就是已知的了，在编译阶段就算好了，所以里面的赋值根本不执行，尽管里面对变量进行赋值，仍然不被执行。

下面是一个类似的C语言代码。

#include<stdio.h>

int main(void)
{
    int a=2;
    sizeof(a=3);
    sizeof(a+=++a);
    printf("a=%d\n",a);
    return 0;
}

输出结果如下。

a=2

下面是一个和转义字符相结合的C语言代码。

#include<stdio.h>
#include<string.h>

int main(void)
{
    char s1[]="\\0\012\028\080\088";
    char s2[]="\00\\0\\\018\012\1bc\123\a23\abc\081\088";
    printf("strlen(s1):%d\n",strlen(s1));
    printf("sizeof(s1):%d\n",sizeof(s1));
    printf("sizeof(s2):%d\n",sizeof(s2));
    return 0;
}

输出结果如下。

strlen(s1):5
sizeof(s1):12
sizeof(s2):24

本题比较难，因为涉及的知识点比较多。首先提一个简单的知识点，sizeof("\0")的值是2，因为里面有2个字符串结尾标记。

下面本人将s1数组和s2数组的内部分配字符方式展示一下。

char s1[]="\\0\012\028\080\088";

char s2[]="\00\\0\\\018\012\1bc\123\a23\abc\081\088";（背景颜色是一样的，如果觉得不一样那是视觉效果）

本人需要强调的是，'\0'确实是字符串结尾标记，几乎所有的C语言教材都是这么描述的，但是当'\0'后再跟数字时，可能会拼接成其它字符，所以本人认为，应该用'\000'来表示字符串结尾标记。这种风格本人原先是没有的，但经历过上文中的C语言理论题后就产生这种风格了。