@schoolboy_

Здравствуйте.
Потихоньку изучаю С++. Разобрался в идее константных методов?! Они нужны для того, чтобы константный объект мог эти методы вызывать?
Но тогда почему работает такой код?



почему метод get мб константным? Вернув указатель, я могу разыменовывать его, и тем самым изменить состояние объекта? Почему такой код компилируется?
Такой код у меня не компилируется.


К чему я всё это веду? Ковыряя умные указатели, я обнаружил что метод get() класса std::unique_ptr константный. Зачем это было сделано? В чём смысл?

0

@TheCalligrapher

Да. Они нужны для того, чтобы эти методы можно было вызывать в т.ч. через константный объект.

Ым... Вы же сами сказали: чтобы константный объект мог эти методы вызывать.

А кто вам сказал, что массив arr является частью "состояния объекта"? Это может быть совершенно посторонний массив. Ваш объект просто хранит указатель на этот совершенно посторонний массив зачем-то (кто его знает, зачем), но массив не является частью "состояния объекта".

Так эту ситуацию видит язык С++. Язык С++ не знает, что вы лично хотели реализовать. Язык С++ не знает, является ли массив arr частью "состояния объекта" или не является.

Если вы хотите, чтобы массив arr являлся частью "состояния объекта", то эта ваша обязанность, обеспечить правильную делегацию константности, т.е. сделать так, чтобы этот массив нельзя было модифицировать для константных объектов. Это ваша обязанность возвращать именно const int * из такого константного метода. Тут все в ваших руках: как напишете, так и будет.

А что это за белиберда вообще? Что такое const_m[0]? Разумеется, это не будет компилироваться. Но не ясно, как это относится к теме.

В том что модификация самого указателя и модификация указуемых данных - это совершенно разные, никак не связанные друг с другом вещи. Константность указателя означает, что нельзя модифицировать сам указатель, но совсем не означает что нельзя модифицировать указуемые данные.

Константность метода get означает только то, что он не модифицирует сам умный указатель. Благодаря этому вы можете вызывать get для константных указателей. В этом и заключается смысл.

1

@schoolboy_

TheCalligrapher, спасибо за ответ.

Сигнатура метода get(), наверное, такая?
Если мы хотим чтобы указатель был константным, то наверное сигнатура должны быть такой?

Получается вы неправы?

Ошибся. Извините.
Вот так у меня компилируется и работает.

0

@TheCalligrapher

Я говорю именно о константности самого "умного указателя", а не константности возвращаемого значения get.

Нет, конечно. Это бессмыслица какая-то. Константность верхнего уровня для возвращаемого значения функции, когда это возвращаемое значение имеет скалярный тип (напр. обычный указатель) - это бессмыслица, которая ничего не дает вообще. (Эта константность влияет на тип функции, но более никакого практического смысла не имеет.)

Нет, не получается.

0

@schoolboy_

Я хотел выразить идею, что указатель константный. Что нельзя заставить его ссылать на другую память? Разве это не так делается?

Что даёт константность умного указателя? Зачем это мб нужно?

0

@TheCalligrapher

Это нормально. Ваша реализация MyClass фактически говорит о том, что массив arr внутри MyClass НЕ является частью состояния MyClass. Соответственно, константность MyClass НЕ распространяется на массив arr.

"Заставить ссылаться на другую память" можно только переменную типа указатель, то есть изменяемое lvalue. Скалярный результат работы функции get - это не переменная, это просто эфемерное значение, rvalue. Его невозможно поменять в принципе. К нем вообще неприменимо понятие "поменять". Поэтому и навешивать на него const верхнего уровня нет никакого смысла.

Например, результат выражения 2+3 имеет тип int. Обратите внимание: int, а не const int. Это, однако, не значит, что вы можете каким-то образом "поменять" результат выражения 2+3. То же самое относится и к результату метода get: вы не можете его поменять, независимо от того, есть на нам const или нет.

Как это "зачем"? Допустим вы хотите, чтобы этот указатель всегда указывал в одно и то же место. Т.е чтобы такой указатель никто не мог поменять (т.е. перенаправить в другое место). Вот для этого вы и делаете его константным.

1

@schoolboy_

Но я и так не могу его поменять?

Вот мой простой класс.


Вот его использование.



Я ведь не могу сделать так? У меня не будет компилироваться? Аналогично, и с unique_ptr. Я никак не могу заставить его ссылать на другую область памяти. И константным его делать мне не нужно. Следовательно, делать константным метод get тоже.

0

@TheCalligrapher

Как это "не можете"? У стандартных умных указателей есть модифицирующие методы, которые их меняют, т.е. перенаправляют в новое место. Например, у std::unique_ptr есть метод reset. И оператор присваивания у него тоже есть. И метод swap.

Разумеется, все эти методы - неконстантны. То есть вызвать их для константного std::unique_ptr вы не сможете.

Для вашего класса? Да, именно так вы сделать не сможете. А вот так - сможете

В результате содержимое a изменится (с катастрофическими последствиями). Если бы a был const, то выполнить такое присваивание вы бы не смогли.

1

@schoolboy_

TheCalligrapher, спасибо. Я разобрался.

Добавлено через 11 минут
TheCalligrapher, получается, что в моё случае, правильная реализация идеи константности, заключается в ведение метода get_const(). Тем самым я говорю, что указатель arr - это моё состояние?!


А метод get, в таком случае можно сделать не константным?!

0

@DrOffset

schoolboy_, у вас может быть два метода get, один константный, другой - нет.

Первый get вы не сможете вызвать на константном объекте MyClass, а второй - сможете.

1

@schoolboy_

Погодите. Такого быть не может? Если есть оператор присваивания, то вся идея уникального указателя пропадает? Есть Есть перемещающий оператор присваивания? Вы его имели в виду?

0

@TheCalligrapher

Зачем? То есть можно так, но элегантнее будет просто применить перегрузку функций, т.е. сделать так, как показал DrOffset.

0

@schoolboy_

вы предлагает сделать так?

Но в чём смысл. Да, я смогу вызвать константный метод на константном объекте. Но идея константности теряется, потому что я могу менять состояние массива. Я же хочу выразить идею, что данный указатель - состояние моего объекта.

0

@TheCalligrapher

Если ваш указатель должен быть уникальным, то это ваша задача - реализовать эту уникальность так, как вы ее себе представляете. Либо запретить присваивание вообще, либо сделать его перемещающим (как в std::unique_ptr), либо еще как-то...

Вы же сами сказали, что у вас содержимое arr является частью состояния MyClass. Ну так тогда, наверное, правильнее будет сделать оператор присваивания, который будет копировать не указатель, а именно содержимое arr?

В любом случае: все определяется вашим замыслом. Что вы реализуете, то и получится в результате. Все в ваших руках.

Посмотрите внимательнее, что написано в коде у DrOffset. Там не так.

Не понял. Что именно является частью состояния? Только сам указатель? Или и указуемые данные тоже?

0

@schoolboy_

Понятно. Никто ведь не может помешать мне написать такой код:

Да. Я был не прав. DrOffset, вопрос снимается.

0

@TheCalligrapher

Ну здесь уж вы "сам себе злобный Буратина".

0

@schoolboy_

Указатель всегда является частью состояния? Я не могу его никак изменить при такой реализации. А если я хочу чтобы константный объект не мог менять ещё и данные, то я должен сделать так, как написал DrOffset?

0

@TheCalligrapher

Да, сам указатель arr всегда является частью состояния MyClass. Если весь объект MyClass константен, то и указатель arr константен. Поменять сам указатель в такой ситуации вы не можете ни при какой реализации. (Кроме случая, когда вы сами объявили этот указатель как mutable)

Именно так. "По умолчанию" константность MyClass не распространяется на указуемые данные. Распространить константность MyClass на указуемые данные можно только аккуратной реализацией такого "распространения" вручную. Например так, как показал DrOffset.

1

@schoolboy_

Ещё такой вопрос. Я добавил в свой класс две функции
Я понимаю, что если я сделаю так:
то вызовется не константная функция. Константная вызовется только на константном объекте? Другого способа сказать, что нужно вызвать константную функцию нет?

0

@TheCalligrapher

Можно так

или просто

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

В данном случае объект m неконстантен, но вы как бы создаете константный "пусть доступа" к нему - ссылку (или указатель). И уже через этот "пусть доступа" вызываете константный метод. Менее громоздких способов нет.

1