具有相同名稱但參數類型不同的多個函數作爲模板參數

Question

我使用xsd從xml模式文件創建C++代碼。對於一個xml類型，創建多個函數（用於序列化等）。
如果類型被稱爲XmlType將創建下列形式的多種功能：

XmlType XmlType_(const XmlType& a, const string& b) 
string XmlType_(const XmlType& a) 
... 

這是正常的功能，而不是XmlType將的成員，它們都具有相同的名稱。 對於XmlType2該功能將被稱爲XmlType2_。

我想爲我的xml方案的所有不同的xml類型編寫一個實用程序模板類。不同的功能將被稱爲洞察這個類。我到目前爲止是這樣的：

XmlUtil<XmlType, XmlType_, XmlType_> util; 

這感覺有點多餘的，會變得更糟：

template<typename T> 
using TFunc1 = T (*)(const T&, const string&); 
template<typename T> 
using TFunc2 = string (*)(const T&); 

template<typename T, TFunc1<T> func2, TFunc2<T> func2> 
class XmlUtil { 
... 
}; 

當如果必須這樣做，這樣創建XmlUtil類的一個實例，當我必須通過更多的功能作爲參數。

我想使用的Util類是這樣的：

XmlUtil<XmlType, XmlType_> util; 

甚至更​​好這樣

XmlUtil<XmlType> util; 

我能想到的就是以某種方式使用所定義的唯一途徑，但它不感覺不錯。
有沒有其他的方法來做到這一點？

編輯： 我現在使用一個定義：

#define TRPL(name) name, name ## _, name ## _ 
... 
XmlUtil<TRPL(XmlType)> util; 

我將修改這一點，如果我找到一個更好的（也許覆蓋套像Yakk在他的回答提出）。

Answer 1

此：

XmlUtil<XmlType> util; 

是不可能的，因爲沒有辦法擺脫XmlType到XmlType_。在自動代碼生成器之後它們的關係被丟棄。

然而這樣的：

XmlUtil<XmlType_> util; 

是可能的。您可以推導出XmlType_的函數類型，然後使用推導的返回類型，即XmlType。我相信有這個目的的標準庫函數。

對於兩個不同的過載，這可能是棘手。我不認爲你可以傳遞一個函數重載集合作爲模板參數，解析是在模板參數的上下文中對一個函數的模板參數完成的。如果不使用預處理器，我認爲沒有辦法推遲這個操作。

所以我認爲你應該使用#define。這總比沒有好。

Answer 2

類定義中的默認模板參數？

像

template<typename T, TFunc1<T> func1 = XmlType_, TFunc2<T> func2 = XmlType_> 
class XmlUtil { 
    // ... 
}; 

Answer 3

您可以使用一個特質類這樣

template <typename T> 
struct Trait{ 
    typedef T type; 
    typedef T (*func1)(const T&, const string&); 
    typedef string (*func2)(const T&); 
}; 

，使類XmlUtil有一個模板參數（我們將其命名爲性狀），並使用特質::類型，特質:: func1和Trait :: func2。完整使用請參見here。

在這個例子中，XmlUtil的類型是這樣：

XmlUtil<Trait<XmlType> > 

我已經這樣做了，因爲我不熟悉你的問題。這可能是你可以定義特質類右轉入XmlUtil和使用

XmlUtil<XmlType> 

其他變化是可能的，它只是取決於你需要什麼樣的情況。

你可以閱讀一個非常簡短的介紹特質類​​。如果你想閱讀更多關於這個話題，我建議你現代C++（Alexandrescu）。

Answer 4

我不知道我完全理解你的要求。序列化和反序列化的常用方法是創建工廠（抽象工廠）並動態地解析對象的構造。請注意，對於複雜結構，這可以得到改進，其中代碼生成器可以創建成員函數來提取每個成員的確切類型。

但同樣，我不完全理解你真正想做...作爲一個建議，我相信，如果你提供了更多的解決問題的說明，它會有所幫助，因爲這個問題集中在如何讓你的解決方案發揮作用，並隱含地拋棄其他可能更好的設計方法。

Answer 5

這看起來像是覆蓋集的作業。 foo_override_set_type類型的

static struct foo_override_set_type { 
    template<typename... Args> 
    auto operator()(Args...&& args) const 
    -> 
    decltype(foo(std::forward<Args>(args)...)) 
    { return (foo(std::forward<Args>(args)...)); } 
    template<typename T> 
    operator T() { return foo; } 
} foo_override_set; 

對象代表整個手柄組foo的。使用operator()調用它們會對foo執行覆蓋設置查找並調用結果函數。將它們轉換爲函數指針與將代碼foo轉換爲函數指針（或其他值）的做法相同。

你的代碼生成可以自動生成這樣的覆寫集類型。它還可以製作一個特徵類，通過專業化從XmlType類型映射到覆蓋集XmlType_函數。

然後，您的XmlUtil<XmlType>可以通過該特徵類訪問覆蓋集XmlType_。它首先實例化override設置變量，然後調用()。

另外，@Xeo有一個建議，即創建這樣的對象，就像在C++ 1y或C++ 1z中輸入[]XmlType_一樣簡單。