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

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

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

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

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++

class A
{
public:
   class B{};
};
 
int main()
{
   A::B ob; // создаем переменную класса В, вложенного в класс А
}

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

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

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

C++

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++

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++

int* ptm;

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

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

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

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

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

C++

    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++

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") );

Croessmah Неэпический 18091 / 10678 / 2060 Регистрация: 27.09.2012 Сообщений: 26,872 Записей в блоге: 1
	12.01.2013, 09:32	2
	Scope Resolution Operator 1

@fasked 5043 / 2622 / 241 Регистрация: 07.10.2009 Сообщений: 4,310 Записей в блоге: 1
	12.01.2013, 19:30	5
	Сообщение от IvanPryamoy при любых новых типах, определенных в классе Дело не в типе. 0

@IvanPryamoy 247 / 1 / 1 Регистрация: 02.01.2013 Сообщений: 31
	12.01.2013, 21:35 [ТС]	6
	Сообщение от fasked Дело не в типе. Сказал "А"- говори "Б" 0

@0x10 3257 / 2059 / 351 Регистрация: 24.11.2012 Сообщений: 4,909
	12.01.2013, 21:43	7
	Сообщение от IvanPryamoy Сказал "А"- говори "Б" Уже было сказано выше, по ссылке на msdn. Цитирую: :: identifier class-name :: identifier namespace :: identifier По-русски можно обозвать "оператор разрешения области видимости". Первая строчка - явное обращение к идентификатору в глобальной области видимости. Вторая и третья - внутри класса и пространства имен соответственно. Ключевое слово - идентификатор. И это не обязательно тип. 0

go 3646 / 1378 / 243 Регистрация: 16.04.2009 Сообщений: 4,526
	19.01.2013, 15:39	8
	Сообщение от IvanPryamoy Сказал "А"- говори "Б" Это оператор разрешения. Если совсем просто, то в примере Kastaneda есть вложенный класс. Так первый класс для него выполняет своеобразное пространство имен. 0

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

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

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

alsav22 5498 / 4893 / 831 Регистрация: 04.06.2011 Сообщений: 13,587
	10.10.2014, 21:11	14
	Не по теме: Сообщение от kovalexius Ясно, спасибо! Сасибо не булькает... Вот один из примеров применения: Как передать в функцию указание работы с конкретным полем структуры? 0

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