c++ - __restrict 和 shared_ptr 黑客

Question

以下安全吗？

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

Answer 1

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

我认为你的代码语义没问题，否则。您的a.foo 仍然有效并且a.foo 无效条件将为真。