未来可能直接在类型上表达地址稳定和必须析构