Constexpr变量和除法

Question

我试图在编译时使用C11新的constexpr特性来计算这个简单表达式：

template <int a, int b>
class Test
{
   static constexpr double c = a / b;
};

但这是Clang一直告诉我的：

Constexpr variable 'c' must be initialized by a constant expression

奇怪的是，下面的代码编译得很好:

template <int a, int b>
class Test
{
   static constexpr double c = a / 2.f;
};

你们知道为什么a/b不是一个常量表达式吗，我如何在编译时计算它？

将Clang编译器与-std=c1y和-stdlib=libc一起使用

[更新]

以下示例导致了原始代码的错误:

Test<10,0> test1 ;

而：

Test<10,1> test1 ;

没有。

Answer 1

解决。其中一个模板实例的 b=0。不知何故，Clang没有警告我我被零除。 Inf 不是一个恒定的表达式。

Answer 2

原因：

Test<10,0> test1 ;

失败是因为被零除后有未定义的行为。这在C标准草案第5.6节[expr.mul]中有介绍，该节规定：

如果/或%的第二个操作数为零，则行为未定义

常量表达式专门排除未定义的行为。我不确定您使用的是什么版本的clang，但我在网上提供的版本确实提供了一个被零除的警告（请看实况）：

note: division by zero
static constexpr double c = a / b;
                              ^