Оператор Overloading [] для редкого вектора

Не позволяйте неконстантному оператору и реализации возвращать ссылку, но прокси-объект. Затем вы можете реализовать оператор присваивания прокси-объекта, чтобы отличать доступ для чтения к operator [] от доступа для записи.

Вот некоторый набросок кода, чтобы проиллюстрировать идею. Этот подход некрасивый, но хорошо - это C ++. Программисты на C ++ не тратят время на участие в конкурсах красоты (у них тоже не будет шансов). ; -)

template <typename V, V Default>
ProxyObject SparseVector::operator[]( int i ) {
   // At this point, we don't know whether operator[] was called, so we return
   // a proxy object and defer the decision until later
   return ProxyObject<V, Default>( this, i );
}

template <typename V, V Default>
class ProxyObject {
    ProxyObject( SparseVector<V, Default> *v, int idx );
    ProxyObject<V, Default> &operator=( const V &v ) {
      // If we get here, we know that operator[] was called to perform a write access,
      // so we can insert an item in the vector if needed
    }

    operator V() {
      // If we get here, we know that operator[] was called to perform a read access,
      // so we can simply return the existing object
    }
};

Интересно, надежен ли этот дизайн.

Если вы хотите вернуть ссылку, это означает, что клиенты этого класса могут сохранить результат вызова operator [] в ссылке и читать / записывать в нее в любое более позднее время. Если вы не возвращаете ссылку и / или не вставляете элемент каждый раз при обращении к определенному индексу, как они могли это сделать? (Кроме того, у меня такое ощущение, что стандарт требует наличия соответствующего контейнера STL, обеспечивающего operator [] , чтобы этот оператор возвращал ссылку, но я не уверен в этом.)

Вы могли бы иметь возможность обойти это, предоставив вашему прокси также оператор V & () (который создаст запись и присвоит значение по умолчанию), но я не уверен, что это не просто откроет еще одну лазейку в каком-то случае, о котором я еще не думал.

std :: map решает эту проблему, указывая, что неконстантная версия этого оператора всегда вставляет элемент (и вообще не предоставляет версию const ).

Конечно, вы всегда можете сказать, что этот не стандартный контейнер STL, и оператор [] не возвращает простые ссылки, которые пользователи могут хранить. И, может быть, это нормально. Мне просто интересно.

вы всегда можете сказать, что этот не стандартный контейнер STL, и оператор [] не возвращает простые ссылки, которые пользователи могут хранить. И, может быть, это нормально. Мне просто интересно.

вы всегда можете сказать, что этот не стандартный контейнер STL, и оператор [] не возвращает простые ссылки, которые пользователи могут хранить. И, может быть, это нормально. Мне просто интересно.