如何使用模板類型專門化模板功能

Question

是否可以專門爲模板類型設置模板功能？我不知道如果我的術語是正確的，所以我將提供一個簡單的示例與我想實現：

#include <vector> 
#include <string> 
#include <iostream> 

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

template<> 
void f<std::string>() 
{ 
    std::cout << "string" << std::endl; 
} 

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

int main() 
{ 
    f<double>(); 
    f<std::string>(); 
    f<std::vector<int>>(); 

    return 0; 
} 

此代碼不能編譯。 VS2013讓我

錯誤C2995： '無效F（無效）'：

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

如何可以我實現這個行爲：函數模板已經在該功能定義

？擁有type f(void)簽名非常重要。這段代碼是否屬於函數的部分特化（在C++中被禁止）？

Answer 1

您不能部分專門化模板功能，但您可以爲模板類。 所以你可以將你的實現轉發給一個專門的課程。 以下可能會有所幫助：（https://ideone.com/2V39Ik）

namespace details 
{ 
    template <typename T> 
    struct f_caller 
    { 
     static void f() { std::cout << "generic" << std::endl; } 
    }; 

    template<> 
    struct f_caller<std::string> 
    { 
     static void f() { std::cout << "string" << std::endl; } 
    }; 

    template<typename T> 
    struct f_caller<std::vector<T>> 
    { 
     static void f() { std::cout << "vector" << std::endl; } 
    }; 
} 

template<typename T> 
void f() 
{ 
    details::f_caller<T>::f(); 
} 

Answer 2

試圖以儘可能接近原來的代碼是：

#include <vector> 
#include <string> 
#include <iostream> 

template<typename T> 
struct f { 
    void operator()() 
    { 
     std::cout << "generic" << std::endl; 
    } 
}; 

template<> 
struct f<std::string> { 
    void operator()() 
    { 
     std::cout << "string" << std::endl; 
    } 
}; 

template<typename T> 
struct f<std::vector<T> > { 
    void operator()() 
    { 
     std::cout << "vector" << std::endl; 
    } 
}; 

int main() 
{ 
    f<double>()(); 
    f<std::string>()(); 
    f<std::vector<int> >()(); 

    return 0; 
}