Perché questi oggetti non sono uguali per impostazione predefinita in D?

Question

Date un'occhiata a questo semplice classe Sto costruendo la base per memorizzare i risultati degli algoritmi di stringa corrispondente:

/** Match of a single pattern in full to a single text. */ 
class Match { 
    uint Tpos; 

    this(in uint Tpos) { this.Tpos = Tpos; } 

    override string toString() { 
     return text("Match: Text@",Tpos); 
    } 
} 

Qui è dove le cose si fanno strane:

auto m1 = new Match(1), m2 = new Match(1); 
writeln(m1.toHash()); 
writeln(m2.toHash()); 
writeln(m1 == m2); 

stampe

4464528 
4464512 
false 

Non vedo alcun motivo per cui questi due oggetti non dovrebbero essere considerati uguali per impostazione predefinita. Suppongo di poter scrivere una funzione personalizzata toHash() e opEquals(), ma sembra eccessivo. Secondo Andrei Alexandrescu book sul linguaggio di programmazione D (ottimo libro!), "Per impostazione predefinita, l'hash viene calcolato utilizzando la rappresentazione bit a bit dell'oggetto." Qualche idea là fuori?

Answer 1

Dal codice sorgente (dmd2/src/druntime/src/object_.d):

class Object 
{ 
/* snip */ 
    /** 
    * Compute hash function for Object. 
    */ 
    hash_t toHash() @trusted nothrow 
    { 
     // BUG: this prevents a compacting GC from working, needs to be fixed 
     return cast(hash_t)cast(void*)this; 
    } 
/* snip */ 
    /** 
    * Returns !=0 if this object does have the same contents as obj. 
    */ 
    equals_t opEquals(Object o) 
    { 
     return this is o; 
    } 
} 

Quindi la risposta è semplicemente che è il modo in cui il codice è scritto - fanno un controllo di identità piuttosto che un controllo del contenuto. Perché è così? Non lo so, ma credo sia stato semplice scrivere in origine e funziona abbastanza bene che nessuno si è preso la briga di tornare su di esso e cambiarlo.

Nel newsgroup, si è discusso di rimuovere completamente queste funzioni da Object, quindi se si desidera == sulle classi, sarà necessario implementare qualcosa. Ma il tempo impiegato dai newsgroup per parlare diventa azione quando si tratta di cose come questa di solito è piuttosto lunga. E potrebbero cambiare idea.

Il modo migliore di utilizzare l'uguaglianza di classe attualmente e probabilmente nel prossimo futuro è scrivere il proprio metodo opEquals nella classe.

Answer 2

La risposta è semplice: per impostazione predefinita, opEquals per gli oggetti confronta gli indirizzi degli oggetti. È necessario che sostituisca se si desidera la semantica del valore (o si utilizza semplicemente un struct).

Nota a margine: l'utilizzo di in non è corretto. in è l'abbreviazione di scope const dove scope significa "Non eseguirò l'escape di questo parametro fuori dal mio stack frame" (che si esegue assegnandolo a un campo di classe). Sfortunatamente il compilatore non lo applica ancora, ecco perché non hai ricevuto un errore.

Answer 3

È necessario implementare toHash da solo, poiché Object.toHash dipende dall'indirizzo. Se ricordo bene, è solo un return cast(hash_t)cast(void*)this.

EDIT: Sì, ricordo bene: https://github.com/D-Programming-Language/druntime/blob/master/src/object_.d#L88