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

存储＆amp;从函数返回泛型类型（甚至是void）

1 个答案: