Зачем мне это нужно?

Question

Что я делаю неправильно?

#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; 
    } 

    template<class Left, class Right> 
    static auto check(bool condition, Left left, Right right)-> decltype(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; 
} 

Я получаю сообщение об ошибке:
"Ошибка 1 ошибка C2893: Не удалось специализировать шаблон функции '' неизвестного типа 'ТРОЙНЫХ :: чек (BOOL, Left, Right)"

Почему ? EDIT

template<class Left, class Right> 
    static auto check(bool condition, Left left, Right right)-> 
     decltype(Result<(sizeof(int) == 1),Left,Right>::value) 
    { 
     return check_(Int2Type<condition>,left,right); 
    } 

добавил:

Result<(sizeof(int) == 1) 

Answer 1

static auto check(bool condition, Left left, Right right)-> decltype(Result<condition,Left,Right>::value) 

Что ???

Вы не можете использовать переменную времени выполнения condition для параметризации шаблона во время компиляции !?

Answer 2

condition здесь является переменной вашей программы.

Параметр шаблона должен быть константным выражением (или типом), поэтому переменная не подходит, поскольку компилятор не может выбрать правильную специализацию на основе информации о времени выполнения.

Answer 3

Просто писать (после удаления check):

cout << Ternary::check_(IntToType<false>,a,s);