C++构造函数调用全解析：从语法陷阱到高效实践

1次阅读

共计 2302 个字符，预计需要花费 6 分钟才能阅读完成。

隐式转换的性能炸弹

class Logger {
public:
    Logger(const std::string& msg);  // 隐患：允许隐式转换
};

void log(Logger l);
log("hello");  // 触发临时 string 对象构造

实际产生两次构造：const char*→string→Logger
修复方案：添加 explicit 关键字

初始化列表的漏网之鱼

class Device {
    int id_;
    std::mutex mtx_;
public:
    Device(int id) {  // 错误：mtx_未初始化
        id_ = id;     // 这是赋值而非初始化
    }
};

成员变量在构造函数体执行前已经完成默认初始化
正确做法：使用成员初始化列表

移动语义的假动作

class Buffer {
    char* data_;
public:
    Buffer(Buffer&& other) {  // 危险：未置空原指针
        data_ = other.data_;  // 导致双重释放风险
    }
};

移动后必须将源对象置于有效但未指定状态

旧时代：
依赖 copy constructor/ 拷贝构造函数
手动实现 RAII 资源管理
无法阻止临时对象生成
新时代特性：
move constructor/ 移动构造函数（右值引用）
delegating constructor/ 委托构造
inherited constructor/ 继承构造

基础构造（Clang-Tidy 合规版）

class Widget {
    std::vector<int> data_;
    int version_;
public:
    explicit Widget(std::size_t size) 
        : data_(size),  // 直接初始化
          version_(0) { // 基本类型推荐列表初始化
        assert(!data_.empty());
    }
};

委托构造（DRY 原则）

class Socket {
    int fd_;
    bool non_blocking_;
public:
    explicit Socket(int fd) : Socket(fd, false) {}

    Socket(int fd, bool non_blocking) 
        : fd_(fd), 
          non_blocking_(non_blocking) {if(fd_ < 0) throw std::runtime_error("Invalid fd");
    }
};

移动构造（noexcept 优化）

class String {
    char* data_;
    size_t length_;
public:
    String(String&& other) noexcept 
        : data_(other.data_), 
          length_(other.length_) {
        other.data_ = nullptr;  // 关键：置空原指针
        other.length_ = 0;
    }
};

条件构造（SFINAE 应用）

template<typename T>
class Box {
    T content_;
public:
    template<typename U = T,
             typename = std::enable_if_t<std::is_copy_constructible_v<U>>>
    Box(const U& content) : content_(content) {}};

案例 1：返回值优化(RVO)

Matrix createMatrix() {Matrix m(3, 3);
    return m;  // C++17 强制省略拷贝
}

对比有无 -fno-elide-constructors 的汇编差异

案例 2：移动 vs 拷贝

std::vector<std::string> process(const std::vector<std::string>& input) {
    std::vector<std::string> tmp;
    // ... 处理逻辑
    return tmp;  // 移动构造触发
}

构造顺序影响：

struct BadLayout {
    int id;      // 4 字节
    double val;  // 8 字节
    bool flag;   // 1 字节
};  // 存在 padding

struct GoodLayout {
    double val;  // 8
    int id;      // 4
    bool flag;   // 1
};  // 减少 cache line 占用

静态局部变量陷阱

Singleton& getInstance() {
    static Singleton instance;  // C++11 起线程安全
    return instance;
}

C++11 前需要双重检查锁

成员初始化竞态条件

class Counter {std::atomic<int> count_{0};  // 正确：直接初始化
public:
    void increment() { ++count_;}
};

构造函数内避免调用虚函数

资源申请采用 RAII 包装器

class FileHandler {std::unique_ptr<FILE, decltype(&fclose)> fp_{nullptr, &fclose};
public:
    explicit FileHandler(const char* path) 
        : fp_(fopen(path, "r"), &fclose) {if(!fp_) throw std::runtime_error("Open failed");
    }
};