clang 说对 void consteval 函数的调用不是常量表达式

Question

clang(trunk) 给出以下代码的错误：

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(trunk) 编译它没有错误。

我觉得这可能是一个 clang bug，因为 gcc 和 clang 都接受这个代码：

consteval int g() { return 42; }

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

这是要玩的代码。

那么这是一个 clang bug，还是代码格式不正确，或者有 ub，还是其他什么？

---

编辑：我觉得指出 clang 允许f从其他函数调用（如果它们也是保守的）可能是相关的。f它仅在从非 consteval 函数调用时给出错误：

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

演示。

Answer 1

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

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