智能指针可以通过禁止自动变量更安全吗？

Question

让我们考虑这样的例子：

#include <memory>

int main() {
    int x = 3;
    std::shared_ptr<int> p{&x};
    //std::shared_ptr<int> p = &x;
}

这个程序有一个双重释放错误（另请参阅：https://godbolt.org/z/T8eh13）。 如果我们用p{&x} 注释掉该行并取消注释它下面的行，编译将失败，这很好，我希望按照https://stackoverflow.com/a/304169/1923988

我的问题是：shared_ptr 是否可以以某种方式实现，以保护我们免受与 p{&x} 类似的用法（通常：获取自动变量地址的用法）？

我想答案是“不，因为被调用者只看到一个指针类型，无论调用者是使用 & 还是真正的指针变量”，但我想知道是否真的存在一些基本限制会阻止编译器区分这两种情况。

Answer 1

即使将局部变量传递给智能指针也是一个有效的用例。

假设您使用的是 C 风格的 OOP API：

struct A { /* ... */ };
void init_a(A* a);
void destroy_a(A* a);

然后：

int main(int argc, char** argv) {
    A a;
    init_a(&a);
    std::unique_ptr<A, void(*)(A*)> a_raii(&a, destroy_a);
}

理论上，编译器应该能够在某些情况下检测到您正在使用指向局部变量的指针构建 stdlib 智能指针，而无需自定义删除器，但这需要相当多的特殊代码来检测C++ 错误的巨大景观。