c++ - 仅当给出超过 n 个参数时，如何启用可变参数模板构造函数？

Question

我有一个具有以下构造函数的类:

template<typename T>
class MyClass {
public:
    MyClass() = default;
    explicit MyClass(T val) : value_1(val) { /* ... */ }
    explicit MyClass(T val, T val2) : value_1(val), value_2(val2) { /* ... */}

private:
    T value_1 = 0;
    T value_2 = 0;
};

我还想创建一个构造函数，它接受任意数量的参数(所有参数都可以是T)。构造函数也不能隐藏我已经编写的其他构造函数，因为完成的工作是不同的。我试了一下 enable_if，但我无法让它工作。这是我目前所拥有的:

template<typename... TArgs>
explicit MyClass(TArgs... mArgs, typename std::enable_if<sizeof...(mArgs) >= 3>) { /* ... */ }

但是，当这样调用时:

MyClass<double>(2, 3, 4, 5, 6, 7);

它会产生此错误(以及其他错误):

error: no matching function for call to 'MyClass<double>::MyClass(int, int, int, int, int, int)'

所以编译器可能甚至看不到构造函数。另一方面，如果我只是遗漏了 enable_if，它永远不会调用我的其他更专业的构造函数。

简而言之，如何才能调用可变构造函数当且仅当向构造函数提供了三个或更多参数？

编辑:

正如评论中所建议的，我现在也尝试了以下方法，这也不起作用:

template<typename... TArgs>
explicit MyClass(TArgs... mArgs, typename std::enable_if<sizeof...(mArgs) >= 3>::type) { /* ... */ }

还有

template<typename... TArgs>
explicit MyClass(TArgs... mArgs, typename std::enable_if<sizeof...(mArgs) >= 3>* = nullptr) { /* ... */ }

或两者的任意组合。

Answer 1

建议:试试

template <typename... TArgs,
          typename = typename std::enable_if<sizeof...(TArgs) >= 3>::type>
explicit MyClass(TArgs... mArgs) { /* ... */ }

或更好(以避免与具有相同签名的多个启用 SFINAE 的构造函数发生冲突)。

template <typename... TArgs,
          typename std::enable_if<sizeof...(TArgs) >= 3, bool>::type = true>
explicit MyClass(TArgs... mArgs) { /* ... */ }

你原来的代码有问题

template<typename... TArgs>
explicit MyClass(TArgs... mArgs, typename std::enable_if<sizeof...(mArgs) >= 3>::type) { /* ... */ }

只有当相对参数位于最后位置时，您才能推导出可变类型列表。

如果你添加另一个参数

typename std::enable_if<sizeof...(mArgs) >= 3>::type

您打破了 TArgs... 类型的推导。