std :: list :: clear invalidate std :: list :: end iterator?

Question

Controllare questo codice:

#include "stdafx.h" 
#include <list> 

int _tmain(int argc, _TCHAR* argv[]) 
{ 
    std::list<int> mylist; 
    mylist.push_back(1); 
    std::list<int>::iterator i = mylist.end(); 
    if(i == mylist.end()) 
     printf("end is end\n"); 

    mylist.clear(); 
    if(i == mylist.end()) 
     printf("never get here because Microsoft seems to " 
       "think the iterator is no longer safe.\n"); 

    return 0; 
} 

Ora, secondo cplusplus.com questo non dovrebbe essere un problema, e in modalità di rilascio, penso che questo va bene e non causa problemi in realtà, ma il debugging diventa impossibile come questo balbetta senza lasciarmi continuare. Qualche indicazione?

Answer 1

Altre risposte sottolineano che, in generale, non è possibile fare affidamento sull'iterazione iteratore di un contenitore che rimane valido quando il contenitore viene cancellato. Tuttavia, l'iteratore past-the-end di un elenco dovrebbe infatti rimanere valida:

C++ 11 23.3.5.4/3 Effetti: invalida solo le Iteratori e riferimenti agli elementi cancellati.

L'iteratore del passato non fa riferimento a nessun elemento, quindi non dovrebbe essere invalidato.

Answer 2

Questo non è valido. Gli iteratori sono validi solo nel contenitore di stato corrente. Dopo aver aggiunto o rimosso elementi, l'iteratore non è più valido.

L'articolo collegato non dice che quello che stai facendo è valido. Ottengono un nuovo iteratore dopo la cancellazione.

Il motivo per cui non viene visualizzato nel codice di rilascio è perché il debug che preleva il problema è disabilitato.

Answer 3

Da C++ 11, (esigenze contenitive sequenza) Tabella 100:

clear() [...] può invalidare l'iteratore dopo-the-end.

E std::list è naturalmente un modello contenitore di sequenza (23.3.5.1/2):

Un elenco soddisfa tutti i requisiti di un contenitore, di un contenitore reversibile (proposta in due tabelle in 23.2), di un contenitore di sequenza, inclusi la maggior parte dei requisiti del contenitore sequenza opzionale (23.2.3) e di un contenitore che riconosce gli allocatori (Tabella 99). Le eccezioni sono l'operatore [] e le funzioni membro, che non sono fornite. Le descrizioni sono fornite qui solo per le operazioni sulla lista che non sono descritte in una di queste tabelle o per operazioni in cui sono disponibili ulteriori informazioni semantiche.