为什么隐式调用析构函数？

Question

相关？：为什么被称为Destructor对于未删除的对象？

作为最小情况，我有一个模板堆积的仅移动值类模板。我不明白的是，为什么只使用其noexcept move-constructor的函数似乎想使用其d'tor：

#include <cassert>
#include <memory>

// Roughly a unique_ptr:
template <typename T>
class move_only_heap_value {
    T* ptr;
public:
    move_only_heap_value() : ptr(new T()) {}
    move_only_heap_value(move_only_heap_value&& x) noexcept : ptr(x.ptr) { x.ptr = nullptr; }
    // ...
    T& operator*() { assert(ptr); return *ptr; }
    const T& operator*() const { assert(ptr); return *ptr; }
    // ...

    ~move_only_heap_value() {
        if (ptr) {
            delete ptr;
        }
    }
};

//struct S {    S();    ~S();  }; // I don't see ~S() called anywhere.
struct S;

move_only_heap_value<S> foo(move_only_heap_value<S>&& x) {
    return std::move(x); // Error here due to missing ~move_only_heap_value<S>()
}

asues

<source>: In instantiation of 'move_only_heap_value<T>::~move_only_heap_value() [with T = S]':
<source>:27:21:   required from here
<source>:18:13: error: possible problem detected in invocation of 'operator delete' [-Werror=delete-incomplete]
   18 |             delete ptr;
      |             ^~~~~~~~~~
<source>:18:20: error: invalid use of incomplete type 'struct S' [-Werror]
   18 |             delete ptr;
      |                    ^~~
<source>:24:8: note: forward declaration of 'struct S'
   24 | struct S;
      |        ^
<source>:18:13: note: neither the destructor nor the class-specific 'operator delete' will be called, even if they are declared when the class is defined
   18 |             delete ptr;
      |             ^~~~~~~~~~
cc1plus: all warnings being treated as errors
ASM generation compiler returned: 1
<source>: In instantiation of 'move_only_heap_value<T>::~move_only_heap_value() [with T = S]':
<source>:27:21:   required from here
<source>:18:13: error: possible problem detected in invocation of 'operator delete' [-Werror=delete-incomplete]
   18 |             delete ptr;
      |             ^~~~~~~~~~
<source>:18:20: error: invalid use of incomplete type 'struct S' [-Werror]
   18 |             delete ptr;
      |                    ^~~
<source>:24:8: note: forward declaration of 'struct S'
   24 | struct S;
      |        ^
<source>:18:13: note: neither the destructor nor the class-specific 'operator delete' will be called, even if they are declared when the class is defined
   18 |             delete ptr;
      |             ^~~~~~~~~~
cc1plus: all warnings being treated as errors
Execution build compiler returned: 1

https://godbolt.org/z/komrcm1n4

我理解为什么此翻译单元不能调用〜move> 〜move_only_heap_value＆lt因为s是不完整的），但是有什么要说的是什么？如果我改为定义s，但请将其c'tor and d'tor nordection保留，我会按预期获得链接错误，但我看不到d't tor在大会中呼叫，所以为什么会这样认为需要实例化吗？

一个更简单但可能略有不同的情况：

#include <utility>

struct Indestructible {
    Indestructible() = default;
    Indestructible(Indestructible&& x) noexcept = default;
    ~Indestructible() = delete;
};

Indestructible foo(Indestructible&& x) {
    return std::move(x);
}

生产

<source>: In function 'Indestructible foo(Indestructible&&)':
<source>:10:21: error: use of deleted function 'Indestructible::~Indestructible()'
   10 |     return std::move(x);

https://godbolt.org.org.org.org/z/mbkhqddxd 但是我担心这是不同的，因为也许返回的结果具有自动存储持续时间，因此将来必须在某个序列上破坏，但不可破坏，而原始版本可能会破坏，只是在此翻译单元中。

Answer 1

但是有什么资格这么称呼它呢？

您可以在此处删除指向该类型对象的指针。

<前><代码>~move_only_heap_value() {
如果（指针）{
删除指针；
// ^^^^^^^^^^
}
}

这将调用析构函数，并且必须在此时定义类型。模板的 ~move_only_heap_value 又已被实例化，因为您定义了一个返回该模板实例的对象的函数。

您可以删除此析构函数的定义，它将编译。您可以在定义 S 的其他地方定义它。

但我没有看到大会中调用了 d'tor

仅仅因为某些东西不会在程序集中结束，并不一定意味着它不需要被明确定义。

---

PS if (ptr) delete ptr; 总是可以简化为 delete ptr; 条件是多余的。