C++ 可变参数模板 - 限制参数的数量

Question

我有一个带有 set 函数的可变参数模板类，它填充内部数组：

template <size_t Dim>
class Vector
{
public:

    void SetValueTemplate(size_t index)
    {
        return;
    }

    template <typename X0, typename ...Xn>
    void SetValueTemplate(size_t index, X0 x0, Xn... xn)
    {
        val[index] = x0;
        SetCenterValueTemplate(index + 1, xn...);
    }

    template <typename ...X0>
    void SetValue(X0... t0)
    {
        SetValueTemplate(0, t0...);
    }

private:
    double val[Dim];
};

问题是，我可以这样称呼

Vector<3> v;
v.SetValue(0, 1, 2, 4, 5);

它可以正确编译。我可以限制它不编译吗？我可以使用static_assert，但是没有它可以吗？

Answer 1

是的，这是可能的，没有static_assert。例如，假设我们希望我们的 vector 类只能以参数的名称数量作为向量的维度进行赋值，您可以使用：

template<std::size_t Dim>
struct vector {
    template <typename X0, typename ...Xn>
    typename std::enable_if<sizeof...(Xn) + 1 == Dim, void>::type
    assign(X0 x0, Xn... xn) {}
};

这只是将std::enable_if与sizeof...结合使用来启用或禁用特定的分配功能。

所以下面会编译：

vector<3> x;
x.assign(1, 2, 3);

Live demo

但这不会：

vector<3> x;
x.assign(1, 2, 3, 4);

Live demo

with（用于 Clang）：

main.cpp:14:7: error: no matching member function for call to 'assign'
    x.assign(1, 2, 3, 4);
    ~~^~~~~~

这也不会：

vector<3> x;
x.assign(1, 2);

Live demo

带有类似的错误消息。