Я знаю, что ключевое слово assert существует в java. Однако я не помню, как он использует код. Вероятно, я использую исключения и записи в местах, где я мог бы использовать их. Является ли хорошей практикой использовать ключевое слово assert в java?
EDIT. Я знаю, что утверждения в целом - хорошая практика. мой вопрос в том, чтобы быть более точным, если в java BKM утверждения использует ключевое слово assert, а не использует исключение, протоколирование и другие методы.
Основная причина утверждения не используется, потому что они не включены по умолчанию. Поэтому, если у вас есть условие, которое достаточно важно, чтобы требовать утверждения, вы не можете полагаться на утверждения, позволяющие выполнить задание.
Как правильно утверждают другие ответы, они предназначены для тестирования и отладки времени разработки, потому что они ничего не стоят, если утверждения не работают на производстве. Я думаю, что лучше создавать явные тесты в вашей тестовой среде (например, unit test для краевых условий), чем полагаться на кого-то, кто может утверждать утверждения во время тестирования.
Однако хорошим примером, который я видел для использования утверждений, является проверка частных аргументов метода. Поскольку вы контролируете доступ к этим методам, вы можете проверить, что ваш собственный класс правильно использует метод, в то время как ваши общедоступные методы используют более надежные методы проверки аргументов (аннотации, если заявления, сторонние библиотеки и т.д.). Таким образом, даже если утверждения отключены, ваш метод должен быть защищен, но разработчики, изучающие исходный код, могут увидеть предварительные условия для вашего метода и включить утверждения для дополнительной защиты при работе над этим классом.
Да, это странно. Эта функция была запрошена очень сильно, но после ее ввода в язык ее практически никто не использует.
Я иногда использую assert как инструмент комментирования. Вместо
// now it should be empty
Я могу написать
assert size == 0;
Но я действительно не включил assert, поэтому это утверждение никогда не проверялось.
Возможно, люди предпочитают проверять код снаружи, и они не чувствуют необходимости устанавливать множество утверждений в потоке кода.
Я использовал утверждения гораздо больше, когда писал на С++, чем в Java. Я не использую их так сильно, потому что они мне больше не нужны. Многие из ошибок С++, которые я пытаюсь поймать с утверждениями, больше не являются проблемой в Java.
Сказав это, утверждения очень ценны, но многие люди не используют их отчасти потому, что не понимают их. Я слышал, как люди жалуются, что они выбрасывают ошибку вместо исключения. Я также слышал этот вопрос: почему бы вам просто не использовать исключение и обрабатывать это дело вместо использования assert?
Мой ответ на оба одинаковый. Утверждения не должны ловить случаи, которые вы ожидаете увидеть в рабочем приложении. Цель утверждений - поймать ошибки. Вы должны использовать их только там, где единственный способ "обработать" их - это вернуться и исправить код. Вот почему они не бросают исключения - вы не хотите, чтобы они были частью вашей общей обработки исключений.
Как для их включения, моя IDE настроена на включение их по умолчанию. Итак, для моего внутреннего тестирования я всегда знаю, что они работают.
Вот пример, где утверждение - единственное, что нужно использовать: я работал над большим проектом Swing, где исходные кодеры не понимали, что пользовательский интерфейс может быть обновлен только из потока событий, что привело к появлению всех видов ошибок, Поэтому я вложил это утверждение во множество мест, где дела обстояли смешно: assert EventQueue.isDispatchThread(); Если это утверждение было уволено, мы бежали с неправильной нити, и разработчикам нужно было получить уведомление, чтобы они могли переместить код в нужную нить. Нет никакого способа справиться с этим в рабочем приложении.
В наши дни утверждение не используется очень сильно. Это может быть полезно в критически важных приложениях во время разработки, чтобы отсеять все ошибки, а затем просто отключить утверждения через коммутаторы.
Отключение утверждений во время выполнения является основным преимуществом, поскольку при отключении они используют в основном нулевые ресурсы.
Более "современный" подход - это, например, использование Google Guava с Preconditions. Это механизм утверждения типа библиотеки, который вы можете использовать, когда условия должны быть выполнены, и вы не хотите перебирать java-ключи.
Ну, это действительно зависит от того, как вы на это смотрите, но рекомендуется.
Например, если вы пишете метод который вычисляет скорость частицы, вы можете утверждать, что расчетная скорость меньше, чем скорость света.
Да, это очень хорошая практика, чтобы утверждать свои предположения. Прочтите Дизайн по контракту. assert может использоваться для проверки предварительных условий, инвариантов и пост-условий на этапах интеграции и тестирования. Это помогает уловить ошибки на этапах разработки и тестирования. И вы можете безопасно отключить его во время производства, чтобы избежать проблем с производительностью.
assert обычно используются для проверки правильности вашей логики внутренних методов или выполнения контракта в рамках данного класса. Но используйте исключения, чтобы сделать контракт явным.
в моих лекциях algortihms, мой лектор всегда поддерживал полезность утверждений. theyre в основном используется для тестирования и отладки целей, которые, как я понимаю, вы видите код, используя его. но да, они очень рекомендуются. они могут быть отключены, если вы беспокоитесь о производительности. Обычно я использую System.out.println или контрольные точки для тестирования, но утверждения - это один из способов. вот что я имею в виду:
For example, to prove that sort+reverse is equivalent to sort in reverse order:
Method 1: sort(int[] arr, int len)
// pre: len is the length of the array arr
// post: arr is sorted in ascending order
Method 2: reverse(int[] arr)
// post: the order of elements in arr is
// reversed (e.g. [9 5 10] -> [10 5 9])
Assertion 1: the length of arr is len
sort(arr,len);
Assertion 2: arr is sorted in ascending order
reverse(arr);
Assertion 3: the order of arr is reversed
Я был очень доволен при использовании утверждений в своем приложении java, и sqlite-jdbc вернул некоторое разумное утверждение для одного случая.
Итак, если вы включите утверждения, они могут появиться в некоторой сторонней библиотеке.
Да. Это способ подтвердить, что некоторые условия должны быть выполнены. Обратите внимание, что вы должны явно включать утверждения.
В противном случае вы можете использовать Validate из commons-lang. Вы просто пишете Validate.notNull(foo) и генерируете исключение, если foo - null.
Это полезно для коротких условий. Однако использование зависит от вашей практики кодирования. Потому что иногда логику можно применять с помощью "assert", используя жесткие методы!
Основная причина утверждения не используется, потому что они не включены по умолчанию. Поэтому, если у вас есть условие, которое достаточно важно, чтобы требовать утверждения, вы не можете полагаться на утверждения, позволяющие выполнить задание.
Я согласен с тем, что большая ошибка дизайна утверждений заключается в том, что они по умолчанию отключены.
Поэтому я помещаю
static { AssertionUtil.enableAssertionsForThisClass(); }
в верхней части каждого класса. См. http://commons.unkrig.de.