1. Передается элемент неправильного типа (например,

). Кроме того, вектор может быть пустым, а в этом случае выражение является неверным.

2. Используется “магическая константа” (в данном случае правильная):

. И снова тип элемента неправильный.

3. Используется “магическая константа” (в данном случае неправильная):

.

4. Первый вызов

правильный (в чем легко убедиться).

5. Передача нулевого указателя при втором вызове:

.

6. Вызов

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

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

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

Теоретически компилятор может выявить некоторые из этих ошибок (например, второй вызов

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

Как мы пришли к выводу, что вызов

является ошибкой. Адрес относится к первому элементу массива объектов класса ; он является значением указателя . Мы ожидаем аргумент типа и передаем указатель на объект класса, производного от класса (в данном случае ). Это вполне допустимо: нам необходимо такое преобразование, чтобы можно было обеспечить объектно-ориентированное программирование и доступ к объектам разных типов с помощью общего интерфейса (в данном случае с помощью класса ) (см. раздел 14.2). Однако функция не просто использует переменную как указатель; она использует ее как массив, индексируя ее элементы.

Иначе говоря, она ищет элементы, начиная с ячеек

, , и т.д.

В терминах адресов ячеек памяти эти указатели находятся на расстоянии

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

Другими словами, функция

вызывает функцию с указателем, ссылающимся в середину объекта класса ! Это скорее всего приведет к немедленной катастрофе (краху)!

 

 Вызов функции носит более коварный характер. Он использует “магическую константу”, поэтому сразу возникает подозрение, что могут возникнуть проблемы при сопровождении программы, но это более глубокая проблема. Единственная причина, по которой использование массива объектов класса сразу не привело к проблемам, которые мы обнаружили при использовании объектов класса , заключается в том, что класс не добавляет члены класса к базовому классу (в отличие от класса ; см. разделы 13.8 и 13.12), т.е. выполняется условие и — говоря более общо — класс имеет ту же самую схему распределения памяти, что и класс . Иначе говоря, нам просто повезло, так как небольшое изменение определения класса приведет программу к краху. Итак, вызов работает, но его ошибка похожа на мину замедленного действия. Этот код категорически нельзя назвать качественным.

То, с чем мы столкнулись, является основанием для формулировки универсального правила, согласно которому из утверждения “класс

— это разновидность класс ” не следует, что “класс — это разновидность класса ” (см. раздел 19.3.3). Рассмотрим пример.