ещё одна загадка ) Опции

[Алексей1153]

CONSTref - константный указатель на контейнер. Стало быть содержимое контейнера тоже должно быть недоступно для изменения через эту ссылку. Но:

        typedef std::map<int,int*> td_map;
        td_map m;
        m[0]=new int(7);

        const td_map& CONSTref=m;



        int* pointer1=CONSTref[0];        //ругается, как и должно быть


        int* pointer2=CONSTref.begin()->second;        //фокус: прокатывает :)

[Iron Bug]

совершенно верно. потому что мап твой объявлен без константы. если бы был

typedef std::map<int,const int*> td_map;

- тогда он бы ругался.
а сам объект не меняется. вот, например, insert тут уже не проканает. а изменение элементов - без проблем.

[Алексей1153]

дело как раз в том, что мне там не нужно делать константу ))
Но мне это ничем не мешает, просто странно

[Iron Bug]

да нет в этом ничего странного. всё строго по определениям, которые ты сам задал.

[Алексей1153]

погоди-погоди. Смотри, есть константная ссылка на объект. Это означает, что, не прибегая к явному приведению, мы не можем менять содержимое объекта, вызывает не-const функции, так ?

и с оператором [] это ожидаемо правильно.
А вот оператор -> позволил получить неконстантный указатель на элемент объекта.

Вот это и смущает

[Iron Bug]

а содержимое объекта и не меняется. твой объект - мап. ты получил элемент-указатель. при манипуляциях с этим указателем сам он никак не меняется, меняется значение по адресу, на который он указывает. а это к твоему объекту никак не относится.
если ты хочешь защиты каких-то дополнительных данных, явно не принадлежащих объекту, то тебе надо писать класс и явно определять методы доступа, с указанием const для тех, которые ты считаешь не изменяющими объект манипуляциями.

Сообщение отредактировал Iron Bug - 12.12.2012, 15:34

[ssoft]

CONSTref - константный указатель на контейнер. Стало быть содержимое контейнера тоже должно быть недоступно для изменения через эту ссылку. Но:

        typedef std::map<int,int*> td_map;
        td_map m;
        m[0]=new int(7);

        const td_map& CONSTref=m;



        int* pointer1=CONSTref[0];        //ругается, как и должно быть


        int* pointer2=CONSTref.begin()->second;        //фокус: прокатывает :)

Все правильно, сам second является частью td_map и его нельзя изменить, а указывает он на значение типа int, которое не является частью td_map, и его можно менять сколько душе угодно.
Можно даже вызывать у такого объекта не константные методы, если вместо указателя на int хранить указатель на объект какого-либо класса.
А вот, если объекты не должны изменятся через map, то хранить нужно константные указатели на них.

typedef std::map<int,const int*> td_map;

но об этом уже писали.

[Влад]

..... константные указатели на них

Я бы тут позанудствовал: аккуратнее с терминологией! Это не константный указатель, а - неконстантный указатель на константный объект. Нет?

[Iron Bug]

..... константные указатели на них

Я бы тут позанудствовал: аккуратнее с терминологией! Это не константный указатель, а - неконстантный указатель на константный объект. Нет?

да. это именно так. люди часто про это забывают.

[ssoft]

Я бы тут позанудствовал: аккуратнее с терминологией! Это не константный указатель, а - неконстантный указатель на константный объект. Нет?

Да, подловили с терминологией