C++模板可变但静态

Question

我正在训练我的 C++ 模板技能，并且想要实现一个向量类。 该类由向量维度 N 和类型 T 定义。 现在我想要一个构造函数，它恰好接受 N 个 T 类型的变量。 但是我不知道如何告诉可变参数模板只接受 N 个参数。也许这可以通过模板专门化来实现？ 还是我的思考方向错误？ 对此的任何想法/想法将不胜感激。

更多想法

我已经看到的所有关于可变参数模板的示例都使用递归来“迭代”参数列表。但是我记得构造函数不能从构造函数调用（阅读答案中的注释）。那么也许甚至不可能在构造函数中使用可变参数模板？无论如何，这只会让我推迟使用具有相同基本问题的工厂函数。

Answer 1

可变参数构造函数似乎很合适：

template<typename T, int Size>
struct vector {
    template<typename... U>
    explicit
    vector(U&&... u)
        : data {{ std::forward<U>(u)... }}
    {
        static_assert( sizeof...(U) == Size, "Wrong number of arguments provided" );
    }

    T data[Size];
};

此示例使用完美转发和 static_assert 来生成硬错误，如果 Size 参数传递给构造函数的参数不准确。这可以调整：

• 您可以使用 std::enable_if （触发 SFINAE）将硬错误转换为软错误；我不建议
• 您将条件更改为 sizeof...(U) <= Size，让剩余元素进行值初始化，
• 您可以要求将类型传递给构造函数可转换为 T，或完全匹配，例如 T const&；将违规转变为硬错误（再次使用 static_assert）或软错误（再次使用 SFINAE）