types_is_literal_type
types_is_literal_type (리터럴 타입 판별 특성)
std::is_literal_type은 C++11에서 도입된 타입 특성으로, 주어진 타입이 리터럴 타입(LiteralType)의 요구 사항을 모두 충족하는지 확인해요. 이 특성은 C++17에서 더 이상 사용되지 않으며(deprecated), C++20에서 제거되었어요. 이 페이지에서는 템플릿 매개변수, 헬퍼 변수 템플릿, 상속받은 멤버, 예제 등을 자세히 설명할게요.
출처: cppreference
본문
정의
| 정의 | ||
|---|---|---|
<type_traits> 헤더에 정의됨 |
||
template < class T > struct is_literal_type; |
(C++11 이후) (C++17에서 deprecated) (C++20에서 제거) |
std::is_literal_type은 단항 타입 특성(UnaryTypeTrait)이에요.
(이 타입 특성은 일반 코드에 제공하는 가치가 거의 없다고 판단되어 더 이상 사용되지 않았고[1], 이후 제거되었어요[2].)
만약 T가 LiteralType의 모든 요구 사항을 충족한다면, 멤버 상수 value는 true가 돼요. 그 외의 모든 타입에 대해서는 value가 false예요.
std::remove_all_extents_t<T>가 불완전한 타입이고 (cv 한정된) void가 아니라면, 동작은 정의되지 않아요.
프로그램에서 std::is_literal_type 또는 std::is_literal_type_v에 대한 특수화를 추가하면 동작이 정의되지 않아요.
템플릿 매개변수
| T | - | 확인할 타입 |
|---|
헬퍼 변수 템플릿
| 템플릿 정의 | ||
|---|---|---|
template < class T > constexpr bool is_literal_type_v = is_literal_type<T>::value; |
(C++17 이후) (deprecated) (C++20에서 제거) |
std::integral_constant로부터 상속받은 멤버
멤버 상수
value [static] |
T가 리터럴 타입이면 true, 그렇지 않으면 false (공용 정적 멤버 상수) |
|---|
멤버 함수
operator bool |
객체를 bool로 변환하며, value를 반환해요 (공용 멤버 함수) |
|---|---|
operator() (C++14) |
value를 반환해요 (공용 멤버 함수) |
멤버 타입
| 타입 | 정의 |
|---|---|
value_type |
bool |
type |
std::integral_constant<bool, value> |
참고 사항
리터럴 타입만이 constexpr 함수의 매개변수로 사용되거나 반환될 수 있어요. 리터럴 클래스만이 constexpr 멤버 함수를 가질 수 있어요.
예제
#include <type_traits>
struct A { int m; };
static_assert(std::is_literal_type_v<A> == true);
struct B { virtual ~B(); };
static_assert(std::is_literal_type_v<B> == false);
int main() {}
결함 보고서
다음의 동작 변경 결함 보고서는 이전에 발표된 C++ 표준에 소급 적용되었어요.
| DR | 적용 대상 | 발표된 동작 | 올바른 동작 |
|---|---|---|---|
| LWG 2015 | C++11 | T는 경계를 알 수 없는 불완전한 클래스 타입의 배열일 수 있었어요. |
이 경우 동작은 정의되지 않아요. |
외부 링크
- ↑ Alisdair Meredith. "Deprecate the is_literal Trait". Deprecating Vestigial Library Parts in C++17. "is_literal 타입 특성은 제네릭 코드에 실질적인 가치가 거의 없는데, 정말 필요한 것은 특정 생성(construction)이 상수 초기화를 만들어낼지 아는 능력이기 때문이다."
- ↑ Alisdair Meredith, Stephan T. Lavavej, Tomasz Kamiński. "Deprecated type traits". Reviewing Deprecated Facilities of C++17 for C++20. "강력 권고: 좀비처럼 남아 있을 수 있는 특성은 제거하라. [...] 토론토 검토: 강력 권고를 수용, C++20에서 삭제."