一维智能指针不适用于语法 (*)++

Question

我正在学习智能指针。所以，我有我不理解的带箭头的代码。代码如下所示。我在 visual studio 2019 年尝试了以下代码。为什么我不能使用增量运算符 (*i)++ 而我可以使用 i[0]++.

shared_ptr<int[]> foo(shared_ptr<int[]>i)
{
    cout << i << '\n';
    (*i)++;             // doesn't        but works for shared_ptr<int>i as argument
    i[0]++;            //  works             
    *i += 1;          // <--  doesn't  work
    i[0] += 1;        // <--- works 
    return i;
}

int main(int argc)
{
  
    auto start = chrono::high_resolution_clock::now();
   // int T;
    //cin >> T;
   // while (T--)
  //  {
        std::unique_ptr<int[]> pointer(new int[5]);                 // <-- can  do it 
        for (int i = 0; i < 5; ++i) pointer[i] = i;

        auto pointer3 = make_unique<int[] >(new int[5]);  // <--- can't do it Okay i know that there is no overload but what's reason for not having ?
        cout << pointer << '\n';
        auto pointer1 = std::move(pointer);
        cout << pointer1 << '\n';
        auto shrd_ptr = foo(std::move(pointer1));
        cout << shrd_ptr << '\n';
  //  }
    auto end = chrono::high_resolution_clock::now();
    cout << std::chrono::duration_cast<std::chrono::milliseconds>(end -start).count() <<'\n';
    return 0;
}

错误列表：

    Error C2088   '++': illegal for class 
    Error C2100   illegal indirection 
    Error (active)    E0349   no operator "*" matches these operands  
    Error (active)    E0349   no operator "*" matches these operands  
    Error (active)    E0042   no instance of overloaded fucntion "make_unique" matches the argument list

Answer 1

如果 shared_ptr 存储一个数组，那么（并且只有这样）shared_ptr::operator[] 提供对存储数组的各个元素的访问。

shared_ptr::operator* 提供对整个存储对象的访问。它是为所有类型的存储对象定义的。如果那是一个数组，那就是整个数组。

这是对标准 C/C++ array/pointer 语义的故意偏离，其中 *x 和 x[0] 根据定义是一回事。 shared_ptr 不会这样，因为它的设计者不希望它这样。

一维智能指针不适用于语法 (*)++

1d Smart Pointer doesn't work with syntax (*)++

c++

smart-pointers

c++17

visual-studio-2019