的static_cast /浮动/位集/ const的古怪(static_cast / float

2019-09-21 09:27发布

就在几个小时之前,以下问题上来: 变量不能出现在常数表达式

幸运的是OP,提供的答案确实解决他的问题,但我不能重现的解决方案。

我已经尝试更简化的代码,我现在坚持了以下内容:

#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 beeing认为是一些特殊的常数,因此改变的static_cast的行为?

Answer 1:

答案是§5.19。

C ++ 03仅允许其满足整数表达式要求算术常量表达式 :“浮动文本(2.13.3)只能出现如果它们被转换为积分或枚举类型”。

因此,尽管它似乎是合理的治疗1.0f/1.0f1它仍然超出标准。 为了避免“目标机器的浮点运算”听起来像一个很好的解释给我。 GCC 4.7要求libgmp,libmpfr和libmpc,使这项工作。

C ++ 11并没有规定这种限制。 但是精度仍然实现定义。 实现只属于“鼓励”提供编译时一致的结果和运行时的评价。



文章来源: static_cast / float / bitset / const weirdness