將 invoke_result 與 void 參數類型一起使用？

Question

我正在嘗試執行以下操作：

struct Unwrapper
{
    template<typename T>
    auto operator()(const T& arg, std::enable_if_t<isPrimitive<T>, void>* = nullptr) {return arg;}

    template<typename T>
    auto operator()(const T& arg, std::enable_if_t<!isPrimitive<T>, void>* = nullptr) {return arg.wrapped();}

    void operator()(void) {}
};

template<typename T>
using UnwrappedT = std::invoke_result_t<Unwrapper, T>; // error: no type named ‘type’ in ‘struct std::invoke_result<Unwrapper, void>’

std::invoke_result 的文檔建議它應該適用於Args為void （即無），特別是它說 void 情況不起作用是現在已棄用的std::result_of的“怪癖”。

但是不， void不起作用。 這是有道理的，因為人們也不能為T = void做std::declval<T>() ，並且std::invoke_result應該根據std::declval來實現。

問題是，修補代碼以使用 void 的最優雅/直接的方法是什么？ 我可以用std::conditional做點什么，但我期望更好。 （使用 C++17）

相關問題： 這個， 這個。

Answer 1

你可以這樣做：

template<typename... T>
using UnwrappedT = std::invoke_result_t<Unwrapper, T...>; 

UnwrappedT<>將處理void情況。

如果您希望UnwrappedT<void>表示UnwrappedT<> ，則需要某種方法來刪除void 。 conditional是最熟悉的方式：

template<typename T>
using UnwrappedT = typename std::conditional_t<
    std::is_void_v<T>,
    std::invoke_result<Unwrapper>,
    std::invoke_result<Unwrapper, T>>::type;

或者你可以在 Boost.Mp11 中獲得一些樂趣：

template<typename T>
using UnwrappedT = mp_apply<std::invoke_result_t,
    mp_remove_if<mp_list<Unwrapper, T>, std::is_void>>;

Answer 2

你有沒有嘗試過？

template<typename T>
using UnwrappedT = std::result_of_t<Unwrapper(const T&)>;