Вычисление размера массива на этапе компиляции

#include <iostream>
 
template<typename T, std::size_t N>
constexpr std::size_t arraySize (T (&) [N] ) noexcept
{
    return N;
}
 
int main()
{
    int arr[100];
    std::cout << arraySize(arr);
}

#include <set>
    
int main()
{
    std::set s = {1,2,3};
}

constexpr std::size_t arraySize (int (&) [100] ) noexcept
{
    return 100;
}

constexpr std::size_t arraySize (int (&) [99] ) noexcept
{
    return 99;
}

template <typename T, typename U>
void foo(U&)
{
    T t;
};
 
template <typename U>
void bar(U&)
{};
 
int main()
{
    int val = 0;
    foo<double>(val);
    //foo(val); // error
    bar(val);
}

int arr[10];//Массив arr
int (&ref)[10] = arr;//Ссылка на массив arr

template<typename T, std::size_t N>//какие должны быть T и N, чтобы это завелось?
constexpr std::size_t arraySize (T (&) [N] ) noexcept //передаете int[100], значит должно быть
//T = int
//N = 100
//Тогда тип аргумента будет int (&)[100] - ссылка на массив int'ов размером 100,
//и функция успешно заведется

int main()
{
    int arr[100];
    int(&b)[100] = arr; //correct. b is referense of arr.
    
    int& c[100]; //error. array of refernces.
}