배열을 선언한 scope내에서는 T[size]라는 독립된 타입으로 보는게 맞는거같아요 적어도 cpp에서는..
void foo(int arr[]) 에 넘긴다면 포인터로 붕괴하지만
template <size_t size>
void bar(int (&arr)[size])에 넘기면 배열 자체의 레퍼런스로 넘길 수 있기때문에