caxapa.ru :: 1) Смысл тестирования в том, чтобы загнать на вход всё возможные значения и во всех случаях получить корректный результат. Тестирование должно быть автоматизированным, тест пишется один раз. В случае шаблонного кода это сложно или невозможно реализовать.

evgeniy1294 (12.01.2022 10:31, просмотров: 426) ответил VladislavS. на Во-первых, static_assert.

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

static_assert пишут люди, ошибиться при их обилии легко. Например в какой-нибудь лямбде, проверяющей список пинов на принадлежность порту и отстутствие повторений.

2) Ручное тестирование - зло, так как не покрывают всех возможных случаев

3) Ну да, их приходится смотреть

4) Нет. Справедливо в случае haskell. а вот для плюсов это не так.

Ответить

- Код сам себя постоянно тестирует. Сейчас в ход концепты пошли. Вы параметры шаблонов так можете обложить, что ни одна муха не проскочит. Отсутствие повторений при каждой компиляции проверяется автоматом. VladislavS.(682 знак., 12.01.2022 10:51)
  - Всё это в своё время я уже делал. Допустить ошибку в какой-нибудь проверочной лямбде довольно легко, так что код безопасней не становится. Вы можете сказать, что ошибки будут выловлены, когда-нибудь, но производитель уже сделал это за вас. evgeniy1294(1 знак., 12.01.2022 11:03, ссылка)
    - В таком виде это не сильно отличается от того что можно сделать макросами в С. Ну, разве что, более строгая проверка типов. Например, метод Toggle. VladislavS.(1508 знак., 12.01.2022 11:35)
      - * В таком виде это не сильно отличается от того что можно сделать макросами в С. evgeniy1294(783 знак., 12.01.2022 12:19)
        
        Зачем вы делаете выводы о моём коде по паре функций из библиотеки? То что пишется эвридэй сильно проще. :) VladislavS.(1057 знак., 12.01.2022 13:15)
      - У вас глагол is отсутствует в static_assert. This gpio IS not... А по коду ппц неаккуратно с указателями. И constexpr любимый вами загромождает код. Думаю, и без этого компилятор умеет оптимизировать. 0xFFFF надо заменить на какой-нибудь const или #define (шучу). - Costic(12.01.2022 11:59)
        
        IS отсутствует в моём коде. Ну да и хрен с ним, я эту либину забросил. - evgeniy1294(12.01.2022 12:22)

Средства и методы разработки