2

就在几个小时前，出现了以下问题：变量不能出现在常量表达式中

幸运的是，提供的答案确实解决了他的问题，但我无法重现该解决方案。

我试图进一步简化代码，现在我陷入了以下困境：

#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 的行为？

4

1 回答 1

2

答案在 §5.19 中。

C++03 只允许满足整数常量表达式要求的算术常量表达式：“浮动文字（2.13.3）只有在它们被强制转换为整数或枚举类型时才能出现。”

因此，尽管处理它似乎是合理的1.0f/1.0f，1但它仍然超出了标准。避免“目标机器的浮点运算”对我来说听起来像是一个很好的解释。GCC 4.7 需要 libgmp、libmpfr 和 libmpc 才能完成这项工作。

C++11 没有这样的限制。但是准确性仍然是实现定义的。仅“鼓励”实现为编译时和运行时评估提供一致的结果。

于 2012-08-28T14:45:52.890 回答