[БЕЗ_ЗВУКА] В

предыдущем видео мы с вами написали шаблон AssertEqual и внедрили его в один

юнит-тест нашей программы, нашего решения задачи «Синонимы».

Давайте внедрим его в два оставшихся юнит-теста.

Начнем мы с теста на функцию AreSynonyms,

которая проверяет, являются ли два слова синонимами.

Смотрите, здесь у нас assert'ы проверяют

булевские значения, значения типа bool.

Мы, конечно же, можем заменить вот этот вызов на AssertEqual AreSynonyms false,

и какую-то строчку, мы ее потом конкретно напишем, но это неудобно,

потому что у нас assert'ы уже сформулированы в виде логических

выражений, к которым не хочется добавлять константы true и false.

Поэтому давайте мы не будем здесь делать какой-то громоздкий код,

мы лучше попытаемся написать аналог такого assert.

Мы это сделает следующим образом.

Мы напишем функцию, назовем ее также Assert, только с большой буквы,

которая будет принимать булевское значение.

И опять же, строчку hint, как и в AssertEqual.

Реализуем ее довольно просто.

Мы напишем AssertEqual (b, true, hint).

То есть реализуем Assert через AssertEqual.

Теперь давайте возьмем и внедрим

такого рода Assert в наш тест.

Здесь уберем false,

здесь напишем

empty a b,

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

Да.

Отлично.

Ниже сделаем всё то же самое.

Здесь я для экономии времени не буду

проставлять строчки hint,

но это при реальном использовании стоит сделать.

Компилируем.

Отлично, компилируется.

Запускаем.

Видим, что у нас сработала ошибка в фукнции GetSynonymCount,

которую мы осознанно допустили в предыдущем видео.

Давайте ее мы уберем, а вот функцию AreSynonyms, тесты для которой мы только

что поправили, мы осознанно испортим, чтобы посмотреть,

как срабатывает наш assert.

Итак, мы видим сообщение

Assertion failed: 0 != 1 Hint: empty a b.

Берем эту строчку, ищем и понимаем, что да,

у нас сработал вот этот тест.

Так как мы намеренно допустили ошибку в этой фукнции,

первый же assert на нее и сработал.

Конечно, у нас сообщение получилось 0 != 1,

а это не самое очевидное сообщение для проверки на булевские значения,

но тем не менее мы смогли достаточно легко с помощью простой функции в одну

строчку упростить написание кода для проверки таких логических значений.

Что нам осталось?

Нам осталось внедрить наш Assert в функцию TestAddSynonyms.

Давайте это сделаем.

Вот у нас AddSynonyms,

в которой проверяется, что empty = expected.

Внедрим AssertEqual сюда.

И внедрим

AssertEqual сюда.

Отлично.

Внедрили.

Давайте скомпилируем.

Что-то у нас идет не так, у нас не компилируется.

При этом что мы видим?

Мы видим, что где-то внутри

AssertEqual у нас есть

сообщение no match for

оператор вывода для операндов basic_ostream<char>.

Мы уже примерно знакомы с тем, что это на самом деле поток вывода.

И map, const map.

Здесь много сообщений,

которые вроде как нам должны подсказать, в каком месте это случилось.

Но мы не будем это искать, мы знаем, что это случилось вот здесь.

Собственно, что за map?

Map — это вот эти переменные empty и expected.

Они у нас имеют тип Synonyms, а мы определили,

что Synonyms — это map из строки в set<string>.

Что здесь происходит?

У нас есть Assert, мы передаем туда в качестве T и U map,

и хотим эти словари, эти map'ы,

вывести в поток, в строковый поток.

Это не получается,

потому что по умолчанию словари в поток вывода выводиться не умеют.

Надо с этим что-то сделать.

Мы с вами уже знаем, как эта проблема решается, мы с вами еще в первом

курсе «Белый пояс по C++» изучили перегрузку операторов вывода.

Кроме того, мы уже умеем делать шаблонные операторы вывода,

а нам нужно здесь сделать именно это.

Нам нужно научиться выводить произвольный map в поток вывода.

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

Вот так она выглядит.

Мы объявляем шаблон, куда передаем два типа K и V,

это ключ и значение для нашего map.

Дальше объявляем оператор вывода,

передаем туда поток и передаем туда map<K, V>.

Здесь он у нас красиво выводится.

Сначала выводится фигурная скобка, потом есть переменная first,

которая нам позволяет грамотно расставить запятые внутри.

И выводится first и second для нашего map.

Итак, мы с вами смогли перегрузить поток вывода для map,

и у нас сейчас всё должно стать хорошо, всё должно компилироваться.

Но не компилируется.

Снова у нас

сообщение о том,

что [БЕЗ_ЗВУКА] нет оператора вывода.

Только тут надо подсветить,

вот так вот.

Нет оператора вывода для set.

Вот здесь мы видим set.

Мы видим, что это происходит вот здесь внутри оператора вывода для map.

Собственно, тоже ничего удивительного.

Мы же выводим это T вот здесь, это тип Synonyms.

А Synonyms — это map из строки в set.

Соответственно, когда у нас здесь выводится kv.second,

мы пытаемся вывести в поток set.

Соответственно, надо научиться выводить в поток произвольные set.

А мы это тоже умеем.

Мы делаем просто еще одну перегрузку, еще один

оператор вывода, но уже для set.

template <class T>, объявляем шаблон, оператор вывода и передаем туда set.

Здесь точно так же красивенько с фигурными скобочками,

с грамотно расставленными запятыми мы выводим произвольный set.

Прекрасно.

Сейчас наша программа точно должна скомпилироваться.

Она компилируется.

Запустим ее.

У нас тут выстрелил какой-то тест.

Это у нас выстрелил

AreSynonyms, в котором мы допускали ошибку.

Теперь нам надо посмотреть, как стреляют тесты на функцию AddSynonyms,

поэтому мы в ней допустим багу, которую недавно нашли,

запустим и видим, что наша программа выстрелила.

Смотрите, мы в консоли получили красиво отформатированный map.

Мы теперь может на него посмотреть и увидеть,

что для строки a вот здесь вот ожидалось, что будет множество,

состоящее из строки b, а на деле для строки a появилась строка a.

Мы идем в Hint: Add to empty и понимаем,

какой тест сработал.

Мы сразу понимаем,

у нас должно было быть для a множество, состоящее из строки b, для b множество,

состоящее из строки a, а на самом деле мы видим, какое у нас получиось.

Соответственно, у нас есть дополнительная информация,

которая позволит нам найти баг.

Сейчас-то мы его, конечно, уже знаем, мы его сами допустили,

но на практике это нам очень сильно помогает.

Итак, в этом видео мы с вами внедрили

шаблон AssertEqual во все наши тесты.

Мы теперь нигде не используем стандартный assert и можем его

удалить из используемых модулей нашей программы.

Вот мы его удалили, а она компилируется.

Кроме того, помимо внедрения AssertEqual, мы перегрузили операторы вывода

для set и map и сделали наш зарождающийся фреймворк более функциональным,

он теперь умеет выводить в консоль даже такие сложные типы.

В следующем видео мы продолжим улучшать наш фреймворк.

Внедряем шаблон AssertEqual во все юнит-тесты

Основы разработки на C++: жёлтый пояс

Meet the Instructors