如何销毁无默认构造函数的可移动类型内部数据并保留原对象

C++标准库目前没有提供你描述的内置功能，你自行实现的reset模板已经是简洁且符合需求的方案，在此基础上还可以做少量优化。

你的实现逻辑完全正确：

• 按值传递的模板参数会通过移动构造函数，接收std::move(somevar)传入的右值，将原对象的资源转移到函数形参t中
• 函数执行结束后形参t自动析构，关联资源被释放，原对象保留移动后的合法未指定状态
• 全程不需要调用目标类型的默认构造函数，完美适配可移动但不可默认构造的类型

如果你希望省略调用时显式写std::move的步骤，可以把模板改写为右值引用版本：

template <typename T>
void reset(T&& t) {
    [[maybe_unused]] T tmp = std::move(t);
}

改写后直接调用reset(somevar)即可完成资源消费，内部显式的移动构造也保留了语义的明确性，符合你要的「显式确认销毁内部数据」的要求。

• 请确保你的可移动类型的移动构造函数声明为noexcept，否则在容器等场景下可能会触发拷贝操作，无法达到释放原对象资源的效果
• 移动后的原对象仅可执行析构、拷贝/移动赋值操作，不要执行其他依赖对象内部状态的操作，这是C++标准对移动后对象状态的通用约定

内容的提问来源于stack exchange，提问作者Wyck