Confondere circa un Python min quiz

Question

Poco fa ho visto un quiz on this page:

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

L'esempio risposta è

x, y = {0}, {1} 

Dalla documentazione so che:

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.

Ma perché è min({0},{1})={0} e min({1},{0})={1}?

Ho anche provato pochi altri:

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

Answer 1

min è implementato meno così:

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

Il modo in cui il lavoro operatori di confronto per gli insiemi di rompere una delle ipotesi che questo rende implicitamente: che per ogni coppia di oggetti, o sono uguali, o a < b o b < a. Né {0} né {1} si confrontano l'uno con l'altro, quindi min fornisce risposte incoerenti.

Gli altri risultati visualizzati sono a causa delle regole su come Python definisce un ordine per tipi misti. A set e uno int non sono confrontabili: nessuno di questi tipi definisce una regola per il confronto con l'altro. Ciò porta Python 2 ad applicare una regola chiamata "ordine arbitrario ma coerente" - uno dei tipi è scelto per essere il tipo "inferiore", e rimarrà il tipo più basso per tutta la durata del programma. In pratica, sarà lo stesso su tutto il codice che si esegue, poiché viene implementato confrontando i nomi dei tipi in ordine alfabetico, ma in teoria potrebbe cambiare.

La regola "ordine arbitrario ma coerente" è stata scaricata da Python 3, perché l'unico effetto effettivo era quello di mascherare i bug. Quando non c'è regola definita per la ricerca di un ordine, Python ora si dice così:

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

Answer 2

Gli operatori di confronto <, <=, >= e > controllare se un insieme è un sottoinsieme rigoroso, sottoinsieme, sovrainsieme o rigorosa sovrainsieme di un altro, rispettivamente.

{0} e {1} sono False per tutti questi, quindi il risultato dipende dall'ordine di controllo e dall'operatore.

Answer 3

Il punto chiave qui è che le due serie non sono sottoinsiemi di ogni altro, in modo entrambi sono False per < anche se non sono uguali:

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

Così che uno è più piccolo? Il fatto che i set non forniscano strict weak ordering significa che non c'è una risposta corretta.