Template Funktion Überlastung für Typ einen Typ enthält

Question

Ich versuche, die folgendes zu tun:

#include <iostream> 
#include <vector> 
#include <tuple> 
#include <list> 

template <typename T> 
void f(T t) { 
    std::cout << "1" << std::endl; 
} 

template <typename T, typename V> 
void f(T<std::tuple<V>> t) { 
    std::cout << "2" << std::endl; 
} 

int main() { 
    f(std::list<double>{}); // should use first template 
    f(std::vector<std::tuple<int>>{}); // should use second template 
} 

Was ist der einfachste Weg, dies in C++ 14 zu tun? Ich dachte, dass ich auf diese Weise eine Art Mustervergleich durchführen könnte, aber der Compiler wird es nicht haben.

Answer 1

Der Vorlagenparameter T wird als Vorlagenname verwendet, daher sollte er als template template parameter deklariert werden. z.B.

template <template <typename...> class T, typename V> 
//  ~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 
void f(T<std::tuple<V>> t) { 
    std::cout << "2" << std::endl; 
} 

LIVE