Ich habe eine Folge von Daten mit dem folgenden Format: xpos-ypos-zoom (dh 8743-12083-15), die ich aufteilen und in den Variablen speichern möchte xpos, ypos und zoom. Da ich mit diesen Zahlen einige Berechnungen machen muss, möchte ich sie von Anfang an in ganze Zahlen umwandeln. Derzeit ist die Art, wie ich das tue mit dem folgenden Code:Effiziente Möglichkeit, Strings von Split-Funktion zu Ints in Python zu konvertieren
file = '8743-12083-15'
xval, yval, zoom = file.split("-")
xval = int(xval)
yval = int(yval)
Es scheint mir, sollte es dies zu tun, ein effizienter Weg zu sein. Irgendwelche Ideen?
map ist normalerweise schneller als das Verständnis bei Verwendung von eingebauten Funktionen und langsamer, wenn Sie eine benutzerdefinierte Funktion verwenden (einschließlich Lambda) –