代码之家 › 专栏 › 技术社区 › Potatoswatter

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

goto destructor c++

Potatoswatter · 技术社区 · 8 年前

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";
}

1 回复 | 直到 8 年前

Community CDub 4 年前

目前的措辞是由于 N2762

6.7标准分类号:

跳过自动变量的定义会产生一个问题,即是否应该在块的末尾运行该变量的析构函数。因此,析构函数需要是微不足道的,即没有效果。类似地,默认构造函数(可能用于初始化对象的构造函数)也需要不做任何事情,即微不足道。无需其他要求。

我认为需要记住的情况是:

int i = 2;
switch (i) {
  case 1:
    semi_trivial st;
    do_something(st);
    break;
  case 2:
    break; // should st be destructed here?
}

事实上,这不是一个容易回答的问题。调用析构函数显然是不正确的。没有很好的方法来判断它是否应该被调用。这个 st 此处的变量仅用于 case 1 语句,如果它的析构函数被 case 2 的 break 语句,即使它在那里完全没有使用过,也没有构造。

推荐文章

Kurogami · 错误C2059:语法错误:“}”C++

7 年前

Bhaskar Bhuyan · 如何在python中循环回特定点

7 年前

Sneftel · 为什么在constexpr函数中不允许goto?

7 年前

Mazhar Ali · 批处理文件系统在循环后找不到文件

8 年前

WhiteTail · 为什么“goto”被视为不好的形式?

8 年前

Trevor Thorpe · 这是使用goto的安全方式吗?

8 年前

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

8 年前

Sarvadi · “goto*foo”,其中foo不是指针。这是什么?

9 年前

AkiEru · PHP正在摆脱“if”条件并继续下一部分

9 年前

djj19 · Rainflow算法-Fortran到Matlab的转换

10 年前