Const указатель аргумент метода, который делегирует RemoveAll()

Question

Рассмотрим метод, как это:

void Parent::removeChild(Child *child) 
{ 
    children.removeAll(child); 
} 

В этом случае, так как ребенок никогда не модифицируется сам, один может сделать это константный указатель. Но так как дети имеют тип QList, removeAll() принимает константу ссылки на указатель неконстантный.

Какой рекомендуемый способ справиться с этим? Пропустить константу аргумента метода или до const_cast указатель const для соответствия методу removeAll()?

Answer 1

Tricky один. Вы должны добавить еще несколько кодов, но из docs я предполагаю, что у вас есть QList<Child*> и не может изменить его на QList<const Child*>, потому что вам нужно получить доступ к фактическим объектам неконстантным образом.

Поскольку функция removeAll() делает это, необходимо удалить запись в списке, и она никоим образом не изменяет остроконечный Child (как бы он ничего не знал о классе Child), здесь было бы безопасно для использования const_cast.

Answer 2

Если вы хотите сказать, что изменение списка детей не является изменением родительского экземпляра, просто введите список детей mutable.

Однако убедитесь, что это действительно семантика, которую вы хотите для себя. Родительский класс. Если дети не являются частью состояния родителя (в семантике вашей системы), то это должно быть хорошо. Если это часть состояния родительского экземпляра, вы должны сохранить неконстантную функцию-член.

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

В противном случае ваша функция-член будет неконстантной, так как она изменяет родительский элемент.

Answer 3

Похоже, что QList предназначен для использования без указателей. Они определяют много интерфейса, который является константой, как const T&, который отлично подойдет, если ваш QList был на Child, а не Child*.

Он будет работать на указателях в порядке, но он не может объявить им постоянство. Я не рекомендую менять QList на Child, если это не так просто, чтобы скопировать, у вас есть все правильные семантики для копирования ctor, dtor, op =, op == и т. Д., И вы не против иметь копии в списке, а не объекты, в которые вы проходите. Вы можете увидеть, как с помощью int или строк, что он будет работать как ожидалось (removeAll будет const правильным).

Если для вас важна корректность const, используйте const_cast. Затем объявить константный реф и передать в.

void Parent::removeChild(const Child *child) 
{ 
    QList<Child*>::const_reference constRefToChild = const_cast<Child *> child; 
    children.removeAll(constRefToChild); 
} 

Смысл этого в том, что если RemoveAll когда-либо изменен не принимать константный, вы получите ошибку компилятора. Тогда вы знаете, что removeAll не сохраняет константу аргумента.