Форум программистов, компьютерный форум, киберфорум
С++ для начинающих
Войти
Регистрация
Восстановить пароль
Блоги Сообщество Поиск Заказать работу  
 
 
Рейтинг 5.00/11: Рейтинг темы: голосов - 11, средняя оценка - 5.00
 Аватар для eva2326
1673 / 501 / 107
Регистрация: 17.05.2015
Сообщений: 1,518

Почему ссылки на указатели не являются итераторами?

30.09.2019, 16:30. Показов 2448. Ответов 26

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

Итератор - тип данных, предназначенный для итерирования по элементам коллекций,
и доступа к самим элементам.

Как определить: является ли тип данных итератором?
Самый простой способ, это посмотреть:
определена ли для типа категория итераторов: std::iterator_traits<it>::iterator_category
Если определена - это итератор.

В свою очередь, std::iterator_traits руководствуется требованиями
к так называемым легальным итераторам

Теперь вопрос: почему шаблон std::iterator_traits<it>::iterator_category
не определен для ссылок на указатели?

C++
1
2
using x = std::iterator_traits<int*>::iterator_category; // ok
using z = std::iterator_traits<int*&>::iterator_category; // error
Ссылка на обычный указатель на все 100%
соответствует требованием к "легальным итераторам"

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
template<class t> void dtor(t v)
{
    v.~t();
}
 
int main()
{
    int v = 0;
    int* p = &v;
    int*& r1 = p;
    
    int*& r2 = p;      // CopyConstructible
    r2 = p;            // CopyAssignable
    dtor(r2);          // Destructible
    std::swap(r2, r1); // Swappable
 
    ++r2; // increment
    *r2;  // dereference
}
Ссылку на указатель можно использовать везде,
где используется обычный указатель.

Так почему же тогда ссылка на указатель не признаётся легальным итератором?
0
Programming
Эксперт
39485 / 9562 / 3019
Регистрация: 12.04.2006
Сообщений: 41,671
Блог
30.09.2019, 16:30
Ответы с готовыми решениями:

Почему алгоритм unique_copy не правильно работает с итераторами потоков?
#include &lt;iostream&gt; #include &lt;conio.h&gt; #include &lt;iterator&gt; #include &lt;string&gt; #include &lt;algorithm&gt; #include &lt;vector&gt; using...

Почему Лафоре использует указатели на указатели, вместо обмена значениями указателей?
Доброго времени суток! Задался теоретическим вопросом. Читал пример из книги Лафоре ОБЪЕКТНО-ОРИЕНТИРОВАННОЕ ПРОГРАММИРОВАНИЕ В C++,...

Указатели на указатели с числами. Почему можно присвоить число в 4-ый элемент, если массив из 2 элементов?
Есть массив int **mas; mas=new int*; // выделил место под пять строк, верно ? mas=new int;// выделил для первой строки матрицы два...

26
285 / 176 / 21
Регистрация: 16.02.2018
Сообщений: 666
30.09.2019, 22:40
Цитата Сообщение от eva2326 Посмотреть сообщение
легальным итераторам


Ну и требованию Destructible, очевидно, не удовлетворяет.

Добавлено через 5 часов 48 минут
Цитата Сообщение от rat0r Посмотреть сообщение
требованию Destructible, очевидно, не удовлетворяет.
Оказывается, об этом даже написано в https://en.cppreference.com/w/... structible
Цитата Сообщение от https://en.cppreference.com/w/cpp/named_req/Destructible
Thanks to pseudo destructor call, all scalar types meet the requirement of Destructible, while array types and reference types do not.
0
Эксперт С++
 Аватар для hoggy
8973 / 4319 / 960
Регистрация: 15.11.2014
Сообщений: 9,760
30.09.2019, 23:12
eva2326, ты делаешь :

C++
1
2
3
template<class t> class is_iterator
        {
            using x = ::std::remove_reference_t<t>;
противопоказаний нет.

не смотри на балбесов.
они тебе не скажут, что не так.
потому что сами не знают.
только лыбу идиотскую давить могут.
1
Эксперт С++
 Аватар для hoggy
8973 / 4319 / 960
Регистрация: 15.11.2014
Сообщений: 9,760
01.10.2019, 12:59
этот материал - не для начинающих.
0
285 / 176 / 21
Регистрация: 16.02.2018
Сообщений: 666
01.10.2019, 13:08
Цитата Сообщение от hoggy Посмотреть сообщение
этот материал - не для начинающих
Это простейший вопрос. Ответ на него находится по одному клику по ссылке на странице про лягающиеся итераторы
Миниатюры
Почему ссылки на указатели не являются итераторами?  
0
 Аватар для eva2326
1673 / 501 / 107
Регистрация: 17.05.2015
Сообщений: 1,518
01.10.2019, 13:09  [ТС]
Цитата Сообщение от rat0r Посмотреть сообщение
Это простейший вопрос. Ответ на него находится по одному клику по ссылке на странице про лягающиеся итераторы
...
Цитата Сообщение от eva2326 Посмотреть сообщение
dtor(r2); * * * * *// Destructible

Почему же тогда вы не можете ответить?


Вот обычный указатель вполне себе "деструктивный".
А ссылка - почему то нет.
Почему?

Учитывая что псевдодеструктор для ссылки доступен точно так же,
как и для указателя.
0
285 / 176 / 21
Регистрация: 16.02.2018
Сообщений: 666
01.10.2019, 13:13
Цитата Сообщение от eva2326 Посмотреть сообщение
Почему же тогда вы не можете ответить?
На что я не могу ответить?
На вопрос "Почему ссылки на указатели не являются итераторами?" я ясно ответил: потому что ссылочный тип не удовлетворяет требованию Destructible.
Цитата Сообщение от eva2326 Посмотреть сообщение
псевдодеструктор для ссылки доступен точно так же,
как и для указателя.
Нет.
0
"C with Classes"
2022 / 1404 / 523
Регистрация: 16.08.2014
Сообщений: 5,885
Записей в блоге: 1
01.10.2019, 13:21
Цитата Сообщение от eva2326 Посмотреть сообщение
Ссылка на обычный указатель на все 100%
соответствует требованием к "легальным итераторам"
а указатель это разве итератор?

Добавлено через 3 минуты

Не по теме:

Цитата Сообщение от hoggy Посмотреть сообщение
только лыбу идиотскую давить могут.
а ты чего можешь, всех на свой псевдо истинный путь наставлять и клыки скалить, энергетика у тебя отстой.

0
 Аватар для eva2326
1673 / 501 / 107
Регистрация: 17.05.2015
Сообщений: 1,518
01.10.2019, 13:47  [ТС]
Цитата Сообщение от _stanislav Посмотреть сообщение
а указатель это разве итератор?
Вас это удивляет? )

Вы можете итерироваться: ++ptr.
И получать доступ *ptr

Вполне себе итератор))
0
Комп_Оратор)
Эксперт по математике/физике
 Аватар для IGPIGP
9006 / 4707 / 630
Регистрация: 04.12.2011
Сообщений: 14,003
Записей в блоге: 16
01.10.2019, 13:51
Цитата Сообщение от rat0r Посмотреть сообщение
я ясно ответил: потому что ссылочный тип не удовлетворяет требованию Destructible.
Судя по цитате из стандарта - да. Однако сам факт того что ссылка является типом, это факт неразрешимого логического противоречия. Тип без объекта, - признак интеллекта.
0
 Аватар для eva2326
1673 / 501 / 107
Регистрация: 17.05.2015
Сообщений: 1,518
01.10.2019, 14:07  [ТС]
Цитата Сообщение от rat0r Посмотреть сообщение
На что я не могу ответить?
На мой вопрос.

Вот это:
Цитата Сообщение от rat0r Посмотреть сообщение
Нет.
Не ответ.
Потому что ничего не объясняет.

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

Ну и в чем разница?

Вот это:
Цитата Сообщение от rat0r Посмотреть сообщение
ссылочный тип не удовлетворяет требованию Destructible.
Тоже не является ответом.
Это вообще какой то бред.

Ссылку на указатель можно использовать везде, где используется указатель.

Вот есть утка.
Она плавает как и положено плавать уткам.
Крякает как и положено крякать уткам.
И может быть использована везде, где используются утки.

Но она - не утка.
Потому что Destructible

Вам Destructible или крякать?
0
285 / 176 / 21
Регистрация: 16.02.2018
Сообщений: 666
01.10.2019, 14:30
Цитата Сообщение от eva2326 Посмотреть сообщение
На мой вопрос.
Вот это:
Цитата Сообщение от rat0r Посмотреть сообщение
Нет.
Не ответ.
Совершенно верно. "Нет" это не ответ на твой вопрос.
Ответ на твой вопрос
Цитата Сообщение от rat0r Посмотреть сообщение
потому что ссылочный тип не удовлетворяет требованию Destructible.
Цитата Сообщение от eva2326 Посмотреть сообщение
В нульпосте я привела фрагмент кода,
который наглядно иллюстрирует,
что для ссылочного типа псевдодеструктор доступен точно так же,
как и для указательного типа.
Ниже я привожу фрагмент кода,
который наглядно иллюстрирует,
что два плюс два равно пяти,
как и четырём.
C++
1
2
3
4
5
6
7
8
9
#include <iostream>
using namespace std;
 
int main()
{
  int dva_plus_dva = 2 + 2;
  if (dva_plus_dva = 5) cout << "Равно пяти\n";
  if (dva_plus_dva = 4) cout << "Равно четырём\n";
}
Цитата Сообщение от eva2326 Посмотреть сообщение
Вот это:
Цитата Сообщение от rat0r Посмотреть сообщение
ссылочный тип не удовлетворяет требованию Destructible.
Тоже не является ответом.
Это вообще какой то бред.
Почему это бред?

Цитата Сообщение от eva2326 Посмотреть сообщение
Вам Destructible или крякать?
Покрякай.
0
 Аватар для eva2326
1673 / 501 / 107
Регистрация: 17.05.2015
Сообщений: 1,518
01.10.2019, 14:42  [ТС]
Цитата Сообщение от rat0r Посмотреть сообщение
Почему это бред?
Что делает птицу птицей? Её способность летать.
Что делать рыбу рыбой? Её способность плавать в воде.

Что делает итератор итератором?
Деструктор, который у ссылок доступен точно как же, как и для указателей.
Или возможность итерироваться по элементам коллекции и получать к ним доступ?

Цитата Сообщение от rat0r Посмотреть сообщение
Ответ на твой вопрос
Вы в состоянии объяснить почему ссылка не является итератором?
Что не так с деструктором?

Или вы можете только повторять как попугай надписи на заборе,
без понимания сути?

Цитата Сообщение от rat0r Посмотреть сообщение
Ниже я привожу фрагмент кода,
который наглядно иллюстрирует,
что два плюс два равно пяти,
как и четырём.
Мой код показывает, что для ссылочного типа деструктор доступен точно так же,
как и для указательного.

Что не так?
0
285 / 176 / 21
Регистрация: 16.02.2018
Сообщений: 666
01.10.2019, 14:46
Цитата Сообщение от eva2326 Посмотреть сообщение
Мой код показывает, что для ссылочного типа деструктор доступен точно так же,
как и для указательного.
Что не так?
То, что он "показывает" не для ссылочного типа.
C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
#include <type_traits>
#include <iostream>
 
template<class t> void dtor(t v)
{
    boolalpha(std::cout);
    std::cout << std::is_reference_v<t> << '\n';
    v.~t();
}
 
int main()
{
    int* p;
    int*& r2 = p;
    dtor(r2);
}
Вывод
Code
1
false
https://wandbox.org/permlink/50RUjZnFLZ6AdAhz
0
 Аватар для eva2326
1673 / 501 / 107
Регистрация: 17.05.2015
Сообщений: 1,518
01.10.2019, 14:51  [ТС]
Цитата Сообщение от rat0r Посмотреть сообщение
То, что он "показывает" не для ссылочного типа.
C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
#include <type_traits>
#include <iostream>
 
template<class t> void dtor(t& v)
{
    v.~t();
}
 
int main()
{
    int* p;
    int*& r2 = p;
    dtor(r2);
}
Вы не знаете, что не так с деструктором.
У вас нет ответа.
0
285 / 176 / 21
Регистрация: 16.02.2018
Сообщений: 666
01.10.2019, 14:54
Цитата Сообщение от eva2326 Посмотреть сообщение
C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
#include <type_traits>
#include <iostream>
 
template<class t> void dtor(t& v)
{
    v.~t();
}
 
int main()
{
    int* p;
    int*& r2 = p;
    dtor(r2);
}
std::is_reference_v<t> по-прежнему false.

Кликните здесь для просмотра всего текста
Походу это реально "троллинг" тупостью.
0
 Аватар для eva2326
1673 / 501 / 107
Регистрация: 17.05.2015
Сообщений: 1,518
01.10.2019, 14:58  [ТС]
Цитата Сообщение от rat0r Посмотреть сообщение
Походу это реально троллинг тупостью.
Действительно тупость.

От вас я такого не ожидала:
Цитата Сообщение от rat0r Посмотреть сообщение
std::is_reference_v<t> по-прежнему false.


C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
#include <type_traits>
#include <iostream>
 
template<class t> void dtor(t& v)
{
    boolalpha(std::cout);
    std::cout << std::is_reference<decltype(v)>::value << '\n';    
    v.~t();
}
 
int main()
{
    int* p;
    int*& r2 = p;
    dtor(r2);
}
Жаль что вы не знаете ответа на простейший вопрос)
0
285 / 176 / 21
Регистрация: 16.02.2018
Сообщений: 666
01.10.2019, 14:59
Цитата Сообщение от eva2326 Посмотреть сообщение
Жаль что вы не знаете ответа на простейший вопрос)
Сначала покрякай — потом ответ)
0
 Аватар для eva2326
1673 / 501 / 107
Регистрация: 17.05.2015
Сообщений: 1,518
01.10.2019, 15:00  [ТС]
Цитата Сообщение от rat0r Посмотреть сообщение
Сначала покрякай — потом ответ)
У вас нет ответа.
0
285 / 176 / 21
Регистрация: 16.02.2018
Сообщений: 666
01.10.2019, 15:01
eva2326, а зачем предлагала крякать тогда?
0
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
inter-admin
Эксперт
29715 / 6470 / 2152
Регистрация: 06.03.2009
Сообщений: 28,500
Блог
01.10.2019, 15:01
Помогаю со студенческими работами здесь

Почему declarations в C не являются statements, а в C++ являются
Сабж. Очень мучает этот вопрос. Определенно есть какие-то концептуальные изменения в поведении компилятора, но я нигде не нашел информации...

Ссылки и указатели
Добрый день. Возможно было. В чем существенная разница между передачей данных в функцию по ссылке или указателю. В каких случаях вы бы...

Ссылки и указатели
Всем привет. Совсем запутался с ссылками и указателями. Помогите решать задачку: Функция принимает два аргумента, число с плавающей...

Указатели и Ссылки
извеняюсь,но никак не могу понять. int sum(int* inLeft, int* inRight) { if(inLeft == inRight) return *inLeft; ...

Ссылки и указатели
Добрый день, не могу понять чем помогают при использовании указатели и ссылки? Есть код на c++ #progma once class well { ...


Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
20
Ответ Создать тему
Новые блоги и статьи
SDL3 для Web (WebAssembly): Реализация движения на Box2D v3 - трение и коллизии с повёрнутыми стенами
8Observer8 20.02.2026
Содержание блога Box2D позволяет легко создать главного героя, который не проходит сквозь стены и перемещается с заданным трением о препятствия, которые можно располагать под углом, как верхнее. . .
Конвертировать закладки radiotray-ng в m3u-плейлист
damix 19.02.2026
Это можно сделать скриптом для PowerShell. Использование . \СonvertRadiotrayToM3U. ps1 <path_to_bookmarks. json> Рядом с файлом bookmarks. json появится файл bookmarks. m3u с результатом. # Check if. . .
Семь CDC на одном интерфейсе: 5 U[S]ARTов, 1 CAN и 1 SSI
Eddy_Em 18.02.2026
Постепенно допиливаю свою "многоинтерфейсную плату". Выглядит вот так: https:/ / www. cyberforum. ru/ blog_attachment. php?attachmentid=11617&stc=1&d=1771445347 Основана на STM32F303RBT6. На борту пять. . .
Камера Toupcam IUA500KMA
Eddy_Em 12.02.2026
Т. к. у всяких "хикроботов" слишком уж мелкий пиксель, для подсмотра в ESPriF они вообще плохо годятся: уже 14 величину можно рассмотреть еле-еле лишь на экспозициях под 3 секунды (а то и больше),. . .
И ясному Солнцу
zbw 12.02.2026
И ясному Солнцу, и светлой Луне. В мире покоя нет и люди не могут жить в тишине. А жить им немного лет.
«Знание-Сила»
zbw 12.02.2026
«Знание-Сила» «Время-Деньги» «Деньги -Пуля»
SDL3 для Web (WebAssembly): Подключение Box2D v3, физика и отрисовка коллайдеров
8Observer8 12.02.2026
Содержание блога Box2D - это библиотека для 2D физики для анимаций и игр. С её помощью можно определять были ли коллизии между конкретными объектами и вызывать обработчики событий столкновения. . . .
SDL3 для Web (WebAssembly): Загрузка PNG с прозрачным фоном с помощью SDL_LoadPNG (без SDL3_image)
8Observer8 11.02.2026
Содержание блога Библиотека SDL3 содержит встроенные инструменты для базовой работы с изображениями - без использования библиотеки SDL3_image. Пошагово создадим проект для загрузки изображения. . .
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2026, CyberForum.ru