types_is_unsigned

types_is_unsigned (부호 없는 타입인지 검사하기)

이 페이지는 C++ 표준 라이브러리의 std::is_unsigned 타입 특성에 대해 설명해요. 이 특성은 주어진 타입이 부호 없는 산술 타입인지 여부를 컴파일 타임에 확인해 줘요. 템플릿 메타프로그래밍에서 타입의 속성을 판별할 때 유용하게 사용할 수 있어요.

출처: cppreference

본문

<type_traits> 헤더에 정의되어 있어요.

std::is_unsigned는 UnaryTypeTrait(단항 타입 특성)이에요.

T가 부호 없는 산술 타입인지 확인해요.

• std::is_arithmetic<T>::value가 true라면, T(0) < T(-1)의 결과와 같은 값을 멤버 상수 value로 제공해요.
• 그렇지 않다면, 멤버 상수 value는 false를 제공해요.

프로그램에서 std::is_unsigned 또는 std::is_unsigned_v에 대한 특수화를 추가하면 동작이 정의되지 않아요.

템플릿 매개변수

| T | - | 확인할 타입 |

헬퍼 변수 템플릿

std::integral_constant에서 상속됨

멤버 상수

멤버 함수

멤버 타입

가능한 구현

namespace detail { template < typename T , bool = std :: is_arithmetic < T >:: value > struct is_unsigned : std :: integral_constant < bool , T ( 0 ) < T ( -1 ) > {}; template < typename T > struct is_unsigned < T , false > : std :: false_type {}; } // namespace detail template < typename T > struct is_unsigned : detail :: is_unsigned < T >:: type {};

예제

#include <iostream>
#include <type_traits>

class A {};
static_assert(std::is_unsigned_v<A> == false);

enum B : unsigned {};
static_assert(std::is_unsigned_v<B> == false);

enum class C : unsigned {};
static_assert(std::is_unsigned_v<C> == false);

struct S { unsigned p : 1; int q : 1; };
static_assert
(
    std::is_unsigned_v<decltype(S::p)> not_eq
    std::is_unsigned_v<decltype(S::q)>
);

static_assert
(
    std::is_unsigned_v<float> == false &&
    std::is_unsigned_v<signed int> == false &&
    std::is_unsigned_v<unsigned int> == true &&
    std::is_unsigned_v<bool> == true
);

int main() 
{
    // signedness of char is implementation-defined:
    std::cout << std::boolalpha << std::is_unsigned<char>::value << '\n';
}

가능한 출력:

false

결함 보고서

이전에 발표된 C++ 표준에 소급 적용된 동작 변경 결함 보고서는 다음과 같아요.

같이 보기

더 알아보기 (Learn more)

cppreference