Opérateur ternaire

Question

Pourquoi le compilateur ne peut pas spécialiser cette fonction et est-il possible de le forcer à le faire?
L'erreur que je reçois:
erreur 1 erreur C2893: Impossible de se spécialiser modèle de fonction '' de type inconnu 'check :: ternaires (Bool, Gauche, Droite)'

#include "stdafx.h" 
#include <iostream> 
#include <string> 
using std::cout; 
using std::string; 

template<int v> 
struct Int2Type 
{ 
    enum {value = v}; 
}; 

template<bool condition,class Left, class Right> 
struct Result; 


template<class Left, class Right> 
struct Result<true,Left,Right> 
{ 
    typedef Left value; 
}; 

template<class Left, class Right> 
struct Result<false,Left,Right> 
{ 
    typedef Right value; 
}; 

struct Ternary 
{ 
    template<class Left, class Right> 
    static Right check_(Int2Type<false>, Left left, Right right) 
    { 
     return right; 
    } 

    template<class Left, class Right> 
    static Left check_(Int2Type<true>, Left left, Right right) 
    { 
     return left; 
    } 


__Updated__ 
    template<bool Condition,class Left, class Right> 
static auto check(Left left, Right right)-> 
    typename Result<Condition,Left,Right>::value 
{ 
    return check_(Int2Type<Condition>,left,right); 
} 

int _tmain(int argc, _TCHAR* argv[]) 
{ 
    int a = 5; 
    string s = "Hello"; 
    cout << Ternary::check<false>(a,s); 
    return 0; 
} 

Answer 1

Je don « t ont assez d'expérience avec C++ 0x, mais d'après ce que je vois:

decltype(Result<(sizeof(int) == 1),Left,Right>::value) 

decltype attend une expression, mais Result<...>::value est un type. Retirez simplement le decltype;

return check_(Int2Type<condition>,left,right); 

condition est une variable, vous ne pouvez pas l'utiliser comme un paramètre de modèle.

MISE À JOUR: aussi Int2Type<Condition> est encore un type. Vous voulez transmettre une valeur: Int2Type<Condition>().