3

У меня есть класс FileSystem, и я хочу хочу сделать, чтобы с итераторов можно было выполнять некоторые методы самого класса. Для этого в итератор добавил указатель на класс чтобы методы вызванные с итератора были примерно такими:

int FileSystem::iterator::make_dir(const std::string& name){
    return указатель_на_FileSystem->make_dir(name,указатель_на_Dir );
}

метод в классе FileSystem:

int FileSystem::make_dir(const std::string& name, Dir* & cur_dir);

Создавать итератор хотел так

iterator(this,указатель_на_Dir);

Проблема в том, что this - константный, соответственно в итераторе можно создавать можно только константные указатели на FileSystem и выполнять только константные методы. Вопрос заключается в том, стоит ли делать

 const_cast<...>(this)

и насколько это плохо. Возможно стоит как-то пересмотреть архитектуру или использовать что-то другое?

2
  • 2
    Что-то я совсем не понял откуда Вас итератор вылез в первом предложении. Попробуйте описать проблему более чётко и привести минимальный воспроизводимый пример желательно.
    – αλεχολυτ
    Commented 10 июл. 2017 в 12:13
  • Ничего не понятно. Если make_dir не является const методом, а указатель на FileSystem внутри итератора - const FileSystem *, то это и не должно работать. Вопрос тут в первую очередь: зачем вы сделели указатель на FileSystem именно const FileSystem *, если вам потом нужно вызывать неконстантные методы? Commented 10 июл. 2017 в 15:13

1 ответ 1

4

this может иметь несколько разных типов:

  • T * const при вызове функции-члена на константном объекте (т.е. нельзя изменять как сам this, так и то, на что он указывает);

  • T * при вызове на изменяемом объекте (по прежнему нельзя изменять this, но можно изменять объект, на который он указывает);

  • ещё пара вариантов с volatile (в данном случае, не рассматриваем).

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

Преобразования const_cast, сбрасывающие константность у действительно константных объектов приводят к неопределённому поведению. Поэтому тут надо быть крайне осторожным.

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

5
  • Нашел свой косяк, когда переписывал итераторы оставил const функцию, которая возвращала итератор, по-этому this был константным Commented 10 июл. 2017 в 12:57
  • 1
    @ВиталийВолк т.е. проблема, по сути, в опечатке?
    – αλεχολυτ
    Commented 10 июл. 2017 в 12:58
  • Скорее в неуверенности "нормальности" моей реализации, нежели в константности указателя, тут действительно моя невнимательность взяла верх Commented 10 июл. 2017 в 13:05
  • ??? Сам this никак не может быть const. Поэтому this никак не может иметь типов, указанных в ответе. В константном методе this имеет тип const T *, в обычном - T * (возможно еще volatile). Откуда у вас взялся еще один const на самом this - не ясно. Когда-то давно некоторые компиляторы пользовались таким трюком, чтобы реализовать "немодифицируемый" this, но на уровне языка это не верно. И начиная с С++11 выходит боком. Поэтому от этого трюка уже отказались. Commented 10 июл. 2017 в 15:14
  • 1
    @AnT действительно. Нашелся даже Ваш ответ по этой теме. Всегда считал что немодифицируемость this должна подразумевать const.
    – αλεχολυτ
    Commented 10 июл. 2017 в 15:51

Ваш ответ

Нажимая «Отправить ответ», вы соглашаетесь с условиями пользования и подтверждаете, что прочитали политику конфиденциальности.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.