c - 为什么分配有小数的变量的行为与实际小数的行为不同？

Question

棘手的行是 char longest[]数组初始化。如果我这样说( char longest[lim] )，则 EOF 之后返回给我的字符串比 lim 长，所以我认为这种方式行不通。但是，如果我明确地将 10 放在那里( char longest[10] ) - 它会按我的预期工作，并且只返回 line 的前 10 个字符。 .

在这种情况下，int lim = 10; char longest[lim] 之间有什么区别？和char longest[10]

#include <stdio.h>
#define MAXLINE 1000 //maximum input line size
//#define LIM 10

int getline(char line[], int maxline);
void copy(char to[], char from[]);

//print longest input line
main()
{
    int lim=10;


    int len; //current line length
    int max; //maximum length seen so far
    char line[MAXLINE]; //current input line
    char longest[lim]; //longest line saved here

    max = 0;
    while ((len = getline(line, MAXLINE)) > 0)
    {
        if (len > max)
        {
            max = len;
            copy(longest, line);
        }
    }
    if (max > 0) //there was a line
    {
        printf("Length: %d\n", max);
        printf("First %d characters of line: %s", lim, longest);
    }
    return 0;
}

//getline: read a line into s, return length
int getline(char s[], int lim)
{
int c, i;

for (i=0; i<lim-1 && (c=getchar())!=EOF && c!='\n'; ++i)
{
    s[i] = c;
}
if (c == '\n')
{
    s[i] = c;
    ++i;
}
s[i] = '\0';
return i;
}

//copy: copy 'from' into 'to'; assume to is bigh enough
void copy(char to[], char from[])
{
int i;

i = 0;
    while ((to[i] = from[i]) != '\0')
    {
        ++i;
    }
}

Answer 1

type name[10] 是固定数组声明。

类型名称[exp]是变长数组。

每次遇到此声明(在 block 中)时都会执行分配，该声明来自 C99 可变长度数组。尺寸一旦成型就固定。

因此，这种情况的行为，例如在代码中访问数组边界之外的行为(如示例)是未定义。