c++ - 如何混合 C++ 共享指针和对象引用

Question

我有以下代码使用类 Datum 的 C++ 对象在 Objective-C 函数中 work :

void work(const Datum &datum) {
    dispatch_async(dispatch_get_main_queue(), ^{
        // Work with datum.
    });
}

此代码使用一个实例调用，该实例实际上是一个 boost::shared_ptr<Datum> ，即

boost::shared_ptr<Datum> the_datum(new Datum());
work(*the_datum);

在这种情况下，实例 the_datum 是可能的在 block 内部运行之前被释放 work (对 dispatch_async 的调用对稍后执行的 datum 执行异步操作；调用和函数 work 立即返回)。这显然会导致灾难。

一个解决方案可能是不传递对 work 的引用，而是一个 boost::shared_ptr<Datum> ， 反而。但是在某些情况下，引用是首选，请参见例如this thread .有没有办法保留work的界面(即传递 datum 作为引用)，但仍然阻止在 block 完成之前释放共享指针？

Answer 1

没有办法通过将接口(interface)留给 work() 来完成此操作相同，并传入对 datum 的引用.没有办法使用 datum以防止引用计数递减。考虑以下错误程序:

#include <memory>
int main () {
    std::shared_ptr<int> p1(new int);
    int &x = *p1;
    std::shared_ptr<int> p2(&x);
}

此代码因双重释放而崩溃，因为 shared_ptr<>控制结构不跟随指向对象的指针，而是跟随shared_ptr<>。本身。

你能做的就是改变work()采取shared_ptr() , 但向传递给 dispatch_async() 的 block 添加更多代码以便它可以在该代码中使用引用。由于您正在将所有权转移到异步例程，因此您应该使用 unique_ptr<>反而。我对 Objective-C 知之甚少，所以这个语法可能是错误的:

void work(std::unique_ptr<Datum> &datumptr_ref) {
    __block std::unique_ptr<Datum> datumptr(std::move(datumptr_ref));
    dispatch_async(dispatch_get_main_queue(), ^{
        Datum &datum = *datumptr
        // Work with datum.
    });
}