d常量折叠太聪明

原文

void main()
{
    auto a = long.min;
    auto b = long.max;
    auto c = 0.0;
    writeln((long.min + long.max) + 0.0); // -1
    writeln(long.min + (long.max + 0.0)); // -1
    writeln(long.min + cast(double)(long.max)); // -1
    writeln((a + b) + c); // -1
    writeln(a + (b + c)); // 0
    writeln(a + cast(double)(b)); // 0
}

long.max最近的double是比它大的.第3个特别可怕.
core.math.toPrec专门针对它们:

import core.math;
writeln((long.min + long.max) + 0.0); // -1
writeln(long.min + toPrec!double(long.max + 0.0)); // 0
writeln(long.min + toPrec!double(long.max)); //  0

在2012年决定了如何处理CTFE浮点.

这里,常量折叠与C99语义有冲突.

#include <stdint.h>
#include <stdlib.h>
int main()
{
    int64_t a = INT64_MIN;
    int64_t b = INT64_MAX;
    double c = 0.0;

    if (-1 != (a + b) + c)                     abort();
    if (-1 != (INT64_MIN + INT64_MAX) + 0.0)   abort();

    if ( 0 != a + (b + c))                     abort();
    if ( 0 != INT64_MIN + (INT64_MAX + 0.0))   abort(); // fails

    if ( 0 != a + (double)(b))                 abort();
    if ( 0 != INT64_MIN + (double)(INT64_MAX)) abort(); // fails
}