如何检查 std::array 已声明但未显式初始化

Question

std::array 有一个内置方法empty() 来检查数组是否为空。如从here复制的示例：

#include <array>
#include <iostream>
 
int main()
{
    std::array<int, 4> numbers {3, 1, 4, 1};
    std::array<int, 0> no_numbers;
 
    std::cout << std::boolalpha;
    std::cout << "numbers.empty(): " << numbers.empty() << '\n';
    std::cout << "no_numbers.empty(): " << no_numbers.empty() << '\n';
}

有什么方法可以检查数组是否已声明，大小固定，但未显式初始化？

说，像这样？

std::array<int,4> a;
std::array<int,4> b;
a = {1,2,3,4}; //a holds some explicit values
//do not assign values to b
//how to tell the different state of a and b?

Answer 1

没有。 std::array<T, N>::empty() 其中 N!=0 将始终返回 false。 https://en.cppreference.com/w/cpp/container/array/empty "检查容器是否没有元素，即是否 begin() == end()。"

同样std::array<T, 0>::empty() 将始终返回true，因为begin() == end()。

Answer 2

std::array 对象的大小（即它拥有的元素数量）必须是一个编译时常量，并且不能动态更改。因此，empty() 和 size() 成员函数可能看起来有些多余^†（但出于与 STL 提供的通用、基于容器的算法兼容的原因而包含在内）。

如果您需要一个大小可以更改的容器，那么您应该使用std::vector 而不是std::array（尽管这会产生更多的运行时开销）。

以下说明了其中一种差异：

#include <iostream>
#include <array>
#include <vector>

int main()
{
    std::array<int, 4> a;
    std::array<int, 4> b;
    a = { 1,2,3,4 }; //a holds some explicit values

    std::cout << std::boolalpha;
    std::cout << "a.empty(): " << a.empty() << '\n'; // false
    std::cout << "b.empty(): " << b.empty() << '\n'; // false

    // However ...
    std::vector<int> v1;
    std::vector<int> v2;
    v1 = { 1,2,3,4 };
    std::cout << "v1.empty(): " << v1.empty() << '\n'; // false
    std::cout << "v2.empty(): " << v2.empty() << '\n'; // true

    return 0;
}

---

^† 但请注意，这些成员 对于将数组传递给函数的情况很有用，否则将无法确定大小（或空）其给定参数。

Answer 3

我不明白你在问什么：

有什么方法可以检查数组是否已声明，大小固定，但未显式初始化？

如果你有一个std::array 类型的变量，那么它已经被构造了。 如果它已被构造，则数组中的元素已被构造。 （这是在 array 构造函数中完成的）

此变量std::array<std::string, 5> sa; 包含 5 个默认构造的字符串。

所以我不知道你所说的“已声明，但未显式初始化”是什么意思