Что означает двойное двоеточие в vector<int>::iterator it ?

@IvanPryamoy · Регистрация: 02.01.2013

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

Никак не могу понять как взаимоувязаны две сущности: контейнеры и итераторы.

C++
1
vector<int>::iterator it;

Если бы это было определение функции шаблона класса "vector" или слева от "iterator it" стояло бы пространство имен, то было бы понятно. Но подобного синтаксиса я понять не могу.

Какова взаимная структура двух сущностей, что это требует подобного синтаксиса?

Croessmah · 12.01.2013, 09:32

Scope Resolution Operator

@Kastaneda · 12.01.2013, 09:33

Знакомо понятие "вложенный класс" ? Это оно и есть, поэтому и нужен оператор ::.
Пример

C++
1
2
3
4
5
6
7
8
9
10
class A
{
public:
   class B{};
};
 
int main()
{
   A::B ob; // создаем переменную класса В, вложенного в класс А
}

@IvanPryamoy · 12.01.2013, 10:16 **[ТС]**

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

Знакомо понятие "вложенный класс" ? Это оно и есть, поэтому и нужен оператор ::.
Пример

C++
1
2
3
4
5
6
7
8
9
10
class A
{
public:
   class B{};
};
 
int main()
{
   A::B ob; // создаем переменную класса В, вложенного в класс А
}

Я так и догадывался

Нашел, что этот фокус- покус (двойное двоеточие) применим при любых новых типах, определенных в классе. Например с помощью ключевого слова "typedef"

@fasked · 12.01.2013, 19:30

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

при любых новых типах, определенных в классе

Дело не в типе.

@IvanPryamoy · 12.01.2013, 21:35 **[ТС]**

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

Дело не в типе.

Сказал "А"- говори "Б"

@0x10 · 12.01.2013, 21:43

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

Сказал "А"- говори "Б"

Уже было сказано выше, по ссылке на msdn. Цитирую:
:: identifier
class-name :: identifier
namespace :: identifier

По-русски можно обозвать "оператор разрешения области видимости". Первая строчка - явное обращение к идентификатору в глобальной области видимости. Вторая и третья - внутри класса и пространства имен соответственно. Ключевое слово - идентификатор. И это не обязательно тип.

go · 19.01.2013, 15:39

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

Сказал "А"- говори "Б"

Это оператор разрешения. Если совсем просто, то в примере Kastaneda есть вложенный класс. Так первый класс для него выполняет своеобразное пространство имен.

@kovalexius · 10.10.2014, 20:15

Вопрос посложнее. (насчет оператора расширения видимости и не только)
Что означает это:

C++
1
2
3
4
struct S{};
void main() 
{ 
  int S::*ptm;

alsav22 · 10.10.2014, 20:23

Указатель на поле типа int, структуры S.

@kovalexius · 10.10.2014, 20:31

Поподробней можно?

Добавлено через 3 минуты
структура то пустая.
А если непустая даже то все равно не понимаю смысла.
Если "Указатель на поле типа int" то указатель на какое поле?
На любое типа int структуры S?

alsav22 · 10.10.2014, 20:50

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

Поподробней можно? Добавлено через 3 минуты
структура то пустая.
А если непустая даже то все равно не понимаю смысла.
Если "Указатель на поле типа int" то указатель на какое поле?
На любое типа int структуры S?

Вот так понятно?

C++
1
int* ptm;

Где int? Какой int? Неважно, прсто указатель на тип int. Так же и здесь, только указатель на:

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

На любое типа int структуры S?

Потом ему можно будет присвоить адрес конкретного поля int, структуры S.

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

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
    struct S
    {
        int a;
        int b;
    
    };
 
    int S::*ptm;
    ptm = &S::a;
    S s;
    s.*ptm = 3; // a = 3;
    ptm = &S::b;
    s.*ptm = 4; // b = 4;

@kovalexius · 10.10.2014, 20:58

Ясно, спасибо!

alsav22 · 10.10.2014, 21:11

Не по теме:

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

Ясно, спасибо!

Сасибо не булькает...

Вот один из примеров применения:
Как передать в функцию указание работы с конкретным полем структуры?

@kovalexius · 10.10.2014, 21:32

Я понял.
Еще одно проявление т.н. "статического полиморфизма" можно сотворить. Этот указатель по идее как бы частичный - он указывает на определенное поле любого экземпляра (проще говоря смещение поля относительно начала объекта). А для доступа к конкретному полю используется как бы недостающая часть - указатель (неявный this, - то что "s." или "edata[i]." в примере по ссылке) на конкретный объект, агрегирующий в себе определенное поле.

@DrOffset · 10.10.2014, 21:42

kovalexius, совершенно верно. Именно поэтому его можно передавать в качестве аргумента шаблона.

C++
1
2
template <typename T, int T::* F>
void foo(T * p);

Этот указатель известен на этапе компиляции.

@kovalexius · 10.10.2014, 22:32

А вот контрактная функция, принимающая указание

C++
1
2
3
4
5
6
7
8
template<class T, class U>
void EditData( T *edata, U T::*field, const U& value )
{
    for(int i = 0; i < NUM; i++)
    {
        edata[i].*field = value; 
    }
}

Инициализирует поле значением value

Применение:

C++
1
2
DATA *datas = new DATA[NUM];
EditData< DATA, string >( datas, &DATA::x1, string("1234") );

Новые блоги и статьи Все статьи Все блоги /
Access VikBal 11.12.2025 Помогите пожалуйста !! Как объединить 2 одинаковые БД Access с разными данными.	Новый ноутбук volvo 07.12.2025 Всем привет. По скидке в "черную пятницу" взял себе новый ноутбук Lenovo ThinkBook 16 G7 на Амазоне: Ryzen 5 7533HS 64 Gb DDR5 1Tb NVMe 16" Full HD Display Win11 Pro	Музыка, написанная Искусственным Интеллектом volvo 04.12.2025 Всем привет. Некоторое время назад меня заинтересовало, что уже умеет ИИ в плане написания музыки для песен, и, собственно, исполнения этих самых песен. Стихов у нас много, уже вышли 4 книги, еще 3. . .	От async/await к виртуальным потокам в Python IndentationError 23.11.2025 Армин Ронахер поставил под сомнение async/ await. Создатель Flask заявляет: цветные функции - провал, виртуальные потоки - решение. Не threading-динозавры, а новое поколение лёгких потоков. Откат?. . .	Поиск "дружественных имён" СОМ портов Argus19 22.11.2025 Поиск "дружественных имён" СОМ портов На странице: https:/ / norseev. ru/ 2018/ 01/ 04/ comportlist_windows/ нашёл схожую тему. Там приведён код на С++, который показывает только имена СОМ портов, типа,. . .
Сколько Государство потратило денег на меня, обеспечивая инсулином. Programma_Boinc 20.11.2025 Сколько Государство потратило денег на меня, обеспечивая инсулином. Вот решила сделать интересный приблизительный подсчет, сколько государство потратило на меня денег на покупку инсулинов. . . .	Ломающие изменения в C#.NStar Alpha Etyuhibosecyu 20.11.2025 Уже можно не только тестировать, но и пользоваться C#. NStar - писать оконные приложения, содержащие надписи, кнопки, текстовые поля и даже изображения, например, моя игра "Три в ряд" написана на этом. . .	Мысли в слух kumehtar 18.11.2025 Кстати, совсем недавно имел разговор на тему медитаций с людьми. И обнаружил, что они вообще не понимают что такое медитация и зачем она нужна. Самые базовые вещи. Для них это - когда просто люди. . .	Создание Single Page Application на фреймах krapotkin 16.11.2025 Статья исключительно для начинающих. Подходы оригинальностью не блещут. В век Веб все очень привыкли к дизайну Single-Page-Application . Быстренько разберем подход "на фреймах". Мы делаем одну. . .	Фото: Daniel Greenwood kumehtar 13.11.2025

Croessmah Неэпический 18144 / 10728 / 2066 Регистрация: 27.09.2012 Сообщений: 27,026 Записей в блоге: 1
	12.01.2013, 09:32
	Scope Resolution Operator 1

alsav22 5499 / 4894 / 831 Регистрация: 04.06.2011 Сообщений: 13,587
	10.10.2014, 20:23
	Указатель на поле типа int, структуры S. 0

@kovalexius 1 / 1 / 0 Регистрация: 10.10.2014 Сообщений: 7
	10.10.2014, 20:31
	Поподробней можно? Добавлено через 3 минуты структура то пустая. А если непустая даже то все равно не понимаю смысла. Если "Указатель на поле типа int" то указатель на какое поле? На любое типа int структуры S? 0

@kovalexius 1 / 1 / 0 Регистрация: 10.10.2014 Сообщений: 7
	10.10.2014, 20:58
	Ясно, спасибо! 0

@kovalexius 1 / 1 / 0 Регистрация: 10.10.2014 Сообщений: 7
	10.10.2014, 21:32
	Я понял. Еще одно проявление т.н. "статического полиморфизма" можно сотворить. Этот указатель по идее как бы частичный - он указывает на определенное поле любого экземпляра (проще говоря смещение поля относительно начала объекта). А для доступа к конкретному полю используется как бы недостающая часть - указатель (неявный this, - то что "s." или "edata[i]." в примере по ссылке) на конкретный объект, агрегирующий в себе определенное поле. 0