Namespaces
Variants
Views
Actions

Difference between revisions of "cpp/concepts/floating point"

From cppreference.com
< cpp‎ | concepts
m (+mark)
(+References)
 
Line 44: Line 44:
 
888
 
888
 
}}
 
}}
 +
 +
===References===
 +
{{ref std c++23}}
 +
{{ref std|section=18.4.7|title=Arithmetic concepts|id=concepts.arithmetic}}
 +
{{ref std end}}
 +
{{ref std c++20}}
 +
{{ref std|section=18.4.7|title=Arithmetic concepts|id=concepts.arithmetic}}
 +
{{ref std end}}
  
 
===See also===
 
===See also===

Latest revision as of 10:13, 7 September 2024

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

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

[edit] Example

#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

[edit] References

  • C++23 standard (ISO/IEC 14882:2024):
  • 18.4.7 Arithmetic concepts [concepts.arithmetic]
  • C++20 standard (ISO/IEC 14882:2020):
  • 18.4.7 Arithmetic concepts [concepts.arithmetic]

[edit] See also

checks if a type is a floating-point type
(class template) [edit]