Двумерный массив <array>. const int value = array.size(); value не константа?

#include <array>
#include <iostream>
 
using std::array;
using std::cout;
 
/*ФУНКЦИЯ ЗАПОЛНЕНИЯ МАССИВА ЗНАЧЕНИЯМИ*/
template <typename T>
void arr_init(T& arr, int count = 0){
    for (auto &i:arr){
        for (auto &j:i){
            j = count++;
        }
    }
}
 
/*ФУНКЦИЯ ВЫВОДА МАССИВА НА ЭКРАН*/
template <typename T>
void arr_show(T& arr){
    for (const auto &i:arr){
        for (const auto &j:i){
            cout << j << '\t';
        }   cout << '\n';
    }
}
 
/*ФУНКЦИЯ ПЕРЕМЕШИВАЕТ СТРОКИ*/
template <typename T>
void shuffle_row(T& arr){
    const int ROW = arr.size();
    array<T,ROW> temp;  //<-- Где я что-то не понял?
}
 
 
int main(){
    array<array<int,9>,10> arr;
 
    arr_init(arr);
    arr_show(arr);
    shuffle_row(arr);
}

#include <array>
#include <iostream>
 
using std::array;
using std::cout;
 
 
template <class T>
void foo1(T& arr) {
    constexpr int ROW = arr.size();
}
 
template <class T>
void foo1(T&& arr) {
    constexpr int ROW = arr.size();
}
 
 
int main() {
    array<array<int, 9>, 10> arr = {};
    //foo1(arr);  //<-- Пока не напишу, претензий не имеется
    //foo2(arr);
}

template <class T>
void foo1(T arr) {
    constexpr int ROW = arr.size();
}

void foo(){
   size_t temp = arr.size(); //данные по arr тут известны и вычисляемо на этапе компиляции
   constexpr int ROW = temp; //constexpr вне параметров функции
   T arr[temp]; //Вне параметров функции, ну а тип Т известен, всё на этапе компиляции
}

void foo1(T& arr)
void foo1(T&& arr)