Что означает «[» после аргумента в функции вызова в Python?

Квадратные скобки [] в документации OpenCV обычно обозначают необязательные аргументы. Однако в случае с сигнатурой функции resize(), которую вы предоставили, это немного сбивает с толку, потому что dsize действительно является обязательным аргументом, как вы правильно заметили.

Квадратные скобки используются для обозначения необязательных аргументов в сигнатуре функции. Разберем подпись:

dst = resize( src, dsize[, dst[, fx[, fy[, interpolation]]]] )

• src: это исходное изображение, размер которого вы хотите изменить. Это обязательный аргумент.
• dsize: Это желаемый размер выходного изображения. Это также обязательный аргумент.
• dst: Это необязательное выходное изображение. Если это предусмотрено, изображение с измененным размером будет сохранено здесь.
• fx: это масштабный коэффициент по горизонтальной оси. Это необязательно.
• fy: это масштабный коэффициент по вертикальной оси. Это необязательно.
• interpolation: определяет используемый метод интерполяции. Это необязательно.

Итак, по сути, единственные два обязательных аргумента — это src и dsize, а остальные необязательны. Квадратные скобки вокруг dst, fx, fy и interpolation означают, что их можно опустить, и функция по-прежнему будет работать, используя значения по умолчанию или выводя их на основе предоставленных аргументов.

Это всего лишь соглашение в области информатики, когда необязательный характер чего-либо выражается помещением его в скобки.

Например, см. справочную страницу grep.

grep [OPTION...] PATTERNS [FILE...]

К сожалению, в этом контексте (описывающем последовательность вызовов Python) это приводит к еще большей путанице. Было бы лучше использовать =None для указания параметров по умолчанию или использовать отдельные строки для описания различных допустимых последовательностей вызовов.

Это соответствует типичной нотации документации Python, описанной в документации .

Соответствующая часть цитируется ниже для справки (выделено мной)

В описаниях лексического анализа и синтаксиса используется модифицированная грамматическая запись формы Бэкуса – Наура (BNF).
...
... Звездочка (*) означает ноль или более повторений предыдущего пункта; аналогично, плюс (+) означает одно или несколько повторений, а фраза, заключенная в квадратные скобки ([ ]), означает ноль или одно вхождение (другими словами, заключенная фраза не является обязательной).

Обратите внимание: когда речь идет о синтаксисе, запятая не является чем-то особенным и ее следует рассматривать как литерал.

Давайте сначала рассмотрим пример со страницы документации itertools, чтобы понять, почему запятые заключаются в квадратные скобки именно таким образом. В таблице параметры itertools.islice() указаны как seq, [start,] stop [, step]. Из него можно получить четыре возможных прототипа функции в зависимости от количества вхождений каждой группы:

0 и 0 вхождений:

islice(seq, stop)

0 и 1 вхождений:

islice(seq, stop, step)

1 и 0 вхождений:

islice(seq, start, stop)

1 и 1 случаи:

islice(seq, start, stop, step)

Вы можете видеть, что запятая должна быть организована таким образом относительно квадратных скобок, чтобы правильно вывести все четыре синтаксиса. Если бы, например, грамматика была записана как seq, [start,] stop, [step] с запятой вне второй скобки, то для случая вхождений 0 и 0 мы получили бы islice(seq, stop,), что привело бы к избыточной запятой.

Синтаксис в вопросе можно интерпретировать точно так же. Ключевой момент здесь — на формальном уровне грамматики, запятая — это всего лишь буква, не следует рассматривать dst[ в целом, отсюда и возникает ваша путаница.

Например, если мы выберем одно вхождение для самой внешней скобки и ноль для остальных, мы получим один возможный синтаксис.

dst = resize( src, dsize[, dst[, fx[, fy[, interpolation]]]] )
                        1     0    0    0               0001 
-> dst = resize( src, dsize, dst )

Другой выбор приводит к другому допустимому синтаксису.

dst = resize( src, dsize[, dst[, fx[, fy[, interpolation]]]] )
                        1     1    0    0               0011 
-> dst = resize( src, dsize, dst, fx )

и так далее. Теперь должно быть понятно, почему запятую нужно располагать так, как показано.

Как уже отмечали другие, форма Бэкуса-Наура очень распространена и не ограничивается Python. Подробности об изменениях, внесенных Python в исходную грамматику BNF, можно найти по ссылке выше.