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

1次阅读

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

隐式转换导致的性能损耗

class StringWrapper {
public:
    StringWrapper(const char* str) : data(str) {}  // 隐式转换陷阱
private:
    std::string data;
};

void process(StringWrapper s);
process("hello");  // 隐含临时对象构造

解决方案：添加 explicit 关键字

初始化列表遗漏成员变量

class Student {
public:
    Student(int id) {  // 未初始化 name 成员
        this->id = id; 
    }
private:
    std::string name;
    int id;
};

正确做法：使用成员初始化列表

explicit 关键字误用

class Logger {
public:
    explicit Logger(const std::string& filename);
};

Logger log = "debug.log";  // 编译错误但实际需要这种场景

设计建议：明确类型转换意图

特性	C++03	C++11+
移动语义	仅拷贝构造	新增移动构造函数
委托构造	不支持	使用`ClassName(args)`
继承构造	需手动转发	使用`using Base::Base`

带 noexcept 的移动构造

class Buffer {
public:
    Buffer(Buffer&& other) noexcept 
        : ptr(other.ptr), size(other.size) {other.ptr = nullptr;  // 确保转移所有权}
private:
    int* ptr;
    size_t size;
};

条件构造函数模板

template<typename T>
class Box {
public:
    template<typename U = T,
             typename = std::enable_if_t<std::is_arithmetic_v<U>>>
    Box(U value) : data(value) {}

private:
    T data;
};

RAII 资源管理示例

class FileHandle {
public:
    explicit FileHandle(const char* filename) 
        : handle(fopen(filename, "r")) {if (!handle) throw std::runtime_error("Open failed");
    }

    ~FileHandle() { if (handle) fclose(handle); }

private:
    FILE* handle;
};

就地构造：CPU 缓存命中率高
拷贝构造：可能引起缓存行污染

; Godbolt 编译对比示例
; 移动构造仅寄存器操作
mov     rax, QWORD PTR [rdi]
mov     QWORD PTR [rsi], rax
; 拷贝构造需要内存访问
call    memcpy

虚基类构造会导致：
1. 额外指针存储
2. 构造顺序复杂化
3. 多级跳转指令

静态局部变量改用 C ++11 的 magic static
避免构造函数内访问全局状态

两段式构造（init 函数）
智能指针管理资源
noexcept 标记移动操作

class SafeConstructor {
public:
    static std::shared_ptr<SafeConstructor> Create() {auto obj = std::make_shared<SafeConstructor>();
        obj->Initialize();  // 可能抛出的操作
        return obj;
    }

private:
    SafeConstructor() = default;  // 不抛出
    void Initialize() { /*...*/}
};