我有一个步骤(f)功能： @H_403_2@>在调用f前执行一些代码.
>调用f().
>调用f后执行一些代码.
>如果f不返回void返回f的结果值.

@H_403_2@由于上述第四点,小代码实施步骤困扰了我,

template <typename TF>
auto step(TF&& f)
{   
    // Execute some actions before `f`. 
    do_something();

    using f_return_type = decltype(f());
    return static_if(std::is_same<f_return_type,void>{})
        .then([](auto&& xf) mutable
            {
                // Do not return anything if `xf` returns void.
                xf();

                // Execute some actions after `f`.
                do_something_after_f();
            })
        .else_([](auto&& xf) mutable
            {
                auto result = xf();

                // Execute some actions after `f`.
                do_something_after_f();

                return result;
            })(std::forward<TF>(f));
}

@H_403_2@(注意重复调用f和do_something_after_f.)

@H_403_2@我必须使用某种条件编译时(模板专门化或者static_if,如示例所示)根据f的返回类型进行分支.

@H_403_2@理想情况下,我想这样编译：

template <typename TF>
auto step(TF&& f)
{   
    // Execute some actions before `f`. 
    do_something();

    decltype(auto) eventual_result = f();

    // Execute some actions after `f`.
    do_something_after_f();

    return result;
}

@H_403_2@但是它不是,因为finalual_result可以是void,这是一个不完整的类型.

@H_403_2@有没有任何重构这个代码的方式,以避免重复调用f()和do_something_after_f()？

struct Cleanup {
    ~Cleanup() { do_something_after_f(); }
} cleanup;
return f(); // it's legal to return a void expression in C++