指向委托给removeAll()的方法的常量指针参数

Question

考虑这样的方法：

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

在这种情况下，由于 child 本身永远不会被修改，因此可以将其设为常量指针。但由于 children 的类型为 QList，removeAll() 采用对非 const 指针的 const 引用。

建议的处理方法是什么？跳过方法参数的 constness 或 const_cast const 指针以适合 removeAll() 方法？

Answer 1

棘手的一个。您应该添加更多代码，但是从 docs 我认为您有一个 QList 并且无法将其更改为 QList 因为您需要访问非常量中的实际对象方式。

由于 removeAll() 函数所做的只是删除列表中的条目，并且它绝不会修改所指向的 Child （怎么可能呢，它不知道有关 Child 类的任何信息）在这里使用 const_cast 是安全的。

Answer 2

如果您想说的是更改子列表不是更改父实例，那么只需将子列表设为 可变。

但是，请确保它确实是您想要的父类语义。如果子级不是父级状态的一部分（在系统的语义中），那么应该没问题。如果它是父实例状态的一部分，那么您应该保留一个非常量成员函数。

mutable 关键字适用于那些特殊情况，其中类的成员不应被视为实例的状态，而只是附加信息。如果这是您的情况，请使用它。

否则，让您的成员函数成为非常量函数，因为它会修改父成员。

Answer 3

看起来 QList 是设计用于非指针的。他们将很多 const 接口定义为 const T&，如果您的 QList 位于 Child 上，而不是 上，那么这会非常有用。孩子*。

它可以很好地处理指针，但它不能声明适合它们的常量。我不建议将您的 QList 更改为 Child ，除非复制起来很便宜，您拥有复制 ctor、dtor、op=、op== 等的所有正确语义，并且您不介意在列表中拥有副本而不是在您传入的对象。您可以看到如何使用 int 或字符串，它会按预期工作（removeAll 将是 const 正确的）。

如果 const 正确性对您很重要，那么使用 const_cast。然后声明一个 const ref 并将其传入。

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

这样做的要点是，如果将removeAll 更改为不采用 const，则会出现编译器错误。然后您就会知道removeAll 并没有保留参数的常量性。