为什么 GCC 编译器允许我们（直接）声明零长度字符串和（间接）负长度字符串？

Question

/*implementation of strrev i.e. string reverse function*/

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

/*length of the string i.e. cells in the string*/
static const unsigned int MAX_LENGTH = 100;
//static const int MAX_LENGTH = -100;

/*reverses the string*/
void reverseString(char[]);
/*swaps the elements in the cells of a string*/
void swap(char[], int, int);

/*runs the program*/
int main()
{
    char string[MAX_LENGTH];
    //char string[0];  //no error!
    //char string[-1]; //error! 

    gets(string);
    reverseString(string);
    printf("\n%s", string);

    return 0;
}

void reverseString(char string[])
{
    int i;
    for(i = 0; i < (strlen(string) / 2); i++)
    {
        swap(string, i, (strlen(string) - 1 - i));
    }
}

void swap(char string[], int i, int j)
{
    int temp = string[i];
    string[i] = string[j];
    string[j] = temp;
}

看主函数。如果替换第一行“char string[MAX_LENGTH];”使用“char string[-1];”，编译器会显示错误。 （因为负长度的字符串没有意义）。但是，如果将此代码的第 7 行（我声明 const MAX_LENGTH）替换为第 8 行中用 cmets 编写的代码（其中 MAX_LENGTH 分配了 -ve 值），则不会出现编译错误。为什么？

另外，为什么声明零长度字符串没有错误。零长度字符串如何对编译器有意义但对负长度字符串没有意义？

Answer 1

因为这不是一回事。

• 在第一种情况下，您要定义一个数组，使用固定的编译时大小
• 在第二种情况下，您要定义一个可变长度数组或VLA。

编译器在第二种情况下在运行时进行分配（使用这个-100 值不会很好地结束），因为const 在C 中并不是一个真正的常量，它只是告诉编译器你不会改变这个值（并且还允许一些优化）。所以结果是未定义的行为（更多：Declaring an array of negative length）

如果您想要相同的行为，请使用 #define

 #define MAX_LENGTH -100    // will raise a compilation error

或者如 cmets 中所建议的，一个枚举常量：

enum { MAX_LENGTH = -100 };    // will raise a compilation error

如果您想保护您的声明，请使用assert

assert(MAX_LENGTH > 0);
char string[MAX_LENGTH];

至于零长度元素，无需重复已经回答的内容：What's the need of array with zero elements?（简而言之，在结构的末尾可以有不同的长度很有用）