嵌套模板專業化是如何做C++

Question

我有一個模板函數定義爲：

template<typename TObject> TObject Deserialize(long version, const Value &value) 

什麼，我需要做的，是寫一個專業化這將需要矢量定義爲：

template<typename TNum, int cnt> class Vec 

並仍然可以訪問cnt和TNum。

我已經試過unsuccesfully

template<typename TNum, int cnt> Vec<TNum, cnt> Deserialize<Vec<TNum, cnt>>(long version, Value &value) 

導致錯誤：非法使用顯式模板參數

什麼是做了正確的方法是什麼？

Answer 1

通常，處理函數模板和需要部分專門化它們的正確答案是簡單地重載它們。在這種情況下，這個技巧並不直接工作，因爲沒有依賴於模板參數的參數，即模板參數是明確指定的而不是推導的。但是，您可以轉發到實現函數，並通過使用簡單的標記結構來重載工作。

#include <functional> 
#include <iostream> 
#include <type_traits> 
#include <vector> 
#include <array> 

template <class T> 
struct tag{}; 

template<typename TObject> 
TObject Deserialize_impl(long version, tag<TObject>) { 
    std::cerr << "generic\n"; 
    return {}; 
} 

template<typename T, std::size_t N> 
std::array<T,N> Deserialize_impl(long version, tag<std::array<T,N>>) { 
    std::cerr << "special\n"; 
    return {}; 
} 

template<typename TObject> 
TObject Deserialize(long version) { 
    return Deserialize_impl(version, tag<TObject>{}); 
} 


int main() { 
    Deserialize<int>(0); 
    Deserialize<std::array<int,3>>(0); 

    return 0; 
} 

活生生的例子：http://coliru.stacked-crooked.com/a/9c4fa84d2686997a

總的來說，我發現因爲有您可以利用與功能的許多事情，這些方法強烈最好用靜態方法（這裏的其他主要方法）struct的偏特，與專業化相比，它的行爲更直觀。因人而異。

Answer 2

雖然功能性標籤發送是一個不錯的方法，但是這裏有一個用於比較的類專用化版本。兩者都有它們的用途，我認爲這兩者都不是一個固有的令人遺憾的決定，但也許更符合你的個人風格。 對於你寫一個需要自定義的反序列化處理任何一類，只寫解串器類的專業化：

#include <iostream> 
#include <string> 
using namespace std; 

using Value = std::string; 

// default deserialize function 
template <typename TObject> 
struct Deserializer { 
    static TObject deserialize(long version, const Value &value) { 
     std::cout << "default impl\n"; 
     return TObject(); 
    } 
}; 

// free standing function (if you want it) to forward into the classes 
template <typename TObject> 
TObject deserialize(long version, const Value &value) { 
    return Deserializer<TObject>::deserialize(version, value); 
} 

// Stub example for your Vec class 
template<typename TNum, int cnt> class Vec { }; 

// Stub example for your Vec deserializer specialization 
template <typename TNum, int cnt> struct Deserializer<Vec<TNum, cnt>> { 
    static auto deserialize(long version, const Value &value) { 
     std::cout << "specialization impl: cnt=" << cnt << "\n"; 
     return Vec<TNum, cnt>(); 
    } 
}; 

int main() { 
    Value value{"abcdefg"}; 
    long version = 1; 

    deserialize<int>(version, value); 
    deserialize<Vec<int, 10>>(version, value); 
} 

Answer 3

理想的情況下在這種情況下，Vec要體現自己的模板參數作爲成員Vec::value_type和Vec::size()這應該是constexpr 。

如果該類未能在其自己的接口中提供自己的屬性，那麼接下來最好的方法就是定義自己的擴展接口。在這種情況下，你可以有單獨的元函數（比如訪問函數）或者特性類（比如輔助視圖類）。我更喜歡後者：

template<typename> 
struct vector_traits; 

template< typename TNum, int cnt > 
struct vector_traits< Vec< TNum, cnt > > { 
    typedef TNum value_type; 
    constexpr static int size = cnt; 
}; 

template<typename TVec> TVec Deserialize(long version, Value &value) { 
    typedef vector_traits<TVec> traits; 
    typedef typename traits::value_type TNum; 
    constexpr static int cnt = traits::size; 
    … 
} 

該解決方案適合任何現有的功能，甚至使簽名更清潔。此外，該功能更加靈活，因爲您可以通過增加traits專業化而不是全新的重載來調整它。