Замечания по StringStack

[alexey-malov]

void CStringStack::CopyStackItems(CStringStack const& stack)
{
    if (!stack.IsEmpty())
    {
        std::shared_ptr<StackItem> copiedItem = stack.m_top;

        m_top = std::make_shared<StackItem>(*copiedItem);
        auto pasteItem = m_top;

        pasteItem->stringContent = copiedItem->stringContent;

        while (copiedItem->next != nullptr)
        {
            pasteItem->next = std::make_shared<StackItem>(*copiedItem->next); // (1)

            copiedItem = copiedItem->next;
            pasteItem = pasteItem->next;
        }

        m_stackSize = stack.m_stackSize;
    }
}

• [ ] Надо в начале метода поставить assert(IsEmpty());, т.к. иначе может произойти переполнение стека из-за удаления m_top

• [ ] Если в (1) выбросится исключение, то:

• прежние данные стека окажутся потерянными, т.к. мы уже вызвали Clear()

• размер стека не будет соответствовать количеству элементов в нём (останется старым)

bool CStringStack::IsEmpty() const
{
    return (m_stackSize == 0);
}

void CStringStack::Clear()
{
    while (!IsEmpty())
    {
        Pop();
    }
}

• [ ] Нарушение консистентности стека (m_size не соответствует реальному количеству элементов) может привести:
• к удалению меньшего количества элементов в Clear() и переполнению стека из-за цепочки вызова деструкторов элементов
• к попытке удаления бОльшего количества элементов, чем есть, что приведёт к выбросу исключения из Clear(). А если Clear() будет вызван из деструктора, то программа будет прибита.

[AniSkyWorker]

• [ ] передаем по константным ссылкам или значению - const std::string str
• [ ] непонятные и, возможно, не нужный кусок кода element->next = std::make_unique<StackItem>(node->data, nullptr); element = std::move(element->next);
• [ ] доработать тесты таким образом, чтобы тестировалось содержимое стэка: методы: Push, Pop, копирование и перемещение стэка, должны должны проверять содержимое до совершения операции, сравнивать с полученным после. Следует расширить и доработать текущие тесты. Учесть то, что в может быть больше чем 1 элемент.

[oMystique]

• [ ] При копировании следует проверить адреса (они не должны быть равными)