Макрос ASSERT

@degree128 · Регистрация: 03.09.2018

Студворк — интернет-сервис помощи студентам

Взял готовый пример из учебника, код работает, но может кто-нибудь пояснить для чего используется функция Invariants.
И как сделать чтобы ASSERT вернул false. Просто не совсем ясен смысл такой проверки.

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
#include "pch.h"
#include <iostream>
using namespace std;
 
//инварианты класса
//условия с которыми должна заканчиваться
//работа класса
#define DEBUG
 #define SHOW_INVARIANTS
 
 #include <string.h>
 
     #ifndef DEBUG
     #define ASSERT(x)
     #else
     #define ASSERT(x) \
if (! (x)) \
 { \
 cout << "ERROR!! Assert " << #x << "failed\n"; \
 cout << " on line " << __LINE__ << "\n"; \
cout << " in file " << __FILE__ << "\n"; \
 }
 #endif
 
     const int FALSE = 0;
 const int TRUE = 1;
 typedef int BOOL;
 class String
     {
 public:
        String();
         String(const char *const);
         String(const String &);
         ~String();
         char & operator[](int offset);
         char operator[](int offset) const;
         String & operator= (const String &);
         int GetLen()const { return itsLen; }
         const char * GetString() const { return itsString; }
         BOOL Invariants() const;
     private:
             String(int); // private constructor
             char * itsString;
             // unsigned short itsLen;
             int itsLen;
             };
 String::String()
     {
     itsString = new char[1];
     itsString[0] = '\0';
        itsLen = 0;
     ASSERT(Invariants());
     }
 String::String(int len)
     {
    itsString = new char[len + 1];
    for (int i = 0; i <= len; i++)
         itsString[i] = '\0';
         itsLen = len;
     ASSERT(Invariants());
     }
 String::String(const char * const cString)
     {
     itsLen = strlen(cString);
 itsString = new char[itsLen + 1];
     for (int i = 0; i < itsLen; i++)
         itsString[i] = cString[i];
    itsString[itsLen] = '\0';
     ASSERT(Invariants());
    }
 
 String::String(const String & rhs)
     {
     itsLen = rhs.GetLen();
     itsString = new char[itsLen + 1];
     for (int i = 0; i < itsLen; i++)
         itsString[i] = rhs[i];
     itsString[itsLen] = '\0';
         ASSERT(Invariants());
     }
 String::~String()
     {
     ASSERT(Invariants());
    delete[] itsString;
     itsLen = 0;
     }
 String & String::operator=(const String & rhs)
     {
     ASSERT(Invariants());
    if (this == &rhs)
         return *this;
     delete[] itsString;
     itsLen = rhs.GetLen();
    itsString = new char[itsLen + 1];
    for (int i = 0; i < itsLen; i++)
        itsString[i] = rhs[i];
     itsString[itsLen] = '\0';
         ASSERT(Invariants());
     return *this;
     }
 char & String::operator[](int offset)
     {
     ASSERT(Invariants());
     if (offset > itsLen)
         return itsString[itsLen - 1];
 else
         return itsString[offset];
     ASSERT(Invariants());
     }
// on const objects (see copy constructor!)
 char String::operator[](int offset) const
     {
     ASSERT(Invariants());
    if (offset > itsLen)
     return itsString[itsLen - 1];
    else
     return itsString[offset];
 ASSERT(Invariants());
 }
BOOL String::Invariants() const
     {
     #ifdef SHOW_INVARIANTS
     cout << " String OK ";
     #endif
    return ((itsLen && itsString) ||
         (!itsLen && !itsString));
 }
 class Animal
 {
     public:
         Animal() : itsAge(1), itsName("John Q. Animal")
             {ASSERT(Invariants()); }
         Animal(int, const String&);
         ~Animal() {}
         int GetAge() { ASSERT(Invariants()); return itsAge; }
         void SetAge(int Age)
             {
             ASSERT(Invariants());
             itsAge = Age;
             ASSERT(Invariants());
            }
         String & GetName()
             {
             ASSERT(Invariants());
             return itsName;
             }
         void SetName(const String& name)
             {
             ASSERT(Invariants());
         itsName = name;
             ASSERT(Invariants());
         }
         BOOL Invariants();
         private:
            int itsAge;
             String itsName;
        };
 Animal::Animal(int age, const String& name) :
 itsAge(age),
 itsName(name)
 {
     ASSERT(Invariants());
     }
 
     BOOL Animal::Invariants()
     {
 #ifdef SHOW_INVARIANTS
         cout << " Animal OK ";
 #endif
        return (itsAge > 0 && itsName.GetLen());
    }
 int main()
 {
     Animal sparky(5, "Sparky");
     cout << "\n" << sparky.GetName().GetString() << " is";
         cout << sparky.GetAge() << " years old.";
     sparky.SetAge(8);
 cout << "\n" << sparky.GetName().GetString() << " is";
         cout << sparky.GetAge() << " years old.";
 
         cin.get();
     return 0;
     }

@DrOffset · 20.11.2018, 00:20

degree128, я думаю, прежде чем разбирать этот код, нужно попробовать понять зачем вообще в принципе нужны ассерты.
Может быть прочтение этой темы и ссылок в ней поможет:
Ошибка компиляции при неправильных входных параметрах функции

@degree128 · 20.11.2018, 20:20 **[ТС]**

DrOffset, спасибо за приложенную тему. Возможно я плохо сформулировал вопрос. Суть макроса ASSERT я понимаю. Не совсем понятно было назначение функции Invariants, а также случай в котором ASSERT может сработать

C++
1
2
3
4
5
6
7
8
BOOL String::Invariants() const
     {
     #ifdef SHOW_INVARIANTS
     cout << " String OK ";
     #endif
    return ((itsLen && itsString) ||
         (!itsLen && !itsString));
 }

Я хотел уточнить, что делает данная функция. Почему операция && применяется между переменной типа int и char* или между их отрицаниями.

@DrOffset · 20.11.2018, 21:57

degree128, на самом деле некоторые из проверок в этом коде вообще никогда не исполнятся, т.к. находятся в недостижимом месте (после любого из return в функции operator[]). Это, очевидно, ошибка в книге.

Что касается проверки, то она устанавливает, что состояние класса является корректным (непротиворечивым) только в том случае, если Длина и Буфер одновременно не равны нулю, либо если оба равны. Но при этом сами же нарушают свой контракт в конструкторе String без параметров. Чтобы их задумка сработала, нужно определять конструктор как-то так (стилистика сохранена):

C++
1
2
3
4
5
6
     String::String()
     {
        itsString = 0;
        itsLen = 0;
        ASSERT(Invariants());
     }

Учитывая количество ошибок\опечаток, я бы сказал, что если этот код в книге действительно такой, как представлен вами выше, то лучше вам поискать другой пример для обучения.

@degree128 · 23.11.2018, 20:14 **[ТС]**

Спасибо за помощь

Новые блоги и статьи Все статьи Все блоги /
PhpStorm 2025.3: WSL Terminal всегда стартует в ~ and_y87 14.12.2025 PhpStorm 2025. 3: WSL Terminal всегда стартует в ~ (home), игнорируя директорию проекта Симптом: После обновления до PhpStorm 2025. 3 встроенный терминал WSL открывается в домашней директории. . .	Access VikBal 11.12.2025 Помогите пожалуйста !! Как объединить 2 одинаковые БД Access с разными данными.	Новый ноутбук volvo 07.12.2025 Всем привет. По скидке в "черную пятницу" взял себе новый ноутбук Lenovo ThinkBook 16 G7 на Амазоне: Ryzen 5 7533HS 64 Gb DDR5 1Tb NVMe 16" Full HD Display Win11 Pro	Музыка, написанная Искусственным Интеллектом volvo 04.12.2025 Всем привет. Некоторое время назад меня заинтересовало, что уже умеет ИИ в плане написания музыки для песен, и, собственно, исполнения этих самых песен. Стихов у нас много, уже вышли 4 книги, еще 3. . .	От async/await к виртуальным потокам в Python IndentationError 23.11.2025 Армин Ронахер поставил под сомнение async/ await. Создатель Flask заявляет: цветные функции - провал, виртуальные потоки - решение. Не threading-динозавры, а новое поколение лёгких потоков. Откат?. . .
Поиск "дружественных имён" СОМ портов Argus19 22.11.2025 Поиск "дружественных имён" СОМ портов На странице: https:/ / norseev. ru/ 2018/ 01/ 04/ comportlist_windows/ нашёл схожую тему. Там приведён код на С++, который показывает только имена СОМ портов, типа,. . .	Сколько Государство потратило денег на меня, обеспечивая инсулином. Programma_Boinc 20.11.2025 Сколько Государство потратило денег на меня, обеспечивая инсулином. Вот решила сделать интересный приблизительный подсчет, сколько государство потратило на меня денег на покупку инсулинов. . . .	Ломающие изменения в C#.NStar Alpha Etyuhibosecyu 20.11.2025 Уже можно не только тестировать, но и пользоваться C#. NStar - писать оконные приложения, содержащие надписи, кнопки, текстовые поля и даже изображения, например, моя игра "Три в ряд" написана на этом. . .	Мысли в слух kumehtar 18.11.2025 Кстати, совсем недавно имел разговор на тему медитаций с людьми. И обнаружил, что они вообще не понимают что такое медитация и зачем она нужна. Самые базовые вещи. Для них это - когда просто люди. . .	Создание Single Page Application на фреймах krapotkin 16.11.2025 Статья исключительно для начинающих. Подходы оригинальностью не блещут. В век Веб все очень привыкли к дизайну Single-Page-Application . Быстренько разберем подход "на фреймах". Мы делаем одну. . .

@DrOffset 19491 / 10097 / 2460 Регистрация: 30.01.2014 Сообщений: 17,805
	20.11.2018, 00:20
	degree128, я думаю, прежде чем разбирать этот код, нужно попробовать понять зачем вообще в принципе нужны ассерты. Может быть прочтение этой темы и ссылок в ней поможет: Ошибка компиляции при неправильных входных параметрах функции 0

@degree128 1 / 1 / 0 Регистрация: 03.09.2018 Сообщений: 71
	23.11.2018, 20:14 [ТС]
	Спасибо за помощь 0

Макрос ASSERT

Решение