Почему пол не возвращает целое число?

Question

Только что я наткнулся на факт, что функция C++ floor возвращает тот же тип, который вы передаете ему, будь то float, double или такой.

Согласно this reference, функция возвращает округленное целочисленное значение. Почему это не целое?

Answer 1

Поскольку интегральный тип не может содержать те же интегральные значения, что и float или double.

int main(int argc, char *argv[]) { 
    std::cout << floor(std::numeric_limits<float>::max()) << std::endl; 
    std::cout << static_cast<long>(floor(std::numeric_limits<float>::max())) << ::endl; 
} 

выходы (на моей x86_64 архитектуры)

3.40282e+38 
-9223372036854775808 

Кроме того, значения с плавающей точкой могут содержать NaN, + Inf и -Inf, все из которых сохранились по floor() операции. Ни одно из этих значений не может быть представлено интегральным типом.

int main(int argc, char *argv[]) { 
    std::cout << floor(std::numeric_limits<float>::quiet_NaN()) << std::endl; 
    std::cout << floor(std::numeric_limits<float>::infinity()) << std::endl; 
    std::cout << floor(-std::numeric_limits<float>::infinity()) << std::endl; 
} 

выходы

nan 
inf 
-inf