Освой самостоятельно С++ за 21 день.

ASSERT (x = 5)

при том, что имелась в виду проверка x == 5, вы тем самым создадите чрезвычайно противную ошибку.

Предположим, что как раз до выполнения макроса assert вызывалась функция, которая установила переменную x равной 0. Используя данный макрос, вы полагали, что выполняете проверку равенства переменной x значению 5. На самом же деле вы устанавливаете значение x равным 5. Тем не менее эта ложная проверка возвращает значение TRUE, поскольку выражение x = 5 не только устанавливает переменную x равной 5, но одновременно и возвращает значение 5, а так как 5 не равно нулю, то это значение расценивается как истинное.

Во время отладки программы макрос assert не выполняет проверку равенства переменной x значению 5, а присваивает ей это значение, поэтому программа работает прекрасно. Вы готовы передать ее заказчику и отключаете отладку. Теперь макрос assert удаляется из кода и переменная x не устанавливается равной 5. Но поскольку в результате ошибки в функции переменная x устанавливается равной 0, программа дает сбой.

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

Инварианты класса

Для многих классов существует ряд условий, которые всегда должны выполняться при завершении работы с функцией-членом класса. Эти обязательные условия выполнения класса называются инвариантами класса. Например, обязательными могут быть следующие условия: объект CIRCLE никогда не должен иметь нулевой радиус или объект ANIMAL всегда должен иметь возраст больше нуля и меньше 100.

Может быть весьма полезным объявление метода Invariants, который возвращает значение TRUE только в том случае, если каждое из этих условий является истинным. Затем можно вставить макрос ASSERT(Invariants) в начале и в конце каждого метода класса. В качестве исключения следует помнить, что метод Invariants не возвращает TRUE до вызова конструктора и после выполнения деструктора. Использование метода Invariants для обычного класса показано в листинге 21.5.

Листинг 21.5. Использование метода lnvariаnts

1: #define DEBUG

2: #define SHOW_INVARIANTS

3: #include <iostream.h>

4: #include <string.h>

5:

6: #ifndef DEBUG

7: #define ASSERT(x)

8: #else

9: #define ASSERT(x)

10: if (! (x))

11: {

12: cout << "ERROR!! Assert " << #x << " failed\n";

13: cout << " on line " << __LINE__ << "\n";

14: cout << " in file " << FILE << "\n";

15: }

16: #endif

17:

18:

19: const int FALSE = 0;

20: const int TRUE = 1;

21: typedef int bool;

22:

23:

24: class String

25: {

26: public:

27: // конструкторы

28: String;

29: String(const char *const);

30: String(const String &);

31: ~String;

32:

33: char & operator[](int offset);

34: char operator[](int offset) const;

35:

36: String & operator= (const String &);

37: int GetLenconst { return itsLen; }

38: const char * GetString const { return itsString; }

39: bool Invariants const;

40:

41: private:

42: String (int); // закрытый конструктор

43: char * itsString;

44: // беззнаковая целочисленная переменная itsLen;

45: int itsLen

46: };

47:

48: // стандартный конструктор создает строку нулевой длины

49: String::String

50: {

51: itsString = new char[1];

52: itsString[0] = '\0';

53: itsLen=0;

54: ASSERT(Invariants);

55: }

56:

57: // закрытый (вспомогательный) конструктор, используется

58: // методами класса только для создания новой строки

59: // требуемого размера, При этом вставляется концевой нулевой символ.\

60: String::String(int len)

61: {

62: itsString = new char[len+1];

63: for (int i = 0; i<=len; i++)

64: itsString[i] = '\0';

65: itsLen=len;

66: ASSERT(Invariants);

67: }

68:

69: // Преобразует массив символов к типу String

70: String::String(const char * const cString)

71: {

72: itsLen = strlen(cString);

73: itsString = new char[itsLen+1];

74: for (int i = 0; i<itsLen; i++)

75: itsString[i] = cString[i];

76: itsString[itsLen] ='\0';

77: ASSERT(Invariants);

78: }

79:

80: // конструктор-копировщик

81: String::String (const String & rhs)

82: {

83: itsLen=rhs.GetLen;

84: itsString = new char[itsLen+1];

85: for (int i = 0; i<itsLen;i++)

86: itsString[i] = rhs[i];

87: itsString[itsLen] = '\0';

88: ASSERT(Invariants);

89: }

90:

91: // деструктор, освобождает выделенную память

92: String::~String

93: {

94: ASSERT(Invariants);

95: delete [] itsString;

96: itsLen = 0;

97: }

96:

99: // оператор выполняет сравнение, освобождает занятую

100: // память, а затем копирует строку и ее размер

101: String& String::operator=(const String & rhs)

102: {

103: ASSERT(Invariants);

104: if (this == &rhs)

105: return *this;

106: delete [] itsString;

107: itsLen=rhs,GetLen;

108: itsString = new char[itsLen+1];

109: for (int i = 0; i<itsLen;i++)

110: itsString[i] = rhs[i];

111: itsString[itsLen] = '\0';

112: ASSERT(Invariants);

113: return *this;

114: }

115:

116: // неконстантный оператор индексирования

117: char & String::operator[](int offset)

118: {

119: ASSERT(Invariants);

120: if (offset > itsLen)

121: {