Ваше завдання полягає в тому, щоб написати якийсь код у Python 2 або 3 таким чином, щоб цей вираз:
(a+b)(c+d) == a*c + b*c + a*d + b*d
буде оцінювати, Trueне створюючи жодних винятків.
Для уточнення я скопію ваш код у файл, потім fromу файлimport * . Потім я наберу вираз у консоль і перевірте, чи є він True.
Це код-гольф, тому відповідь з найменшою довжиною (у байтах) виграє.
Відповіді:
Видалено 4 байти завдяки Деннісу.
Остання версія натхненна "деякою причиною" у відповіді xnor.
class t(int):__add__=type
a=b=t()
c=d=0
x.countзберігає байт.
type(t(), t())або t().type(t())кидає виняток, то що відбувається, коли ти робиш t() + t()?
__add__називається двома, але перший інтерпретується як self, otherпередається тільки type. Дивно, так.
a + bперші спроби a.__add__(b). a.__add__є type, так що стає type(b). Ключова відмінність цього випадку від звичайного випадку для методів полягає в тому, що зазвичай a.__add__це буде інший об'єкт від того, що ви встановили __add__у визначенні класу, завдяки протоколу дескриптора , який реалізують звичайні об'єкти функцій. (Також є кілька інших складних бітів, які тут не стосуються.)
class m(int):__call__=__add__=lambda*x:m()
a=b=c=d=m()Зробіть об’єкт, який успадковує int, за винятком додавання або виклику, просто повертає копію себе.
Однакова довжина:
class m(int):__call__=__add__=lambda a,b:a
a=b=c=d=m()Я думав minчи {}.getпрацював би замість цього lambda a,b:a, але чомусь вони діють лише за другим аргументом.
minвже має __self__атрибут, тому клас пропускає прив'язку власного "я". Чому minє __self__ще одне питання ...
minмає __self__. min.__self__це лише артефакт того, як вбудовані функції та вбудовані методи реалізуються як один і той же тип. minтут не працює, оскільки на відміну від функцій, написаних на Python, вбудовані функції не підтримують протокол дескриптора, який відповідає за прив'язку першого аргументу.
class e:__mul__=lambda*o:0;__add__=lambda*o:lambda x:0
a=b=c=d=e()Хоча він і справді не може конкурувати з існуючими відповідями, цей фактично виконує відповідний розрахунок:
from sympy.abc import*
type(a+b).__call__=lambda x,y:(x*y).expand()
Пояснення:
sympy.abcмістить всі поодинокі літери символів, зокрема , з них по імені a, b,c , і d.a+b є Add об'єктом, який представляє загальну суму.type(a+b).__call__= […] мавпа-патчі Add класу для надання йому можливостей оцінювання, в цьому випадку дозволяє йому працювати як множення абонента та виклику.expand необхідно, щоб вирази були фактично рівними (оскільки SymPy виконує лише ретельну перевірку рівності за потребою).
0 .__mul__для,lambda y:0але це однакова довжина.