非終止constexpr函數是否定義良好？

Question

考慮下面的代碼：

constexpr unsigned f(unsigned x) 
{ 
    while (x & 1) x *= 3; 
    return x; 
} 

int main() 
{ 
    char a[f(2)]; 
    char b[f(1)]; 
} 

如果不是很明顯：對奇數x，功能f永遠不會終止。

當我編譯上面的程序with clang on coliru，b似乎是一個VLA，但不a：

warning: variable length arrays are a C99 feature [-Wvla-extension] 

char b[f(1)]; 

有沒有在該編譯器決定停止常量表達式的評價一個明確的限制嗎？或者，如果一個符合標準的編譯器進入一個無限循環，它會非常好嗎？ f(1)產量UB？

Answer 1

有許多事情，這意味着一個表達式是 不是芯常量表達式是

- 一個constexpr函數的調用或一個constexpr構造函數，將超過實現定義遞歸極限;

（§5.19/第5點）。所以限制是定義的實現 。