Evaluación diferida

Question

¿Cómo puedo evaluar perezoso el segundo arg en std :: condicional?

#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

La técnica habitual para esto es tener la std::conditional elegir entre dos metafunciones:

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 { ... }; 

Nota los dos ::type s después de std::conditional ahora.