我在gc环境中的析构函数里可以做我想做的任何事吗？如果有限制，有什么样的限制？这种限制相比于栈上的对象析构又如何？

就是因为释放松散，所以我才说“不符合2（主要的问题是延后释放使得生命期包裹不紧密）”……
无论你看到的是2中的“理想生命期边界上”这几个字、或者看到的是“主要的问题是延后释放使得生命期包裹不紧密”，都应该不会这样误解我的文字……还是那个问题，你有没有仔细看过我的文字？还是一掠而过、根据自己的猜测或者对我已有的结论来回帖？“只是释放时间比较松散”跟“不符合2（主要的问题是延后释放使得生命期包裹不紧密）”有多少区别？

对于3，比如说挂电话这个事件标志着“电话资费计时器对象”的生命期的结束，如果现有程序的结构是消息驱动的，那么我不得不自己在消息处理的代码里手动把挂电话这个事件与ref = null这个操作关联起来。