Tôi có một chuỗi dữ liệu có định dạng sau: xpos-ypos-zoom (tức là 8743-12083-15) mà tôi muốn chia nhỏ và lưu trữ trong các biến xpos, ypos và zoom. Vì tôi cần thực hiện một số phép tính với số này, tôi muốn chuyển đổi chúng thành số nguyên ngay từ đầu. Hiện tại, cách tôi thực hiện điều này là với mã sau:Cách hiệu quả để chuyển đổi chuỗi từ hàm tách thành int trong Python
file = '8743-12083-15'
xval, yval, zoom = file.split("-")
xval = int(xval)
yval = int(yval)
Dường như với tôi có cách hiệu quả hơn để thực hiện việc này. Ý tưởng nào?
bản đồ thường nhanh hơn hiểu khi sử dụng hàm dựng sẵn và chậm hơn nếu bạn đang sử dụng hàm do người dùng xác định (bao gồm lambda) –