在 C++23 中，void read(const int values[8]) 强制了什么契约？

在 C++23 中，void read(const int values[8]) 强制了什么契约？

1. 它只接受边界恰好为 8 的数组。
2. 它会调整为 const int* 形参，不强制任何元素数量。
3. 它会把 8 个整数复制进函数。
4. 它拒绝空指针，但接受所有非空指针。