c++ - 从数组构造 std::set

Question

为什么 C++ 不为我们提供一个将数组作为参数的构造函数？或者，定义以下函数有什么问题吗？

template <class T>
std::set<T> ArrayToSet(T array[]) {
  return std::set<T>(array, array + sizeof(array) / sizeof(array[0]));
}

我认为答案可能归结为动态内存分配的想法，但我想听听对此的一些反馈。

编辑：我没有使用 C++11。

Answer 1

或者，定义以下函数有什么问题吗？

有：它不起作用。

您不能将可变长度的 C 样式数组传递给函数。参数列表中的T array[]语法是 的同义词T* array：传递的是原始指针，而不是参数。

但是，您可以通过引用传递固定大小的数组（即T (&array)[5]有效）。要使其适用于不同的数组长度，您需要使用非类型模板参数：

template <class T, std::size_t N>
std::set<T> ArrayToSet(T (&array)[N]) {
  return std::set<T>(array, array + N);
}

– 但我同意 Zac 的观点：函数过于具体（或者，反过来：不够通用）。已经有一个通用的集合构造方法，通过迭代器。所以正确的方法是使用C++11的std::begin和std::end设施，如果你不能使用C++11，那么正确的方法是自己写：

template <typename T, std::size_t N>
T* begin(T (&array)[N]) {
    return array;
}

template <typename T, std::size_t N>
T* end(T (&array)[N]) {
    return array + N;
}

Answer 2

为什么 C++ 不为我们提供一个将数组作为参数的构造函数？

为什么会呢？Astd::set不是一个数组，它已经有一个构造函数，它使用迭代器来初始化它，所以为数组添加另一个构造函数是不必要的。 std::vector是一个数组，甚至它没有一个带数组的构造函数。

或者，定义以下函数有什么问题吗？

是和不是。这是不必要的，因为你可以写

MyType myArray[mySize];
std::set<MyType> mySet(myArray, myArray + sizeof(myArray) / sizeof(array[0]);
// or std::set<MyType> mySet(myArray, myArray + mySize);
// or std::set<MyType> mySet(std::begin(myArray), std::end(myArray)); c++11

它并不真正值得拥有自己的功能。

如果您真的想编写一个函数来帮助您，我会通过移植std::begin和std::endC++03 来解决它。这些至少比专门用于创建std::set.

它看起来与康拉德在他的回答中发布的完全一样。

Answer 3

std::set不需要为 C 样式数组提供构造函数，因为可以使用迭代器从它们构造 - 此外，从数组构造并不容易，因为您可以尝试构造 from T *，它不会传达数组长度，或者它是否是一个数组。

为此，我们使用模板技巧来确定数组大小并使用迭代器构造函数：

template <typename T, size_t N>
std::set<T> ArrayToSet(T (& array)[N]) {
    return std::set<T>(&array[0], &array[0]+N);
}

请注意，如评论中所述，这不适用于T *类型。您可以为此提供额外的参数arr_length或其他内容重载。在这种情况下sizeof也不起作用，它只会给你指针的大小，而不是数组。