Votre tâche consiste à écrire du code en Python 2 ou 3 tel que cette expression:
(a+b)(c+d) == a*c + b*c + a*d + b*d
évaluera à Truesans lever aucune exception.
Pour clarifier, je vais copier votre code dans un fichier, puis fromle fichier import *. Ensuite, je vais taper l'expression dans la console et vérifier que c'est bien le cas True.
C'est du code-golf, donc la réponse avec la longueur la plus courte (en octets) est gagnante.
Réponses:
Suppression de 4 octets grâce à Dennis.
La dernière version est inspirée par "la raison" de la réponse de xnor.
class t(int):__add__=type
a=b=t()
c=d=0
x.countenregistre un octet.
type(t(), t())ou t().type(t())jette une exception, alors qu'est-ce qui se passe quand vous faites t() + t()?
__add__est appelé avec deux, mais le premier est interprété comme étant selfuniquement othertransmis à type. Bizarre, oui.
a + bpremiers essais a.__add__(b). a.__add__est type, alors ça devient type(b). La principale différence entre ce cas et le cas habituel pour les méthodes est qu'habituellement, il a.__add__s'agirait d'un objet différent de ce que vous avez défini __add__dans la définition de classe, en raison du protocole de descripteur , que les objets fonction ordinaires implémentent. (Il existe également quelques autres éléments délicats qui ne sont pas pertinents ici.)
class m(int):__call__=__add__=lambda*x:m()
a=b=c=d=m()
Faire un objet qui hérite de int, sauf que l'ajout ou l'appelant renvoie simplement une copie de lui-même.
Même longueur:
class m(int):__call__=__add__=lambda a,b:a
a=b=c=d=m()
J'ai pensé minou {}.gettravaillerais à la place de lambda a,b:a, mais pour une raison quelconque, ils agissent uniquement sur le deuxième argument.
mindéjà un __self__attribut, donc la classe ignore la liaison elle-même. Pourquoi mina- t __self__-il une autre question ...
mina un __self__. min.__self__est juste un artefact de la façon dont les fonctions intégrées et les méthodes intégrées sont implémentées dans le même type. minne fonctionne pas ici car, contrairement aux fonctions écrites en Python, les fonctions intégrées ne prennent pas en charge le protocole de descripteur, qui est responsable de la liaison du premier argument.
class e:__mul__=lambda*o:0;__add__=lambda*o:lambda x:0
a=b=c=d=e()Bien qu'il ne puisse pas vraiment concurrencer les réponses existantes, celle-ci effectue le calcul en question:
from sympy.abc import*
type(a+b).__call__=lambda x,y:(x*y).expand()
Explication:
sympy.abccontient tous les symboles d'une seule lettre, en particulier celles nommées a, b, cet d.a+best un Addobjet qui représente une somme générale.type(a+b).__call__= […]monkey corrige la Addclasse pour lui donner des capacités d'évaluation, lui permettant dans ce cas de fonctionner comme une multiplication de l'appelant et de l'appelé.expand est nécessaire pour rendre les expressions réellement égales (puisque SymPy effectue uniquement des contrôles d’égalité approfondis à la demande).
0 .__mul__pourlambda y:0mais c'est la même longueur.