根据c++社区中一位知识渊博的作者的说法，下面显示的代码应该无法编译.他错了吗?

根据Herb Sutter的说法，下面的代码无法编译。请参阅这个网站http://www.gotw.ca/gotw/066.htm，我从中提取了以下关于function-try-blocks的文本:

走向道德

顺便说一下，这也意味着唯一的(重复)构造函数-try-block的唯一可能用途是翻译从基类或成员子对象抛出的异常。这是道德# 1。其次，道德#2说析构函数-尝试-块是完全无效——

"——但是等等!"我听到有人从房间中间插嘴。"我不同意道德1。我能想到另一个可能的用法构造函数-试块，即释放分配在初始化列表或在构造函数体中!"

对不起,没有。毕竟，记住一旦你进入你的构造函数try-block的处理程序，中的任何局部变量构造函数体也已经超出了作用域，您可以保证不再存在基子对象或成员对象。你甚至不能提到他们的名字。你的物体的各个部分从来没有被建造过，或者那些已经被建造过的摧毁。所以你不能清理任何依赖于引用类的基类或成员(无论如何，这就是基类析构函数和成员析构函数都是for的，对吗?

假设这个引用，下面的代码不应该编译，因为当进程运行到catch子句时，对象cat已经被销毁了。但它确实存在，至少在VSC2008中是这样。

class Cat
{
    public:
    Cat() { cout << "Cat()" << endl; }
    ~Cat() { cout << "~Cat()" << endl; }
};
class Dog
{
    public:
    Dog() { cout << "Dog()" << endl; throw 1; }
    ~Dog() { cout << "~Dog()" << endl; }
};

class UseResources
{
    class Cat *cat;
    class Dog dog;
    public:
    UseResources();
    ~UseResources() { delete cat; cat = NULL; cout << "~UseResources()" << endl; }
};
UseResources::UseResources() try : cat(new Cat), dog() { cout << "UseResources()" << endl; } catch(...)
{
    delete cat;
    throw;
}