std:: enable_if

#include <iostream>
#include <new>
#include <string>
#include <type_traits>
namespace detail
{ 
    void* voidify(const volatile void* ptr) noexcept { return const_cast<void*>(ptr); } 
}
// #1, 반환 타입을 통해 활성화됨
template<class T>
typename std::enable_if<std::is_trivially_default_constructible
**번역 결과:**
std::is_trivially_default_constructible
**번역 설명:**
- HTML 태그와 속성은 그대로 유지
- C++ 관련 용어(`std::is_trivially_default_constructible`)는 번역하지 않음
- 링크 구조와 클래스 속성 완전히 보존
- 전문적인 기술 문서 번역 기준 준수<T>::value>::type 
    construct(T*) 
{
    std::cout << "trivially default constructible T의 기본 생성\n";
}
// 위와 동일
template<class T>
typename std::enable_if<!std::is_trivially_default_constructible<T>::value>::type 
    construct(T* p) 
{
    std::cout << "비트리비얼리 기본 생성 가능하지 않은 T의 기본 생성\n";
    ::new(detail::voidify(p)) T;
}
// #2
template<class T, class... Args>
std::enable_if_t<std::is_constructible<T, Args&&...>::value> // 헬퍼 타입 사용
    construct(T* p, Args&&... args) 
{
    std::cout << "T를 operation으로 생성 중\n";
    ::new(detail::voidify(p)) T(static_cast<Args&&>(args)...);
}
// #3, 매개변수를 통해 활성화됨
template<class T>
void destroy(
    T*, 
    typename std::enable_if<
        std::is_trivially_destructible<T>::value
    >::type* = 0)
{
    std::cout << "trivially destructible T를 파괴하는 중\n";
}
// #4, 상수 템플릿 매개변수를 통해 활성화됨
template<class T,
         typename std::enable_if<
             !std::is_trivially_destructible<T>{} &&
             (std::is_class<T>{} || std::is_union<T>{}),
             bool>::type = true>
void destroy(T* t)
{
    std::cout << "비-자명 소멸자를 가진 T를 파괴하는 중\n";
    t->~T();
}
// #5, 타입 템플릿 매개변수를 통해 활성화됨
template<class T,
	 typename = std::enable_if_t<std::is_array<T>::value>>
void destroy(T* t) // 참고: 함수 시그니처는 수정되지 않음
{
    for (std::size_t i = 0; i < std::extent<T>::value; ++i)
        destroy((*t)[i]);
}
/*
template<class T,
	 typename = std::enable_if_t<std::is_void<T>::value>>
void destroy(T* t) {} // 오류: #5와 동일한 시그니처를 가짐
*/
// A의 부분 특수화는 템플릿 매개변수를 통해 활성화됩니다
template<class T, class Enable = void>
class A {}; // primary template
template<class T>
class A<T, typename std::enable_if<std::is_floating_point<T>::value>::type>
{}; // 부동 소수점 타입 전문화
int main()
{
    union { int i; char s[sizeof(std::string)]; } u;
    construct(reinterpret_cast<int*>(&u));
    destroy(reinterpret_cast<int*>(&u));
    construct(reinterpret_cast<std::string*>(&u), "안녕하세요");
    destroy(reinterpret_cast<std::string*>(&u));
    A<int>{}; // OK: 기본 템플릿과 일치함
    A<double>{}; // OK: 부분 특수화와 일치함
}