Twoim zadaniem jest napisanie kodu w języku Python 2 lub 3, tak aby to wyrażenie:
(a+b)(c+d) == a*c + b*c + a*d + b*d
oceni Truebez zgłaszania wyjątków.
Aby to wyjaśnić, skopiuję twój kod do pliku, a następnie fromdo pliku import *. Następnie wpiszę wyrażenie w konsoli i sprawdzę, czy tak jest True.
To jest golf golfowy, więc wygrywa odpowiedź o najkrótszej długości (w bajtach).
Odpowiedzi:
Usunięto 4 bajty dzięki Dennisowi.
Najnowsza wersja została zainspirowana „jakimś powodem” w odpowiedzi Xnora.
class t(int):__add__=type
a=b=t()
c=d=0
x.countzapisuje bajt.
type(t(), t())ani nie t().type(t())rzuca wyjątku, więc co się dzieje, kiedy to robisz t() + t()?
__add__jest wywoływane z dwoma, ale pierwszy interpretowany jest jako self, tylko otherprzekazywany jest do type. Dziwne tak.
a + bpierwsze próby a.__add__(b). a.__add__jest type, więc tak się stanie type(b). Kluczowa różnica między tym przypadkiem a zwykłym przypadkiem dla metod polega na tym, że zwykle a.__add__byłby to obiekt inny niż ustawiony __add__w definicji klasy, ze względu na protokół deskryptora , który implementują zwykłe obiekty funkcyjne. (Jest też kilka innych podchwytliwych bitów, które nie są tutaj istotne.)
class m(int):__call__=__add__=lambda*x:m()
a=b=c=d=m()Stwórz obiekt, który dziedziczy int, oprócz dodawania lub wywoływania zwraca tylko swoją kopię.
Ta sama długość:
class m(int):__call__=__add__=lambda a,b:a
a=b=c=d=m()Myślałem minlub {}.getzadziała zamiast lambda a,b:a, ale z jakiegoś powodu działają one tylko na drugim argumencie.
minma już __self__atrybut, więc klasa pomija wiązanie własnego ja. Dlaczego minma __self__to inna kwestia ...
minma __self__. min.__self__jest tylko artefaktem tego, w jaki sposób wbudowane funkcje i wbudowane metody są implementowane jako ten sam typ. minnie działa tutaj, ponieważ w przeciwieństwie do funkcji napisanych w Pythonie, wbudowane funkcje nie obsługują protokołu deskryptora, który jest odpowiedzialny za powiązanie pierwszego argumentu.
class e:__mul__=lambda*o:0;__add__=lambda*o:lambda x:0
a=b=c=d=e()Chociaż nie może tak naprawdę konkurować z istniejącymi odpowiedziami, ta faktycznie wykonuje omawiane obliczenia:
from sympy.abc import*
type(a+b).__call__=lambda x,y:(x*y).expand()
Wyjaśnienie:
sympy.abczawiera wszystkie single-literowe symbole, w szczególności te, o nazwie a, b,c , i d.a+b jest Add przedmiotem reprezentującym ogólną sumę.type(a+b).__call__= […] łaty małpa Add klasę, aby dać jej możliwości oceny, w tym przypadku umożliwiając jej działanie jak mnożenie dzwoniącego i odbierającego.expand jest konieczne, aby wyrażenia faktycznie były równe (ponieważ SymPy wykonuje dokładne kontrole równości tylko na żądanie).
0 .__mul__za,lambda y:0ale ma tę samą długość.