c++ - 从函数中存储和返回泛型类型(甚至是 void)

Question

我正在实现一个 RPC 系统，旨在在远程进程中执行任务。 RPC 系统的一个节点是 Monitor，它应该记录每个调用。

template<typename Transport, typename Journal>
class Monitor
{
public:
    Monitor(Transport transport, Journal &journal) :
        transport{std::move(transport)},
        journal{journal}
    {
    }

public:
    template<typename Method>
    typename Method::Result operator()(const Method &method)
    {
        Method::Result result;
        journal("->", Method::Name());
        result = transport(method);
        journal("<-", Method::Name());
        return result;
    }

private:
    Transport transport;
    Journal &journal;
};

除了 Method::Result 为 void 的一种情况外，它工作正常。为了解决这个问题，我不得不将 operator() 分成两部分

template<typename Transport, typename Journal>
template<typename Method>
std::enable_if_t<std::is_same<typename Method::Result, void>::value, typename Method::Result> operator()(const Method &method)
{
    journal("->", Method::Name());
    transport(method);
    journal("<-", Method::Name());
}

template<typename Transport, typename Journal>
template<typename Method>
std::enable_if_t<!std::is_same<typename Method::Result, void>::value, typename Method::Result> operator()(const Method &method)
{
    Method::Result result; 
    journal("->", Method::Name());
    result = transport(method);
    journal("<-", Method::Name());
    return result;
}

有没有办法消除复制粘贴，假设那行 journal("<-", Method::Name());出现异常时不应执行(因此我无法将日志记录包装在构造/析构函数中)？

Answer 1

您可以将日志记录包装在 RAII 对象中。在析构函数中打印之前，只需检查异常当前是否正在运行，这可以用 std::uncaught_exception 完成。 (在 C++17 中将变为 std::uncaught_exceptions)。

---

如果需要更灵活的东西，你可以为你的返回值使用一个包装器，将它专门用于 void:

template <class T>
struct RetWrapper {
    template <class Tfunc, class... Targs>
    RetWrapper(Tfunc &&func, Targs &&... args)
    : val(std::forward<Tfunc>(func)(std::forward<Targs>(args)...)) {}

    T &&value() { return std::move(val); }

private:
    T val;
};

template <>
struct RetWrapper<void> {
    template <class Tfunc, class... Targs>
    RetWrapper(Tfunc &&func, Targs &&... args) {
        std::forward<Tfunc>(func)(std::forward<Targs>(args)...);
    }

    void value() {}
};

RetWrapper 执行函数调用并存储结果，稍后可以通过 value() 将其移出。这与从 void 函数返回 void 类型表达式的可能性相关:

template<typename Method>
typename Method::Result operator()(const Method &method)
{
    journal("->", Method::Name());
    RetWrapper<typename Method::Result> retVal{transport, method};
    journal("<-", Method::Name());
    return retVal.value();
}

Live on Coliru