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错误，因为gcc和clang都接受这个代码：

consteval int g() { return 42; }

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

这是code 玩。

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

---

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

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

demo.

Answer 1

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

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

Answer 2

我发现c++20 final draft是：

9.2.5 constexpr 和 constevals 修饰符[dcl.constexpr] (2) 函数声明中使用的 constexpr 或 consteval 说明符将该函数声明为 constexpr 函数。使用 consteval 说明符声明的函数或构造函数称为动画函数。析构函数、分配函数或释放函数不得使用 consteval 说明符声明。

(3) constexpr 函数的定义应满足以下要求：

3.1 它的返回类型（如果有的话）应该是一个字面量类型；

和

6.8 类型 [basic.types]

(10) 一个类型是文字类型，如果它是：

(10.1) 简历无效

...

因为 void 是 consteval 函数的有效返回类型。