在C / C ++中从double隐式转换为int64_t是什么

Question

有人可以阐明此代码的行为方式：

double x = 9223371036854;
int64_t y1 = /* trunc */ (x * 1000000);
int64_t y2 = round(x * 1000000);
cout << y1 << " <= " << y2 << endl;
assert( y1 <= y2 ); // fail

由于y1实际上等于9223371036854000000而y2是9223371036853999616 ， 9223371036854000000此代码失败。
取消注释后， trunc一切正常（确认为断言）。

由gcc-4.6.3-1ubuntu5与g++ --std=c++0x x.cpp 。

为什么int64_t(round(x * 1000000))小于int64_t(x * 1000000)其中x是double ？

为什么结果int64_t(trunc(x * 1000000))是由不同int64_t(x * 1000000)

Answer 1

我猜我发现了为什么它会这样工作（ y1 == 92233710368540000000并断言失败）。

GCC优化了y1运行时计算，而不会降低在y2中明显发生的精度。 更有趣的是，文字表达没有这种属性

double x = 9223371036854;
int64_t y1 = /* trunc */ (x * 1000000);
int64_t y2 = round(x * 1000000);
cout << y1 << " <= " << y2 << endl;
assert( int64_t(9223371036854.0 * 1000000) <= int64_t(round(9223371036854e6)) ); // ok
assert( int64_t(x * 1000000) <= int64_t(round(x * 1000000)) ); // fails
assert( y1 <= y2 ); // fails

如果我将1e6移出1e6之外，那么一切都会按预期进行：

double x = 9223371036854.0 * 1000000;
int64_t y1 = /* trunc */ (x);
int64_t y2 = round(x);
cout << y1 << " <= " << y2 << endl;
assert( int64_t(x) <= int64_t(round(x)) ); // ok
assert( y1 <= y2 ); // ok

但是可能我对优化的假设是不正确的。