d的破坏与安全

原文
因为use包含destroy,所以不能为安全

R use(R, T)(T obj, R delegate(T) fT)
{
  scope (exit)
    destroy!false(obj);

  return fT(obj);
}

如何确保安全调用destroy?

只要调用它的析构器是@safe的,destroy就应是安全的.
如果析构器是@system,则安全调用代码唯一方法是:
(1)确保不违反内存安全调用析构器条件,
(2)(用编译时和/或运行时检查)确保满足这些条件,
(3)在@trusted函数中包装destroy.

use推导为系统,闭包也未标记为安全.
标记use为安全,来看看说了啥.

对类,当前dmd+druntime不能静态决定析构器是否安全.