Листинг 7.6. Конструктор с проверкой диапазона
TString::TString(const char *First, const char *Last) { if (First < Last) { TString t:
if (Last - First > 255) t.size = 255:
else t.size = Last - First:
memcpy(t.s,First,t.size);
*this = t:
}
else throw bad_Range();
}
Теперь займемся классом TArray (см. листинг 5.2). Претендентами на изменения являются все методы и конструкторы, в которых в качестве аргументов задаются индексы, размер или указатели начала и конца последовательности, их прототипы представлены в листинге 7.7.
Листинг 7.7. Конструкторы и методы класса ТАггау, генерирующие исключения
TArray(Uint size, double k=9.9);
TArray(const double *begin, const double *end);
TArray(const TArray &a, Uint begin, Uint k);
double& operator[](Uint index):
const double& operator[](Uint index) const:
TArray& assign(const TArray &a, Uint begin, Uint k);
TArray& assign(const double *begin, const double *end);
double summa(Uint I, Uint r);
double product(Uint I, Uint r):
Исключительная ситуация может возникать, когда левый индекс больше правого или заданный индекс (index) больше размера. Если мы хотим различать эти случаи, то должны определить два класса исключений. Пусть это будут следующие классы:
class bad_Index {}; // индекс вне диапазона
class bad_Range {}; // левый индекс больше правого
Однако из нашего списка можно исключить методы assignO, summaQ и product (), так как в реализации (см. листинги 5.14 и 5.16) для создания локального объекта используется один из конструкторов, который проверяет параметры — он и сгенерирует исключение.
Однако в некоторых методах выполняется проверка на соответствие размеров массивов — это все методы, которые оперируют двумя массивами:
TArray& operator+=(const ТАггау &rhs); TArray& operator-=(const ТАггау &rhs); TArray& operator*=(const ТАггау &rhs); TArray& operator/=(const ТАггау &rhs); TArray& operator%=(const ТАггау &rhs);
friend double product_dot (const TArray &a, const TArray &b); friend TArray operator+(const TArray &a, const TArray &b): friend TArray operator*(const TArray &a, const TArray &b); friend TArray operator-(const TArray &a, const TArray &b); friend TArray operator/(const TArray &a, const TArray &b); friend TArray operator%(const TArray &a, const TArray &b);
Для контроля размеров определим еще один тип исключения:
class bad_Size {}; // для неправильного размера
Исключение этого типа генерируется конструктором при задании нулевой длины, а также при несовпадении размеров массивов в операциях с двумя массивами.
Классы исключений должны быть определены в открытой части класса ТАггау (см. листинг 5.2), чтобы клиент, использующий класс, мог перехватить эти исключения. Тогда новая реализация конструкторов и методов выглядит так, как показано в листинге 7.8.
Листинг 7.8. Конструкторы и методы класса ТАггау с исключениями
// конструкторы
ТАггау::TArray(Uint size, double к)' { if (size > 0)
{ size_array = size;
data = new double[size_array]; ^ for(Uint i = 0; i<size_array; ++i) data[i] = k;
}
else throw bad_Size(); // неправильный размер
}
TArray::TArray(const double *begin, const double *end)
{ if (begin < end) // защита
{ size_array = (end - begin); data = new double[size_array];
for(Uint i = 0; i<size_array; ++1) data[i] = *(begin+i);
}
else throw bad_Range(); // неправильный диапазон
}
TArray::TArray(const TArray &a, Uint begin. Uint k) { if ((begin<a.size())&&(k<a.size()-begin)) { size_array = k; data = new double[size__array] ; for(Uint i = 0; i<size_array; ++1) data[i] = a.data[i+begin];
}
else throw bad__Index(); // неправильный индекс
Листинг 7.8 (продолжение)
II операция индексирования
double& ТАггау::operator[](Uint index)
{ if (index<size_array) return data[index]:
else throw bad_Index(); // неправильный индекс
}
const double& TArray:-.operator [] (Uint index) const
{ if (index<size_array) return datafindex]:
else throw bad_Index(); // неправильный индекс
}
// другие методы
TArray& ТАггау::operator+=(const ТАггау &rhs)
{ if (size_array == rhs.sizeO) // защита
{ for(Uint i = 0: i<size_array; ++i) data[i] = data[i]+rhs.data[i]; return *this:
}
else throw bad_Size(): // неправильный размер
}
TArray operator+(const TArray &a, const TArray &b) X TArray temp = a:
if (a.sizeO == b.sizeO) // защита
{ temp+=b; return temp: } N
else throw TArray::bad_Size(); // неправильный размер
}
В последней функции при возникновении исключения автоматически вызывается деструктор, чтобы уничтожить локальный объект temp.
Остальные методы и функции, оперирующие двумя массивами, реализуются совершенно аналогично. Как обычно, в функциях-друзьях нам приходится указывать уточненное имя объекта-исключения, тогда как в функциях-методах разрешается писать имя без префикса ТАггау.
Теперь рассмотрим контейнер-дек TDeque (см. главу 6). Явными претендентами на изменения являются методы удаления элементов pop_f ront() и pop_back() (см. листинги 6.4 и 6.5), а также операция разыменования operator * класса-итератора (см. листинг 6.2). Так как удалять из пустого дека нельзя, методы удаления должны генерировать исключение — назовем его emptyDeque. Естественно, соответствующий класс должен быть прописан в открытой части класса-контейнера:
class emptyDeque {};
Тогда реализация этих методов будет такой, как показано в листинге 7.9. |
Главная
Каталог файлов
