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

[alexey-malov]

2>  1
2>c:/teaching/2016/ips/lihachev/oop2016/lab7/myarraytests/myarraytests.cpp(155): error : in "MyArray/can_use_iterators_to_loop_array/_forward_and_backward_using_rbegin_and_rend": check it->value == t has failed [1 != 3]
2>  0
2>c:/teaching/2016/ips/lihachev/oop2016/lab7/myarraytests/myarraytests.cpp(155): error : in "MyArray/can_use_iterators_to_loop_array/_forward_and_backward_using_rbegin_and_rend": check it->value == t has failed [0 != 4]
2>

• [x] Не проходят тесты

2>c:\sdk\2012\boost_1_61_0\include\boost\test\tools\old\impl.hpp(107): warning C4389: '==': signed/unsigned mismatch
2>  c:\sdk\2012\boost_1_61_0\include\boost\test\tools\old\impl.hpp(130): note: see reference to function template instantiation 'boost::test_tools::assertion_result boost::test_tools::tt_detail::equal_impl<std::Left,Right>(const Left &,const Right &)' being compiled
2>          with
2>          [
2>              Left=std::size_t,
2>              Right=int
2>          ]
2>  c:\sdk\2012\boost_1_61_0\include\boost\test\tools\old\impl.hpp(145): note: see reference to function template instantiation 'boost::test_tools::assertion_result boost::test_tools::tt_detail::equal_impl_frwd::call_impl<std::Left,Right>(const Left &,const Right &,boost::mpl::false_) const' being compiled
2>          with
2>          [
2>              Left=std::size_t,
2>              Right=int
2>          ]
2>  c:\sdk\2012\boost_1_61_0\include\boost\test\tools\old\impl.hpp(92): note: see reference to function template instantiation 'boost::test_tools::assertion_result boost::test_tools::tt_detail::equal_impl_frwd::operator ()<std::Arg0,Arg1>(const Left &,const Right &) const' being compiled
2>          with
2>          [
2>              Arg0=std::size_t,
2>              Arg1=int,
2>              Left=std::size_t,
2>              Right=int
2>          ]
2>  c:\teaching\2016\ips\lihachev\oop2016\lab7\myarraytests\myarraytests.cpp(75): note: see reference to function template instantiation 'bool boost::test_tools::tt_detail::check_frwd<boost::test_tools::tt_detail::equal_impl_frwd,std::size_t,int>(Pred,const boost::unit_test::lazy_ostream &,boost::unit_test::const_string,std::size_t,boost::test_tools::tt_detail::tool_level,boost::test_tools::tt_detail::check_type,const Arg0 &,const char *,const Arg1 &,const char *)' being compiled
2>          with
2>          [
2>              Pred=boost::test_tools::tt_detail::equal_impl_frwd,
2>              Arg0=std::size_t,
2>              Arg1=int
2>          ]

• [ ] при сборке выдаются предупреждения

[alexey-malov]

new (m_end) T (value);

• [x] Знать и уметь объяснить, что означает данная строчка кода

[alexey-malov]

    T& operator[](size_t index)
    {
        if (index >= GetSize())
        {
            throw std::out_of_range("Index out of range");
        }
        return *(m_begin + index);
    }

• [x] Понимать и уметь объяснить, почему оператор [] в массиве возвращает ссылку на элемент, а не значение

[alexey-malov]

    void Clear()
    {
        DeleteItems(m_begin, m_end);
        m_begin = nullptr;
        m_end = nullptr;
        m_endOfCapacity = nullptr;
    }

• [x] DeleteItems разрушает элементы и освобождает выделенную под их хранение память. Лучше реализовать Clear без освобождения выделеной памяти (оставить размер равным 0, а вместимость не менять). Это позволит уменьшить количество реаллокаций при повторном использовании массива.

[alexey-malov]

• [x] Разобраться и уметь объяснить, для чего в MyArray мы явно вызываем деструкторы, хотя при обычной работе с объектами мы этого не делаем.

[alexey-malov]

        T *p = static_cast<T*>(malloc(memSize));

• [x] Для чего результат malloc кастуется к типу T * ? Так ли это необходимо? И почему?

[alexey-malov]

• [x] Не реализован метод Resize()

[alexey-malov]

template<typename T>
class CMyIterator : public std::iterator<std::bidirectional_iterator_tag, T>

• [x] У масства должен быть итератор произвольного доступа, т.к. элементы хранятся последовательно.

[alexey-malov]

• [x] Деструктор для итератора не нужен, т.к. итератор не владеет памятью контейнера. Имело бы смысл делать деструктор в итераторе, если бы он для целей отладки сообщал своему контейнеру о своем разрушении, а контейнер бы вел учет "живых" итераторов и помечал их как невалидные после выполнения операций, делающих их невалидными.

• [ ] По сходной причине не нужен конструктор копирования и оператор присваивания для итератора, т..к все, что делает ваш конструктор, сделал бы и сгенерированный комилятором конструктор копирования и оператор присваивания

[alexey-malov]

• [x] Операторы сравнения итераторово должны быть константными

[alexey-malov]

• [x] Код части операций над итератором не покрыт тестами

[alexey-malov]

• [x] Т.к. у массива должен быть итератор произвольного доступа, надо реализовать операции адресной арифметики:

• Сложение итератора с числом и числа с итератором дает

• Разность итераторов дает число

• Разность итератора и числа дает итератор

• Кроме + и - должны быть соответствующие операции += и -=

[alexey-malov]

• [x] Методы begin и end, а также rbegin и rend должны иметь константные версии, которые бы возвращали аналог crbegin/crend/cbegin/cend

• [ ] Для них должны быть написаны тесты. (приводите массив к const CMyArray& и вызывайте их:

  CMyArray<int> arr;
  CMyArray<int> const& carr = arr;

  операции над carr будут вызывать коснтантные версии методов.

[alexey-malov]

2>c:\teaching\2016\ips\lihachev\oop2016\lab7\myarraytests\myarraytests.cpp(96): warning C4267: 'initializing': conversion from 'size_t' to 'int', possible loss of data
2>c:\teaching\2016\ips\lihachev\oop2016\lab7\myarraytests\myarraytests.cpp(139): warning C4267: '=': conversion from 'size_t' to 'int', possible loss of data
2>c:\teaching\2016\ips\lihachev\oop2016\lab7\myarraytests\myarraytests.cpp(170): warning C4267: 'initializing': conversion from 'size_t' to 'int', possible loss of data
2>c:\teaching\2016\ips\lihachev\oop2016\lab7\myarraytests\myarraytests.cpp(171): warning C4267: 'initializing': conversion from 'size_t' to

• [ ] Программа должна компилироваться без предупреждений компилятора во всех конфигурациях и платформах.

[alexey-malov]

    void Clear()
    {
        DestroyItems(m_begin, m_end);
    }

• [ ] m_end надо сбрасывать в m_begin. В тестах проверить эту ситуацию (после Clear()) размер должен обнулиться

[alexey-malov]

    void Resize()
    {
        m_end = m_endOfCapacity;
    }

• [ ] СУществующие код не работает

• [ ] Resize должен принимать количество аргументов. Если оно меньше, чем size, то лишние элементы должны удалиться (выкапывание картошник). End должен передвинуться в конец заполненной области. Если оно равно size, то ничего не делаем. Если оно между size и capacity (включительно), то область между end и new end Должна заполниться значениями по умолчанию Если она больше чем capacity, надо выделить новую память, скопировать туда сущесествующие элементы, заполнить остальное значениями по умолчанию, потом удалить старое.

[alexey-malov]

• [ ] Добавить в проекты недостающие хидеры

[alexey-malov]

• [ ] Не реализован оператор -=

[alexey-malov]

    CMyIterator& operator-(CMyIterator<T> const & other) const
    {
        return m_pointer - other.m_pointer;
    }

• [ ] должен возвращаться ptrdiff_t

[alexey-malov]

    CMyIterator& operator=(const CMyIterator & it)
    {
        m_pointer = it.m_pointer;
        return *this;
    }
    T& operator[](ptrdiff_t index) const
    {
        return *(m_pointer + index);
    }

    CMyIterator& operator+=(ptrdiff_t n)
    { 
        m_ptr += n;
        return *this;
    }

    CMyIterator& operator-=(ptrdiff_t n)
    { 
        return *this += -n;
    }
    CMyIterator const operator+(ptrdiff_t n) const
    {
        return m_pointer + n;
    }

    CMyIterator& operator-(CMyIterator<T> const & other) const
    {
        return m_pointer - other.m_pointer;
    }

    bool operator<(CMyIterator const& other) const
    {
        return m_pointer < other.m_pointer;
    }

    bool operator>(CMyIterator const& other) const
    {
        return m_pointer > other.m_pointer;
    }

    bool operator<=(CMyIterator const& other) const
    {
        return m_pointer <= other.m_pointer;
    }

    bool operator>=(CMyIterator const& other) const
    {
        return m_pointer >= other.m_pointer;
    }

    CMyIterator operator-(ptrdiff_t n) const
    {
        return m_pointer - n;
    }

• [ ] код этих операций не покрыт тестами