2

ほんの数時間前に、次の質問が出てきました:変数は定数式に現れることはできません

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特別な定数として認識されているため、 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 に答える