C言語の関数において配列を引数として使う場合について

質問

参考書に記載の以下のコードに関連していくつか質問があります。

[1]
C言語におけるポインタとは、メモリ上のアドレスを格納するための変数という認識で正しいでしょうか？

[2]
メモリ上のアドレスを代入できる変数はポインタ以外に存在するでしょうか？

[3]
コード20行目「ans = heikin(test);」の"test"は、変数test[0]のメモリ上のアドレスを格納したポインタとして働くと考えてよろしいでしょうか？
(ただし"test"には他の変数のアドレスを代入することはできない)

[4]
28行目「double heikin(int t[])」の"int t[]"は見た通り配列を宣言しているという認識で正しいでしょうか？
また、その場合"t[]"はいったい何を示しているのでしょうか？
20行目から引数としてアドレスが渡される(参照渡し)とすると、"t[]"はポインタ(="t")と考えるのが適切な気がしますが、配列名であらわされるポインタには他のアドレスを代入することはできないと学んだので、いまいち理解に苦しんでいます。

分かりにくい文面で恐縮ですが、回答よろしくお願いします。

該当のソースコード

C言語
#include <stdio.h>

// heikin関数の宣言
double heikin(int t[]);

// main関数
int main(void)
{
    int test[5];
    int i;
    double ans;

    printf("5人のテストの点数を入力してください。\n");

    for (i = 0; i < 5; i++)
    {
        scanf("%d", &test[i]);
    }

    ans = heikin(test);

    printf("5人の平均点は%f点です。\n", ans);

    return 0;
}

// heikin関数
double heikin(int t[])
{
    int i;
    double sum = 0.0;

    for (i = 0; i < 5; i++)
    {
        sum += t[i];
    }

    return sum / 5;
}