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

@eva2326 · Регистрация: 17.05.2015

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

Привет))

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

Как определить: является ли тип данных итератором?
Самый простой способ, это посмотреть:
определена ли для типа категория итераторов: 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
}

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

Так почему же тогда ссылка на указатель не признаётся легальным итератором?

@TRam_ · 01.10.2019, 15:08

Сообщение от eva2326

Вы не знаете, что не так с деструктором.

В данном случае от вас просят вызвать деструктор именно для decltype(v), а не ~t()

@eva2326 · 01.10.2019, 15:15 **[ТС]**

Сообщение от TRam_

В данном случае от вас просят вызвать деструктор именно для decltype(v), а не ~t()

Зачем это нужно?
Без этого итератор никак не сможет итерироваться?

@TRam_ · 01.10.2019, 15:39

Потому что в любом из вышеприведённых листингов std::is_same<t, int*>::value == true

Добавлено через 1 минуту
А спрашиваете о int *&

Добавлено через 16 минут
В общем речь об этом:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
#include <type_traits>
#include <iostream>
 
template<class t> void dtor(t &v)
{
    using q1 = typename std::add_lvalue_reference_t<t>;
    
    std::cout << std::is_reference_v<q1> << ' ' << std::is_same_v<q1, int*&> << ' ' << std::is_same_v<q1, decltype(v)> << '\n';
//    v.~q1(); //error: 'v' is not of type 'q1' {aka 'int*&'} 
}
 
int main()
{
    boolalpha(std::cout);
    int* p;
    int*& r2 = p;
    dtor(r2);
}

выводит true true true

Добавлено через 4 минуты
В максимально упрощённом:

C++
1
2
3
4
5
6
7
8
9
10
11
#include <type_traits>
#include <iostream>
 
int main()
{ 
    using int_ref_t = typename std::add_lvalue_reference_t<int>;
    
    int a;
    int_ref_t ref_a = a;
    ref_a.~int_ref_t();  // 'ref_a' is not of type 'int_ref_t' :)
}

@eva2326 · 01.10.2019, 16:46 **[ТС]**

Сообщение от TRam_

В общем речь об этом:

Я поняла, что вы имеете ввиду.

Перефразирую вопрос.

К итераторам есть требования.
В числе этих требований - доступность деструктора.

Вот с чем связанно это требование?

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

@_stanislav · 01.10.2019, 16:51

Сообщение от eva2326

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

наверно он без деструктора не будет считаться объектом полноценным, или типа того

Добавлено через 49 секунд
может быть тут замешаны принципы ООП и все такое ...

@Azazel-San · 01.10.2019, 17:02

Сообщение от _stanislav

наверно он без деструктора не будет считаться объектом полноценным, или типа того

Та потому, что кроме итерирования к итераторам есть еще и другие требования, но это не имеет значения т.к. ссылка не объект, а сами итераторы это обертки над указателями в первую очередь)

Сообщение от _stanislav

может быть тут замешаны принципы ООП и все такое ...

Ясно что нет

@_stanislav · 01.10.2019, 17:06

Сообщение от Azazel-San

Ясно что нет

даже косвенно? или даже косвенно-косвенно?

Новые блоги и статьи Все статьи Все блоги /
BitTorrent (версия 4.3.9) и Меню Настройки russiannick 15.11.2026 В меню Настройки можно отключить автоматическое обновление программы. Карта этого меню приложена ниже. Нужный пункт выделен красным. Сервис Настройки Поведение	Транслитерация текста с кириллицы на латиницу (вариант №3) Maks 15.11.2026 Обновленная версия предыдущей обработки. Изменения коснулись букв: Ъ, Ы, Ь, Э, отображения которых зависят от положения реквизита "Транслитерация имён". Изменено отображение буквы Й. Добавлена. . .	Транслитерация текста с кириллицы на латиницу (вариант №2) Maks 13.11.2026 Обновленная версия ранее созданной обработки. Добавлено: - Проверка исходного текста на кириллицу, через обращение к стандартной функции "ТолькоКириллицаВСтроке" из общего модуля. . .	Часы с термометром и праздничным календарем yariko 12.11.2026 Сегодня мы рассмотрим как можно сделать отличные многофункциональные часы. Итак, поставим конкретную задачу: разработать часы с календарем, двумя термодатчиками, выводом поздравительных сообщений. . .
Транслитерация текста с кириллицы на латиницу (вариант №1) Maks 11.11.2026 Решил облегчить жизнь себе и коллегам админам при создании электронных почтовых ящиков для пользователей, в результате написал обработку "Транслитерация текста" с кириллицы на латиницу, а в ней. . .	Книги по геймдизайну, левел-дизайну, игровым механикам и проектированию игрового опыта 8Observer8 08.11.2026 Содержание блога \| English Version 1. 2003 - 06 - Designing Virtual Worlds (1st Edition) Автор: Richard A. Bartle \| Объем: 768 стр. Ссылки: Amazon . . .	Как только я захожу к себе в свою комнату я сразу же с себя снимаю свои трусы. Ответ от Джемени ИИ. zorxor 08.11.2026 Джемени, как только я захожу к себе в свою комнату я сразу же с себя снимаю свои трусы. Многие люди, возвращаясь домой, сразу переодеваются в максимально свободную одежду или вовсе предпочитают. . .	Паттерн очереди действий/команд (Action / Command Queue). Система очереди действий и кат-сцен с SDL3 Callbacks, cglm и OpenGL 8Observer8 07.11.2026 Содержание блога \| English Version Руководство для начинающих по реализации паттерна очереди действий/ команд (Action / Command Queue) на C++ (C++20) с использованием официального SDL3 Callbacks. . .