Cosa significa "utilizzare ODR" qualcosa?

Questo è appena emerso nel contesto di un'altra domanda .

Apparentemente le funzioni membro nei modelli di classe vengono istanziate solo se sono utilizzate da ODR. Qualcuno potrebbe spiegare cosa significa esattamente. L' articolo di wikipedia su One Definition Rule (ODR) non menziona "l' uso di ODR ".

Tuttavia lo standard lo definisce come

Una variabile il cui nome appare come un'espressione potenzialmente valutata viene usata odr a meno che non sia un oggetto che soddisfa i requisiti per apparire in un'espressione costante (5.19) e la conversione lvalue-rvalue (4.1) viene immediatamente applicata.

in [basic.def.odr].

Modifica: Apparentemente questa è la parte sbagliata e l'intero paragrafo contiene più definizioni per cose diverse. Questo potrebbe essere quello rilevante per la funzione membro del modello di classe:

Una funzione non sovraccaricata il cui nome appare come un'espressione potenzialmente valutata o un membro di un insieme di funzioni candidate, se selezionata dalla risoluzione dell'overload quando ci si riferisce a un'espressione potenzialmente valutata, viene usata odr, a meno che non sia un puro virtuale funzione e il suo nome non è esplicitamente qualificato.

Tuttavia non capisco, come funziona questa regola su più unità di compilazione? Tutte le funzioni membro vengono istanziate se istanzio esplicitamente un modello di classe?

È solo una definizione arbitraria, utilizzata dallo standard per specificare quando è necessario fornire una definizione per un'entità (al contrario di una semplice dichiarazione). Lo standard non dice solo "usato", perché questo può essere interpretato in modo diverso a seconda del contesto. E alcuni utilizzi di ODR non corrispondono realmente a ciò che normalmente si associa all '"uso"; ad esempio, una funzione virtuale è sempre utilizzata da ODR a meno che non sia pura, anche se non viene effettivamente chiamata da nessuna parte nel programma.

La definizione completa è in §3.2 , secondo paragrafo, sebbene questo contenga riferimenti ad altre sezioni per completare la definizione.

Per quanto riguarda i modelli, l'ODR utilizzato è solo una parte della domanda; l'altra parte è l'istanziazione. In particolare, §14.7 copre quando viene creata un'istanza di un modello. Ma i due sono correlati: mentre il testo in §14.7.1 (istanziazione implicita) è abbastanza lungo, il principio di base è che un modello sarà istanziato solo se viene utilizzato, e in questo contesto, usato significa ODR-usato. Pertanto, una funzione membro di un modello di classe verrà istanziata solo se viene chiamata o se è virtuale e viene creata un'istanza della classe stessa. Lo standard stesso conta su questo in molti punti: gli std::list<>::sortusi <sui singoli elementi, ma puoi istanziare un elenco su un tipo di elemento che non supporta <, purché non lo chiami sort.

In parole povere, odr-usato significa che qualcosa (variabile o funzione) viene utilizzato in un contesto in cui la definizione di esso deve essere presente.

per esempio,

struct F {
   static const int g_x = 2;
};

int g_x_plus_1 = F::g_x + 1; // in this context, only the value of g_x is needed.
                             // so it's OK without the definition of g_x

vector<int>  vi;
vi.push_back( F::g_x );      // Error, this is odr-used, push_back(const int & t) expect
                             // a const lvalue, so it's definition must be present

Nota, il push_back precedente è passato in MSVC 2013, questo comportamento non è conforme allo standard, sia gcc 4.8.2 che clang 3.8.0 non sono riusciti, il messaggio di errore è: riferimento indefinito a `K :: g_x '