从模板函数返回默认构造或无效

Question

我有一个用异常处理包装另一个调用的函数。大多数调用不会返回任何内容（void），但对于某些调用，函数可能会返回 int 等。这很好用，除了我在 default return val 或 return void 上挣扎。

我目前正在查看类似以下内容的内容

template<class T> struct member_function_trait;
template<class T, class R> struct member_function_trait<R T::*> { using type = T; using ret = R; };



template<auto f, class T, typename... Args>
auto DispatchImpl(T* obj, Args&&... args) {
  try {
    return (static_cast<typename member_function_trait<decltype(f)>::type*>(obj)->*f)(std::forward<Args>(args)...);
  }
  catch (std::runtime_error& e) {
    //handled exception
  }
  return member_function_trait<decltype(f)>::ret; //<--- how to return default constructed or 'void' here ?
}

编译错误：

error C2275: 'member_function_trait<void (__cdecl MyClass::* )(void)>::ret': illegal use of this type as an expression

我不知道如何处理这个问题。我忽略了一些简单的技巧吗？ （希望如此）

Answer 1

首先，你的 trait 不太正确，因为 ret 将是函数类型，而不是它的返回类型。你可能是这个意思：

template<class T, class R, class... A>
struct member_function_trait<R (T::*)(A...)>
{
  using type = T;
  using ret = R;
};

在此之后，只需创建 ret() 即可准确地为您提供所需的内容：

// In DispatchImpl:
return typename member_function_trait<decltype(f)>::ret();

[Live example]