Clang说，调用void consteval函数不是一个常量表达式 [英] clang says call to void consteval function is not a constant expression

问题描述

clang(干线)显示以下代码错误：

consteval void f() {}

int main() 
{ 
    f();  // error: call to consteval function 'f' is not a constant expression
          // note: subobject of type 'void' is not initialized
}

而GCC(主干)对此进行了正确的编译。

我觉得这可能是clang错误，因为GCC和clang都接受这个代码：

consteval int g() { return 42; }

int main() 
{ 
    g();  // ok
}

这里是要玩的code。

那么这是一个clang错误，还是代码格式错误，或者有UB，或者其他什么？

---

编辑：我觉得有必要指出，clang允许从其他函数调用f，如果它们也是constval的话。仅当从非常量函数调用f时才给出错误：

consteval int h() 
{ 
    f();       // ok
    return 42; 
}

demo。

推荐答案

这是在版本10和版本11之间引入的Clang错误，并在上个月fixed引入。consteval在Clang中的实现大部分是完整的，但不是完全的，此错误是在其中一个补丁添加了更完整的consteval支持之后出现的。

详细信息：Clang的常量计算器的顶级入口点检查结果是否为常量表达式允许的结果--它检查结果是否包含指向自动存储持续时间或临时或类似类型的指针。但此检查从未更新以适应void是文字类型，并且将拒绝类型void的值，因为它是&Quot；未初始化&Quot；。在添加consteval支持之前从未注意到这一点，因为所有顶级常量计算都是非void类型。

这篇关于Clang说，调用void consteval函数不是一个常量表达式的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！