L'assegnazione da un costitutore const_iterator può causare un comportamento non definito?

Question

Questo codice è un test semplificato per qualcosa che sto cercando di fare altrove. Ho una funzione che accetta un argomento "ref-to-ptr" e lo modifica per restituire un puntatore da un elenco di puntatori.

#include <iostream> 
#include <list> 
using namespace std; 

typedef int* intp; 
typedef std::list<intp> intplist; 
intplist myList; 

void func(intp &arg) // (1) 
{ 
    intplist::const_iterator it = myList.begin(); 
    std::advance(it, 2); 
    arg = *it; 
} 

int main() 
{ 
    myList.push_back(new int(1)); 
    myList.push_back(new int(2)); 
    myList.push_back(new int(3)); 

    int* ip = NULL; // (2) 
    func(ip); 
    if (ip) cout << "ip = " << *ip << endl; 
    else cout << "ip is null!" << endl; 

    for (intplist::const_iterator it = myList.begin(); it != myList.end(); ++it) 
     delete *it; 
    return 0; 
} 

Funziona e stampe ip = 3 come previsto, solo io sono preoccupato che possa causare un comportamento non definito o comunque portare a problemi, perché sto strappando via la costanza del iteratore assegnando il risultato di esso è dereferenziazione a l'argomento. Ho provato ad aggiungere const a (1) e (2) ma non è stato creato.

Ho ragione di essere preoccupato? In tal caso, perché non ricevo un avviso da g ++ (4.9.2)?

Answer 1

Il codice è perfettamente a posto. Non stai strappando via alcuna costanza (non c'è modo di farlo implicitamente in C++). *it ti dà un const intp &. È il che copia il puntatore a cui fa riferimento tale riferimento in arg. Copiare da qualcosa non toglie la costanza. L'assegnazione a arg assegna a ip nel tuo caso, non è bind legare nulla all'oggetto intp all'interno del contenitore.

Answer 2

const_iterator significa semplicemente che non è possibile assegnare a tale iteratore e/o può solo chiamare le funzioni const sull'oggetto a cui punta. Non c'è alcun problema con la copia dello value - in questo caso un puntatore. Non stai memorizzando i puntatori const, se lo fossi, allora dovresti assegnare a un puntatore const