std::unsigned_integral(3)

okay so this is the std::unsigned_integral(3) page from the C++ Standard Libary manual, and it's lowkey giving “is this type unsigned-integral?” main character energy 💖✨

✨ NAME ✨

std::unsigned_integral — that’s the whole name, bestie: std::unsigned_integral. No extra subtitle, no side quest. 💅

🌸 Synopsis 🌸

Defined in header <concepts>
template< class T >
concept unsigned_integral = std::integral<T> &&
(since C++20)
!std::signed_integral<T>;

The concept unsigned_integral<T> is satisfied if and only if T is an integral type and std::is_signed_v<T> is false. no cap, that's the whole vibe check 🫶

💅 Notes 💅

Bestie, listen: unsigned_integral<T> may be satisfied by a type that is not an unsigned integer type — for example, bool. yes, bool is out here sneaking into the unsigned-integral party 🙈💀

🎀 Example 🎀

// Run this code

#include <concepts>
#include <iostream>
#include <string_view>

void test(std::signed_integral auto x, std::string_view text = "")
{
    std::cout << text << " (" + (text == "") << x << ") is a signed integral\n";
}

void test(std::unsigned_integral auto x, std::string_view text = "")
{
    std::cout << text << " (" + (text == "") << x << ") is an unsigned integral\n";
}

void test(auto x, std::string_view text = "")
{
    std::cout << text << " (" + (text == "") << x << ") is non-integral\n";
}

int main()
{
    test(42);               // signed
    test(0xFULL, "0xFULL"); // unsigned
    test('A');              // platform-dependent
    test(true, "true");     // unsigned
    test(4e-2, "4e-2");     // non-integral (hex-float)
    test("∫∫");             // non-integral
}

✨ Possible output ✨

(42) is a signed integral
0xFULL (15) is an unsigned integral
(A) is a signed integral
true (1) is an unsigned integral
4e-2 (0.04) is non-integral
(∫∫) is non-integral

👑 See also 👑

• is_integral — checks if a type is an integral type (C++11) (class template)
• is_signed — checks if a type is a signed arithmetic type (C++11) (class template)

source/version: http://cppreference.com · date: 2024.06.10 · page: std::unsigned_integral(3) — mwah, go check your integral vibes, bestie 💖🦋🎀