Предлагаю собрать здесь ошибки, которые

•  Проявляются только в рантайме (компайл-тайм неинтересен - такие ошибки находятся и исправляются просто)
•  Встречаются довольно часто (необязательно у опытных программистов)
•  Неочевидны как для для неопытных, так и для людей с опытом

Цель: избавить программистов (как опытных, так и не очень) от уймы потерянного времени.
Просьба: постить сюда ошибки, причину ошибки, и, самое главное, как уберечься от их совершения.

Итак.
1)


2)


3)


Это сообщение отредактировал(а) borisbn - 6.2.2012, 20:46

на первый пример недавно наткнулся. потратил часа 4 на поиски бага. весь моцг себе вынес ###  
но самое смешное это то, что код я написал за час!

функция возвращает список регулярных файлов в директории..



это набросок одной из функций, которая мне нужна, в нем две грубейшие ошибки..
пожалуйста назовите их..

Честно говоря, тема не об этом... Ошибок много:

Не проверяется выход за пределы буфера.


при выходе за пределы буфера start будет показывать мимо буфера


Тут тоже нужно вставить проверку, что вы не превысили лимит m_size...


Не проверяется возвращаемое значение, а вдруг файла уже нет... или PATH_MAX не хватило... и в file_info мусор...


Раз plen может оказаться нулевой, то было бы неплохо перед strlen проверить prefix на NULL, если, конечно, Вы не пользуетесь исключительно browse_dir( ..., "");


Если предполагается, что в matches ещё ничего нет, то нужно правильно проинициализировать start: *start = 0;


dirp не проверяется на NULL...

Ну и можно в конце сделать buff[*start] = '\0', если место ещё оставалось... И конечную ';' (если она есть) поглотить, но я не знаю, как буфер будет использоваться дальше...

Это сообщение отредактировал(а) feodorv - 6.2.2012, 23:49

ну дык, стандарт: 20/80. ну, почти 


  Честно говоря, вообще не понял, зачем этот код ? Тема то не для того, чтобы искать чужие ошибки, а чтобы показывать часто встречаемые ошибки, на поиск которых уходит куча времени.
По поводу выхода за границы массива - пользуйтесь STL.

feodorv, спасибо за работу



да..



соглашусь, добавим эту проверку



нет, исключительно не пользуюсь, но вызывающая сторона гарантирует, что префикс не равен NULL, хотя, я Вас услышал..



возможно индексное переполнение - это была первая грубая ошибка..






возможно переполнение - это вторая грубая ошибка 




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




это не требуется..

Добавлено @ 10:04


извините, забыл напомнить, я пишу исключительно на Си (не считая скриптовых языков)




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

Это сообщение отредактировал(а) fish9370 - 7.2.2012, 11:28

borisbn, попроси модераторов чтоб удалили все начиная с третьего поста.

fish9370, буду знать, какой код ты пишешь ;)

Добавлено через 30 секунд
или со второго) он тоже оффтоп.

Сложно вспомнить какие-то конкретные часто повторяющиеся проблемы. Но если в целом охарактеризовать грабли, на которые я периодически наступаю, - это необходимость писать на С++. Ниже я приведу немного конкретики, но без примеров кода. Если захотите кода по определенным пунктам, его есть у меня.

Вот тут на форуме один чувак... volatile или как-то так... просто прется, что С++ остается все таким же "простым" и делает именно то, что требует от него программист. С моей точки зрения, для языка, позиционирующего себя как высокоуровневый, с настолько переусложненным синтаксисом, продолжать оставаться надстройкой над ассемблером недопустимо. В стандартной библиотеке языка все пучком... Конечно в ней очень многого не хватает, но в целом хотя бы ее дизайн очень хорош. Но в core language писать и не удивляться на неочевидности невозможно!

• Идиотская политика неявного приведения типов, когда по ошибке в foo(bool) передаешь "хеллоу", а компилятор ест и не краснеет. Это допустимо в операторах и функциях сравнения, но не где попало!
• Совершенно дурацкий механизм опредления пользовательских операторов преобразования типов.
• Кривая идеология конструирования объектов, когда конструктов вызывается где-то посреди процесса собирания нового объекта.
• Норкоманское множественное наследование с эпичным костылем в виде виртуального наследования.
• Кастрированные лямбда-функции.
• Сказочные танцы с указателями на члены классов, особую пикантность придает уже упомянутое выше виртуальное наследование.
• Чрезвычайно переусложненный механизм метапрограммирования, и сразу на двух языках: сишный #define и темплейты. Хотя конечно плюсисты слишком задрали нос, называя темплейты метапрограммирванием.

На эти грабли я наступила примерно за неделю писания на С++! Не уверена, что это все прелести языка, но пока в голову больше ничего не приходит...

Это сообщение отредактировал(а) newbee - 7.2.2012, 11:15

done. кроме сообщ. newbee

Это я начала) Слушала одноименную с минусом песню ленинграда, читала тему и как-то не удержалась (

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

эээ, народ... спокойно!

мое любимое:


Еще, когда только начинал работать, - отлично прошелся по конструкторам копирования. Точнее, по их отсутствию)

Еще хорошо стреляет неправильно написанная проверка выхода из рекурсии. Которая спокойно работает пару месяцев, а потом начинает крашиться. Исключительно в релизе, например.

Еще вот такое

В релизе, естественно, падает =)

Сейчас еще, может, чего-нибудь вспомню.

полагаю, намек на происхождение от слова Поц ;)

Добавлено через 4 минуты и 1 секунду
newbee, про виртуальную хрень и наследование ты же в курсе: используй функциональный стиль. С++ при этом становится как Си_на_стеройдах!

про остальное, вроде, понял, а это - никак не пойму. чойта ?

Вызови из конструктора виртуальный метод например.

ФП не панацея, в С++ ФП неудобен. /*Смотрела недавно бустовский феникс, не знала плакать или смеяться*/

не вижу проблем... да, поведение будет отличаться от вызова той же функции не из конструктора.
на момент работы конструктора базового класса виртуальной таблицы наследника не существует, как и самого наследника.
это как если бы папа и сын родились одновременно