这个堆里有几个元素

运行下面这段程序：

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

void push_up(vector<int>& h, int x) {
    h.push_back(x);
    int i = (int)h.size() - 1;
    while (i > 0 && h[(i - 1) / 2] < h[i]) {
        int p = (i - 1) / 2;
        swap(h[p], h[i]);
        i = p;
    }
}

int main() {
    vector<int> h;
    for (int v : {17, 24, 15, 13, 23}) push_up(h, v);
    cout << h.size() << endl;
}

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