У 3.6% протестованих Python-репозиторіїв виявлено помилки, пов'язані з пропущеними комами.

Опубліковано результати дослідження схильності коду мовою Python до помилок, пов'язаних з некоректним використанням ком в коді. Проблеми викликані тим, що при перерахунку Python автоматично об'єднує рядки в списку, якщо вони не розділені комою, а також обробляє значення як кортеж, якщо після значення слід кома. Провівши автоматизований аналіз 666 GitHub-репозиторіїв з кодом мовою Python, дослідники виявили можливі проблеми із комами у 5% вивчених проектів.

Подальша ручна перевірка показала, що реальні помилки присутні лише в 24 репозиторіях (3.6%), а решта 1.4% є хибними спрацьовуваннями (наприклад, кома могла бути спеціально пропущена між рядками для об'єднання розбитих на кілька рядків файлових шляхів, довгих хешів, HTML-блоків або SQL-виразів). Примітно, що серед 24 репозиторіїв з реальними помилками виявилися такі великі проекти, як Tensorflow, Google V8, Sentry, Pydata xarray, rapidpro, django-colorfield і django-helpdesk. При цьому проблеми із комами не специфічні для Python і часто спливають у проектах на C/C++ (приблизно до недавніх виправлень — LLVM, Mono, Tensorflow).

Основні види вивчених помилок:

• Випадково пропущена кома у списках, кортежах та множинах, що призводить до об'єднання рядків замість їх інтерпретації як окремих значень. Наприклад, в Sentry в одному з тестів була пропущена кома між рядками "releases" і "discover" у списку, що призвело до перевірки неіснуючого обробника "/releasesdiscover", замість роздільної перевірки "/releases" і "/discover".

  Інший приклад - пропущена кома в rapidpro призводила до об'єднання двох різних правил у рядку 572:

  

• Пропущена кома в кінці визначення кортежу з одного елемента, що призводить до того, що в ході присвоєння буде присвоєно кортеж, а звичайний тип. Наприклад, вираз "values ​​= (1,)" призведе до присвоєння змінної кортежу з одного елемента, але "values ​​= (1)" призведе до присвоєння цілого типу. Дужки в зазначених присвоєннях не впливають на визначення типу і є необов'язковими, а наявність кортежу визначається парсером тільки на основі ком. REST_FRAMEWORK = { 'DEFAULT_PERMISSION_CLASSES': ( 'rest_framework.permissions.IsAuthenticated' # замість кортежу буде присвоєно рядок. ) }
• Зворотна ситуація - зайві коми при присвоєнні. Якщо в кінці присвоєння випадково залишена кома, то як значення замість звичайного типу буде присвоєно кортеж (наприклад, якщо замість "value = 1" вказано "value = 1,").

Джерело: opennet.ru