std::is_floating_point

Определено в заголовке `<type_traits>`
template< class T > struct is_floating_point;		(с C++11)

std::is_floating_point является UnaryTypeTrait.

Проверяет, является ли T типом с плавающей точкой. Предоставляет стальную константу value, которая равна true, если T является типом float, double, long double, или любым расширенным типом с плавающей точкой (std::float16_t, std::float32_t, std::float64_t, std::float128_t, или std::bfloat16_t)(с C++23), включая любые cv-квалифицированные варианты. В противном случае value равно false.

Поведение программы, которая добавляет специализации для std::is_floating_point или std::is_floating_point_v является неопределённым.

Параметры шаблона

тип для проверки

Вспомогательная шаблонная переменная

template< class T >
inline constexpr bool is_floating_point_v = is_floating_point<T>::value;

(с C++17)

Наследуется от std::integral_constant

Статические константы

value

[static]

true если T является типом с плавающей точкой (возможно, cv-квалифицированным), false в противном случае
(публичная статическая константа)

Члены-функции

operator bool	преобразует объект в bool, возвращает `value` (публичная функция-член)
operator() (C++14)	возвращает `value` (публичная функция-член)

Типы-члены

Тип	Определение
`value_type`	bool
`type`	std::integral_constant<bool, value>

Возможная реализация

template<class T>
struct is_floating_point
     : std::integral_constant<
         bool,
         // Note: standard floating-point types
         std::is_same<float, typename std::remove_cv<T>::type>::value
         || std::is_same<double, typename std::remove_cv<T>::type>::value
         || std::is_same<long double, typename std::remove_cv<T>::type>::value
         // Note: extended floating-point types (C++23, if supported)
         || std::is_same<std::float16_t, typename std::remove_cv<T>::type>::value
         || std::is_same<std::float32_t, typename std::remove_cv<T>::type>::value
         || std::is_same<std::float64_t, typename std::remove_cv<T>::type>::value
         || std::is_same<std::float128_t, typename std::remove_cv<T>::type>::value
         || std::is_same<std::bfloat16_t, typename std::remove_cv<T>::type>::value
     > {};

Пример

#include <iostream>
#include <type_traits>
 
class A {};
 
int main() 
{
    std::cout << std::boolalpha;
    std::cout << "      A: " << std::is_floating_point<A>::value << '\n';
    std::cout << "  float: " << std::is_floating_point<float>::value << '\n';
    std::cout << " float&: " << std::is_floating_point<float&>::value << '\n';
    std::cout << " double: " << std::is_floating_point<double>::value << '\n';
    std::cout << "double&: " << std::is_floating_point<double&>::value << '\n';
    std::cout << "    int: " << std::is_floating_point<int>::value << '\n';
}

Вывод:

      A: false
  float: true
 float&: false
 double: true
double&: false
    int: false

См. также

is_iec559 [static]	определяет типы с плавающей точкой IEC 559/IEEE 754 (публичная статическая константа `std::numeric_limits<T>`)
is_integral (C++11)	проверяет, является ли тип целочисленным (шаблон класса)
is_arithmetic (C++11)	проверяет, является ли тип арифметическим (шаблон класса)
floating_point (C++20)	определяет, что тип является типом с плавающей точкой (концепция)

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/w/cpp/types/is_floating_point