当跳过声明时,为什么需要琐碎的析构函数?

goto 或 switch 可以跳过声明语句,因为它没有初始值设定项,构造简单,对象也很普通 可破坏的 .

对析构函数进行约束的理由是什么?

struct trivial {
    trivial() = default;
    ~ trivial() = default;
};

struct semi_trivial {
    semi_trivial() = default;
    ~ semi_trivial() noexcept { do_something(); }
};

void foo() {
    goto good_label;  // OK
    trivial foo;
good_label:

    goto bad_label;   // Error: this goto statement
    semi_trivial bar; // cannot jump over this declaration.
bad_label:

    std::cout << "hi\n";
}