具有可变参数模板的C ++ void参数

Question

我的C ++类中有以下模板：

template <typename ReturnType, typename... Args>
ReturnType run(void* context, const Args&... args) {
  /* Do the actual job. */
}

出于实际原因，我需要将其指定为ReturnType void。 我需要保留args列表，因为它们仍然有用。

我尝试了以下方法，但均无效：

template <typename... Args>
void run(void* context, const Args&... args) {
  /* Do the actual job. */
}

和

template <typename ReturnType = void, typename... Args>
void run(void* context, const Args&... args) {
  /* Do the actual job. */
}

所以..在我的示例中用void参数指定的正确方法是什么？

Answer 1

在C ++ 17中，这很简单：使用if constexpr ：

template <typename ReturnType, typename... Args>
ReturnType run(void* context, const Args&... args) {
    if constexpr (std::is_void_v<ReturnType>) {
        /* void case */
    } else {
        /* non-void case */
    }
}

在C ++ 17之前，做到这一点的最佳方法是使用标签分派。 创建一个仅对类型进行编码的新类模板，以便您可以将其作为参数传递：

template <typename T> struct tag { };

template <typename ReturnType, typename... Args>
ReturnType run_impl(tag<ReturnType>, void* context, const Args&... args) {
    /* non-void case */
}

template <typename... Args>
void run_impl(tag<void>, void* context, const Args&... args) {
    /* void case */
}

template <typename ReturnType, typename... Args>
ReturnType run(void* context, const Args&... args) {
    return run_impl(tag<ReturnType>{}, context, args...);
}