Const vettore di non-const oggetti

Question

Nel definire una funzione in un'interfaccia:

virtual void ModifyPreComputedCoeffs (std::vector <IndexCoeffPair_t> & model_) = 0; 

vogliamo specificare che il model_ vettore non deve essere modificato nel senso push_back ecc operazioni non dovrebbero essere fatte sul vettore ma è possibile modificare gli oggetti struct IndexCoeffPair_t nel modello_. Come dovremmo specificarlo?

virtual void ModifyPreComputedCoeffs (const std::vector <IndexCoeffPair_t> & model_) = 0; 

non funziona, credo.

Answer 1

Il concetto di cost-correctness C++ è sovrastimato dalla modalità IMO. Quello che hai appena scoperto è uno dei grandi limiti che ha: non scala per composizione. Per poter creare un vettore const di oggetti non const è necessario implementare il proprio tipo di vettore. Si noti che, ad esempio, anche la libreria standard ha dovuto introdurre nuovi tipi per const_iterators.

Il mio suggerimento è di usare la cost-correttezza dove sei costretto, e non ovunque tu possa. In teoria la correttezza costante dovrebbe aiutare i programmatori, ma ha un costo molto alto a causa della sintassi ed è molto primitiva (solo un bit, non scala per composizione, richiede anche la duplicazione del codice).

Anche nella mia esperienza questo presunto grande aiuto non è poi così grande ... la maggior parte degli errori che si verificano sono legati al meccanismo di const-correctness stesso e non alla logica del programma.

Vi siete mai chiesti perché la maggior parte delle lingue (comprese quelle progettate dopo C++) non ha implementato questa idea?

Answer 2

Invece di trasferire il vettore nella funzione, eseguire invece ciò che fa la libreria standard e passare una coppia di iteratori.

virtual void ModifyPreComputedCoeffs (std::vector <IndexCoeffPair_t>::iterator & model_begin, std::vector <IndexCoeffPair_t>::iterator & model_end) 

Answer 3

Se è possibile modificare IndexCoeffPair_t, è possibile aggiungere alcune funzioni membro const e utilizzarle per modificare alcuni dei membri rendendo i membri mutabili utilizzando la parola chiave mutabile. Questa è una specie di trucco, dal momento che ora è possibile modificare il contenuto di qualsiasi const IndexCoeffPair_t.

Esempio:

class IndexCoeffPair_t { 
public: 
    void changeX(int newVal) const { 
     x = newVal; 
    } 

private: 
    mutable int x; 
}; 

Answer 4

Questa è probabile che sia in C++ 14 come std::dynarray.

In realtà se la dimensione è fissa al momento della compilazione è possibile utilizzare std::array. Ma probabilmente è più utile per cose come programmazione embedded, buffer, matrici e così via come spesso non si conosce la dimensione desiderata fino al runtime o si desidera che sia configurabile.