🦞 Lobsters|📄 原文链接|2026-07-25 收录

PImpl 惯用法与 C++26 的 std::indirect 类型

来源：mariusbancila.ro — 2026-07-23

📋 概述

PImpl（Pointer to Implementation）是 C++ 中经典的编译防火墙惯用法，通过将实现细节隐藏在 opaque 指针后面来最小化头文件依赖和编译时间。传统实现需要手写完整的五法则（析构函数、拷贝构造、拷贝赋值、移动构造、移动赋值），代码冗长且容易出错。C++26 引入的 std::indirect 类型从根本上简化了这一模式：它是一个值语义的包装器，内部通过指针持有对象，但自动处理所有资源管理——拷贝时自动深拷贝、移动时转移所有权、析构时自动释放。文章以 Widget 类为例对比了传统 raw pointer 实现（需要前向声明 Impl 结构体，在 .cpp 中手写全部五个特殊成员函数）和 C++26 的 std::indirect 版本（只需声明 std::indirect<Impl> 成员，编译器自动生成所有特殊成员）。

🔑 核心要点

PImpl 的核心价值：接口与实现分离，头文件只需前向声明实现类，所有实现细节移入 .cpp，大幅减少编译依赖和重新编译的传播范围。
传统实现的痛点：必须遵循五法则手写全部五个特殊成员函数，每个函数都需要管理裸指针的生命周期，容易产生内存泄漏或双重释放。
std::indirect<T> 是 C++26 的新增类型，提供值语义的间接持有：拷贝时自动深拷贝 T 对象，移动时转移所有权，析构时自动释放，无需手写任何特殊成员函数。
以 Widget 为例：传统版本 ~60 行实现代码，std::indirect 版本只需 ~20 行——代码量减少三分之二，且消除了所有资源管理错误的风险。
std::indirect 还能与不完整类型协同工作：只要在析构函数的定义点 T 是完整类型即可，这与 unique_ptr 的要求一致。
这是 C++ 现代化进程中的典型进步：用类型系统而非手动约定来表达所有权和生命周期语义。

💡 金句

Its purpose is to separate interfaces and implementations and minimize compile-time dependencies. ——它的目的是将接口与实现分离，并最小化编译时依赖。

← 返回 Lobsters 首页