__restrict and shared_ptr hacks

__restrict and shared_ptr hacks

本文关键字：hacks ptr and restrict shared      更新时间：2023-10-16

以下内容安全吗?

struct K { ... }
struct A
{
    A(int psize) : size(psize), foo(nullptr), bar(nullptr)
    {
        auto dataptr = (K*)_aligned_malloc(sizeof(K) * psize * 2, 32);
        data = shared_ptr<K>(dataptr, ptr_fun(_aligned_free));
        foo = data.get();
        bar = data.get() + psize;
    }   
    K* __restrict foo;
    K* __restrict bar;
private:
    shared_ptr<K> data;
};

注意foo和bar上的__restrict。

目标是在所有对象别名死亡时使分配的内存自毁。

{
    A a(1000);
    { 
        A o = a; 
    }
    //a.foo is still valid
}
//a.foo is invalid

您在这里不需要__restrict限定符，实际上您不应该使用它们，因为__restrict应该告诉编译器您没有相同内存的任何别名，但实际上您确实有别名—foo和data是相同内存的别名。

我认为你代码的语义是好的，否则。你的。Foo 和a仍然有效。条件将为真

这是不安全的，因为malloc不调用构造函数，free不调用析构函数。为了安全起见，您需要手动添加这些调用:

A(int psize) : size(psize), foo(nullptr), bar(nullptr)
{
    auto dataptr = (K*)_aligned_malloc(sizeof(K) * psize * 2, 32);
    new(dataptr) K();
    data = shared_ptr<K>(dataptr, [](K *k){ k->~K(); _aligned_free(k) ));
    foo = data.get();
    bar = data.get() + psize;
}
相关文章：