Dlaczego Ellipsis i NotImplemented nie mogą być marynowane?

Question

Zaskoczyło mnie, że pyton (wersja 3.2.2) odmawiał wybrania obiektu, ponieważ jego dykcja zawierała odniesienie do Ellipsis. Spośród innych built-in constants, pikle jest szczęśliwy pracy z False, True i None, jak wyraźnie stwierdzono w pickle documentation, ale również dławiki na 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 

Dla kompletności, z mniej przydatnych wbudowanych stałych, __debug__ tylko bool, więc nie powoduje żadnych problemów; copyright, license i credits (ich typ to site._Printer); quit i exit nie (ich typ to site.Quitter, którego nie można znaleźć tak, jak jest zdefiniowany w funkcji).

Czy ktoś może wyjaśnić, dlaczego tak jest - z pewnością Ellipsis i NotImplemented nie zostały przeoczone? Jedyną istotną informacją, jaką mogę znaleźć, jest this bug, która narzeka, że ​​NoneType (tj. type(None)) nie można wybrać. Jeden z komentatorów wspomina, że ​​type(Ellipsis) i type(NotImplemented) nie mogą być marynowane, najwyraźniej nie zauważając, że ich instancje też nie mogą być.

Answer 1

Cytując documentation:

następujące typy mogą być marynowane:

• None, prawda i fałsz
• liczb całkowitych, liczb zmiennoprzecinkowych, liczby zespolone
• struny, bajty , bytearrays
• krotki, listy, zestawy i słowniki zawierające tylko obiekty do wybrania
• funkcje zdefiniowane w górnym poziomie modułu
• wbudowane w funkcje zdefiniowane w górnym poziomie modułu
• klasy, które zostały zdefiniowane w górnym poziomie modułu
• przykłady takich grup, których __dict__ lub __ __setstate() jest picklable (patrz sekcja instancji Trawienie Class szczegóły)

dwóch obiektów o którym mowa, Ellipsis i NotImplemented, nie są zgodne z któregokolwiek z tych zasad, a tym samym nie może być pic kled.

Wątpię, czy istnieje lepszy powód, aby nie uwzględniać wszystkich wbudowanych stałych w pierwszej regule, poza tym, że nikt nie widział takiej potrzeby. Jeśli naprawdę sądzisz, że pikle powinny to wspierać, rozważ umieszczenie prośby o funkcję (lepiej przynieś przekonujący przypadek użycia!).

Answer 2

Nie ma żadnego powodu dla Pythona, aby nie podlewać rzeczy takich jak Ellipsis i NotImplemented, i szczerze mówiąc nie mając ich wybieralny przyczynia się do słabości Pythona jako język równoległy/asynchroniczny. Możesz je zbierać za pomocą dill, zamiennika dla pickle.Tak, zdaję sobie sprawę, że jest to łagodny rant, ale myślę, że kod NotImplemented w kodzie docelowym nie powinien uniemożliwiać używania multiprocessing lub innego z równoległego python ... lub zapisywania stanu sesji Pythona do użycia w późniejszym czasie … lub cokolwiek.

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 tutaj: https://github.com/uqfoundation/dill