Question

我试图弄清楚为什么我的代码会编译，什么时候不应该：

#include <iostream>
#include <cstdlib>
#include <ctime>
using namespace std;

constexpr int ret_one()
{ 
    return 1;
}
constexpr int f(int p) 
{  
  return ret_one() * p; 
}

int main() {
    int i = 2;
    srand(time(0));
    int j = rand();
    int first_array[f(10)];     // OK - 10 is a constant expression
    int second_array[f(j)];     // Error - the parameter is not a constant expression
    j = f(i);                   // OK - doesn't need to be constexpr

    std::cout << sizeof(second_array);
    return 0;
}

所以first_array定义没问题。但由于j不是常量表达式，second_array定义应该是错误的。在每个程序运行中，我得到不同的数组大小。它是如何工作的？在我的书中，作者清楚地指出constepxr是一个表达式，其值可以在编译时进行评估。可以在编译时评估rand()吗？我认为不可能。

Answer 1

某些编译器（如GCC）允许C风格的可变长度数组作为C ++的扩展。如果您的编译器执行此操作，那么您的代码将编译。

如果您使用的是GCC，则可以使用-Wvla或-pedantic启用警告。

Answer 2

事实上，

int second_array[f(j)];

将使用非标准VLA（可变长度数组）扩展名。

constexpr函数作为数组大小

2 个答案: