1//===----------------------------------------------------------------------===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8
9// UNSUPPORTED: c++03, c++11, c++14, c++17
10
11// template<class T>
12// concept integral = // see below
13
14#include <concepts>
15#include <type_traits>
16
17#include "arithmetic.h"
18#include "test_macros.h"
19
20template <typename T>
21constexpr bool CheckIntegralQualifiers() {
22 constexpr bool result = std::integral<T>;
23 static_assert(std::integral<const T> == result);
24 static_assert(std::integral<volatile T> == result);
25 static_assert(std::integral<const volatile T> == result);
26
27 static_assert(!std::integral<T&>);
28 static_assert(!std::integral<const T&>);
29 static_assert(!std::integral<volatile T&>);
30 static_assert(!std::integral<const volatile T&>);
31
32 static_assert(!std::integral<T&&>);
33 static_assert(!std::integral<const T&&>);
34 static_assert(!std::integral<volatile T&&>);
35 static_assert(!std::integral<const volatile T&&>);
36
37 static_assert(!std::integral<T*>);
38 static_assert(!std::integral<const T*>);
39 static_assert(!std::integral<volatile T*>);
40 static_assert(!std::integral<const volatile T*>);
41
42 static_assert(!std::integral<T (*)()>);
43 static_assert(!std::integral<T (&)()>);
44 static_assert(!std::integral<T (&&)()>);
45
46 return result;
47}
48
49// standard signed and unsigned integers
50static_assert(CheckIntegralQualifiers<signed char>());
51static_assert(CheckIntegralQualifiers<unsigned char>());
52static_assert(CheckIntegralQualifiers<short>());
53static_assert(CheckIntegralQualifiers<unsigned short>());
54static_assert(CheckIntegralQualifiers<int>());
55static_assert(CheckIntegralQualifiers<unsigned int>());
56static_assert(CheckIntegralQualifiers<long>());
57static_assert(CheckIntegralQualifiers<unsigned long>());
58static_assert(CheckIntegralQualifiers<long long>());
59static_assert(CheckIntegralQualifiers<unsigned long long>());
60
61// extended integers
62#ifndef TEST_HAS_NO_INT128
63static_assert(CheckIntegralQualifiers<__int128_t>());
64static_assert(CheckIntegralQualifiers<__uint128_t>());
65#endif
66
67// bool and char types are also integral
68static_assert(CheckIntegralQualifiers<wchar_t>());
69static_assert(CheckIntegralQualifiers<bool>());
70static_assert(CheckIntegralQualifiers<char>());
71static_assert(CheckIntegralQualifiers<char8_t>());
72static_assert(CheckIntegralQualifiers<char16_t>());
73static_assert(CheckIntegralQualifiers<char32_t>());
74
75// types that aren't integral
76static_assert(!std::integral<void>);
77static_assert(!CheckIntegralQualifiers<float>());
78static_assert(!CheckIntegralQualifiers<double>());
79static_assert(!CheckIntegralQualifiers<long double>());
80
81static_assert(!CheckIntegralQualifiers<ClassicEnum>());
82
83static_assert(!CheckIntegralQualifiers<ScopedEnum>());
84
85static_assert(!CheckIntegralQualifiers<EmptyStruct>());
86static_assert(!CheckIntegralQualifiers<int EmptyStruct::*>());
87static_assert(!CheckIntegralQualifiers<int (EmptyStruct::*)()>());
88
89static_assert(CheckSubsumption(0));
90static_assert(CheckSubsumption(0U));
91

source code of libcxx/test/std/concepts/concepts.lang/concepts.arithmetic/integral.compile.pass.cpp