isVector関数がtrueを返さないのはなぜですか？

Question

はthis質問に基づいて、私はis_vector特性を実験：

#include <iostream> 
#include <vector> 

using namespace std; 

template<typename T> 
struct is_vector { 
     constexpr static bool value = false; 
}; 

template<typename T> 
struct is_vector<std::vector<T>> { 
     constexpr static bool value = true; 
}; 

int main() { 
    int A; 
    vector<int> B; 

    cout << "A: " << is_vector<decltype(A)>::value << endl; 
    cout << "B: " << is_vector<decltype(B)>::value << endl; 

    return 0; 
} 

出力：

予想通り、この作品

A: 0 
B: 1 

。しかし、私は、小さなヘルパー関数でis_vector戻りBためfalseこれを置くしようとすると：

template<typename T> 
constexpr bool isVector(const T& t) { 
     return is_vector<decltype(t)>::value; 
} 
... 
cout << "B: " << isVector(B) << endl; // Expected ouptput: "B: 1" 

出力：

B: 0 

を私はここで何をしないのですか？

Answer 1

ここでの問題はtはconst std::vector<int>&で、struct is_vector<std::vector<T>>と一致しません。関数内で本当に欲しいのは、Tを使用することです。これは、動作するstd::vector<T>と推定されます。あなたはそれを得ること

template<typename T> 
constexpr bool isVector(const T& t) { 
     return is_vector<T>::value; 
}