Парадигмы 1MIT, Стандартные замечания
Материал из SEWiki
Версия от 21:55, 24 сентября 2017; E.f.suvorov (обсуждение | вклад) (→Используйте срезы вместо передачи индексов)
Общее
Не передавайте отдельным параметром то, что можно вычислить из остальных
Don't:
def strassen(a, b, size): ...
Do:
def strassen(a, b): size = ...
Причины:
- Дополнительный параметр --- дополнительное место, где можно налажать при вычислении/передаче; появляются новые инварианты, которые по-хорошему надо проверять.
- Сложнее отлаживать --- для тестового запуска функции требуется не просто передать массив, а ещё и его размер.
- Обычно такая потребность возникает при передаче кусочков матриц/массивов. Для этого обычно имеются удобные библиотечные обёртки.
Мифы:
- Вычислять размер каждый раз --- это медленно. На самом деле основные тормоза идут из-за сложных операций, которых много. Например, перемножение чисел или рекурсивные вызовы. Несколько обращений к памяти в не самом вложенном месте -- это нестрашно. И вообще заоптимизировать вы всегда успеете.
- Если не передавать размер отдельно, то нельзя работать с кусочками матриц, не копируя их. Неверно, можно просто использовать срезы. В случае с NumPy копирования во фразе
mat[0:4, 0:3]
не происходит - просто передаётся тот же самый кусок памяти с пометкой "используем только эту подматрицу".
Осторожно:
- Если вычислить этот отдельный параметр очень трудозатратно (по времени, памяти или просто по размеру кода), то может быть смысл действительно его передать. Например, если это данные, которые читаются из файла.
Проверяйте инварианты и корректность входных параметров при помощи assert
Don't:
# as и bs должны быть одной длины def very_complex_algorithm(as, bs): ... # x + y тут должно быть равно 4 ...
Do:
def very_complex_algorithm(as, bs): assert len(as) == len(bs) ... assert x + y == 4
Причины:
-
assert
'ы позволяют вам в процессе отладки быть уверенными в том, что все "очевидные" предположения выполняются. Заодно получается этакая документация. - Комментарии обычно не читают. Как следствие, вашу процедуру кто-нибудь легко может вызвать с неверными параметрами (например, вы сами).
- Комментарии устаревают в процессе разработки программы. Если же какой-нибудь
assert
устареет, то он сразу упадёт и его придётся изменить.
Мифы:
-
assert
не надо использовать, потому что из-за них падает программа. Программа действительно падает, однако только в тех случаях, когда она ведёт себя не так, как вы предсказали. То есть если программа упала поassert
--- то либо в ней баг, либо неверно ваше понимание о том, как она работает. В любом случае это стоит исправить.
Осторожно:
- Если понаставить слишком много
assert
'ов, код становится невозможно читать. - Не стоит проверять корректность интерпретатора/компилятора. Например, после строчки
a = x[2]
строчкаassert a == x[2]
бессмысленно, равно как и проверка отсортированности массива чисел после вызоваsort
. - Не стоит писать в
assert
код с побочными эффектами. Некоторые языки и/или оптимизаторы (например, Java) могут просто вырезать всеassert
в не-отладочном режиме. - Если вы пишете production-сервис для Яндекс/Google, то падение программы нежелательно и вместо
assert
следует использовать другие конструкции и восстанавливать работу программы.
Используйте срезы вместо передачи индексов
Don't:
a = np.array(...) ... printMatrix(m, 5) printArray(a, 2, 10)
Do:
a = np.array(...) ... printMatrix(m[:5, :5]) printArray(a[2:10])
Причины:
- Если вы передаёте больше данных, чем надо обработать, получается два размера данных: "то, что передали" и "то, что надо обработать". Легко запутаться. Например, вместо
print(a[start:end])
по привычке написатьprint(a)
. - Если требуется обработать все переданные данные, то в вызывающем коде надо явно передавать параметры "обработай всё". Там можно ошибиться.
Мифы:
- При передаче будет копирование, что замедлит программу. Не всегда верно, современные языки и библиотеки могут поддерживать так называемые "срезы" ("view") --- по сути это просто обёртка над куском данных и индексами. Например, NumPy-массивы и матрицы являются такими срезами.
Осторожно:
- Важно понимать, происходит ли копирование. Например:
- В C++/Java нельзя так просто взять срез массива/
std::vector
--- требуются специальные отдельные классы. Скажем,std::string_view
илиgsl::span
(из библиотеки GSL). - В Python при взятии среза обычного (не numpy) списка происходит копирование.
- В C++/Java нельзя так просто взять срез массива/
- При изменении исходного массива/матрицы значение среза также меняется. Rule of thumb: не сохраняйте срезы в какие-либо поля или долгоживущие переменные. Если требуется --- сделайте явную копию.
Python
Иногда стоит использовать map
вместо list comprehension
Don't:
xs = [int(x) for x in line.split()] print(", ".join(str(x) for x in xs)) ys[2:4] = [int(x) for x in line.split()]
Do:
xs = list(map(int, line.split()) print(", ".join(map(str, xs))) ys[2:4] = map(int, line.split())
Причины:
- При использовании
map
может получиться меньше кода. -
map
не создаёт дополнительный список в памяти; он вычисляет значения "лениво", только когда они становятся нужны.
Мифы:
-
map
- это что-то из функционального программирования и в императивных языках не нужно. Неверно, современные языки в основном мультипарадигмальные --- позволяют писать в нескольких парадигмах. В частности, Python. Более того ---map
в коде на Python довольно часто встречается, так что его вполне можно использовать и вы не удивите коллег.
Осторожно:
- Не стоит комбинировать много
map
подряд или передавать лямбду в качестве первого параметра, это уже будет довольно сложно читать. В таких случаях лучше использовать list comprehension. - Аналогично, не стоит передавать list comprehension в качестве второго параметра для
map
. -
map
возвращает не список, а генератор. Условно, это такой список, который можно прочитать только один раз. Это обычно подходит, если результатmap
сразу идёт в какую-то функцию, но не подходит, если вам нужен именно список значений. В таком случае сконструируйте список, явно вызвавlist(...)
. - Если вы присваиваете в срез уже существующего списка или матрицы, то не требуется превращать результат
map
в отдельно живущий список. Rule of thumb: если из результата работыmap
будет произведено копирование, причём ровно одно, его в список можно не превращать. -
np.array
ругается, если ему передать в качестве аргумента результатmap
. Поэтому всё-такиnp.array(list(map(...)))
(за исключением ситуации из предыдущего пункта --- там хватит обычногоlist
).
Не указывайте end='\n'
в print
Don't:
print(1, 2, 3, end='\n')
Do:
print(1, 2, 3)
Причины:
-
end='\n'
--- это значение по умолчанию, которое весьма активно используется. Имхо, это является неким "общим знанием". Так чтоend='\n'
просто загромождает код. - Явное указания параметра, когда у него есть значение по умолчанию, заставляет думать, что в данном случае у нас передаётся другое значение. А это неправда. В результате можно повиснуть, пытаясь при чтении понять, чем же переданный
'\n'
отличается от значения по умолчанию ('\n'
).
Мифы:
- Значение по умолчанию может измениться. Теоретическая возможность, конечно, есть, но это сломает огромное количество программ. Поэтому так делать не будут --- обратная совместимость для языка важна.
Осторожно:
- Если у вас имеется много-много
print
подряд, и у каких-тоend
имеет необычное значение, а у каких-то --- значение по умолчанию, может иметь смысл для единообразия выставить его явно у всех сразу. Тогда при чтении не будет возникать ощущение "а, тут у всех выставлено в необычное значение".