Не использовать исключения C++ по дизайну, в llvm/clang

Question

llvm/clang считаются хорошими базами кода на C++. Интересно, почему исключения C++ вообще не использовались в них?

Управление памятью осуществляется с использованием чего-то вроде пулов, а erros сообщается с значениями returnd и кодами типа C. Они даже обертывают оператор new новым местом размещения, которое возвращает ошибку, а не исключение, когда нет памяти.

У вас есть идея, почему философия llvm не должна использовать исключения C++, когда большинство книг рекомендуют использовать их?

Answer 1

Крис Латтнер недавно разъяснил этот вопрос в рамках проекта LLVM coding standards.

Использование исключений и RTTI уменьшает размер исполняемого файла и уменьшает накладные расходы. (Вы можете утверждать, что исключения с нулевой стоимостью не имеют накладных расходов, если они не выбрасываются. Как минимум, они фактически разбивают код на более мелкие базовые блоки и блокируют некоторые типы движения кода.)

Answer 2

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

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

Answer 3

Похоже, что это не философия llvm, чтобы избежать исключений. По крайней мере, я не нашел ничего об исключениях в стандарте кодирования (http://llvm.org/docs/CodingStandards.html), так что это зависит от разработчика.

Почему он не широко используется? Поддержка исключений AFAIK была реализована в llvm до сих пор, поэтому было невозможно собрать llvm для самого llvm :). Таким образом, это может быть просто историческая причина избежать исключений.

Answer 4

Написание исключающего кода C++ - сложная задача.

Выключение исключений может speed up code execution and reduce code size.

Возможно Это связано.

Answer 5

Я думаю, что это происходит из другого ориентира: Use assert liberally

• Нормальные условия ошибки обрабатываются с помощью кодов ошибок.
• Исключительные условия ошибки обрабатываются через assert.

Я бы сказал, что assert является еще сложнее исключение: вы определенно не может игнорировать его;)

Answer 6

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

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

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