Чому Python дозволяє індекси зрізів поза послідовністю для послідовностей?

Question 1

Тож я просто натрапив на те, що мені здається дивною особливістю Python, і хотів трохи пояснити щодо цього.

Наступна маніпуляція з масивом має сенс:

p = [1,2,3]
p[3:] = [4] 
p = [1,2,3,4]

Думаю, насправді це просто додавання цього значення до кінця, правильно?
Чому я можу це зробити?

p[20:22] = [5,6]
p = [1,2,3,4,5,6]

І тим більше це:

p[20:100] = [7,8]
p = [1,2,3,4,5,6,7,8]

Це просто здається неправильною логікою. Здається, це повинно викликати помилку!

Будь-яке пояснення?
-Це просто дивно, що робить Python?
-Чи є в цьому мета?
-Або я про це думаю не так?

Question 2

Частина запитання щодо індексів поза межами асортименту

Логіка зрізу автоматично відсікає індекси на довжину послідовності.

Дозволяючи індексам зрізів розширювати минулі кінцеві точки, це було зроблено для зручності. Було б боляче, коли б потрібно було перевіряти діапазон кожного виразу, а потім регулювати обмеження вручну, тому Python робить це за вас.

Розглянемо варіант використання бажання відображати не більше перших 50 символів текстового повідомлення.

Простий спосіб (що робить Python зараз):

preview = msg[:50]

Або складний спосіб (перевірте ліміт самостійно):

n = len(msg)
preview = msg[:50] if n > 50 else msg

Вручну реалізувати цю логіку для коригування кінцевих точок було б легко забути, легко було б помилитися (оновлення 50 в двох місцях), було б багатослівним і було б повільним. Python переміщує цю логіку до своїх внутрішніх елементів, де вона є стислим, автоматичним, швидким і правильним. Це одна з причин, чому я люблю Python :-)

Частина запитання щодо невідповідності довжини призначень від довжини вводу

Оператор також хотів знати обгрунтування дозволу на призначення, наприклад, p[20:100] = [7,8]коли ціль призначення має іншу довжину (80), ніж довжина даних заміщення (2).

Найпростіше побачити мотивацію за аналогією зі струнами. Розглянемо "five little monkeys".replace("little", "humongous"). Зверніть увагу, що ціль "мало" має лише шість букв, а "гордо" - дев'ять. Ми можемо зробити те ж саме зі списками:

>>> s = list("five little monkeys")
>>> i = s.index('l')
>>> n = len('little')
>>> s[i : i+n ] = list("humongous")
>>> ''.join(s)
'five humongous monkeys'

Все це зводиться до зручності.

До введення методів copy () та clear () це були популярні ідіоми:

s[:] = []           # clear a list
t = u[:]            # copy a list

Навіть зараз ми використовуємо це для оновлення списків під час фільтрації:

s[:] = [x for x in s if not math.isnan(x)]   # filter-out NaN values

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

Question 3

У документації є ваша відповідь:

s[i:j]: фрагмент sвід iдо j(примітка (4))

(4) Фрагмент sвід iдо jвизначається як послідовність елементів з kтаким індексом , що i <= k < j. Якщо iабо jбільше ніж len(s), використовуйтеlen(s) . Якщо iпропущено або None, використовуйте 0. Якщо j пропущено або None, використовуйте len(s). Якщо iбільше або дорівнює j, зріз порожній.

ДокументаціяIndexError підтверджує цю поведінку:

виняток IndexError

Підвищується, коли індекс послідовності виходить за межі діапазону. ( Індекси зрізів мовчки скорочуються, щоб потрапити в дозволений діапазон; якщо індекс не є цілим числом, TypeErrorпіднімається.)

По суті, такі речі p[20:100]зменшуються до p[len(p):len(p]. p[len(p):len(p]є порожнім фрагментом в кінці списку, і присвоєння йому списку змінить кінець списку, щоб містити вказаний список. Таким чином, це працює як додавання / розширення вихідного списку.

Ця поведінка подібна до того, що відбувається, коли ви призначаєте список порожньому фрагменту в будь-якому місці вихідного списку. Наприклад:

In [1]: p = [1, 2, 3, 4]

In [2]: p[2:2] = [42, 42, 42]

In [3]: p
Out[3]: [1, 2, 42, 42, 42, 3, 4]