지연 평가

Question

std :: conditional에서 두 번째 인수를 게으른 것으로 평가할 수 있습니까? 지금 std::conditional 후 두 ::type들

template <typename T> 
struct false_case { 
    typedef typename std::conditional<T::one,_1,_2>::type type; 
}; 

struct always_null {typedef Null type;}; 

template<class T> 
struct X : 
    std::conditional<is_nulltype<T>::value, 
        always_null, 
        false_case<T> 
        >::type::type { ... }; 

참고 :

#include "stdafx.h" 
#include <type_traits> 

struct Null{}; 
struct _1{enum {one = true,two = false};}; 
struct _2{enum {two = true, one = false};}; 

template<class T> 
struct is_nulltype 
{ 
    enum {value = false}; 
}; 

template<> 
struct is_nulltype<Null> 
{ 
    enum {value = true}; 
}; 

template<class T> 
struct X : std::conditional<is_nulltype<T>::value,Null,typename std::conditional<T::one,_1,_2>::type>::type 
{ 
}; 

int _tmain(int argc, _TCHAR* argv[]) 
{ 
X<Null> x;//won't compile no Null::one but I don't need that member in Null at all 
    return 0; 
} 

Answer 1

이에 대한 일반적인 기술은 std::conditional 두 개의 메타 기능 사이에서 선택하는 것입니다.