J'ai une chaîne de données avec le format suivant: xpos-ypos-zoom (ie 8743-12083-15) que je veux séparer et stocker dans les variables xpos, ypos et zoom. Puisque j'ai besoin de faire des calculs avec ces nombres, je voudrais les convertir en entiers dès le début. À l'heure actuelle, la façon dont je fais est avec le code suivant:Un moyen efficace de convertir les chaînes de la fonction split à ints en Python
file = '8743-12083-15'
xval, yval, zoom = file.split("-")
xval = int(xval)
yval = int(yval)
Il me semble qu'il devrait y avoir un moyen plus efficace de le faire. Des idées?
carte est généralement plus rapide que la compréhension lors de l'utilisation d'une fonction intégrée, et plus lente si vous utilisez une fonction définie par l'utilisateur (y compris lambda) –