Chi ha coniato il termine operatore di assegnazione unificato (o unificante)?

Question

Un C++ wiki book riferisce a

... In C++ 0x, tale operatore di assegnazione è noto come ununificante assegnazione operatore perché elimina la necessità di scrivere due diversi operatori di assegnazione. ..

per un operatore di assegnazione che prende il tipo di classe per valore:

String & operator = (String s) // the pass-by-value parameter serves as a temporary 
{ 
    s.swap (*this); // Non-throwing swap 
    return *this; 
} 

Ho provato a cercare su Google il termine, ma non sembra essere molto diffuso.

Da dove viene?

Answer 1

Sembra essere in riferimento a il unification che si svolge in sistemi di tipo formale. Il pensiero è che se i valori r- e l- possono essere portati allo stesso tipo (unificati) solo con determinate sostituzioni legali, allora l'incarico è ben formato.

Wikipedia sostiene che l'idea è stata data inizialmente attenzione significativa (e possibilmente il suo nome) per John Alan Robinson.

Answer 2

Non sono sicuro di chi lo abbia scritto ma il libro wiki è sbagliato. La parola "unificare" appare esattamente zero volte nel C++ 0x "standard" (dovresti usare la frase "C++ 11" al giorno d'oggi, è stata approvata nell'agosto 2011).

Il termine corretto è copia elisione. Da C++ 0x (n3242, l'ultimo che ho può ottenere senza sborsare soldi), sezione 12.8 Copying and moving class objects, /34:

Quando vengono soddisfatti determinati criteri, un'implementazione è permesso di omettere la costruzione di copia/spostamento di un oggetto classe, anche se il costruttore copia/sposta e/o il distruttore per l'oggetto hanno effetti collaterali.

In questi casi, l'implementazione considera l'origine e il target dell'operazione di copia/spostamento omessa semplicemente come due diversi modi di riferirsi allo stesso oggetto e la distruzione di tale oggetto avviene in un secondo momento quando i due gli oggetti sarebbero stati distrutti senza l'ottimizzazione.

Questa elisione delle operazioni di copia/spostamento, chiamato copia elisione, è consentito nei seguenti casi (che possono essere combinati per eliminare copie multiple) ...