与可变参数模板和默认参数的模式匹配

Question

我正在尝试将默认的“隐藏”设置添加到模板类别中：

template<bool DebugMode=false, typename... Args>
struct A
{
        A() {};
};

int main()
{
    A<double, double> a;
}

它在使用G ++ 8.3.1和C ++ 17的编译时失败：

error: type/value mismatch at argument 1 in template parameter list for ‘template<bool DebugMode, class ... Args> struct A’
note:  expected a constant of type ‘bool’, got ‘double’

但是我不明白为什么G ++不能在模板参数中进行任何模式匹配。它会修复较新的C ++版本吗？

Answer 1

基本上与默认函数参数相同：您只能从右侧省略参数。而且我不希望这会改变，因为您想通过添加间接层来实现您要做的事情：

template<bool DebugMode=false>
struct Wrap {
    template <typename ...T> struct A {};
};

template <typename...T> using A = Wrap<>::A<T...>;

int main() {
    A<double, double> a;
}

替代：

template <bool DebugMode=false,typename ...T>
struct A_impl {};

template <typename...T>
using A = A_impl<false,T...>;

尽管在这里默认false无法真正使用，但对于使用您仍然必须指定它。