Hướng dẫn python or operator with none - python hoặc toán tử không có

Đặc biệt của augassign: ('+=' | '-=' | '*=' | '@=' | '/=' | '%=' | '&=' | '|=' | '^=' | '<<=' | '>>=' | '**=' | '//=' | '??=') power: coalesce ['**' factor] coalesce: atom_expr ['??' factor] atom_expr: ['await'] atom trailer* trailer: ('(' [arglist] ')' | '[' subscriptlist ']' | '?[' subscriptlist ']' | '.' NAME | '?.' NAME) 9

Đối tượng

augassign: ('+=' | '-=' | '*=' | '@=' | '/=' | '%=' | '&=' | '|=' | '^=' |
            '<<=' | '>>=' | '**=' | '//=' | '??=')

power: coalesce ['**' factor]
coalesce: atom_expr ['??' factor]
atom_expr: ['await'] atom trailer*
trailer: ('(' [arglist] ')' |
          '[' subscriptlist ']' |
          '?[' subscriptlist ']' |
          '.' NAME |
          '?.' NAME)

Một đề xuất bị từ chối là đối xử với bất kỳ giá trị nào đánh giá là sai lầm trong bối cảnh boolean vì không có giá trị. Tuy nhiên, mục đích của các nhà khai thác này là tuyên truyền sự thiếu hụt giá trị của trạng thái, chứ không phải là trạng thái sai.

Một số người cho rằng điều này làm cho

augassign: ('+=' | '-=' | '*=' | '@=' | '/=' | '%=' | '&=' | '|=' | '^=' |
            '<<=' | '>>=' | '**=' | '//=' | '??=')

power: coalesce ['**' factor]
coalesce: atom_expr ['??' factor]
atom_expr: ['await'] atom trailer*
trailer: ('(' [arglist] ')' |
          '[' subscriptlist ']' |
          '?[' subscriptlist ']' |
          '.' NAME |
          '?.' NAME)

augassign: ('+=' | '-=' | '*=' | '@=' | '/=' | '%=' | '&=' | '|=' | '^=' |
            '<<=' | '>>=' | '**=' | '//=' | '??=')

power: coalesce ['**' factor]
coalesce: atom_expr ['??' factor]
atom_expr: ['await'] atom trailer*
trailer: ('(' [arglist] ')' |
          '[' subscriptlist ']' |
          '?[' subscriptlist ']' |
          '.' NAME |
          '?.' NAME)

Xem phần Ý tưởng bị từ chối để thảo luận về các phương pháp thay thế.

Ngữ pháp thay đổi

Các quy tắc sau đây của ngữ pháp Python được cập nhật để đọc:

augassign: ('+=' | '-=' | '*=' | '@=' | '/=' | '%=' | '&=' | '|=' | '^=' |
            '<<=' | '>>=' | '**=' | '//=' | '??=')

power: coalesce ['**' factor]
coalesce: atom_expr ['??' factor]
atom_expr: ['await'] atom trailer*
trailer: ('(' [arglist] ')' |
          '[' subscriptlist ']' |
          '?[' subscriptlist ']' |
          '.' NAME |
          '?.' NAME)

_v = a
_v = _v.b
_v = _v(c)
_v = _v.d
_v = _v[e]
await _v

a = None
b = ''
c = 0

a ??= 'value'
b ??= undefined_name
c ??= shutil.rmtree('/')    # don't try this at home, kids

assert a == 'value'
assert b == ''
assert c == 0 and any(os.scandir('/'))

augassign: ('+=' | '-=' | '*=' | '@=' | '/=' | '%=' | '&=' | '|=' | '^=' |
            '<<=' | '>>=' | '**=' | '//=' | '??=')

power: coalesce ['**' factor]
coalesce: atom_expr ['??' factor]
atom_expr: ['await'] atom trailer*
trailer: ('(' [arglist] ')' |
          '[' subscriptlist ']' |
          '?[' subscriptlist ']' |
          '.' NAME |
          '?.' NAME)

a = None
b = ''
c = 0

a ??= 'value'
b ??= undefined_name
c ??= shutil.rmtree('/')    # don't try this at home, kids

assert a == 'value'
assert b == ''
assert c == 0 and any(os.scandir('/'))

augassign: ('+=' | '-=' | '*=' | '@=' | '/=' | '%=' | '&=' | '|=' | '^=' |
            '<<=' | '>>=' | '**=' | '//=' | '??=')

power: coalesce ['**' factor]
coalesce: atom_expr ['??' factor]
atom_expr: ['await'] atom trailer*
trailer: ('(' [arglist] ')' |
          '[' subscriptlist ']' |
          '?[' subscriptlist ']' |
          '.' NAME |
          '?.' NAME)

_v = a
if _v is not None:
    _v = _v.b
    _v = _v(c)
    _v = _v.d
    if _v is not None:
        _v = _v[e]
await _v

augassign: ('+=' | '-=' | '*=' | '@=' | '/=' | '%=' | '&=' | '|=' | '^=' |
            '<<=' | '>>=' | '**=' | '//=' | '??=')

power: coalesce ['**' factor]
coalesce: atom_expr ['??' factor]
atom_expr: ['await'] atom trailer*
trailer: ('(' [arglist] ')' |
          '[' subscriptlist ']' |
          '?[' subscriptlist ']' |
          '.' NAME |
          '?.' NAME)

a = None
b = ''
c = 0

a ??= 'value'
b ??= undefined_name
c ??= shutil.rmtree('/')    # don't try this at home, kids

assert a == 'value'
assert b == ''
assert c == 0 and any(os.scandir('/'))

a, b = None, None
def c(): return None
def ex(): raise Exception()

(a ?? 2 ** b ?? 3) == a ?? (2 ** (b ?? 3))
(a * b ?? c // d) == a * (b ?? c) // d
(a ?? True and b ?? False) == (a ?? True) and (b ?? False)
(c() ?? c() ?? True) == True
(True ?? ex()) == True
(c ?? ex)() == c()

_v = a
if _v is not None:
    _v = _v.b
    _v = _v(c)
    _v = _v.d
    if _v is not None:
        _v = _v[e]
await _v

_v = a
if _v is not None:
    _v = _v.b
    _v = _v(c)
    _v = _v.d
    if _v is not None:
        _v = _v[e]
await _v

_v = a
if _v is not None:
    _v = _v.b
    _v = _v(c)
    _v = _v.d
    if _v is not None:
        _v = _v[e]
await _v

augassign: ('+=' | '-=' | '*=' | '@=' | '/=' | '%=' | '&=' | '|=' | '^=' |
            '<<=' | '>>=' | '**=' | '//=' | '??=')

power: coalesce ['**' factor]
coalesce: atom_expr ['??' factor]
atom_expr: ['await'] atom trailer*
trailer: ('(' [arglist] ')' |
          '[' subscriptlist ']' |
          '?[' subscriptlist ']' |
          '.' NAME |
          '?.' NAME)

a = None
b = ''
c = 0

a ??= 'value'
b ??= undefined_name
c ??= shutil.rmtree('/')    # don't try this at home, kids

assert a == 'value'
assert b == ''
assert c == 0 and any(os.scandir('/'))

# a?.b
_v = a
if _v is not None:
    _v = _v.b

# ... ?? c
if _v is None:
    _v = c

# (...).d?.e
_v = _v.d
if _v is not None:
    _v = _v.e

# a?.b
_v = a
if _v is not None:
    _v = _v.b

# ... ?? c
if _v is None:
    _v = c

# (...).d?.e
_v = _v.d
if _v is not None:
    _v = _v.e

a = None
b = ''
c = 0

a ??= 'value'
b ??= undefined_name
c ??= shutil.rmtree('/')    # don't try this at home, kids

assert a == 'value'
assert b == ''
assert c == 0 and any(os.scandir('/'))

augassign: ('+=' | '-=' | '*=' | '@=' | '/=' | '%=' | '&=' | '|=' | '^=' |
            '<<=' | '>>=' | '**=' | '//=' | '??=')

power: coalesce ['**' factor]
coalesce: atom_expr ['??' factor]
atom_expr: ['await'] atom trailer*
trailer: ('(' [arglist] ')' |
          '[' subscriptlist ']' |
          '?[' subscriptlist ']' |
          '.' NAME |
          '?.' NAME)

a = None
b = ''
c = 0

a ??= 'value'
b ??= undefined_name
c ??= shutil.rmtree('/')    # don't try this at home, kids

assert a == 'value'
assert b == ''
assert c == 0 and any(os.scandir('/'))

# a?.b
_v = a
if _v is not None:
    _v = _v.b

# ... ?? c
if _v is None:
    _v = c

# (...).d?.e
_v = _v.d
if _v is not None:
    _v = _v.e

# a?.b
_v = a
if _v is not None:
    _v = _v.b

# ... ?? c
if _v is None:
    _v = c

# (...).d?.e
_v = _v.d
if _v is not None:
    _v = _v.e

# a?.b
_v = a
if _v is not None:
    _v = _v.b

# ... ?? c
if _v is None:
    _v = c

# (...).d?.e
_v = _v.d
if _v is not None:
    _v = _v.e

# a?.b
_v = a
if _v is not None:
    _v = _v.b

# ... ?? c
if _v is None:
    _v = c

# (...).d?.e
_v = _v.d
if _v is not None:
    _v = _v.e

if a.next is None or a.next.next is None

if a.next is None or a.next.next is None

_v = a
_v = _v.b
_v = _v(c)
_v = _v.d
_v = _v[e]
await _v

if a.next is None or a.next.next is None

_v = a
if _v is not None:
    _v = _v.b
    _v = _v(c)
    _v = _v.d
    if _v is not None:
        _v = _v[e]
await _v

# a?.b
_v = a
if _v is not None:
    _v = _v.b

# ... ?? c
if _v is None:
    _v = c

# (...).d?.e
_v = _v.d
if _v is not None:
    _v = _v.e

if a.next is None or a.next.next is None

# a?.b
_v = a
if _v is not None:
    _v = _v.b

# ... ?? c
if _v is None:
    _v = c

# (...).d?.e
_v = _v.d
if _v is not None:
    _v = _v.e

# a?.b
_v = a
if _v is not None:
    _v = _v.b

# ... ?? c
if _v is None:
    _v = c

# (...).d?.e
_v = _v.d
if _v is not None:
    _v = _v.e

if a.next is None or a.next.next is None

# a?.b
_v = a
if _v is not None:
    _v = _v.b

# ... ?? c
if _v is None:
    _v = c

# (...).d?.e
_v = _v.d
if _v is not None:
    _v = _v.e

if a.next is None or a.next.next is None

if a.next is None or a.next.next is None

if a.next is None or a.next.next is None

if a.next is None or a.next.next is None

Đọc biểu thức

Đối với các nhà khai thác có thể chấm và có thể là subscript, ý định là các biểu thức bao gồm các toán tử này nên được đọc và giải thích là đối với các phiên bản thông thường của các toán tử này. Trong các trường hợp bình thường, các kết quả cuối cùng sẽ giống hệt nhau giữa một biểu thức như

if a.next is None or a.next.next is None

if a.next is None or a.next.next is None

Đối với các biểu thức kết hợp bằng cách sử dụng toán tử

a = None
b = ''
c = 0

a ??= 'value'
b ??= undefined_name
c ??= shutil.rmtree('/')    # don't try this at home, kids

assert a == 'value'
assert b == ''
assert c == 0 and any(os.scandir('/'))

if a.next is None or a.next.next is None

Ghi chú

Đọc mã trong văn bản nói luôn luôn mất, và vì vậy chúng tôi không cố gắng xác định một cách nói rõ ràng để nói các nhà khai thác này. Những đề xuất này nhằm thêm bối cảnh vào ý nghĩa của việc thêm cú pháp mới.

Thư viện tiêu chuẩn

Sử dụng tập lệnh

if a.next is None or a.next.next is None

if a.next is None or a.next.next is None

Một số trong số này được hiển thị dưới đây là ví dụ trước và sau khi chuyển đổi để sử dụng các toán tử mới.

Từ

if a.next is None or a.next.next is None

if a.next is None or a.next.next is None

Sau khi cập nhật để sử dụng câu lệnh gán tăng cường

a = None
b = ''
c = 0

a ??= 'value'
b ??= undefined_name
c ??= shutil.rmtree('/')    # don't try this at home, kids

assert a == 'value'
assert b == ''
assert c == 0 and any(os.scandir('/'))

if a.next is None or a.next.next is None

Từ

if a.next is None or a.next.next is None

if a.next is None or a.next.next is None

Sau khi cập nhật để sử dụng toán tử

a = None
b = ''
c = 0

a ??= 'value'
b ??= undefined_name
c ??= shutil.rmtree('/')    # don't try this at home, kids

assert a == 'value'
assert b == ''
assert c == 0 and any(os.scandir('/'))

if a.next is None or a.next.next is None

Từ

if a.next is None or a.next.next is None

if a.next is None or a.next.next is None

a = None
b = ''
c = 0

a ??= 'value'
b ??= undefined_name
c ??= shutil.rmtree('/')    # don't try this at home, kids

assert a == 'value'
assert b == ''
assert c == 0 and any(os.scandir('/'))

if a.next is None or a.next.next is None

Sau khi cập nhật:

if a.next is None or a.next.next is None

Từ

if a.next is None or a.next.next is None

if a.next is None or a.next.next is None

Sau khi cập nhật để sử dụng toán tử

a = None
b = ''
c = 0

a ??= 'value'
b ??= undefined_name
c ??= shutil.rmtree('/')    # don't try this at home, kids

assert a == 'value'
assert b == ''
assert c == 0 and any(os.scandir('/'))

if a.next is None or a.next.next is None

Từ

if a.next is None or a.next.next is None

if a.next is None or a.next.next is None

Sau khi cập nhật để sử dụng toán tử

a = None
b = ''
c = 0

a ??= 'value'
b ??= undefined_name
c ??= shutil.rmtree('/')    # don't try this at home, kids

assert a == 'value'
assert b == ''
assert c == 0 and any(os.scandir('/'))

if a.next is None | a.next.next is None

Từ

if a.next is None or a.next.next is None

if a.next is None | a.next.next is None

Sau khi cập nhật:

if a.next is None | a.next.next is None

Từ

if a.next is None or a.next.next is None

if a.next is None | a.next.next is None

Sau khi cập nhật để sử dụng toán tử

a = None
b = ''
c = 0

a ??= 'value'
b ??= undefined_name
c ??= shutil.rmtree('/')    # don't try this at home, kids

assert a == 'value'
assert b == ''
assert c == 0 and any(os.scandir('/'))

if a.next is None | a.next.next is None

Từ

if a.next is None or a.next.next is None

if a.next is None | a.next.next is None

Từ

if a.next is None or a.next.next is None

if a.next is None | a.next.next is None

Từ

if a.next is None or a.next.next is None

if a.next is None | a.next.next is None

Từ

if a.next is None or a.next.next is None

if a.next is None | a.next.next is None

Sau khi cập nhật một phần:

if a.next is None | a.next.next is None

Sau khi cập nhật rộng rãi (được cho là quá mức, mặc dù điều đó cho các hướng dẫn kiểu để xác định):

Từ

if a.next is None or a.next.next is None

Traceback (most recent call last):
  File "test.py", line 9, in <module>
    if a.next is None | a.next.next is None:
AttributeError: 'NoneType' object has no attribute 'next'

Sau khi cập nhật để sử dụng các toán tử

_v = a
_v = _v.b
_v = _v(c)
_v = _v.d
_v = _v[e]
await _v

a = None
b = ''
c = 0

a ??= 'value'
b ??= undefined_name
c ??= shutil.rmtree('/')    # don't try this at home, kids

assert a == 'value'
assert b == ''
assert c == 0 and any(os.scandir('/'))

Jsonify

Ví dụ này là từ một trình thu thập thông tin web Python sử dụng khung Flask làm mặt trước của nó. Chức năng này lấy thông tin về một trang web từ cơ sở dữ liệu SQL và định dạng nó là JSON để gửi cho máy khách HTTP:

Traceback (most recent call last):
  File "test.py", line 9, in <module>
    if a.next is None | a.next.next is None:
AttributeError: 'NoneType' object has no attribute 'next'

Cả

if a.next is None or a.next.next is None

if a.next is None or a.next.next is None

a, b = None, None
def c(): return None
def ex(): raise Exception()

(a ?? 2 ** b ?? 3) == a ?? (2 ** (b ?? 3))
(a * b ?? c // d) == a * (b ?? c) // d
(a ?? True and b ?? False) == (a ?? True) and (b ?? False)
(c() ?? c() ?? True) == True
(True ?? ex()) == True
(c ?? ex)() == c()

a, b = None, None
def c(): return None
def ex(): raise Exception()

(a ?? 2 ** b ?? 3) == a ?? (2 ** (b ?? 3))
(a * b ?? c // d) == a * (b ?? c) // d
(a ?? True and b ?? False) == (a ?? True) and (b ?? False)
(c() ?? c() ?? True) == True
(True ?? ex()) == True
(c ?? ex)() == c()

if a.next is None or a.next.next is None

Traceback (most recent call last):
  File "test.py", line 9, in <module>
    if a.next is None | a.next.next is None:
AttributeError: 'NoneType' object has no attribute 'next'

Không biết các ngữ nghĩa chính xác của các thuộc tính if a.next is None or a.next.next is None 42 và if a.next is None or a.next.next is None 43, không thể biết liệu thuộc tính có thể được truy cập một cách an toàn hay thực hiện nhiều lần.

Một cách để khắc phục mã này là thay thế từng biểu thức có điều kiện bằng một gán giá trị rõ ràng và khối ________ 150/________ 151 đầy đủ:

Traceback (most recent call last):
  File "test.py", line 9, in <module>
    if a.next is None | a.next.next is None:
AttributeError: 'NoneType' object has no attribute 'next'

Điều này thêm mười dòng mã và bốn đường dẫn mã mới vào hàm, làm tăng đáng kể độ phức tạp rõ ràng. Viết lại bằng cách sử dụng toán tử thuộc tính ____ 49-nhận biết kết quả trong mã ngắn hơn với ý định rõ ràng hơn:

Traceback (most recent call last):
  File "test.py", line 9, in <module>
    if a.next is None | a.next.next is None:
AttributeError: 'NoneType' object has no attribute 'next'

Vồ lấy

Ví dụ tiếp theo là từ một thư viện cào python có tên là Grab:

Traceback (most recent call last):
  File "test.py", line 9, in <module>
    if a.next is None | a.next.next is None:
AttributeError: 'NoneType' object has no attribute 'next'

Ví dụ này chứa một số ví dụ tốt về việc cần cung cấp các giá trị mặc định. Viết lại để sử dụng các biểu thức có điều kiện làm giảm các dòng mã tổng thể, nhưng không nhất thiết phải cải thiện khả năng đọc:

Giao thức không có giá trị

Các toán tử có thể được khái quát hóa thành các loại do người dùng xác định bằng cách xác định giao thức để cho biết khi nào một giá trị đại diện cho giá trị không có giá trị. Một giao thức như vậy có thể là một phương pháp

if a.next is None or a.next.next is None

if a.next is None or a.next.next is None

if a.next is None or a.next.next is None

Với sự khái quát hóa này,

if a.next is None or a.next.next is None

Traceback (most recent call last):
  File "test.py", line 9, in <module>
    if a.next is None | a.next.next is None:
AttributeError: 'NoneType' object has no attribute 'next'

if a.next is None or a.next.next is None

Traceback (most recent call last):
  File "test.py", line 9, in <module>
    if a.next is None | a.next.next is None:
AttributeError: 'NoneType' object has no attribute 'next'

Trong phần Đặc điểm kỹ thuật, tất cả các cách sử dụng của

if a.next is None or a.next.next is None

if a.next is None or a.next.next is None

Việc khái quát hóa này sẽ cho phép các đối tượng không có giá trị cụ thể của miền được kết hợp giống như

augassign: ('+=' | '-=' | '*=' | '@=' | '/=' | '%=' | '&=' | '|=' | '^=' |
            '<<=' | '>>=' | '**=' | '//=' | '??=')

power: coalesce ['**' factor]
coalesce: atom_expr ['??' factor]
atom_expr: ['await'] atom trailer*
trailer: ('(' [arglist] ')' |
          '[' subscriptlist ']' |
          '?[' subscriptlist ']' |
          '.' NAME |
          '?.' NAME)

if a.next is None or a.next.next is None

if a.next is None or a.next.next is None

a, b = None, None
def c(): return None
def ex(): raise Exception()

(a ?? 2 ** b ?? 3) == a ?? (2 ** (b ?? 3))
(a * b ?? c // d) == a * (b ?? c) // d
(a ?? True and b ?? False) == (a ?? True) and (b ?? False)
(c() ?? c() ?? True) == True
(True ?? ex()) == True
(c ?? ex)() == c()

Traceback (most recent call last):
  File "test.py", line 9, in <module>
    if a.next is None | a.next.next is None:
AttributeError: 'NoneType' object has no attribute 'next'

Tương tự, các giá trị như

if a.next is None or a.next.next is None

if a.next is None or a.next.next is None

Tuy nhiên, bản chất không có giá trị của người Viking của các giá trị này là dành riêng cho miền, điều đó có nghĩa là chúng nên được coi là một giá trị bằng ngôn ngữ. Ví dụ:

if a.next is None or a.next.next is None

if a.next is None or a.next.next is None

if a.next is None or a.next.next is None

if a.next is None or a.next.next is None

Vì

augassign: ('+=' | '-=' | '*=' | '@=' | '/=' | '%=' | '&=' | '|=' | '^=' |
            '<<=' | '>>=' | '**=' | '//=' | '??=')

power: coalesce ['**' factor]
coalesce: atom_expr ['??' factor]
atom_expr: ['await'] atom trailer*
trailer: ('(' [arglist] ')' |
          '[' subscriptlist ']' |
          '?[' subscriptlist ']' |
          '.' NAME |
          '?.' NAME)

Các nhà khai thác nhận biết Boolean

Đề xuất này về cơ bản giống như thêm một giao thức không có giá trị, và do đó, các cuộc thảo luận ở trên cũng được áp dụng.

Hành vi tương tự với toán tử

a = None
b = ''
c = 0

a ??= 'value'
b ??= undefined_name
c ??= shutil.rmtree('/')    # don't try this at home, kids

assert a == 'value'
assert b == ''
assert c == 0 and any(os.scandir('/'))

if a.next is None or a.next.next is None

if a.next is None or a.next.next is None

augassign: ('+=' | '-=' | '*=' | '@=' | '/=' | '%=' | '&=' | '|=' | '^=' |
            '<<=' | '>>=' | '**=' | '//=' | '??=')

power: coalesce ['**' factor]
coalesce: atom_expr ['??' factor]
atom_expr: ['await'] atom trailer*
trailer: ('(' [arglist] ')' |
          '[' subscriptlist ']' |
          '?[' subscriptlist ']' |
          '.' NAME |
          '?.' NAME)

Giả sử séc là sự thật thay vì

augassign: ('+=' | '-=' | '*=' | '@=' | '/=' | '%=' | '&=' | '|=' | '^=' |
            '<<=' | '>>=' | '**=' | '//=' | '??=')

power: coalesce ['**' factor]
coalesce: atom_expr ['??' factor]
atom_expr: ['await'] atom trailer*
trailer: ('(' [arglist] ')' |
          '[' subscriptlist ']' |
          '?[' subscriptlist ']' |
          '.' NAME |
          '?.' NAME)

a = None
b = ''
c = 0

a ??= 'value'
b ??= undefined_name
c ??= shutil.rmtree('/')    # don't try this at home, kids

assert a == 'value'
assert b == ''
assert c == 0 and any(os.scandir('/'))

a = None
b = ''
c = 0

a ??= 'value'
b ??= undefined_name
c ??= shutil.rmtree('/')    # don't try this at home, kids

assert a == 'value'
assert b == ''
assert c == 0 and any(os.scandir('/'))

_v = a
_v = _v.b
_v = _v(c)
_v = _v.d
_v = _v[e]
await _v

Hãy xem xét ví dụ sau, trong đó

if a.next is None or a.next.next is None

augassign: ('+=' | '-=' | '*=' | '@=' | '/=' | '%=' | '&=' | '|=' | '^=' |
            '<<=' | '>>=' | '**=' | '//=' | '??=')

power: coalesce ['**' factor]
coalesce: atom_expr ['??' factor]
atom_expr: ['await'] atom trailer*
trailer: ('(' [arglist] ')' |
          '[' subscriptlist ']' |
          '?[' subscriptlist ']' |
          '.' NAME |
          '?.' NAME)

Traceback (most recent call last):
  File "test.py", line 9, in <module>
    if a.next is None | a.next.next is None:
AttributeError: 'NoneType' object has no attribute 'next'

Nếu

a = None
b = ''
c = 0

a ??= 'value'
b ??= undefined_name
c ??= shutil.rmtree('/')    # don't try this at home, kids

assert a == 'value'
assert b == ''
assert c == 0 and any(os.scandir('/'))

augassign: ('+=' | '-=' | '*=' | '@=' | '/=' | '%=' | '&=' | '|=' | '^=' |
            '<<=' | '>>=' | '**=' | '//=' | '??=')

power: coalesce ['**' factor]
coalesce: atom_expr ['??' factor]
atom_expr: ['await'] atom trailer*
trailer: ('(' [arglist] ')' |
          '[' subscriptlist ']' |
          '?[' subscriptlist ']' |
          '.' NAME |
          '?.' NAME)

if a.next is None or a.next.next is None

Hơn nữa, không có kết quả hợp lý để sử dụng thay cho biểu thức. Một

if a.next is None or a.next.next is None

augassign: ('+=' | '-=' | '*=' | '@=' | '/=' | '%=' | '&=' | '|=' | '^=' |
            '<<=' | '>>=' | '**=' | '//=' | '??=')

power: coalesce ['**' factor]
coalesce: atom_expr ['??' factor]
atom_expr: ['await'] atom trailer*
trailer: ('(' [arglist] ')' |
          '[' subscriptlist ']' |
          '?[' subscriptlist ']' |
          '.' NAME |
          '?.' NAME)

if a.next is None or a.next.next is None

if a.next is None or a.next.next is None

augassign: ('+=' | '-=' | '*=' | '@=' | '/=' | '%=' | '&=' | '|=' | '^=' |
            '<<=' | '>>=' | '**=' | '//=' | '??=')

power: coalesce ['**' factor]
coalesce: atom_expr ['??' factor]
atom_expr: ['await'] atom trailer*
trailer: ('(' [arglist] ')' |
          '[' subscriptlist ']' |
          '?[' subscriptlist ']' |
          '.' NAME |
          '?.' NAME)

if a.next is None or a.next.next is None

Vì kiểm tra sự thật hơn là

augassign: ('+=' | '-=' | '*=' | '@=' | '/=' | '%=' | '&=' | '|=' | '^=' |
            '<<=' | '>>=' | '**=' | '//=' | '??=')

power: coalesce ['**' factor]
coalesce: atom_expr ['??' factor]
atom_expr: ['await'] atom trailer*
trailer: ('(' [arglist] ')' |
          '[' subscriptlist ']' |
          '?[' subscriptlist ']' |
          '.' NAME |
          '?.' NAME)

Các nhà khai thác nhận biết ngoại lệ

Có thể cho rằng, lý do để ngắn mạch một biểu thức khi gặp phải

augassign: ('+=' | '-=' | '*=' | '@=' | '/=' | '%=' | '&=' | '|=' | '^=' |
            '<<=' | '>>=' | '**=' | '//=' | '??=')

power: coalesce ['**' factor]
coalesce: atom_expr ['??' factor]
atom_expr: ['await'] atom trailer*
trailer: ('(' [arglist] ')' |
          '[' subscriptlist ']' |
          '?[' subscriptlist ']' |
          '.' NAME |
          '?.' NAME)

if a.next is None or a.next.next is None

_v = a
if _v is not None:
    _v = _v.b
    _v = _v(c)
    _v = _v.d
    if _v is not None:
        _v = _v[e]
await _v

augassign: ('+=' | '-=' | '*=' | '@=' | '/=' | '%=' | '&=' | '|=' | '^=' |
            '<<=' | '>>=' | '**=' | '//=' | '??=')

power: coalesce ['**' factor]
coalesce: atom_expr ['??' factor]
atom_expr: ['await'] atom trailer*
trailer: ('(' [arglist] ')' |
          '[' subscriptlist ']' |
          '?[' subscriptlist ']' |
          '.' NAME |
          '?.' NAME)

a = None
b = ''
c = 0

a ??= 'value'
b ??= undefined_name
c ??= shutil.rmtree('/')    # don't try this at home, kids

assert a == 'value'
assert b == ''
assert c == 0 and any(os.scandir('/'))

_v = a
_v = _v.b
_v = _v(c)
_v = _v.d
_v = _v[e]
await _v

if a.next is None or a.next.next is None

_v = a
if _v is not None:
    _v = _v.b
    _v = _v(c)
    _v = _v.d
    if _v is not None:
        _v = _v[e]
await _v

Điều này tạo ra sự chuyển đổi cho

if a.next is None | a.next.next is None

augassign: ('+=' | '-=' | '*=' | '@=' | '/=' | '%=' | '&=' | '|=' | '^=' |
            '<<=' | '>>=' | '**=' | '//=' | '??=')

power: coalesce ['**' factor]
coalesce: atom_expr ['??' factor]
atom_expr: ['await'] atom trailer*
trailer: ('(' [arglist] ')' |
          '[' subscriptlist ']' |
          '?[' subscriptlist ']' |
          '.' NAME |
          '?.' NAME)

Một câu hỏi mở là giá trị nào sẽ được trả về làm biểu thức khi một ngoại lệ được xử lý. Ví dụ trên chỉ đơn giản là để lại kết quả một phần, nhưng điều này không hữu ích cho việc thay thế bằng giá trị mặc định. Một giải pháp thay thế sẽ là buộc kết quả đối với

augassign: ('+=' | '-=' | '*=' | '@=' | '/=' | '%=' | '&=' | '|=' | '^=' |
            '<<=' | '>>=' | '**=' | '//=' | '??=')

power: coalesce ['**' factor]
coalesce: atom_expr ['??' factor]
atom_expr: ['await'] atom trailer*
trailer: ('(' [arglist] ')' |
          '[' subscriptlist ']' |
          '?[' subscriptlist ']' |
          '.' NAME |
          '?.' NAME)

augassign: ('+=' | '-=' | '*=' | '@=' | '/=' | '%=' | '&=' | '|=' | '^=' |
            '<<=' | '>>=' | '**=' | '//=' | '??=')

power: coalesce ['**' factor]
coalesce: atom_expr ['??' factor]
atom_expr: ['await'] atom trailer*
trailer: ('(' [arglist] ')' |
          '[' subscriptlist ']' |
          '?[' subscriptlist ']' |
          '.' NAME |
          '?.' NAME)

Thứ hai, cách tiếp cận này che dấu các lỗi trong mã được thực thi ngầm như một phần của biểu thức. Đối với

a = None
b = ''
c = 0

a ??= 'value'
b ??= undefined_name
c ??= shutil.rmtree('/')    # don't try this at home, kids

assert a == 'value'
assert b == ''
assert c == 0 and any(os.scandir('/'))

if a.next is None or a.next.next is None

if a.next is None | a.next.next is None

_v = a
_v = _v.b
_v = _v(c)
_v = _v.d
_v = _v[e]
await _v

if a.next is None | a.next.next is None

Tương tự, các lỗi gõ đơn giản như

if a.next is None | a.next.next is None

Các quy ước hiện tại để xử lý các loại lỗi này dưới dạng

if a.next is None | a.next.next is None

if a.next is None | a.next.next is None

if a.next is None | a.next.next is None

Vì cách tiếp cận này sẽ ẩn lỗi trong mã, nó bị từ chối.

________ 49-nhận biết chức năng gọi

Cú pháp nhận biết ____ 49 áp dụng cho quyền truy cập thuộc tính và chỉ mục, do đó, có vẻ tự nhiên để hỏi liệu nó cũng nên áp dụng cho cú pháp gọi chức năng. Nó có thể được viết là

if a.next is None | a.next.next is None

if a.next is None | a.next.next is None

Điều này đã được hoãn lại trên cơ sở các nhà khai thác được đề xuất nhằm hỗ trợ các cấu trúc dữ liệu phân cấp đông dân cư, không phải đối với các hệ thống phân cấp lớp tùy ý. Điều này được phản ánh trong thực tế rằng không có ngôn ngữ chính nào khác cung cấp cú pháp này đã thấy đáng để hỗ trợ một cú pháp tương tự cho các yêu cầu chức năng tùy chọn.

Một cách giải quyết tương tự như được sử dụng bởi C# sẽ là viết

if a.next is None | a.next.next is None

augassign: ('+=' | '-=' | '*=' | '@=' | '/=' | '%=' | '&=' | '|=' | '^=' |
            '<<=' | '>>=' | '**=' | '//=' | '??=')

power: coalesce ['**' factor]
coalesce: atom_expr ['??' factor]
atom_expr: ['await'] atom trailer*
trailer: ('(' [arglist] ')' |
          '[' subscriptlist ']' |
          '?[' subscriptlist ']' |
          '.' NAME |
          '?.' NAME)

if a.next is None | a.next.next is None

a, b = None, None def c(): return None def ex(): raise Exception() (a ?? 2 ** b ?? 3) == a ?? (2 ** (b ?? 3)) (a * b ?? c // d) == a * (b ?? c) // d (a ?? True and b ?? False) == (a ?? True) and (b ?? False) (c() ?? c() ?? True) == True (True ?? ex()) == True (c ?? ex)() == c() 1 Nhà điều hành Postfix Unary

Để khái quát hóa hành vi nhận biết ____ 49 và giới hạn số lượng các nhà khai thác mới được giới thiệu, một nhà điều hành postfix, không chính tả

a, b = None, None
def c(): return None
def ex(): raise Exception()

(a ?? 2 ** b ?? 3) == a ?? (2 ** (b ?? 3))
(a * b ?? c // d) == a * (b ?? c) // d
(a ?? True and b ?? False) == (a ?? True) and (b ?? False)
(c() ?? c() ?? True) == True
(True ?? ex()) == True
(c ?? ex)() == c()

a, b = None, None
def c(): return None
def ex(): raise Exception()

(a ?? 2 ** b ?? 3) == a ?? (2 ** (b ?? 3))
(a * b ?? c // d) == a * (b ?? c) // d
(a ?? True and b ?? False) == (a ?? True) and (b ?? False)
(c() ?? c() ?? True) == True
(True ?? ex()) == True
(c ?? ex)() == c()

if a.next is None | a.next.next is None

if a.next is None | a.next.next is None

if a.next is None | a.next.next is None

augassign: ('+=' | '-=' | '*=' | '@=' | '/=' | '%=' | '&=' | '|=' | '^=' |
            '<<=' | '>>=' | '**=' | '//=' | '??=')

power: coalesce ['**' factor]
coalesce: atom_expr ['??' factor]
atom_expr: ['await'] atom trailer*
trailer: ('(' [arglist] ')' |
          '[' subscriptlist ']' |
          '?[' subscriptlist ']' |
          '.' NAME |
          '?.' NAME)

if a.next is None | a.next.next is None

augassign: ('+=' | '-=' | '*=' | '@=' | '/=' | '%=' | '&=' | '|=' | '^=' |
            '<<=' | '>>=' | '**=' | '//=' | '??=')

power: coalesce ['**' factor]
coalesce: atom_expr ['??' factor]
atom_expr: ['await'] atom trailer*
trailer: ('(' [arglist] ')' |
          '[' subscriptlist ']' |
          '?[' subscriptlist ']' |
          '.' NAME |
          '?.' NAME)

Với toán tử mới này và loại mới, một biểu thức như

if a.next is None | a.next.next is None

if a.next is None | a.next.next is None

if a.next is None | a.next.next is None

if a.next is None | a.next.next is None

Quay trở lại một trong những ví dụ động lực ở trên, hãy xem xét những điều sau đây:

augassign: ('+=' | '-=' | '*=' | '@=' | '/=' | '%=' | '&=' | '|=' | '^=' |
            '<<=' | '>>=' | '**=' | '//=' | '??=')

power: coalesce ['**' factor]
coalesce: atom_expr ['??' factor]
atom_expr: ['await'] atom trailer*
trailer: ('(' [arglist] ')' |
          '[' subscriptlist ']' |
          '?[' subscriptlist ']' |
          '.' NAME |
          '?.' NAME)

Bộ tuần tự JSON không biết cách tuần tự hóa

if a.next is None | a.next.next is None

Đồng thời, toán tử

a, b = None, None
def c(): return None
def ex(): raise Exception()

(a ?? 2 ** b ?? 3) == a ?? (2 ** (b ?? 3))
(a * b ?? c // d) == a * (b ?? c) // d
(a ?? True and b ?? False) == (a ?? True) and (b ?? False)
(c() ?? c() ?? True) == True
(True ?? ex()) == True
(c ?? ex)() == c()

augassign: ('+=' | '-=' | '*=' | '@=' | '/=' | '%=' | '&=' | '|=' | '^=' |
            '<<=' | '>>=' | '**=' | '//=' | '??=')

power: coalesce ['**' factor]
coalesce: atom_expr ['??' factor]
atom_expr: ['await'] atom trailer*
trailer: ('(' [arglist] ')' |
          '[' subscriptlist ']' |
          '?[' subscriptlist ']' |
          '.' NAME |
          '?.' NAME)

Mức độ khái quát hóa này không hữu ích. Các nhà khai thác thực sự được đề xuất ở đây được giới hạn một cách cố ý ở một vài nhà khai thác dự kiến ​​sẽ giúp việc viết các mẫu mã phổ biến dễ dàng hơn.

Tích hợp a, b = None, None def c(): return None def ex(): raise Exception() (a ?? 2 ** b ?? 3) == a ?? (2 ** (b ?? 3)) (a * b ?? c // d) == a * (b ?? c) // d (a ?? True and b ?? False) == (a ?? True) and (b ?? False) (c() ?? c() ?? True) == True (True ?? ex()) == True (c ?? ex)() == c() 2

Haskell có một khái niệm gọi là có thể gói gọn ý tưởng về giá trị tùy chọn mà không dựa vào bất kỳ từ khóa đặc biệt nào (ví dụ:

a, b = None, None
def c(): return None
def ex(): raise Exception()

(a ?? 2 ** b ?? 3) == a ?? (2 ** (b ?? 3))
(a * b ?? c // d) == a * (b ?? c) // d
(a ?? True and b ?? False) == (a ?? True) and (b ?? False)
(c() ?? c() ?? True) == True
(True ?? ex()) == True
(c ?? ex)() == c()

augassign: ('+=' | '-=' | '*=' | '@=' | '/=' | '%=' | '&=' | '|=' | '^=' |
            '<<=' | '>>=' | '**=' | '//=' | '??=')

power: coalesce ['**' factor]
coalesce: atom_expr ['??' factor]
atom_expr: ['await'] atom trailer*
trailer: ('(' [arglist] ')' |
          '[' subscriptlist ']' |
          '?[' subscriptlist ']' |
          '.' NAME |
          '?.' NAME)

if a.next is None | a.next.next is None

Một gói Python gọi là Pymaybe cung cấp một xấp xỉ thô. Tài liệu cho thấy ví dụ sau:

augassign: ('+=' | '-=' | '*=' | '@=' | '/=' | '%=' | '&=' | '|=' | '^=' |
            '<<=' | '>>=' | '**=' | '//=' | '??=')

power: coalesce ['**' factor]
coalesce: atom_expr ['??' factor]
atom_expr: ['await'] atom trailer*
trailer: ('(' [arglist] ')' |
          '[' subscriptlist ']' |
          '?[' subscriptlist ']' |
          '.' NAME |
          '?.' NAME)

Hàm

if a.next is None | a.next.next is None

if a.next is None | a.next.next is None

if a.next is None | a.next.next is None

if a.next is None | a.next.next is None

Lưu ý rằng

if a.next is None | a.next.next is None

if a.next is None | a.next.next is None

if a.next is None | a.next.next is None

Ý tưởng thêm một loại

a, b = None, None
def c(): return None
def ex(): raise Exception()

(a ?? 2 ** b ?? 3) == a ?? (2 ** (b ?? 3))
(a * b ?? c // d) == a * (b ?? c) // d
(a ?? True and b ?? False) == (a ?? True) and (b ?? False)
(c() ?? c() ?? True) == True
(True ?? ex()) == True
(c ?? ex)() == c()

Chỉ cần sử dụng một biểu thức có điều kiện

Một cách phổ biến khác để khởi tạo các giá trị mặc định là sử dụng toán tử ternary. Dưới đây là một đoạn trích từ gói yêu cầu phổ biến:

augassign: ('+=' | '-=' | '*=' | '@=' | '/=' | '%=' | '&=' | '|=' | '^=' |
            '<<=' | '>>=' | '**=' | '//=' | '??=')

power: coalesce ['**' factor]
coalesce: atom_expr ['??' factor]
atom_expr: ['await'] atom trailer*
trailer: ('(' [arglist] ')' |
          '[' subscriptlist ']' |
          '?[' subscriptlist ']' |
          '.' NAME |
          '?.' NAME)

Công thức cụ thể này có tác dụng không mong muốn của việc đặt các toán hạng theo thứ tự không trực quan: não nghĩ rằng, sử dụng

if a.next is None | a.next.next is None

if a.next is None or a.next.next is None

Thay vào đó, tác giả của gói này có thể viết nó như thế này:

augassign: ('+=' | '-=' | '*=' | '@=' | '/=' | '%=' | '&=' | '|=' | '^=' |
            '<<=' | '>>=' | '**=' | '//=' | '??=')

power: coalesce ['**' factor]
coalesce: atom_expr ['??' factor]
atom_expr: ['await'] atom trailer*
trailer: ('(' [arglist] ')' |
          '[' subscriptlist ']' |
          '?[' subscriptlist ']' |
          '.' NAME |
          '?.' NAME)

Thứ tự này của các toán hạng là trực quan hơn, nhưng nó đòi hỏi 4 ký tự bổ sung (cho không phải là không). Nó cũng làm nổi bật sự lặp lại của các định danh:

if a.next is None | a.next.next is None

if a.next is None | a.next.next is None

Khi được viết bằng cách sử dụng toán tử kết hợp

augassign: ('+=' | '-=' | '*=' | '@=' | '/=' | '%=' | '&=' | '|=' | '^=' |
            '<<=' | '>>=' | '**=' | '//=' | '??=')

power: coalesce ['**' factor]
coalesce: atom_expr ['??' factor]
atom_expr: ['await'] atom trailer*
trailer: ('(' [arglist] ')' |
          '[' subscriptlist ']' |
          '?[' subscriptlist ']' |
          '.' NAME |
          '?.' NAME)

augassign: ('+=' | '-=' | '*=' | '@=' | '/=' | '%=' | '&=' | '|=' | '^=' |
            '<<=' | '>>=' | '**=' | '//=' | '??=')

power: coalesce ['**' factor]
coalesce: atom_expr ['??' factor]
atom_expr: ['await'] atom trailer*
trailer: ('(' [arglist] ')' |
          '[' subscriptlist ']' |
          '?[' subscriptlist ']' |
          '.' NAME |
          '?.' NAME)