C++中使用已删除函数（use of deleted function）时会出现哪些常见错误？

Question

在C++中，使用已删除函数（use of deleted function）时常见的技术问题主要涉及隐式生成的特殊成员函数。例如，默认构造函数、拷贝构造函数和赋值运算符可能被编译器自动声明为删除状态，当类中含有非复制able的成员（如unique_ptr或const成员）时。如果开发者尝试使用这些被删除的函数，就会引发编译错误。 一个典型场景是：定义一个包含std::unique_ptr的类A，由于std::unique_ptr不可拷贝，编译器会将A的拷贝构造函数和拷贝赋值运算符标记为删除函数。若代码中仍尝试执行拷贝操作，例如通过值传递或直接赋值，编译器会报“use of deleted function”错误。解决方法包括改用移动语义（move semantics）或避免拷贝操作，明确实现必要的构造和赋值函数。这要求开发者对C++对象生命周期管理有清晰理解。

Answer 1

1. 基础概念：已删除函数（Deleted Functions）

C++中，已删除函数是一种特殊的状态，当编译器检测到某些操作无法安全执行时，会自动将相关函数标记为“已删除”。这通常发生在类中包含不可复制的成员（如 std::unique_ptr 或 const 成员）时。例如，拷贝构造函数和拷贝赋值运算符在这种情况下会被隐式声明为删除状态。

• 默认构造函数：如果类中没有显式定义任何构造函数，编译器会生成一个默认构造函数。
• 拷贝构造函数：用于通过另一个对象初始化新对象。
• 赋值运算符：用于将一个对象的内容赋值给另一个对象。

典型场景：定义一个包含 std::unique_ptr 的类 A，由于 std::unique_ptr 不可拷贝，A 的拷贝构造函数和拷贝赋值运算符会被标记为删除函数。

2. 技术问题分析

以下是使用已删除函数时常见的技术问题及其原因分析：

问题描述	原因分析
尝试拷贝包含 std::unique_ptr 的对象	std::unique_ptr 设计为不可拷贝，因此其所在类的拷贝构造函数和赋值运算符被标记为删除。
通过值传递包含 const 成员的对象	const 成员无法修改，导致拷贝构造函数和赋值运算符无法正常工作。

在这些场景下，开发者可能会遇到编译错误，提示“use of deleted function”。

3. 解决方案与最佳实践

针对上述问题，可以采取以下解决方案：

1. 改用移动语义：通过实现或启用移动构造函数和移动赋值运算符，允许资源的所有权转移而非复制。
2. 避免不必要的拷贝：尽量通过引用或指针传递对象，而不是通过值传递。
3. 显式定义特殊成员函数：根据需求手动定义必要的构造函数和赋值运算符。

示例代码展示如何解决 std::unique_ptr 引发的删除函数问题：

#include <iostream>
#include <memory>

class A {
public:
    // 禁用拷贝构造函数和拷贝赋值运算符
    A(const A&) = delete;
    A& operator=(const A&) = delete;

    // 启用移动构造函数和移动赋值运算符
    A(A&& other) noexcept : ptr(std::move(other.ptr)) {}
    A& operator=(A&& other) noexcept {
        if (this != &other) {
            ptr = std::move(other.ptr);
        }
        return *this;
    }

    // 默认构造函数
    A() : ptr(std::make_unique<int>(0)) {}

private:
    std::unique_ptr<int> ptr;
};

int main() {
    A a;
    A b = std::move(a);  // 使用移动语义
    return 0;
}

4. 流程图：处理已删除函数的步骤

以下是处理已删除函数问题的流程图：

graph TD;
    A[发现编译错误] --> B{是否涉及不可复制成员};
    B --是--> C[检查成员类型];
    C --> D{是否为 unique_ptr 或 const};
    D --是--> E[改用移动语义];
    D --否--> F[手动定义特殊成员函数];
    B --否--> G[检查调用上下文];
    G --> H[避免不必要的拷贝];

此流程图展示了从发现问题到解决问题的完整路径。