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

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

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