獲取參數類型的所有函數的重載

Question

假設我有一個類bar與方法foo的多種實現：

struct bar { 
    void foo(int, int); 
    void foo(float, bool); 
    void foo(const vector<void*>&); 
} 

有我一個可能獲得的參數類型列表列表？換句話說，我定義了

template<typename... types> class list {}; 

並且想要獲得list<list<int, int>, list<float, bool>, list<const vector<void*>&>>。

Answer 1

號

你可以問 「我可以叫bar.foo與ARGS int, long？」。你可以問這個問題：「是否有？的&Bar::foo方法？」，但是兩者都不符合你的要求。

你可以做的另一件事是完全向前爲bar.foo，甚至做SFINAE測試這樣的故障在出現故障的轉發接口轉發的結果，而不是它的實現中。

如果您有一個有限的類型列表和最大精算數，您可以在O（T^N）成本下徹底搜索那些工作的重載集合或精確的簽名匹配。

作爲一個社論，你的問題有這種類型的問題的常見缺陷，你描述一個特定的技術挑戰，甚至無法隨便描述這個挑戰打算解決的問題。實際上，「我想反映功能簽名超負荷」問題的可靠性令人震驚，永遠不會自願提供他們的反思意圖修復的特定問題。很多很多這樣的問題都有解決方案，不需要全面反思來解決。