混合模板类型的模板参数包（带有可选参数的STD：：函数重新创建）

Question

Function<
    void /*Return type*/,
    Arg<false, int> /*Required int parameter*/,
    Arg<true, bool, true> /*Optional bool parameter that defaults to true*/
> func;

我希望维护函数 语法，但似乎只能将typenames放在括号中，而不能将类放在括号中。以下是我当前的代码：

template<bool Optional, typename Type, Type Default>
class Arg;

template<typename Type, Type Default>
class Arg<false, Type, Default> {};

template<typename Type, Type Default>
class Arg<true, Type, Default> {};

问题1：我找不到一种方法来使“default”参数对于false特殊化不是必需的。我尝试了使用默认构造函数的代理类，将第三个参数更改为指针，并指定nullptr（这在语法上并不理想）和对类型的常量引用（这仍然需要用户端的三个参数），但似乎没有任何东西允许在函数 中接受两个参数。

问题2：我找不到正确的语法来获得混合模板参数类型的参数包。我试过了（明显无效的语法）

template<typename RetType, Arg<bool, typename Type, Type>... args>
class Function{};

所有这些间接性实际上来自这样一个事实，即在一个类模板中不能有多个参数包，所以我必须找到创造性的方法来指定可选参数，但我将采取任何我能得到的解决方案，以某种方式在编译时创建这个函数，而不必动态地构造这些函数。

我用的是C++20。

Answer 1

若要在第一个参数为false时使第三个模板参数可选，可以使用带有std::enable_if的默认参数：

template <bool Optional, typename T,
    T Default = std::enable_if_t<!Optional, T>{}>
class Arg;

这样，arg 等效于arg ，而arg 格式错误。

可以使用泛型参数：

template <typename R, typename... Args>
class Function {
    static_assert(std::conjunction_v<is_arg_v<Args>...>);
};

template <typename T>
struct is_arg :std::false_type {};
template <bool Optional, typename T, T Default>
struct is_arg<Arg<Optional, T, Default>> :std::true_type {};
template <typename T>
inline constexpr bool is_arg_v = is_arg<T>::value;