Что я получу от front () пустого стандартного контейнера?

Question

Если front() возвращает ссылку, а контейнер пуст, что я получу, неопределенная ссылка? Значит ли это, что мне нужно проверять empty() перед каждым front()?

Answer 1

Вы получаете неопределенное поведение - вам нужно проверить, что контейнер содержит что-то, используя empty () (который проверяет, является ли контейнер пустым) перед вызовом front ().

Answer 2

Вы получаете неопределенное поведение.

Чтобы получить проверку диапазона, используйте в (0). Если это не удается, вы получаете исключение out_of_range.

Answer 3

Да, вы можете использовать 'at', как упомянул Грэм, вместо использования front.

Но at (0) доступна только для некоторых контейнеров - векторов, deque и не для других - списка, очереди, стека. В этих случаях вы должны прибегнуть к безопасности «пустого» чека.

Answer 4

Вы всегда должны быть уверены, что ваш контейнер не пуст, прежде чем вызывать front () в этом экземпляре. Вызов empty () в качестве безопасного охранника - это хорошо.

Конечно, в зависимости от дизайна вашей программы, всегда наличие непустого контейнера может быть инвариантным оператором, позволяющим вам предотвращать и сохранять вызов empty () каждый раз, когда вы вызываете front (). (или хотя бы в какой-то части вашего кода?)

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

Answer 5

Неопределенное поведение