FE_DOWNWARD, FE_TONEAREST, FE_TOWARDZERO, FE_UPWARD

 

C++

コンパイラサポート

フリースタンディングとホスト

言語

標準ライブラリ

標準ライブラリヘッダー

名前付き要件

機能テストマクロ (C++20)

言語サポートライブラリ

コンセプトライブラリ (C++20)

診断ライブラリ

メモリ管理ライブラリ

メタプログラミングライブラリ (C++11)

汎用ユーティリティライブラリ

コンテナライブラリ

イテレータライブラリ

Rangesライブラリ (C++20)

アルゴリズムライブラリ

文字列ライブラリ

テキスト処理ライブラリ

数値ライブラリ

日付と時刻ライブラリ

入出力ライブラリ

ファイルシステムライブラリ (C++17)

並行サポートライブラリ (C++11)

実行制御ライブラリ (C++26)

Technical specifications (技術仕様)

シンボルインデックス

外部ライブラリ

 

数値ライブラリ

共通の数学関数
数学特殊関数 (C++17)
数学定数 (C++20)
基本的な線形代数アルゴリズム (C++26)
データ並列型 (SIMD) (C++26)
浮動小数点環境 (C++11)
複素数
数値配列 (valarray)
擬似乱数生成
ビット操作 (C++20)
因数操作
gcd (C++17)	lcm (C++17)
補間
midpoint (C++20)	lerp (C++20)
飽和演算
add_sat (C++26) sub_sat (C++26) saturate_cast (C++26)	mul_sat (C++26) div_sat (C++26)
汎用数値演算
iota (C++11) ranges::iota (C++23) accumulate inner_product adjacent_difference    partial_sum	reduce (C++17) transform_reduce (C++17) inclusive_scan (C++17) exclusive_scan (C++17) transform_inclusive_scan (C++17) transform_exclusive_scan (C++17)

 

浮動小数点環境

関数

feclearexcept (C++11)

fetestexcept (C++11)

feraiseexcept (C++11)

fegetexceptflagfesetexceptflag (C++11)(C++11)

fegetroundfesetround (C++11)(C++11)

fegetenvfesetenv (C++11)(C++11)

feholdexcept (C++11)

feupdateenv (C++11)

マクロ定数

FE_ALL_EXCEPTFE_DIVBYZEROFE_INEXACTFE_INVALIDFE_OVERFLOWFE_UNDERFLOW (C++11)(C++11)(C++11)(C++11)(C++11)(C++11)

FE_DOWNWARDFE_TONEARESTFE_TOWARDZEROFE_UPWARD (C++11)(C++11)(C++11)(C++11)

FE_DFL_ENV (C++11)

 

ヘッダー<cfenv>で定義
#define FE_DOWNWARD     /*実装定義*/		(C++11以降)
#define FE_TONEAREST    /*実装定義*/		(C++11以降)
#define FE_TOWARDZERO   /*実装定義*/		(C++11以降)
#define FE_UPWARD       /*実装定義*/		(C++11以降)

これらのマクロ定数は、それぞれ非負の整数定数式に展開され、std::fesetround および std::fegetround と一緒に、サポートされている浮動小数点丸めモードのいずれかを示すために使用できます。<cfenv> で、実装は追加の丸めモード定数を定義する場合があります。それらはすべてFE_ の後に少なくとも1つの大文字が続く必要があります。各マクロは、サポートされている場合にのみ定義されます。

Constant	説明
FE_DOWNWARD	負の無限大方向への丸め
FE_TONEAREST	最も近い表現可能な値への丸め
FE_TOWARDZERO	ゼロ方向への丸め
FE_UPWARD	正の無限大方向への丸め

実装は追加の丸めモードをサポートする場合があります。

現在の丸めモードは、以下のものに影響します。

• 定数式外の浮動小数点 算術演算子の結果

double x = 1;
x / 10; // 0.09999999999999999167332731531132594682276248931884765625
     // or 0.1000000000000000055511151231257827021181583404541015625

• 標準ライブラリ 数学関数の結果

std::sqrt(2); // 1.41421356237309492343001693370752036571502685546875
           // or 1.4142135623730951454746218587388284504413604736328125

• 浮動小数点から浮動小数点への暗黙的な変換およびキャスト

double d = 1 + std::numeric_limits<double>::epsilon();
float f = d; // 1.00000000000000000000000
          // or 1.00000011920928955078125

• std::strtod または std::printf のような文字列変換

std::stof("0.1"); // 0.0999999940395355224609375
               // or 0.100000001490116119384765625

• ライブラリ丸め関数 std::nearbyint, std::rint, std::lrint

std::lrint(2.1); // 2 or 3

現在の丸めモードは、以下のものには影響しません。

• 浮動小数点から整数への暗黙的な変換およびキャスト（常にゼロ方向）、
• コンパイル時に実行される式における浮動小数点算術演算子の結果（常に最近接方向）、
• ライブラリ関数 std::round, std::lround, std::llround, std::ceil, std::floor, std::trunc。

他のすべての 浮動小数点環境 機能と同様に、丸めは #pragma STDC FENV_ACCESS ON が設定されている場合にのみ保証されます。

プラグマをサポートしないコンパイラは、現在の丸めモードをサポートするための独自の手段を提供する場合があります。たとえば、Clang と GCC には、丸めの影響を受けやすいコードの意味を変更する最適化を無効にすることを意図した -frounding-math オプションがあります。

例

このコードを実行

#include <cfenv>
#include <cmath>
#include <iomanip>
#include <iostream>
#include <string>
// #pragma STDC FENV_ACCESS ON
 
int main()
{
    std::fesetround(FE_DOWNWARD);
    std::cout << "rounding down: \n" << std::setprecision(50)
              << "         pi = " << std::acos(-1.f) << '\n'
              << "stof(\"1.1\") = " << std::stof("1.1") << '\n'
              << "  rint(2.1) = " << std::rint(2.1) << "\n\n";
    std::fesetround(FE_UPWARD);
    std::cout << "rounding up: \n"
              << "         pi = " << std::acos(-1.f) << '\n'
              << "stof(\"1.1\") = " << std::stof("1.1") << '\n'
              << "  rint(2.1) = " << std::rint(2.1) << '\n';
}

出力

rounding down:
         pi = 3.141592502593994140625
stof("1.1") = 1.099999904632568359375
  rint(2.1) = 2
 
rounding up:
         pi = 3.1415927410125732421875
stof("1.1") = 1.10000002384185791015625
  rint(2.1) = 3

関連項目

float_round_style	浮動小数点数の丸めモードを示す (enum)
fegetroundfesetround (C++11)(C++11)	丸め方向を取得または設定する (関数)
C のドキュメント （浮動小数点丸めマクロ）