• Class / Function / Type

      std::
    • Header file

      <>
    • Other / All

    最終更新日時(UTC):
    が更新

    履歴 編集

    function
    <cmath>

    std::ceil

    namespace std {
      float ceil(float x);              // (1) C++03からC++20まで
      double ceil(double x);            // (2) C++03からC++20まで
      long double ceil(long double x);  // (3) C++03からC++20まで
    
      constexpr floating-point-type
       ceil(floating-point-type x);     // (4) C++23
    
      double
        ceil(Integral x);               // (5) C++11
      constexpr double
        ceil(Integral x);               // (5) C++23
    
      float
        ceilf(float x);                 // (6) C++17
      constexpr float
        ceilf(float x);                 // (6) C++23
    
      long double
        ceill(long double x);           // (7) C++17
      constexpr long double
        ceill(long double x);           // (7) C++23
    }
    

    概要

    引数 x 以上で最小の整数値を得る。(天井関数)

    • (1) : floatに対するオーバーロード
    • (2) : doubleに対するオーバーロード
    • (3) : long doubleに対するオーバーロード
    • (4) : 浮動小数点数型に対するオーバーロード
    • (5) : 整数型に対するオーバーロード (doubleにキャストして計算される)
    • (6) : float型規定
    • (7) : long double型規定

    戻り値

    引数 x 以上で最小の整数値

    備考

    • 本関数は、C99 の規格にある ceil(より正確には math.h ヘッダの ceilceilfceill の 3 つ。それぞれ C++ の doublefloatlong double バージョンに相当)と等価である。
    • C++11 以降では、処理系が IEC 60559 に準拠している場合(std::numeric_limits<T>::is_iec559() != false)、以下の規定が追加される。

      • x = ±0 の場合、±0 を返す。
      • x = ±∞ の場合、±∞ を返す。

      また、本関数の挙動は、丸めモードが FE_UPWARD に設定されている時の rint、あるいは nearbyint のいずれかと等価である。
      したがって、本関数において戻り値が引数 x と異なる場合に例外 FE_INEXACT が発生するか否かは実装依存である。
      なお、本関数の挙動は、現在の丸めモードには依存しない。 - C++23では、(1)、(2)、(3)が(4)に統合され、拡張浮動小数点数型を含む浮動小数点数型へのオーバーロードとして定義された

    #include <cfenv>
    #include <cmath>
    #include <iostream>
    
    void test(double x)
    {
      std::feclearexcept(FE_ALL_EXCEPT);
      std::cout << "ceil(" << x << ") = " << std::ceil(x) << '\n';
      std::cout << "FE_INEXACT = " << std::boolalpha << (std::fetestexcept(FE_INEXACT) != 0) << "\n\n";
    }
    
    int main()
    {
      test(2.0);
      test(2.1);
      test(2.5);
      test(2.9);
      test(-2.0);
      test(-2.1);
      test(-2.5);
      test(-2.9);
    }
    

    出力例

    ceil(2) = 2
    FE_INEXACT = false
    
    ceil(2.1) = 3
    FE_INEXACT = true
    
    ceil(2.5) = 3
    FE_INEXACT = true
    
    ceil(2.9) = 3
    FE_INEXACT = true
    
    ceil(-2) = -2
    FE_INEXACT = false
    
    ceil(-2.1) = -2
    FE_INEXACT = true
    
    ceil(-2.5) = -2
    FE_INEXACT = true
    
    ceil(-2.9) = -2
    FE_INEXACT = true
    
    

    引数と結果が異なる場合に例外 FE_INEXACT が発生するか否かは実装によって異なる。

    参照