types_is_reference
types_is_reference (is_reference 타입 특성)
이 페이지에서는 C++ 표준 라이브러리의 std::is_reference 타입 특성에 대해 알아봐요. 이 특성은 주어진 타입이 참조 타입인지 아닌지를 컴파일 타임에 판별해요. C++11부터 사용할 수 있어요.
출처: cppreference
본문
std::is_reference는 UnaryTypeTrait이에요. T가 참조 타입(좌측값 참조 또는 우측값 참조)이면 멤버 상수 value가 true가 되고, 그 외의 모든 타입에 대해서는 false가 돼요. 만약 프로그램에서 std::is_reference나 std::is_reference_v에 대한 특수화를 추가하면, 동작이 정의되지 않아요.
템플릿 매개변수
| T | - | 확인할 타입 |
헬퍼 변수 템플릿
| 템플릿 정의 | 설명 | (since C++17) |
|---|---|---|
template < class T > constexpr bool is_reference_v = is_reference < T >:: value; |
T가 참조 타입인지 여부를 나타내는 변수 템플릿 |
std::integral_constant에서 상속받음
멤버 상수
| value [static] | T가 참조 타입이면 true, 아니면 false (공용 정적 멤버 상수) |
멤버 함수
operator bool |
객체를 bool로 변환하고 value를 반환해요 (공용 멤버 함수) |
|---|---|
operator() (C++14) |
value를 반환해요 (공용 멤버 함수) |
멤버 타입
| Type | Definition |
|---|---|
value_type |
bool |
type |
std::integral_constant<bool, value> |
가능한 구현
template < class T > struct is_reference : std :: false_type {};
template < class T > struct is_reference < T &> : std :: true_type {};
template < class T > struct is_reference < T &&> : std :: true_type {};
예제
#include <iostream>
#include <type_traits>
class A {};
int main()
{
# define REF(x) << #x " ?: " << x << '\n'
std::cout << std::boolalpha
REF(std::is_reference_v<A>)
REF(std::is_reference_v<A&>)
REF(std::is_reference_v<A&&>)
REF(std::is_reference_v<long>)
REF(std::is_reference_v<long&>)
REF(std::is_reference_v<long&&>)
REF(std::is_reference_v<double*>)
REF(std::is_reference_v<double*&>)
REF(std::is_reference_v<double*&&>);
# undef REF
}
Output:
std::is_reference_v<A> ?: false
std::is_reference_v<A&> ?: true
std::is_reference_v<A&&> ?: true
std::is_reference_v<long> ?: false
std::is_reference_v<long&> ?: true
std::is_reference_v<long&&> ?: true
std::is_reference_v<double*> ?: false
std::is_reference_v<double*&> ?: true
std::is_reference_v<double*&&> ?: true
같이 보기
is_lvalue_reference (C++11) |
타입이 좌측값 참조인지 확인해요 (클래스 템플릿) |
|---|---|
is_rvalue_reference (C++11) |
타입이 우측값 참조인지 확인해요 (클래스 템플릿) |
is_reference_type (C++26) |
리플렉션이 좌측값 참조 또는 우측값 참조를 나타내는지 확인해요 (함수) |