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

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解决此问题。