Привет! смотрю лекцию К.Владимирова (https://www.youtube.com/watch?v=9-cIYLs_bQ0&list=PL3BR09unfgcgJPQZKaacwzGmcXMtEA-19&index=7) (20:05) Он пишет: template<typename FwdIter> void destroy(FwdIter first,

Question

Привет! смотрю лекцию К.Владимирова (https://www.youtube.com/watch?v=9-cIYLs_bQ0&list=PL3BR09unfgcgJPQZKaacwzGmcXMtEA-19&index=7) (20:05) Он пишет: template<typename FwdIter> void destroy(FwdIter first,

FwdIter last) {
while(first++ != last)
destroy(&*first);
}
Почему не написать вот так:
template<typename FwdIter>
void destroy(FwdIter first, FwdIter last) {
while(first++ != last)
destroy(first);
}
Зачем &* ?
С помощью boost::typeindex::type_id_with_cvr проверил, что одни и те же типы выводятся.

#c #embedded #programming #russian

0

27.06.2021

10 ответов

20 просмотров

Kelbon

disba1ancer
потому что там итератор может быть, а нужен, видим...

тогда уж std::adressof

0

27.06.2021

Dmitriy [Отпуск]

Kelbon
тогда уж std::adressof

_Unfancy_ptr() ¯\_(ツ)_/¯

0

27.06.2021

Danya🔥

Dmitriy [Отпуск]
_Unfancy_ptr() ¯\_(ツ)_/¯

Вы что, Microsoft STL developer?

0

27.06.2021

Sergey Sobolev

А какой один и тот же тип?

0

27.06.2021

Kirill 🚜

У итератора должен быть перегружен оператор *, который возвращает ссылку на объект Потом через & мы получаем указатель на объект

0

27.06.2021

disba1ancer

Kelbon
тогда уж std::adressof

ну уж оно не так часто нужно

0

27.06.2021

Dmitry Valakas Автор вопроса

Sergey Sobolev
А какой один и тот же тип?

Если написать вот так: template<typename T> void destroy(T* p) { using boost::typeindex::type_id_with_cvr; std::cout << "T = " << type_id_with_cvr<T>().pretty_name() << std::endl; std::cout << "p = " << type_id_with_cvr<decltype(p)>().pretty_name() << std::endl; p->~T(); } И создавать векторы с разными типами: my_vector<int>, my_vector<int*>, my_vector<std::vector<int>>, то при destroy(&*first) и destroy(first) будут одинаковые результаты

0

27.06.2021

Dmitry Valakas Автор вопроса

всем спасибо за помощь!

0

27.06.2021

Sergey Sobolev

Dmitry Valakas
Если написать вот так: template<typename T> void d...

Я может что-то упускаю, но destroy(first) вообще не должен скомпилиться, потому что у него тип FwdIter, а в destroy аргумент T уточнен указателем

0

27.06.2021