std::result_of が（無関係な）関数型を型引数として取るのはなぜですか? 質問する

関数型をパラメータとして持つことで、C++03 でも制限のない「可変長」クラス テンプレートを持つことができます。考えてみてください。C++03 には可変長テンプレートがありませんでした。また、関数テンプレートのようにクラス テンプレートを「オーバーロード」することはできません。では、関数に異なる数の「引数」を許可することは、他にどのような方法で可能になるのでしょうか。

関数型を使用すると、異なる数のパラメータに対して任意の数の部分的な特殊化を追加できます。

template<class Fty>
struct result_of;

template<class F>
struct result_of<F()>{ /*...*/ };

template<class F, class A0>
struct result_of<F(A0)>{ /*...*/ };

template<class F, class A0, class A1>
struct result_of<F(A0, A1)>{ /*...*/ };

// ...

struct X{
  bool operator()(int (&&arr)[3]);
  long operator()(void*);
};

static_assert(std::is_same<std::result_of<X(int[3])>::type, bool>(), "/cry");

struct Y{};

struct X{
  bool operator()(Y const&);
  long operator()(Y&&);
};

Y const f();

static_assert(std::is_same<std::result_of<X(Y const)>::type, bool>(), "/cry");