91 lines · cpp
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-exception6//7//===----------------------------------------------------------------------===//8 9// UNSUPPORTED: c++03, c++11, c++14, c++1710 11// template<class T>12// concept integral = // see below13 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 integers50static_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 integers62#ifndef TEST_HAS_NO_INT12863static_assert(CheckIntegralQualifiers<__int128_t>());64static_assert(CheckIntegralQualifiers<__uint128_t>());65#endif66 67// bool and char types are also integral68static_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 integral76static_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