Thứ tự đối số mặc định của Python

Động lực

Các đối số chức năng tùy chọn, nếu bị bỏ qua, thường có một số loại giá trị logic mặc định. Khi giá trị này phụ thuộc vào các đối số khác hoặc cần được đánh giá lại sau mỗi lần gọi hàm, thì hiện tại không có cách rõ ràng nào để nêu rõ điều này trong tiêu đề hàm

Thành ngữ hợp pháp hiện nay cho điều này bao gồm

# Very common: Use None and replace it in the function
def bisect_right[a, x, lo=0, hi=None, *, key=None]:
    if hi is None:
        hi = len[a]

# Also well known: Use a unique custom sentinel object
_USE_GLOBAL_DEFAULT = object[]
def connect[timeout=_USE_GLOBAL_DEFAULT]:
    if timeout is _USE_GLOBAL_DEFAULT:
        timeout = default_timeout

# Unusual: Accept star-args and then validate
def add_item[item, *optional_target]:
    if not optional_target:
        target = []
    else:
        target = optional_target[0]

Trong mỗi biểu mẫu,

     num = count_letter[letter='a',string='dead parrot']

Sự chỉ rõ

Các đối số mặc định của hàm có thể được xác định bằng cách sử dụng ký hiệu

def count_letter[string,letter=' ']:
    count = 0
    for i in string:
        if i == letter:
        count = count + 1

    return count

def bisect_right[a, x, lo=0, hi=>len[a], *, key=None]:
def connect[timeout=>default_timeout]:
def add_item[item, target=>[]]:
def format_time[fmt, time_t=>time.time[]]:

Biểu thức được lưu ở dạng mã nguồn cho mục đích kiểm tra và mã byte để đánh giá nó được thêm vào phần thân của hàm

Đáng chú ý, biểu thức được đánh giá trong phạm vi thời gian chạy của hàm, KHÔNG phải phạm vi mà hàm được xác định [như các giá trị mặc định giới hạn sớm]. Điều này cho phép biểu thức tham chiếu đến các đối số khác

Nhiều đối số bị ràng buộc muộn được đánh giá từ trái sang phải và có thể tham chiếu đến các giá trị đã xác định trước đó. Thứ tự được xác định bởi hàm, bất kể thứ tự mà các đối số từ khóa có thể được chuyển

def prevref[word=”foo”, a=>len[word], b=>a//2]. # Selfref def hợp lệ[spam=>spam]. # UnboundLocalError def spaminate[xúc xích=>trứng + 1, egg=>xúc xích - 1]. # Khó hiểu, đừng làm điều này def frob[n=>len[items], items=[]]. # Xem bên dưới

Thứ tự đánh giá là từ trái sang phải; . Nếu không, tất cả các đối số sẽ được chỉ định hoàn toàn từ trái sang phải

def count_letter[string,letter=' ']:
    count = 0
    for i in string:
        if i == letter:
        count = count + 1

    return count

def bisect[a, hi=>len[a]]:
def bisect[a, hi:=len[a]]:
def bisect[a, hi?=len[a]]:
def bisect[a, @hi=len[a]]:

def count_letter[string,letter=' ']:
    count = 0
    for i in string:
        if i == letter:
        count = count + 1

    return count

def count_letter[string,letter=' ']:
    count = 0
    for i in string:
        if i == letter:
        count = count + 1

    return count

def bisect_right[a, x, lo=0, hi=>len[a], *, key=None]:
def connect[timeout=>default_timeout]:
def add_item[item, target=>[]]:
def format_time[fmt, time_t=>time.time[]]:

def bisect_right[a, x, lo=0, hi=>len[a], *, key=None]:
def connect[timeout=>default_timeout]:
def add_item[item, target=>[]]:
def format_time[fmt, time_t=>time.time[]]:

def bisect_right[a, x, lo=0, hi=>len[a], *, key=None]:
def connect[timeout=>default_timeout]:
def add_item[item, target=>[]]:
def format_time[fmt, time_t=>time.time[]]:

Làm thế nào để dạy điều này

Các đối số mặc định ràng buộc sớm phải luôn được dạy trước, vì chúng là cách đơn giản và hiệu quả hơn để đánh giá các đối số. Dựa trên chúng, các đối số bị ràng buộc muộn thường tương đương với mã ở đầu hàm

     num = count_letter[letter='a',string='dead parrot']

Một nguyên tắc đơn giản là. “mục tiêu=biểu thức” được đánh giá khi hàm được xác định và “mục tiêu=>biểu thức” được đánh giá khi hàm được gọi. Dù bằng cách nào, nếu đối số được cung cấp tại thời điểm gọi, giá trị mặc định sẽ bị bỏ qua. Mặc dù điều này không giải thích hoàn toàn tất cả sự tinh tế, nhưng nó đủ để bao hàm sự khác biệt quan trọng ở đây [và thực tế là chúng tương tự nhau]

Tương tác với các đề xuất khác

PEP 661 cố gắng giải quyết một trong những vấn đề tương tự như vấn đề này. Nó tìm cách cải thiện tài liệu về các giá trị trọng điểm trong các đối số mặc định, trong đó đề xuất này tìm cách loại bỏ nhu cầu về trọng điểm trong nhiều trường hợp phổ biến. PEP 661 có thể cải thiện tài liệu trong các chức năng phức tạp tùy ý [nó trích dẫn

def bisect_right[a, x, lo=0, hi=>len[a], *, key=None]:
def connect[timeout=>default_timeout]:
def add_item[item, target=>[]]:
def format_time[fmt, time_t=>time.time[]]:

Đôi khi, một hệ thống chung để đánh giá hoãn lại đã được đề xuất [đừng nhầm lẫn với PEP 563 và PEP 649 dành riêng cho các chú thích]. Mặc dù nhìn bề ngoài có vẻ như các giá trị mặc định của đối số bị ràng buộc muộn có bản chất tương tự nhau, nhưng trên thực tế chúng là những ý tưởng không liên quan và trực giao, và cả hai đều có thể có giá trị đối với ngôn ngữ. Việc chấp nhận hoặc từ chối đề xuất này sẽ không ảnh hưởng đến khả năng tồn tại của đề xuất đánh giá bị trì hoãn và ngược lại. [Một điểm khác biệt chính giữa đánh giá trì hoãn tổng quát và giá trị mặc định của đối số là giá trị mặc định của đối số sẽ luôn luôn và chỉ được đánh giá khi hàm bắt đầu thực thi, trong khi các biểu thức trì hoãn sẽ chỉ được nhận ra khi tham chiếu. ]

Chi tiết triển khai

Phần sau đây liên quan đến việc triển khai tham chiếu và không nhất thiết là một phần của thông số kỹ thuật

Giá trị mặc định của đối số [vị trí hoặc từ khóa] có cả giá trị của chúng, như đã được giữ lại và một phần thông tin bổ sung. Đối với các đối số vị trí, các phần bổ sung được lưu trữ trong một bộ trong

def bisect_right[a, x, lo=0, hi=>len[a], *, key=None]:
def connect[timeout=>default_timeout]:
def add_item[item, target=>[]]:
def format_time[fmt, time_t=>time.time[]]:

def bisect_right[a, x, lo=0, hi=>len[a], *, key=None]:
def connect[timeout=>default_timeout]:
def add_item[item, target=>[]]:
def format_time[fmt, time_t=>time.time[]]:

     num = count_letter[letter='a',string='dead parrot']

     num = count_letter[letter='a',string='dead parrot']

Đối với mỗi tham số có mặc định ràng buộc muộn, giá trị đặc biệt

def bisect_right[a, x, lo=0, hi=>len[a], *, key=None]:
def connect[timeout=>default_timeout]:
def add_item[item, target=>[]]:
def format_time[fmt, time_t=>time.time[]]:

     num = count_letter[letter='a',string='dead parrot']

def bisect_right[a, x, lo=0, hi=>len[a], *, key=None]:
def connect[timeout=>default_timeout]:
def add_item[item, target=>[]]:
def format_time[fmt, time_t=>time.time[]]:

Khi một tham số có giá trị mặc định bị ràng buộc muộn bị bỏ qua, hàm sẽ bắt đầu với tham số không bị ràng buộc. Hàm bắt đầu bằng cách kiểm tra từng tham số với mặc định bị ràng buộc muộn bằng cách sử dụng mã opcode mới QUERY_FAST/QUERY_DEREF và nếu không bị ràng buộc, sẽ đánh giá biểu thức ban đầu. Mã lệnh này [chỉ khả dụng cho các biến cục bộ nhanh và biến đóng] đẩy True vào ngăn xếp nếu cục bộ đã cho có giá trị và Sai nếu không - nghĩa là nó đẩy Sai nếu LOAD_FAST hoặc LOAD_DEREF sẽ tăng UnboundLocalError và True nếu nó thành công

Các tham chiếu biến không theo thứ tự được cho phép miễn là tham chiếu đó có giá trị từ một đối số hoặc giá trị mặc định giới hạn sớm

Người giới thiệu

https. //github. com/rosuav/cpython/tree/pep-671

bản quyền

Tài liệu này được đặt trong phạm vi công cộng hoặc theo CC0-1. 0-Giấy phép phổ thông, tùy theo điều kiện nào dễ dãi hơn

Thứ tự của đối số mặc định là gì?

Thứ tự của các đối số có quan trọng trong Python không?

Thứ tự của các đối số có quan trọng không?

Thứ tự của các đối số khi gọi một hàm là gì?