鉴于此结构：
struct Foo {
std::array<int, 8> bar;
};
如果我没有Foo 的实例，如何获取bar 数组的元素数？
【问题讨论】：
std::array 不会缩小或增长。它将始终是 8 个构造对象。
std::array<int, 8>，您将拥有一个包含 8 个元素的容器；您可以设置其中 4 个元素的值（在初始化之后），但其他 4 个元素存在初始值
您可以使用std::tuple_size:
std::tuple_size<decltype(Foo::bar)>::value
【讨论】：
std::tuples（std::tuple_size、std::tuple_element、std::get）的各种类和函数都有方便的专门化处理std::array<T, N> 就像std::tuple<T, T, ..., T> .
尽管有@Jarod42 的good answer，这里还有一个基于decltype 的可能解决方案，它不使用tuple_size。
它遵循一个适用于 C++11 的最小工作示例：
#include<array>
struct Foo {
std::array<int, 8> bar;
};
int main() {
constexpr std::size_t N = decltype(Foo::bar){}.size();
static_assert(N == 8, "!");
}
std::array 已经有一个名为 size 的 constexpr 成员函数，它返回您要查找的值。
【讨论】：
constexpr，它也需要构造，从这个意义上说std::tuple_size 是一个更好的答案因为它在非constexpr 的情况下不需要任何构造或破坏。
std::tuple_size 是一个更好的选择。也就是说，为了便于阅读，我可能会做一个using array_size = std::tuple_size。
std::move 的函数，它不会移动任何东西。还有什么？ :-)（注意：只是开玩笑）
你可以给Foo一个public static constexpr成员。
struct Foo {
static constexpr std::size_t bar_size = 8;
std::array<int, bar_size> bar;
}
现在您从 Foo::bar_size 知道了 bar 的大小，并且如果 Foo 曾经有多个相同大小的数组，您可以更灵活地将 bar_size 命名为更具描述性的名称。
【讨论】：
static const 也可以做到这一点，我认为这不是一个好的答案。
static constexpr 会员真的不是什么可抱怨的；它不会在实例中消耗任何空间，并在其翻译单元中被完全优化（除非它的地址被占用，但这需要一个外线定义，所以）。
static constexpr 的条形大小是一个神奇的数字。这个解决方案去掉了幻数，用一条简单的线解决了问题。
您可以像处理旧数组一样执行此操作：
sizeof(Foo::bar) / sizeof(Foo::bar[0])
【讨论】：
std::extent 但这不是答案，因为这仍然需要构造一个实例。
sizeof std::array<int, 4> 可能不等于 sizeof int[4] 这是一个实现细节。此外，如果您要构建std::array，那么只需使用size() 成员
sizeof(Foo::bar) / sizeof(Foo::bar[0])。不需要 Foo 的实例。
std::array 的其他明显要求意味着它必须具有与现实中的原始数组相同的大小和布局，即使没有明确要求？
std::array 有一个 size() 成员。
用途：
sizeof(Foo::bar) / sizeof(int)
【讨论】：
#include <iostream> #include <array> using namespace std; struct Foo { std::array<int, 8> bar; }; int main() { cout << sizeof(Foo::bar) / sizeof(int) << endl; cout << std::tuple_size<decltype(Foo::bar)>::value << endl; return 0; }
你可以像这样使用：
sizeof Foo().bar
【讨论】：
sizeof
sizeof 不计算它的操作数，你总是可以只使用std::declval<Foo>()。
std::array 被允许有填充