當涉及到const時，無法專門化模板

Question

我正在處理一個模板，它非常簡單。這是目前的結構：

//primary template 
template<typename T> 
const T bit_cast(const BitExpr* p);  

//specialization 
template<> 
inline const BitBinExpr* bit_cast<BitBinExpr*>(const BitExpr* p) { 
    if (p->type == XOR || p->type == AND) 
     return static_cast<const BitBinExpr*>(p); 
    return nullptr; 
} 
// more specializations follow 

但是Visual Studio堅持認爲這是無效的。但是，當參數和返回類型爲而不是const時，這工作得很好。我如何說服VS接受這些代碼？

Answer 1

這似乎近來出現了很多。這兩種類型是不一樣的

const BitBinExpr* // BitBinExpr is constant 

和

typedef BitBinExpr* T; 
const T   // pointer is constant 

也許這是你在找什麼

template<typename T> const T bit_cast(const BitExpr* p);  
template<> inline const BitBinExpr *const bit_cast<const BitBinExpr *const>(const BitExpr* p) { 
    if (p->type == XOR || p->type == AND) 
     return static_cast<const BitBinExpr*>(p); 
    return nullptr; 
}