static_cast / float / bitset / const weirdness

Question

Всего несколько часов назад возник следующий вопрос: переменная не может появляться в константном выражении

К счастью для ОП, предоставленный ответ действительно решил его проблему, но я не могу воспроизвести решение.

Я попытался упростить код еще больше, и теперь я застрял в следующем:

#include <bitset>

int main ()
{
   const size_t length_1 = static_cast<const size_t>(1.0f);
   std::bitset<length_1> bits_1;
   const size_t length_2 = static_cast<const size_t>(1.0f / 1.0f);
   std::bitset<length_2> bits_2;
}

Если скомпилировано с -pedanticпервый пример принимается компилятором, но тот, у которого есть деление (но, очевидно, такое же число), отклоняется с сообщением "length_2 не может появляться в выражении-константе".

Без -pedantic а также с -pedantic -std=c++0x это принято без дальнейшего предупреждения.

Это полный вывод g++ -v (Я извиняюсь за немецкий, но я уверен, что вы все равно получаете правильную информацию):

Es werden eingebaute Spezifikationen verwendet.
COLLECT_GCC=g++
COLLECT_LTO_WRAPPER=/usr/lib/gcc/i686-linux-gnu/4.6/lto-wrapper
Ziel: i686-linux-gnu
Konfiguriert mit: ../src/configure -v --with-pkgversion='Ubuntu/Linaro 4.6.3-1ubuntu5' --with-bugurl=file:///usr/share/doc/gcc-4.6/README.Bugs --enable-languages=c,c++,fortran,objc,obj-c++ --prefix=/usr --program-suffix=-4.6 --enable-shared --enable-linker-build-id --with-system-zlib --libexecdir=/usr/lib --without-included-gettext --enable-threads=posix --with-gxx-include-dir=/usr/include/c++/4.6 --libdir=/usr/lib --enable-nls --with-sysroot=/ --enable-clocale=gnu --enable-libstdcxx-debug --enable-libstdcxx-time=yes --enable-gnu-unique-object --enable-plugin --enable-objc-gc --enable-targets=all --disable-werror --with-arch-32=i686 --with-tune=generic --enable-checking=release --build=i686-linux-gnu --host=i686-linux-gnu --target=i686-linux-gnu
Thread-Modell: posix
gcc-Version 4.6.3 (Ubuntu/Linaro 4.6.3-1ubuntu5) 

В чем причина такого поведения? Я думаю это 1.0f быть признанным в качестве особой константы и, следовательно, изменить поведение static_cast?

Answer 1

Ответ в §5.19.

C++ 03 допускает только арифметические константные выражения, которые удовлетворяют требованиям для интегрального константного выражения: "Плавающие литералы (2.13.3) могут появляться, только если они приводятся к целочисленным типам или типам перечисления".

Так что пока кажется разумным лечить 1.0f/1.0f как 1 тем не менее, это за пределами стандарта. Избегать "арифметики с плавающей точкой целевой машины" звучит как хорошее объяснение для меня. Для работы GCC 4.7 требуются libgmp, libmpfr и libmpc.

C++ 11 не накладывает таких ограничений. Но точность все еще определяется реализацией. Реализациям только "рекомендуется" предоставлять согласованные результаты для оценки времени компиляции и выполнения.