去重之后还剩几个

运行下面这段程序：

#include <iostream>
#include <string>
#include <vector>
using namespace std;

int main() {
    int a[] = {1, 1, 2, 2, 2, 3};
    int n = 6, k = 0;
    for (int i = 1; i < n; i++) {
        if (a[i] != a[k]) {
            k++;
            a[k] = a[i];
        }
    }
    cout << k + 1 << endl;
}

（本题用 g++ -std=c++17 -O0 编译。）