对关键部分使用智能指针

问题描述

使用拥有自定义删除器的非所有权std::unique_ptr来安排关键部分的以下方法的弊端或错误是什么?

#include <memory>
#include <shared_mutex>
#include <optional>
#include <variant>

#include <cassert>

struct Data
{
    std::optional<int> i;
};

struct DataLocker
{
    std::variant<std::unique_lock<std::shared_mutex>,std::shared_lock<std::shared_mutex>> lock;

    void operator () (const Data *)
    {
        std::visit([] (auto & lock) { if (lock) lock.unlock(); },lock);
    }
};

struct DataHolder
{
    std::unique_ptr<Data,DataLocker> getLockedData()
    {
        return {&data,{std::unique_lock<std::shared_mutex>{m}}};
    }
    
    std::unique_ptr<const Data,DataLocker> getLockedData() const
    {
        return {&data,{std::shared_lock<std::shared_mutex>{m}}};
    }

private :
    mutable std::shared_mutex m;
    Data data;
};

#include <iostream>
#include <thread>

int main()
{
    DataHolder d;
    auto producer = [&d]
    {
        d.getLockedData()->i = 123;
    };
    auto consumer = [&d = std::as_const(d)]
    {
        for (;;) {
            if (const auto i = d.getLockedData()->i) {
                std::cout << *i << std::endl;
                return;
            }
        }
    };
    std::thread p(producer);
    std::thread c(consumer);
    p.join();
    c.join();
}

一个极端的情况是,当编写者reset()指向一个指针并且永不破坏std::unique_ptr本身时,可以通过在删除者的unlock上添加operator ()来解决。

解决方法

暂无找到可以解决该程序问题的有效方法,小编努力寻找整理中!

如果你已经找到好的解决方法,欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@)

相关问答

依赖报错 idea导入项目后依赖报错,解决方案:https://blog....
错误1:代码生成器依赖和mybatis依赖冲突 启动项目时报错如下...
错误1:gradle项目控制台输出为乱码 # 解决方案:https://bl...
错误还原:在查询的过程中,传入的workType为0时,该条件不起...
报错如下,gcc版本太低 ^ server.c:5346:31: 错误:‘struct...