C ++可變數目的可變參數模板參數

Question

我有以下類型別名：

using VoidFunc = void (*)();

我想定義一個這樣的類：

class SomeClass {
public:

 template<template<typename Return, typename... Args>... Funcs>
 static constexpr typename std::vector<VoidFunc> registerFunctions(Funcs<Return, Args...>... funcs) {
  return { ((VoidFunc)(funcs), ...) };
 }
};

我知道這是無效的語法，因為Return和Args在其模板組之外無法解析。 目的是允許函數registerFunction接受數量可變的函數，這些函數都具有不同的原型。 在實際的實現中，重要的是保留每個函數的類型信息以與其他constexpr函數一起使用。 有沒有辦法在C ++ 17或更高版本中實現這一目標？

Answer 1

您實際上並不關心任何這些底層類型（至少不在此處顯示的代碼中）。 因此，請不要使用它。 您只關心這些都是函數指針：

typename <typename... F>
static std::vector<VoidFunc> registerFunctions(F*... funcs)
{
    static_assert((std::is_function_v<F> && ...));
    return { reinterpret_cast<VoidFunc>(funcs)... };
}

如果確實需要其他特征的簽名，則可以將funcs每個元素傳遞到不同的函數模板中，然后重新推導那里的實際簽名。

---

請注意， typename是不必要的存在，我們的constexpr在C ++ 17，使本病的形成（因為你不能在C ++ 17有constexpr std::vector ）。