Passaggio per opzioni di riferimento in C++

Question

Voglio passare un oggetto di Classe A (chiamarlo a) per riferimento (nel senso ampio, ovvero tramite A & o A *) al costruttore di un'altra Classe B. I non voglio che 'a' sia modificato all'interno di B ('a' è di sola lettura ed è di grandi dimensioni ed è per questo che voglio passarlo per riferimento). So di due opzioni:

1) Pass 'un' come

const A & a_ 

2) Pass 'un' come

const A * a_ 

Lo svantaggio dell'opzione 1 è che posso erroneamente passare un r-value. Lo svantaggio dell'opzione 2 è che posso erroneamente passare un puntatore nullo.

Le mie domande sono: 1) Ho ragione sugli svantaggi sopra? 2) C'è un altro modo consigliato di passare 'a' per riferimento?

Ho visto le risposte nel link sottostante. Ma sono curioso di sapere se ci sono altre opzioni oltre a ciò che viene pubblicato in quella domanda. Are there benefits of passing by pointer over passing by reference in C++?

Answer 1

Passaggio const A &.

È possibile impedire il passaggio accidentale dei valori dichiarando un sovraccarico di rvalue di tale funzione = delete. Per esempio:

struct A { }; 

void func(const A & a) { } 
void func(A && a) = delete; 

int main() 
{ 
    A a; 
    func(a); // compiles 
    func(A()); // doesn't compile 
} 

Answer 2

Date un'occhiata a std::reference_wrapper 's costruttori: http://en.cppreference.com/w/cpp/utility/functional/reference_wrapper/reference_wrapper

E' un costruttore in più eliminato che prende riferimento rvalue, quindi se si tenta di passare un rvalue ad esso, che il costruttore vince la risoluzione di sovraccarico e si ottiene un errore.

È possibile fare la stessa cosa: dichiarare entrambi i costruttori const A& e A&& ed eliminare quest'ultimo. Quindi nessuno sarà in grado di passare in un valore.

Answer 3

Il codice:

#include <iostream> 
using namespace std; 

struct A 
{ }; 

int func_one(A& var) { 
    A * insertVal=new A; 
    if (&var==nullptr) 
     return 0; 
    else 
     return 1; 
} 

int main() { 
    A refVar; 
    int x; 
    x=func_one(refVar); 

    return 1; 
}