c++ - 为什么 unique_ptr operator-> 不是 const-overloaded？

Question

std::unique_ptr::operator-> 有签名

pointer operator->() const noexcept;

所以 operator-> 是 const 但返回一个可变指针。这允许如下代码:

void myConstMemberFunction() const
{
    myUniquePtrMember->nonConstFunction();
}

为什么标准允许这样做，以及防止上述使用的最佳方法是什么？

Answer 1

把它想象成一个普通的指针:

int * const i;

是 const指向非 const 的指针int .您可以更改 int ，但不是指针。

int const * i;

是一个非const指向 const 的指针int .您可以更改指针，但不能更改 int .

---

现在，对于 unique_ptr , 问题是 const进入<> 内部或外部.所以:

std::unique_ptr<int> const u;

就像第一个一样。您可以更改 int ，但不是指针。

你想要的是:

std::unique_ptr<int const> u;

您可以更改指针，但不能更改 int .甚至可能:

std::unique_ptr<int const> const u;

这里你不能改变指针或 int .

---

请注意我总是如何放置 const在右侧？这有点不常见，但在处理指针时是必要的。 const总是适用于紧靠其左侧的事物，即 * (指针是 const )，或 int .见 http://kuhllib.com/2012/01/17/continental-const-placement/ .

写作 const int , 可能会让你想到 int const *是 const -指向非const的指针int ，这是错误的。