可以推導出作為模板Agument傳遞的Function的返回類型嗎？

Question

我有一個模板化的方法，它接受一個 function ，只要它是從 TService 繼承的TService的std::shared_ptr ，就可以有任何返回類型：

template<typename TService> struct BindSyntax {

  typedef std::shared_ptr<TService>(*CreateServiceFunction)(int);
  CreateServiceFunction myFunction;

  template<
    typename TResult,
    std::shared_ptr<TResult>(*TMethod)(const ServiceProvider &)
  >
  void ToFactoryMethod() {
    static_assert(
      std::is_base_of<TService, TResult>::value, "Result must inherit service"
    );

    myFunction = [](int mooh) {
      return std::static_pointer_cast<TService>(TMethod(mooh));
    };
  }
};

在調用ToFactoryMethod<>()方法時，我總是必須指定 function 的返回類型，我提供給它：

BindSyntax<Base> bind;
bind.ToFactoryMethod<Derived, exampleFactory>();

-

我可以讓ToFactoryMethod<>()方法以某種方式推斷傳遞的 function 的返回類型嗎？

我只想寫

BindSyntax<Base> bind;
bind.ToFactoryMethod<exampleFactory>();

此處可運行代碼片段： https://ideone.com/FYtN6Q

Answer 1

我想你可以稍微重寫一下ToFactoryMethod看起來像這樣

template<typename TResult>
void ToFactoryMethod(std::shared_ptr<TResult> (*TMethod)(const ServiceProvider&)) {
    static_assert(
            std::is_base_of<TService, TResult>::value, "Result must inherit service"
    );

    myFunction = [](int mooh) {
        return std::static_pointer_cast<TService>(TMethod(mooh));
    };
}

然后這樣稱呼它

bind.ToFactoryMethod(exampleFactory);

Answer 2

您不能使用decltype或std::result_of'來檢索 TMethod 的返回類型並在TMethod中使用它is_base_of ？