NAME¶

std::floating_point - std::floating_point

Synopsis¶

Defined in header <concepts>
template< class T > (since C++20)
concept floating_point = std::is_floating_point_v<T>;

The concept floating_point<T> is satisfied if and only if T is a floating-point
type.

Example¶

// Run this code

#include <concepts>
#include <iostream>
#include <type_traits>

constexpr std::floating_point auto x2(std::floating_point auto x)
{
return x + x;
}

constexpr std::integral auto x2(std::integral auto x)
{
return x << 1;
}

int main()
{
constexpr auto d = x2(1.1);
static_assert(std::is_same_v<double const, decltype(d)>);
std::cout << d << '\n';

constexpr auto f = x2(2.2f);
static_assert(std::is_same_v<float const, decltype(f)>);
std::cout << f << '\n';

constexpr auto i = x2(444);
static_assert(std::is_same_v<int const, decltype(i)>);
std::cout << i << '\n';
}

Output:¶

2.2
4.4
888

See also¶

is_floating_point checks if a type is a floating-point type
(C++11) (class template)