Question

c语言是如何检测到数组越界的

比如说 strcpy(char*,const char*)函数，
下面写就是错误的：
char str1[2];
char str2 [] = "abcd";
strcpy(str1,str2);
因为str1的长度为2 ，小于5，所以上面的函数就报错了，
那么我的疑问是，strcpy接受的是一个char的指针，c语言是如何知道str1的长度的呢？
请大神指教

Answer 1

每个字符串都会以"\0"结束，指针读取后移的过程中，用一个变量计数，读到"\0"结束，不就知道了字符串的长度了吗？上个示例代码：

代码区

Answer 2

你不是已经定义字符串str1的的长度是2了吗，那长度是四的字符串str2怎么可能复制到str中，明显越界了啊

追问

是明显越界了，我是问底层，是怎么判断的，str1已经退化成指针了，是没有长度的，所以如何判断越界的