我正在解this problem,然后我在不同版本的C之间遇到了这种奇怪的行为。当我使用C17时,代码给出正确的输出,但当我切换到C++14时,输出完全改变。我用g++ (x86_64-posix-seh-rev1, Built by MinGW-Builds project) 13.1.0
编译。如果有人能指出发生了什么事,我将不胜感激。
这是我解决那个问题的办法。
#include <bits/stdc++.h>
#define nl '\n'
using namespace std;
using i64 = long long;
struct PersistentSegmentTree {
struct Node {
int value, left, right;
Node() : value(0), left(0), right(0) {}
};
vector<Node> T = {Node()};
int update(int root, int l, int r, int p, int v) {
int id = T.size();
T.emplace_back();
T[id] = T[root];
if (l == r) {
T[id].value += v;
return id;
}
int mid = (l + r) / 2;
if (p <= mid) {
T[id].left = update(T[root].left, l, mid, p, v);
} else {
T[id].right = update(T[root].right, mid + 1, r, p, v);
}
T[id].value = T[T[id].left].value + T[T[id].right].value;
return id;
}
int query(int from, int to, int l, int r, int k) {
if (l == r) {
return l;
}
int mid = (l + r) / 2;
int left_count = T[T[to].left].value - T[T[from].left].value;
if (left_count >= k) {
return query(T[from].left, T[to].left, l, mid, k);
} else {
return query(T[from].right, T[to].right, mid + 1, r, k - left_count);
}
}
} tree;
signed main() {
cin.tie(0), ios::sync_with_stdio(0);
int n, q;
cin >> n >> q;
vector<int> a(n);
for (int i = 0; i < n; i++) {
cin >> a[i];
}
vector<int> roots;
roots.push_back(0);
auto vals = a;
sort(vals.begin(), vals.end());
vals.erase(unique(vals.begin(), vals.end()), vals.end());
for (int i = 0; i < n; i++) {
a[i] = lower_bound(vals.begin(), vals.end(), a[i]) - vals.begin();
roots.push_back(tree.update(roots.back(), 0, vals.size() - 1, a[i], 1));
}
for (int qi = 0; qi < q; qi++) {
int l, r, k;
cin >> l >> r >> k;
cout << vals[tree.query(roots[l - 1], roots[r], 0, vals.size() - 1, k)] << nl;
}
}
测试用例为:
7 3
1 5 2 6 3 7 4
2 5 3
4 4 1
1 7 3
C++17输出(正确):
5
6
3
C++14输出(不正确):
7
7
4
先谢了。
1条答案
按热度按时间axr492tv1#
你在所有作业中都有问题,比如
T.at(id).left = update(...
。在C++17之前,赋值的左侧和右侧的求值是未指定的。
T.at(id).left
似乎首先被计算,其结果类型是Node&
。然后调用update()
,这会向向量T.emplace_back()
添加一个新元素-这会使所有引用无效,因此第一个评估的引用T.at(id).left
现在是堆中释放内存的悬空引用。在uppdate()
完成之后,将结果值赋值给悬空指针会导致 heap-use-after-free。修复是相当微不足道的:
我希望你能自己解决另一个任务。