Розпакування кортежу Python в операторі return

Question 1

Мова Python (особливо 3.x) дозволяє дуже загальне розпаковування ітерацій, простим прикладом яких є

a, *rest = 1, 2, 3

Протягом багатьох років це розпакування поступово узагальнювалось (див., Наприклад, PEP 3132 та PEP 448 ), дозволяючи використовувати його у все більшій кількості обставин. Тому я був здивований, виявивши, що наступне є неприпустимим синтаксисом у Python 3.6 (і залишається таким у Python 3.7):

def f():
    rest = [2, 3]
    return 1, *rest  # Invalid

Я можу змусити це працювати, інкапсулюючи повернутий кортеж у дужки так:

def f():
    rest = [2, 3]
    return (1, *rest)  # Valid

Той факт, що я використовую це у returnзаяві, здається важливим, як

t = 1, *rest

насправді є законним і призводить до того ж, як з дужками, так і без них.

Чи цей випадок просто забутий розробниками Python, чи є якісь причини, чому цей випадок є недійсним синтаксисом?

Чому я дбаю

Це порушує важливий контракт, який, на мою думку, я мав з мовою Python. Розглянемо наступне (також дійсне) рішення:

def f():
    rest = [2, 3]
    t = 1, *rest
    return t

Зазвичай, коли у мене є такий код, я вважаю tтимчасове ім'я, від якого я мав би змогу позбутися, просто замінивши його tв нижньому рядку його визначенням. Однак у цьому випадку це призводить до недійсного коду

def f():
    rest = [2, 3]
    return 1, *rest

Звичайно, немає особливої праці розміщувати дужки навколо поверненого значення, але зазвичай додаткові дужки потрібні лише для того, щоб розрізнити кілька можливих результатів (групування). Тут це не так, оскільки залишення дужок не спричиняє якоїсь іншої небажаної поведінки, а навпаки, взагалі ніякої поведінки.

Оновлення

Оскільки Python 3.8 (див. Пункт 7 у цьому списку ), узагальнений синтаксис, обговорений вище, тепер діє.

Question 2

Я підозрюю, що це випадковість, виходячи з коментарів цього комітету щодо Python 3.2.

Цей коміт дозволив виразу присвоєння взяти testlist_star_exprвиробництво (що дозволяє нерозмірному розпаковуванню), але залишив оператор return, який бере testlistвиробництво. Я підозрюю, що коміт щойно пропустив це (і, можливо, інші місця, але я зосереджуюсь наreturn_stmt наразі виробництві).

Я продовжив і модифікував файл Python Grammar / Grammar, щоб дозволити це. Всі тести продовжують проходити, включаючи тести вtest_grammar.py файлі (але це не здається надзвичайно вичерпним).

Якщо вам цікаво, це зміни я зробив . Не соромтеся клонувати або завантажувати мою вилку .

ОНОВЛЕННЯ: Я подав випуск bpo та запит на повернення (та прибутковість) розпакування.