Skip to main content

Ceil

Defined in header <cmath>.

Description

Computes the smallest integer value not less than num. The library provides overloads of std::ceil for all cv-unqualified floating-point types as the type of the parameter num  (since C++23).
Additional overloads are provided for all integer types, which are treated as double (since C++11).

Declarations

// 1)
constexpr /* floating-point-type */ ciel( /* floating-point-type */ num );
// 2)
constexpr float cielf( float num );
// 3)
constexpr long double ciell( long double num );
Additional Overloads
// 4)
template< class Integer >
constexpr double ciel ( Integer num );

Parameters

num - floating point or integer value

Return value

If no errors occur, the smallest integer value not less than num, that is ⌈num⌉, is returned.

Error handling

Errors are reported as specified in math_errhandling.

If the implementation supports IEEE floating-point arithmetic (IEC 60559):

The current rounding mode has no effect.
If num is ±∞, it is returned unmodified
If num is ±0, it is returned, unmodified
If num is NaN, NaN is returned

Notes

FE_INEXACT may be (but is not required to be) raised when rounding a non-integer finite value.

The largest representable floating-point values are exact integers in all standard floating-point formats, so this function never overflows on its own; however the result may overflow any integer type (including std::intmax_t), when stored in an integer variable. It is for this reason that the return type is floating-point not integral.

This function (for double argument) behaves as if (except for the freedom to not raise FE_INEXACT) implemented by the following code:

#include <cfenv>
#include <cmath>

#pragma STDC FENV_ACCESS ON

double ceil(double x)
{
int save_round = std::fegetround();
std::fesetround(FE_UPWARD);
double result = std::rint(x); // or std::nearbyint
std::fesetround(save_round);
return result;
}

The additional overloads are not required to be provided exactly as Additional Overloads. They only need to be sufficient to ensure that for their argument num of integer type,
std::ceil(num) has the same effect as std::ceil(static_cast<double>(num)).

Examples

#include <cmath>
#include <iostream>

int main()
{
std::cout
<< std::fixed
<< "ceil(+2.4) = "
<< std::ceil(+2.4) << '\n'
<< "ceil(-2.4) = "
<< std::ceil(-2.4) << '\n'
<< "ceil(-0.0) = "
<< std::ceil(-0.0) << '\n'
<< "ceil(-Inf) = "
<< std::ceil(-INFINITY) << '\n';
}

Result
ceil(+2.4) = 3.000000
ceil(-2.4) = -2.000000
ceil(-0.0) = -0.000000
ceil(-Inf) = -inf

Ceil

Defined in header <cmath>.

Description

Computes the smallest integer value not less than num. The library provides overloads of std::ceil for all cv-unqualified floating-point types as the type of the parameter num  (since C++23).
Additional overloads are provided for all integer types, which are treated as double (since C++11).

Declarations

// 1)
constexpr /* floating-point-type */ ciel( /* floating-point-type */ num );
// 2)
constexpr float cielf( float num );
// 3)
constexpr long double ciell( long double num );
Additional Overloads
// 4)
template< class Integer >
constexpr double ciel ( Integer num );

Parameters

num - floating point or integer value

Return value

If no errors occur, the smallest integer value not less than num, that is ⌈num⌉, is returned.

Error handling

Errors are reported as specified in math_errhandling.

If the implementation supports IEEE floating-point arithmetic (IEC 60559):

The current rounding mode has no effect.
If num is ±∞, it is returned unmodified
If num is ±0, it is returned, unmodified
If num is NaN, NaN is returned

Notes

FE_INEXACT may be (but is not required to be) raised when rounding a non-integer finite value.

The largest representable floating-point values are exact integers in all standard floating-point formats, so this function never overflows on its own; however the result may overflow any integer type (including std::intmax_t), when stored in an integer variable. It is for this reason that the return type is floating-point not integral.

This function (for double argument) behaves as if (except for the freedom to not raise FE_INEXACT) implemented by the following code:

#include <cfenv>
#include <cmath>

#pragma STDC FENV_ACCESS ON

double ceil(double x)
{
int save_round = std::fegetround();
std::fesetround(FE_UPWARD);
double result = std::rint(x); // or std::nearbyint
std::fesetround(save_round);
return result;
}

The additional overloads are not required to be provided exactly as Additional Overloads. They only need to be sufficient to ensure that for their argument num of integer type,
std::ceil(num) has the same effect as std::ceil(static_cast<double>(num)).

Examples

#include <cmath>
#include <iostream>

int main()
{
std::cout
<< std::fixed
<< "ceil(+2.4) = "
<< std::ceil(+2.4) << '\n'
<< "ceil(-2.4) = "
<< std::ceil(-2.4) << '\n'
<< "ceil(-0.0) = "
<< std::ceil(-0.0) << '\n'
<< "ceil(-Inf) = "
<< std::ceil(-INFINITY) << '\n';
}

Result
ceil(+2.4) = 3.000000
ceil(-2.4) = -2.000000
ceil(-0.0) = -0.000000
ceil(-Inf) = -inf