Что означает двойное двоеточие в 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") );

Новые блоги и статьи Все статьи Все блоги /
Символические и жёсткие ссылки в Linux. algri14 15.03.2026 Существует два типа ссылок — символические и жёсткие. Ссылка в Linux — это запись в каталоге, которая может указывать либо на inode «файла-ИСТОЧНИКА», тогда это будет «жёсткая ссылка» (hard link),. . .	[Owen Logic] Поддержание уровня воды в резервуаре количеством включённых насосов: моделирование и выбор регулятора ФедосеевПавел 14.03.2026 Поддержание уровня воды в резервуаре количеством включённых насосов: моделирование и выбор регулятора ВВЕДЕНИЕ Выполняя задание на управление насосной группой заполнения резервуара,. . .	делаю науч статью по влиянию грибов на сукцессию anaschu 13.03.2026 прикрепляю статью	SDL3 для Desktop (MinGW): Создаём пустое окно с нуля для 2D-графики на SDL3, Си и C++ 8Observer8 10.03.2026 Содержание блога Финальные проекты на Си и на C++: hello-sdl3-c. zip hello-sdl3-cpp. zip Результат:
Установка CMake и MinGW 13.1 для сборки С и C++ приложений из консоли и из Qt Creator в EXE 8Observer8 10.03.2026 Содержание блога MinGW - это коллекция инструментов для сборки приложений в EXE. CMake - это система сборки приложений. Здесь описаны базовые шаги для старта программирования с помощью CMake и. . .	Как дизайн сайта влияет на конверсию: 7 решений, которые реально повышают заявки Neotwalker 08.03.2026 Многие до сих пор воспринимают дизайн сайта как “красивую оболочку”. На практике всё иначе: дизайн напрямую влияет на то, оставит человек заявку или уйдёт через несколько секунд. Даже если у вас. . .	Модульная разработка через nuget packages DevAlt 07.03.2026 Сложившийся в . Net-среде способ разработки чаще всего предполагает монорепозиторий в котором находятся все исходники. При создании нового решения, мы просто добавляем нужные проекты и имеем. . .	Модульный подход на примере F# DevAlt 06.03.2026 В блоге дяди Боба наткнулся на такое определение: В этой книге («Подход, основанный на вариантах использования») Ивар утверждает, что архитектура программного обеспечения — это структуры,. . .

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

alsav22 5500 / 4895 / 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