Perché Ellipsis e NotImplemented non possono essere decapitati?

Question

Sono stato sorpreso di scoprire che Python (versione 3.2.2) si rifiutava di decapitare un oggetto perché il suo dict conteneva un riferimento a Ellipsis. Tra gli altri built-in constants, pickle è felice di lavorare con False, True e None, come esplicitamente dichiarato nello pickle documentation, ma anche in soppressione NotImplemented.

Python 3.2.2 (default, Sep 5 2011, 21:17:14) 
[GCC 4.6.1] on linux2 
Type "help", "copyright", "credits" or "license" for more information. 
>>> import pickle 
>>> pickle.dumps(True) 
b'\x80\x03\x88.' 
>>> pickle.dumps(False) 
b'\x80\x03\x89.' 
>>> pickle.dumps(None) 
b'\x80\x03N.' 
>>> pickle.dumps(Ellipsis) 
Traceback (most recent call last): 
    File "<stdin>", line 1, in <module> 
_pickle.PicklingError: Can't pickle <class 'ellipsis'>: attribute lookup builtins.ellipsis failed 
>>> pickle.dumps(NotImplemented) 
Traceback (most recent call last): 
    File "<stdin>", line 1, in <module> 
_pickle.PicklingError: Can't pickle <class 'NotImplementedType'>: attribute lookup builtins.NotImplementedType failed 

Per completezza, i meno utili costanti incorporate, __debug__ è solo un bool, quindi non causa problemi; copyright, license e credits funzionano (il loro tipo è site._Printer); quit e exit non (il loro tipo è site.Quitter, che non può essere trovato poiché è definito all'interno di una funzione).

Qualcuno può spiegare perché questo è - sicuramente Ellipsis e NotImplemented non sono stati trascurati? L'unica informazione rilevante che posso trovare è this bug, che lamenta che NoneType (ovvero, type(None)) non è selezionabile. Uno dei commentatori menziona che type(Ellipsis) e type(NotImplemented) non possono essere decapitati, apparentemente senza notare che le loro istanze non possono essere neanche.

Answer 1

Citando le documentation:

I seguenti tipi possono essere decapati:

• Nessuno, True e False
• interi, numeri in virgola mobile, numeri complessi
• stringhe, byte , bytearys
• tuple, elenchi, set e dizionari contenenti solo oggetti selezionabili
• funzioni definite al livello superiore di un modulo
• funzioni incorporate definiti a livello superiore di un modulo
• classi definite al livello superiore di un modulo
• istanze di tali classi i cui __dict__ o __setstate __() è serializzabili (vedi istanze sezione decapaggio classe per dettagli)

i due oggetti in questione, Ellipsis e NotImplemented, non conformi a una di queste regole, e di conseguenza non possono essere pic KLED.

Dubito che ci sia un motivo migliore per non includere tutte le costanti incorporate nella prima regola tranne che nessuno ha visto la necessità di farlo. Se pensi davvero che pickle debba supportarlo, considera di postare una richiesta di funzionalità (meglio portare un caso d'uso convincente!).

Answer 2

Non c'è assolutamente alcun motivo per Python di non mettere a soqquadro cose come Ellipsis e NotImplemented, e francamente il fatto di non averli picklable contribuisce alla fragilità di python come linguaggio parallelo/asincrono. Puoi mettere sottaceti questi tipi di oggetti con dill, una sostituzione per pickle.Sì, sono consapevole che si tratta di un lieve slancio, ma penso che uno NotImplemented nel codice di destinazione non dovrebbe impedirti di utilizzare multiprocessing o qualche altro da python parallelo ... o di salvare lo stato della tua sessione python per l'uso in un secondo momento ... o qualsiasi altra cosa

Python 3.2.5 (default, May 19 2013, 14:25:55) 
[GCC 4.2.1 Compatible Apple Clang 4.1 ((tags/Apple/clang-421.11.66))] on darwin 
Type "help", "copyright", "credits" or "license" for more information. 
>>> import dill 
>>> dill.dumps(True) 
b'\x80\x03\x88.' 
>>> dill.dumps(False) 
b'\x80\x03\x89.' 
>>> dill.dumps(None) 
b'\x80\x03N.' 
>>> dill.dumps(Ellipsis) 
b'\x80\x03cdill.dill\n_eval_repr\nq\x00X\x08\x00\x00\x00Ellipsisq\x01\x85q\x02Rq\x03.' 
>>> dill.dumps(NotImplemented) 
b'\x80\x03cdill.dill\n_eval_repr\nq\x00X\x0e\x00\x00\x00NotImplementedq\x01\x85q\x02Rq\x03.' 

Get dill qui: https://github.com/uqfoundation/dill