Fusioni vettore <T> al vettore <const T>

Question

ho una variabile membro di tipo vector<T> (dove è T è una classe personalizzata, ma potrebbe essere int pure.) Ho una funzione da cui voglio restituire un puntatore a questa vettore, ma non voglio che il chiamante sia in grado di cambiare il vettore o gli elementi. Quindi voglio che il tipo restituito sia const vector<const T>*

Nessuno dei metodi di fusione che ho provato ha funzionato. Il compilatore continua a lamentarsi del fatto che T non è compatibile con const T.

Ecco un codice che dimostra il succo di ciò che sto cercando di fare;

vector<int> a; 
const vector<const int>* b = (const vector<const int>*) (&a); 

Questo codice non viene compilato per me.

Grazie in anticipo!

Answer 1

Se si dispone di un const vector<int> non è possibile modificare il contenitore, né è possibile modificare alcun elemento nel contenitore. Non è necessario un const vector<const int> per raggiungere quella semantica.

Answer 2

è possibile forzare la conversione in questo modo:

b = reinterpret_cast<const std::vector<const int>*>(&a); 

ma non credo che si dovrebbe fare, dal momento che non è garantito il funzionamento, solo per compilare

Answer 3

Oltre alla risposta di James su come per farlo dovresti notare che const int non è un tipo valido da inserire in un contenitore standard poiché non è assegnabile.

Answer 4

Sul perché un vector<T> non possono essere convertiti correttamente un vector<const T> anche se T possono essere convertiti const T

Questo è un problema ricorrente comune nella programmazione se è con costanza o eredità (un contenitore di oggetto derivato non può essere convertito in un contenitore di oggetti di base, anche se gli stessi elementi contenuti possono). Il problema è che elemento per elemento ognuno di essi può essere convertito, ma il contenitore stesso non può senza rompere il sistema di tipi.

Se fosse consentito fare vector< const T > &vr = my_vector_of_T, sarà consentito aggiungere elementi tramite vr e tali elementi sarebbero costanti per definizione. Ma allo stesso tempo quegli stessi elementi sarebbero aliasati in my_vector_of_T come elementi non-const e potrebbero essere modificati attraverso quell'interfaccia, interrompendo la costanza nel sistema dei tipi.

Nel caso particolare di un vector<int> essere convertito in un vector<const int>, è probabile che non si nota effetti davvero strano --besides aggiunta di un elemento a un vector<const int> e vedere come le costanti elemento viene modificato nel tempo, ma ancora ricorda che dati due tipi correlati T1 e T2 per i quali esiste una relazione, nella maggior parte dei casi si tenta di applicare la stessa relazione ai contenitori di T1 e T2 interromperà il sistema di tipi.

Answer 5

Il compilatore decide di bloccarlo. Tuttavia, sappiamo che questo è sicuro, quindi forse possiamo ingannarlo:

const vector<const int>* b = (const vector<const int>*)(void *)(&a);