C++ 重载模板赋值或回调函数

Question

尝试做一些类似的事情...

template <class T>
struct Wrapper
{
    template <class U>
    void set(const U& u) { myT = u; }

    template <class F>
    void set(F f) { myT = f(); }

    T myT;
};

我知道我需要在这里使用 SFINAE，但是如何区分回调参数和值参数？可以安全地假设值不能用作回调。

我尝试过将 enable_if 与 is_function、result_of、invoke_result、is_invocable 等一起使用，但都没有它工作正常。有可能吗？

Answer 1

无需 SFINAE 即可完成:

template<class U>
void set(const U& u) { 
    if constexpr (std::is_invocable_v<U>)
        myT = u();
    else
        myT = u;
}

或更通用的方式:

template<class U>
void set(U&& u) { 
    if constexpr (std::is_invocable_v<U>)
        myT = std::forward<U>(u)();
    else
        myT = std::forward<U>(u);
}