Изменить элемент в наборе с помощью итератора

Question

Изменить элемент в наборе с помощью итератора

0

Я хочу изменить элемент в наборе (QSet):

for(PSet::iterator pIt = P.begin(); pIt != P.end(); ++pIt)
  pIt->xp = 0;

Компилятор не позволит мне это сделать ("C3892:" var ": вы не можете назначить переменную const). Кажется, что набор итераторов всегда постоянен из-за опасения, что изменение элемента может повредить его правильное положение в наборе.

В моем случае PSet - это набор структур, для которых я определил свою собственную хеш-функцию:

struct P
{
  P(int id, const Data_t& data)
     :xp(_INFINITY_)
     ,id(id)
     ,data(data){}

  int xp;  
  const int id;
  const Data_t data;
};

Моя хеш-функция не учитывает неконстантный член xp, поэтому мое вышеприведенное назначение должно быть абсолютно безопасным относительно порядка элементов в наборе. Я не хочу удалять элемент и повторно вставлять его, поскольку производительность на самом деле является проблемой.

Думаю, я мог бы использовать const-casts, но это ухудшило бы мою читаемость кода и выглядело бы как неприятный хак. Есть ли у меня другие варианты?

aLu 12 июнь 2014, в 16:17

Источник

Теги:

c++

set

compiler-errors

2 ответа

0

Элементы set не могут быть дублирующими. Если вам будет разрешено изменить элемент, тогда вся эта логика не будет сохранена. Поэтому вам нужно удалить существующий элемент и вставить новый.

Поэтому, если вы не используете const_cast, нет другого способа сделать это. Однако, как уже упоминалось, это может нарушить set, позволяя ему иметь потенциальные повторяющиеся значения.

Вот как это сделать для std::set<int> (я знаю, что это не набор QT, но логика должна быть одинаковой):

std::set<int> mySet;
mySet.insert(3);
mySet.insert(4);
for (auto i = mySet.begin(); i != mySet.end(); i++)
{
    int* elem = const_cast<int*>(&*i);
    *elem = 6;
}

Iosif Murariu 12 июнь 2014, в 12:31

0

QSet - это набор на основе хеш-таблицы. Это элементы не отсортированы.
eerorika 12 июнь 2014, в 13:47
0

ОК, спасибо за хэдсэп. Я оставлю только релевантные вещи в своем ответе и проясню отсортированные связанные :)
Iosif Murariu 12 июнь 2014, в 13:51
1

@ user2079303: применяется та же логика; хэши должны быть пересчитаны, и непосредственное изменение значения не сделает этого. Таким образом, вы должны использовать интерфейс, который предоставляет вам набор. Это в основном разница между получателями / установщиками и прямым доступом членов. Это не просто дубликаты.
Lightness Races in Orbit 12 июнь 2014, в 14:56
0

@LightnessRacesinOrbit: Хеш не нужно пересчитывать, если модификация не меняет значение хеша, как в случае OP. Конечно, aLu также должен был бы реализовать оператор равенства, чтобы xp не влиял на равенство объектов, тем самым предотвращая дублирование при изменении только этого члена. Это было бы бессмысленно, поскольку QSet не предоставляет неконстантный доступ к хранимым объектам (и из-за проблем, уже упомянутых выше, не следует устанавливать ни одного общего назначения).
eerorika 13 июнь 2014, в 12:04

Показать ещё 2 комментария

Ещё вопросы

QSet - это набор на основе хеш-таблицы. Это элементы не отсортированы.
ОК, спасибо за хэдсэп. Я оставлю только релевантные вещи в своем ответе и проясню отсортированные связанные :)
@ user2079303: применяется та же логика; хэши должны быть пересчитаны, и непосредственное изменение значения не сделает этого. Таким образом, вы должны использовать интерфейс, который предоставляет вам набор. Это в основном разница между получателями / установщиками и прямым доступом членов. Это не просто дубликаты.
@LightnessRacesinOrbit: Хеш не нужно пересчитывать, если модификация не меняет значение хеша, как в случае OP. Конечно, aLu также должен был бы реализовать оператор равенства, чтобы xp не влиял на равенство объектов, тем самым предотвращая дублирование при изменении только этого члена. Это было бы бессмысленно, поскольку QSet не предоставляет неконстантный доступ к хранимым объектам (и из-за проблем, уже упомянутых выше, не следует устанавливать ни одного общего назначения).

quantdev · Accepted Answer · 2014-06-12T10-54-00.000Z

Изменение элементов QSet недопустимо, поскольку оно может нарушить заданную внутреннюю структуру контейнера, изменив один из хэш-результатов.

Что касается стандартных ассоциативных контейнеров, то это в стандартном разделе § 23.2.4

итератор ассоциативного контейнера относится к категории двунаправленного итератора. Для ассоциативных контейнеров, где тип значения совпадает с типом ключа, оба итератора и const_iterator являются постоянными итераторами. Не указано, является ли итератор и const_iterator одним и тем же типом.

Если вы знаете, что ваша модификация не влияет на элемент отсортированной позиции, использование const_cast является одним из тех редких случаев, когда это нормально.

Однако, идиоматическим способом является использование подсказки:

Найдите элемент, который нужно изменить
Сделайте копию элемента
Изменить копию
Удалить элемент
Вставьте копию, используя вставку подсказки, когда она доступна (нет для QSet)

Пример:

  s.erase(original);
  // modify p ...
  s.insert(copy, hint);

Заметки:

То же самое относится и к другим ассоциированным контейнерам.
Этот вопрос широко обсуждается в "Эффективном STL, пункт 22", Скот Мейерс.
Иногда рекомендуется считать std::vector заменой std::set

Вставка QSet не дает подсказки. Вероятно, потому что это основано на хэш-таблице. Как насчет использования mutable для члена, который я хочу изменить, вместо нескольких const_casts в разных местах?
не имеет значения, является ли конкретный член изменяемым, а если нет, то другие члены могут иметь: const_cast, модифицирующий неизменяемый elswhere: компилятор не может знать, что _ выглядит так, как будто вы остались с const_casting ваших элементов set ( редактировать об использовании hint когда доступно)