すべての関数のパラメータの型を取得する

Question

をオーバーロードは、私はこの方法fooの複数の実装を持つクラスbarを持っていると仮定しますか？つまり、

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

と定義し、list<list<int, int>, list<float, bool>, list<const vector<void*>&>>を取得したいとします。

Answer 1

号

あなたは "私は引数int, longでbar.foo呼び出すことができますか？" の質問をすることができます。 「void (Bar::*)(int, int)タイプの&Bar::fooメソッドがありますか？」という質問をすることはできますが、いずれの要件とも一致しません。あなたが行うことができます

もう一つは、bar.fooに前方完璧で、故障ではありません、その実装の中に、転送インターフェイスで失敗に結果を転送するようにもSFINAEのテストを行います。

有限の種類のリストとmax arg countがある場合、O（T^N）コストで動作するもの、または正確なシグネチャの一致のためにオーバーロードのセットを徹底的に検索できます。

あなたの質問には、通常、このタイプの質問があります。ここでは、特定の技術的課題を説明し、この課題が解決しようとしている問題を簡単に説明することはできません。実際には、「関数シグネチャのオーバーロード」の質問をどのように信頼できるようにするのかということは衝撃的です。多くの多くのこのような問題には、完全な反射が解決する必要がないという解決策があります。