是否可以使用特徵檢測模板中的值或類型？

Question

如果模板參數是值或類型，是否可以使用特徵來推斷？

template <typename A> 
void function(){ 
    if(is_value<A>()::value) 
     cout<<"A is value"<<endl; 
    else 
     cout<<"A is type"<<endl; 
} 

int main(){ 
    function<int>(); 
    function<3>(); 
} 

輸出

"A is type" 
"A is value" 

Answer 1

每14.3/1標準：

存在三種形式的模板說法，對應於三個 形式模板參數的：類型 ，非型和模板。

而且每14.3.1/1標準：

模板參數的用於模板的參數，該參數是一個型應爲型-ID。

由於模板參數是型，你應該通過一個型-ID作爲模板參數。 3不是type-id。所以，這是不可能的。

你只能添加一個函數非類型模板參數：

template <class A> 
void function() 
{ 
    std::cout << "A is type" << std::endl; 
} 

template <int A> 
void function() 
{ 
    std::cout << "A is value" << std::endl; 
} 

int main() 
{ 
    function<int>(); 
    function<3>(); 
}