C++ 0x, valori letterali definiti dall'utente con operatore amico ""()

Question

Sarà possibile e/o utile definire una funzione operator "" (...) come amico?

class Puzzle { 
    friend Puzzle operator "" _puzzle(const char*, size_t); 
    ... 
}; 
void solve(Puzzle); 
int main() { 
    solve("oxo,xox"_puzzle); 
}; 

Sto pensando di "utile" in particolare, a causa della regola che operator "" sono definite in un namespace solo - non ultimo perché identificatori che iniziano con _ sono riservati nel namespace globale. È questo friend infrangere questa regola qui? Quindi, non ci sarebbe alcun beneficio con questo incapsulamento non proprio, giusto?

Answer 1

Gli indirizzi standard questo direttamente nell'unico posto menziona restrizioni delle dichiarazioni di letterali definiti dall'utente, §13.5.8/2:

Una dichiarazione cui declarator-ID è un letterale operatore -id deve essere una dichiarazione di una funzione o di un modello di funzione dello scope dei nomi (potrebbe essere una funzione amico (11.3)), un'istanza esplicativa o specializzazione di un modello di funzione o una dichiarazione di utilizzo (7.3.3).

Se anche l'amico viene dichiarato nello scope dello spazio dei nomi, non vi è alcuna distinzione tra definizione in classe o ambito spazio dei nomi. Si noti che non vi è alcun obbligo per la definizione nello scope namespace, che la tua domanda come attualmente asserisce affermata.

Se non dichiarato nello spazio dei nomi, poiché non può essere trovato da ADL, l'amico può essere utilizzato privatamente all'interno della classe in cui è ambito dalla normale ricerca di nome non qualificato. Questo è l'unico modo per dichiarare un operatore letterale che non è un'interfaccia esterna.

Se l'amico è definito all'interno di un modello di classe, due istanze del modello genereranno due funzioni con nomi identici nello scope dello spazio dei nomi, che entrano in collisione anche se sono entrambe invisibili al di fuori dell'ambito della classe.

Answer 2

Secondo lo standard, sì, una dichiarazione di amicizia dovrebbe essere legale. A proposito, il nome va bene per il codice utente poiché inizia con un trattino basso anche nello spazio dei nomi globale.

La dichiarazione di amicizia consente all'operatore di accedere ai dati privati ​​della classe.

Sto iniziando a mettere in discussione l'utilità degli operatori letterali di amici. Poiché gli operatori definiti dall'utente possono avere solo pochi elenchi di argomenti, non c'è modo di inserire la classe negli argomenti. Quindi ora c'è modo per la ricerca dipendente da argomenti per trovare la funzione giusta. Ho ragione?

Answer 3

Nel caso si aiuta con la sintassi, ecco come lo dichiaro un amico operatore letterale definito dall'utente in una classe, dove l'operatore stesso è in uno spazio dei nomi:

class Integer; 
namespace literals { 
    Integer operator "" _I (const char *); 
} 

// Infinite precision integer 
class Integer { 
    public: 

    // Basic constructor & destructor 
    Integer(); 
    ~Integer(); 

... rest of the interface ... 

    // Literal operator 
    friend Integer literals::operator "" _I (const char *); 

    private: 

    struct Detail; 
    std::unique_ptr<Detail> detail; 

}; 

Utenti tirare nell'operatore con un using namespace literals; solo se lo vogliono. (E, in realtà, tutto questo è in uno spazio dei nomi genitore, ma tu hai l'idea).