二、阅读程序（判断题1分，选择题3分，共计40分）

判断题正确填 T，错误填 F。

第1题

#include<iostream>
int main()
{
    const int maxn = 100000;
    int n;
    std::cin >> n;
    int a[maxn];
    int b[maxn];
    for (int i = 0; i < n; ++i)
    {
        std::cin >> a[i];
        b[a[i]] = i;
    }
    for (int i = 0; i < n; ++i)
    {
        std::cout << b[i] << "\n";
    }
}

当 i 与 j 是属于 $0$ 到 $n-1$ 的整数，且输入数组 a 是构成一个 $0$ 到 $n-1$ 的排列，当程序结束时，以下三个判定有多少个是恒成立的（ ）。

甲：b[a[i]] == i

乙：a[b[i]] == i

丙：a[a[i]] == b[b[i]]

{{ select(1) }}

• $0$ 个
• $1$ 个
• $2$ 个
• $3$ 个