Accesso agli attributi in Python: primi slot, quindi __dict__?

Question

Nell'esempio che segue, attributo x si accede dalle fessure degli oggetti anche se x è presente in __dict__ (questo non è un caso tipico o probabilmente utile, ma sono curioso):

>>> class C(object): 
...  __slots__ = 'x' 
...  
>>> class D(C): 
...  pass 
... 
>>> obj = D() 
>>> obj.x = 'Stored in slots' 
>>> obj.__dict__ 
{} 
>>> obj.__dict__['x'] = 'stored in __dict__' 
>>> obj.x 
'Stored in slots' 

Is questo ordine di accesso (slot prima) un comportamento documentato? o semplicemente un dettaglio di implementazione?

Answer 1

Sì, lo __dict__ di un oggetto viene consultato solo dopo aver consultato i descrittori di dati. Gli attributi __slots__ sono implementati come descrittori di dati.

Vedi Invoking descriptors:

per esempio attacchi, la precedenza di descrittore invocazione dipende quali metodi descrittori sono definiti. Un descrittore può definire qualsiasi combinazione di __get__(), __set__() e __delete__(). Se non definisce __get__(), l'accesso all'attributo restituirà l'oggetto descrittore stesso, a meno che non vi sia un valore nel dizionario di istanza dell'oggetto. Se il descrittore definisce __set__() e/o __delete__(), è un descrittore di dati; se non lo definisce, è un descrittore non dati. Normalmente, i descrittori di dati definiscono sia __get__() e __set__(), mentre i descrittori non di dati hanno solo il metodo __get__(). I descrittori di dati con __set__() e __get__() definiti sostituiscono sempre una ridefinizione in un dizionario di istanza. Al contrario, i descrittori non dati possono essere sovrascritti dalle istanze.

e dalla stessa pagina, section on slots:

__slots__ sono attuate a livello di classe creando descrittori (esecuzione Descrittori) per ciascuna variabile. Di conseguenza, non è possibile utilizzare gli attributi di classe per impostare valori predefiniti per variabili di istanza definite da __slots__; in caso contrario, l'attributo class sovrascrivere l'assegnazione del descrittore.