134: if (offset > itsLen) 135: {

136: ASSERTdnvariantsO);

137; return itsString[itsLen-1];

138: }

139: else

140: {

141: ASSERT(lnvariants()):

142: return itsString[offset];

143: } 144; }

145; константный оператор индексирования 146: char St ring::operator[](int offset) const 147; {

148: ASSERT(Invariants());

149; char retVal;

150; if (offset > itsLen)

151; retVal = itsString[itsLen-1];

152: else

153; retVal = itsString[offset];

154; ASSERT(Invariants());

155: return retVal;

156: }

157:

158; bool String:;Invariants() const 159; {

160; PflINT( (String Invariants Checked) );

161: return ( (bool) (itsLen &.&. itsString)

162; (msLen && dtsStrlng) );

163; 1 164;

165; class Animal

166; {

167; public;

168; AnimaK): itsAged ), ltsNaiTie( John 0, Animal )

169; i AS8EflT(Invariants());}

170;

171; Animal(lnt, const Stringi);

172; Animal()( )

173;

174; Int GetAgeO

175: {

176; ASSERTdnvariantsO);

177; return ItsAge;

178: )

179;

180: void SetAgednt Age)

181: {

182; ASSERT(Invariants());

itsAge = Age; ASSERT(Invariants());

Strings GetNameO

ASSERT(Invariants()); return itsName;

void SetName(const String& name) {

ASSERT(Invariants()); itsName = name; ASSERT(Invariants());

bool InvariantsO; private:

int itsAge; String itsName;

Animal::Anlmal(lnt age, const Strlng& name):

itsAge(age),

itsName(name)

ASSERTdnvariantsO);

bool Animal;:InvariantsO {

PRINT( (Animal Invariants Checked) ): return (itsAge > 0 && itsName,GetLen());

int mainO {

const int AGE = 5; EVAL(AGE);

Animal sparky(AGE, Sparky );

oout \ n sparky,GetNameO,GetStringO;

cout is ;

cout << sparky.GetAge() years old. ; sparky.SetAge(8);

cout << \ n sparky.GetNameO.GetStringO; cout << is ;

cout << sparky. GetAgeO << years old. ; return 0;

AGE: (String (String (String (String (String (String (String (String (String (String

Invariants Invariants Invariants Invariants Invariants Invariants Invariants Invariants Invariants Invariants

Checked) Checked) Checked) Checked) Checked) Checked) Checked) Checked) Checked) Checked)

Sparky is (Animal Invariants Checked) 5 years old. (Animal Invariants Checked)

(Animal Invariants Checked)

(Animal Invariants Checked)

Sparky is (Animal Invariants Checked) 8 years old. (String Invariants Checked) (String Invariants Checked)

run again with DEBUG = MEDIUM

AGE: 5

Sparky is 5 years old. Sparky is 8 years old.

В строках 11-21 макрос assertO определяется таким образом, чтобы вооб-

ще не создавался никакой код, если уровень отладки DEBUGLEVEL меньще, чем LOW (т.е. DEBUGLEVEL установлен равным значению NONE). Если же отладка разрешена, то и макрос assertO будет работать (строки 14-21). В строке 24 макрос EVAL отключается, если уровень отладки DEBUGLEVEL меньше, чем MEDIUM; иными словами, если уровень отладки DEBUGLEVEL установлен равным значению NONE или LOW, макрос EVAL не работает.

Наконец, в строках 30-35, макрофункция PRINT объявляется бездействующей , если уровень отладки DEBUGLEVEL меньше, чем HIGH. Макрофункция PRINT используется только в том случае, если уровень отладки DEBUGLEVEL установлен равным значению HIGH, т.е. этот макрос можно удалить, установив уровень отладки DEBUGLEVEL равным значению MEDIUM, и при этом поддерживать использование макросов EVAL и assertO.

Макрос PRINT используется внутри методов InvariantsO для печати информативного сообщения. Макрос EVAL используется в строке 221, чтобы отобразить текущее значение целочисленной константы AGE.

Рекомендуется

Используйте ПРОПИСНЫЕ буквы для имен макросов. Это широко распространенное соглашение, поэтому его несоблюдение может ввести в заблуждение других программистов.

Заключайте все аргументы макросов в круглые скобки.

Ие рекоменууется

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