三元運算符

Question

爲什麼編譯器不能專門化這個函數，是否有辦法強制他這麼做？
我得到的錯誤：
錯誤1個錯誤C2893：無法專注函數模板'未知類型 '三元::檢查（BOOL，左，右）'

#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

我不「沒帶的C++ 0x足夠的經驗呢，但是從我所看到的：

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

decltype預期的表現，但Result<...>::value是一種類型。只要刪除decltype;

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

condition是一個變量，你不能使用它作爲模板參數。

UPDATE：Int2Type<Condition>也是一種類型。你想傳遞一個值：Int2Type<Condition>()。