是否可以强制STL集重新评估谓词

Question

考虑以下数据结构和代码。

struct Sentence {
std::string words;
int frequency;
Sentence(std::string words, int frequency) : words(words), frequency(frequency) {}
};
struct SentencePCompare {
bool operator() (const Sentence* lhs, const Sentence* rhs) const {
if (lhs->frequency != rhs->frequency) {
return lhs->frequency > rhs->frequency;
}
return lhs->words.compare(rhs->words) < 0;
}
};
std::set<Sentence*, SentencePCompare> sentencesByFrequency;
int main(){
Sentence* foo = new Sentence("foo", 1);
Sentence* bar = new Sentence("bar", 2);
sentencesByFrequency.insert(foo);
sentencesByFrequency.insert(bar);
for (Sentence* sp : sentencesByFrequency) {
std::cout << sp->words << std::endl;
}
foo->frequency = 5;
for (Sentence* sp : sentencesByFrequency) {
std::cout << sp->words << std::endl;
}
}

上述代码的输出如下。

bar
foo
bar
foo

正如我们所料，当集合中指针指向的对象被更新时，集合不会自动重新评估谓词，即使谓词根据指针所指向的对象对指针进行排序。

有没有办法强制std::set重新评估谓词，以便顺序再次正确

Answer 1

否。

set只允许const访问其元素是有原因的。如果你通过使用浅常量指针和自定义谓词偷偷地忽略了这一点，然后通过以影响排序的方式修改指针来破坏不变量，你将以鼻恶魔的形式付出代价。

在C++17之前，您需要再次使用erase和insert，这将导致密钥复制加上节点释放和分配。之后，可以extract节点，对其进行修改，然后重新插入，这是免费的。