如何静态检查两个比率是否相等？

Question

我有4个int常量：

const int a1 = 1024;
const int a2 = 768;
const int b1 = 640;
const int b2 = 480;

我想静态地检查它们是否有相同的比率。为了进行静态检查，我使用了BOOST_STATIC_ASSERT，但它不支持表达式。

我试过这个：

BOOST_STATIC_ASSERT( 1e-5 > std::abs( (double)a1 / (double)a2 - (double)b1 / (double)b2 ) );

但这会产生下一个编译错误：

error: floating-point literal cannot appear in a constant-expression
error: 'std::abs' cannot appear in a constant-expression
error: a cast to a type other than an integral or enumeration type cannot appear in a constant-expression
error: a cast to a type other than an integral or enumeration type cannot appear in a constant-expression
error: a cast to a type other than an integral or enumeration type cannot appear in a constant-expression
error: a cast to a type other than an integral or enumeration type cannot appear in a constant-expression
error: a function call cannot appear in a constant-expression
error: template argument 1 is invalid

如何修复上面的代码行才能使编译通过？

PS我不能访问c++0x特性和std::static_assert，这就是为什么我使用boost的静态断言。

Answer 1

BOOST_STATIC_ASSERT(a1 * b2 == a2 * b1);

Answer 2

如何修复上面的代码行以使编译通过？

如果不求助于user763305对等式的优雅重写，你就不能。编译器是正确的：“浮点文字不能出现在常量表达式中”。此外，您也不能在常量表达式中调用函数(std::abs)。

C++0x将使用constexpr解决此问题。