从数组构造 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++ 不为我们提供一个以数组为参数的构造函数 争论？

为什么会这样？ std::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::end 移植到C++03 来实现它。这些至少比专门用于创建std::set 的函数更有用。

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

Answer 3

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

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

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

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