一个空C风格字符串通过指针赋值后，为什么strlen()还是0？

Question

#include <iostream>
#include <cstring>

using namespace std;

int main(int argc, char *argv[])
{
	char cc[] = "";
	cc[0] = 'a';
	cc[1] = 'b';
	cc[2] = '\0';
	cout << strlen(cc) << endl;
	return 0;
}

看大家都说是越界的问题，我试过了不是的，因为下面这种情况越界也是可以strlen()的

#include <iostream>
#include <cstring>

using namespace std;

int main(int argc, char *argv[])
{
	char cc[] = "a";
	cc[1] = 'a';
	cc[2] = 'a';
	cc[3] = '\0';
	cout << strlen(cc) << endl;
	return 0;
}

 

Answer 1

程序数组访问越界了

不过这似乎是gcc优化的结果，其他编译器（clang, msvc)显示结果都是2
gcc似乎对char cc[]="";这种初始化，strlen(cc)直接被替换成0，strlen没有被调用。如果换成其他形式，比如char cc[]="1";或char cc[2]="";，strlen就会被调用，显示2.
https://godbolt.org/z/dTb84G31c