Mylenie o Pythonie min quizu

Question

Przed chwilą widziałem quiz na this page:

>>> x, y = ??? 
>>> min(x, y) == min(y, x) 
False 

Przykładowa odpowiedź jest

x, y = {0}, {1} 

Z dokumentacji wiem, że:

min(iterable[, key=func]) -> value
min(a, b, c, ...[, key=func]) -> value

With a single iterable argument, return its smallest item.
With two or more arguments, return the smallest argument.

Ale dlaczego jest min({0},{1})={0} i min({1},{0})={1}?

Próbowałem też kilka innych:

min({0,2},1) # 1 
min(1,{0,2}) # 1 
min({1},[2,3]) # [2,3] 
min([2,3],1) # 1 

Answer 1

min realizowany jest z grubsza tak:

def min(*args): 
    least = args[0] 
    for arg in args: 
     if arg < least: 
      least = arg 
    return least 

Sposób pracy operatorów porównania dla zestawów złamać jeden z założenia, że ​​w sposób dorozumiany sprawia: że dla każdej pary przedmiotów, albo są one równe lub a < b lub b < a. Ani mniej, ani mniej niż jeden, dlatego {0} daje niespójne odpowiedzi.

Inne wyniki, które widzisz, wynikają z reguł określających sposób, w jaki Python definiuje zamówienie dla typów mieszanych. A set i int nie są porównywalne - żaden z tych typów nie definiuje reguły dla porównania z drugą. To powoduje, że Python 2 stosuje regułę zwaną "arbitralną, ale spójną kolejnością" - jeden z typów jest wybrany jako "niższy" i pozostanie dolnym typem przez cały okres istnienia programu. W praktyce będzie on taki sam dla wszystkich uruchamianych przez ciebie kodów, ponieważ jest implementowany przez porównywanie nazw typów alfabetycznie - ale teoretycznie może się to zmienić.

Reguła "arbitralna, ale spójna kolejność" została odrzucona z Python 3, ponieważ jedynym efektem, jaki naprawdę miał na celu zamaskowanie błędów. Gdy nie ma zdefiniowane reguły za znalezienie zlecenia, Python teraz powie tak:

>>> 1 < {0} 
Traceback (most recent call last): 
    File "<stdin>", line 1, in <module> 
TypeError: unorderable types: int() < set() 

Answer 2

operatorów porównania <, <=, >= i > sprawdzić, czy jeden zestaw ścisły podzbiorem, podzbiór, rozszerzeniem lub surowe rozszerzeniem innym, odpowiednio.

{0} i {1} są dla wszystkich z nich False, więc wynik zależy od kolejności kontroli i operatora.

Answer 3

Kluczowym punktem jest to, że dwa zestawy nie są podzbiorami siebie, więc oba są False dla < mimo że nie są równe:

>>> {0} < {1} 
False 
>>> {0} > {1} 
False 
>>> {0} == {1} 
False 

Więc który z nich jest mniejszy? Fakt, że zestawy nie zapewniają strict weak ordering oznacza, że ​​nie ma poprawnej odpowiedzi.