表达式必须有一个常数值问题

Question

我在 Visual Studio 中使用 C 为用户输入数组大小的代码。

该代码在 Visual Studio 中不起作用并给出错误。

但是在像 repli 这样的网站上它可以工作。

我不明白如何使它在 Visual Studio 中工作。

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

int main()
{
    int m;
    do
    {
        printf("please enter array size--> ");
        scanf_s("%d", &m);
    } while (m <= 1);

    int arry[m];

    for (int i = 0 + 1; i < m + 1; i++)
    {
        printf("%d,", arry[i] = i);
    }

    return 0;
}

Answer 1

本声明

int arry[m];

是 C 编译器有条件地支持的可变长度数组的声明，因为m不是 integer 常量表达式。

It seems you are using a version of MS VS the C compiler of which does not support variable length arrays or you need to change properties of your project and select the last version of the C compiler.

否则声明一个不小于变量m的可能值的固定大小的数组或动态分配它。

无论如何要注意这个 for 循环

for (int i = 0 + 1; i < m + 1; i++)
{

printf("%d,", arry[i] = i);

}

导致在数组之外访问 memory 因为索引的有效范围是[0, m) 。

它必须看起来像

for (int i = 0; i < m; i++)
{
    printf("%d,", arry[i] = i + 1 );
}

Answer 2

您可以在下面尝试我的健全性检查代码来测试编译器的实用性和标准合规性：

#include <stdio.h>

int main()
{
  #if !defined(__STDC__) || !defined(__STDC_VERSION__)
    puts("This compiler is garbage.");
  #elif (__STDC_VERSION__ >= 201112L)
     #if (__STDC_NO_VLA__==1)
       puts("This compiler is mighty strange but compliant.");
     #else
       puts("This compiler is modern and useful.");
       int m = 5;
       int array[m];
     #endif
  #elif (__STDC_VERSION__ == 199901L)
    puts("This compiler is old but useful.");
    int m = 5;
    int array[m];
  #endif

  return 0;
}

如果完全支持 C 语言，编译器给出 output“非常奇怪”或“垃圾”将不支持可变长度 arrays。

Output 来自以下各种常见的 x86 编译器。

默认设置

• clang 14.0.0 x86： This compiler is modern and useful.
• gcc 12.1 x86： This compiler is modern and useful.
• icc 2021.5.0 x86： This compiler is modern and useful.
• icx 2022.0.0 x86： This compiler is modern and useful.
• MSVC 19.32 x86： This compiler is garbage.

-std=c99

• clang 14.0.0 x86 -std=c99 ： This compiler is old but useful.
• gcc 12.1 x86 -std=c99 ： This compiler is old but useful.
• icc 2021.5.0 x86: -std=c99 : This compiler is old but useful.
• icx 2022.0.0 x86: -std=c99 : This compiler is old but useful.
• MSVC 19.32 x86 /std:c99 ： This compiler is garbage.

-std=c11

• clang 14.0.0 x86 -std=c11 ： This compiler is modern and useful.
• gcc 12.1 x86 -std=c11 ： This compiler is modern and useful.
• icc 2021.5.0 x86 -std=c11 ： This compiler is modern and useful.
• icx 2022.0.0 x86 -std=c11 ： This compiler is modern and useful.
• MSVC 19.32 x86 /std:c11 ： This compiler is garbage.

-std=c17

• clang 14.0.0 x86 -std=c17 c17 ： This compiler is modern and useful.
• gcc 12.1 x86 -std=c17 c17 ： This compiler is modern and useful.
• icc 2021.5.0 x86 -std=c17 c17 ： This compiler is modern and useful.
• icx 2022.0.0 x86 -std=c17 c17 ： This compiler is modern and useful.
• MSVC 19.32 x86 /std:c17 c17 ： This compiler is garbage.

Answer 3

默认情况下，当 MSVC 将代码编译为 C 时，它使用 Microsoft 特定的语言扩展实现 ANSI C89。 其中一些 MSVC 扩展在 ISO C99 及更高版本中进行了标准化。

__STDC_NO_VLA__如果实现不支持标准可变长度 arrays，则定义为 1。 当编译为 C 并指定 /std C11 或 C17 选项之一时，MSVC 实现将其定义为 1。

https://clang.llvm.org/c_status.html#c99

https://gcc.gnu.org/c99status.html

M$ 说 VLA 对您很危险且效率较低，因此不支持