Item 54：熟悉标准程序库与 TR1

从“不再手写基础设施”开始

C++ 标准库给出跨项目共同理解的 types、algorithms 和 contracts。熟悉它的目标不是背 API，而是在遇到所有权、查找、排序、时间和并发问题时先识别已有标准抽象。

Item 54 的原则是 Familiarize yourself with the standard library including TR1（熟悉标准库，包括 TR1）。

先预测：选择 vector 与 list 时，除了插入复杂度还必须比较哪些 contract？iterator invalidation、cache locality、内存开销和真实遍历模式同样决定结果。

containers、iterators 与 algorithms 是组合系统

std::vector<Record> records = loadRecords();
 
std::ranges::sort(records, {}, &Record::key);
auto match = std::ranges::find(records, wantedId, &Record::id);

算法与容器分离让同一 sort/find/transform 逻辑复用于不同 storage，同时 traits/concepts 选择合适实现。不要因一个操作不顺手就立刻写自有 container。

smart pointers 把 ownership 变成类型

auto document = std::make_unique<Document>();
auto sharedCache = std::make_shared<Cache>();
std::weak_ptr<Cache> observer = sharedCache;

unique_ptr 表达单一 ownership，shared_ptr 表达共享 control block，weak_ptr 表达不增加 ownership 的观察。选择依据是生命周期，不是“哪个最方便复制”。

优先 make_unique/make_shared，避免 raw new 暴露和参数求值中的泄漏窗口；但 custom deleter、arrays 和 over-aligned resource 仍需读 contract。

function objects 与 callable vocabulary

原书时代强调 function objects、std::tr1::function 与 bind。现代标准中常见：

std::function<bool(const Record&)> predicate =
    [limit](const Record& value) { return value.score() >= limit; };

std::function 提供运行期多态和可复制 vocabulary，但可能分配且有间接调用。template parameter 或 auto callable 保留静态类型并利于 inline；按边界需要选择。

TR1 是历史桥梁

Effective C++ 第三版成书时，TR1 设施通常位于 std::tr1，实现可用性不一。它吸收了大量 Boost 实践，为后来 C++11 标准库提供基础。

今天阅读 std::tr1::shared_ptr、std::tr1::function 时，应理解原书意图，再映射到当前 std::shared_ptr、std::function；不要机械复制历史 namespace。

TR1 smart pointers 的现代落点

TR1 主要提供 shared/weak ownership；现代 C++ 还以 unique_ptr 取代旧 auto_ptr 的转移式复制。

迁移不只是 namespace 替换：检查 constructors、atomic operations、array support、owner comparison 和实现 ABI。大型项目通过 adapter/compatibility layer 分阶段切换。

hash tables：平均常量不等于总是更快

std::unordered_map<Key, Value, KeyHash, KeyEqual> index;

TR1 引入 unordered containers，后来进入标准。contract 包括平均复杂度、rehash invalidation、load factor、hash/equality 一致性和最坏冲突行为。

有序 map 提供 order/range query 与稳定复杂度；小数据线性 vector 可能 cache 更好。按操作分布测量。

regular expressions：先确认语法和成本

std::regex pattern(R"(^[A-Z]{2}-\d{4}$)");
bool valid = std::regex_match(code, pattern);

TR1 regex 后来进入 std::regex。应复用 compiled pattern、明确 grammar/locale、限制不可信输入复杂度，并在目标 standard-library implementation 上 benchmark。

tuple 与 type traits 支撑泛型代码

using Result = std::tuple<Status, Payload, Metadata>;
static_assert(std::is_nothrow_move_constructible_v<Payload>);

TR1 的 tuple/type_traits 成为现代 generic programming 基础。公共 API 若每个位置有领域意义，named struct 往往比 tuple 清晰；traits 也应服务真实 constraint，而不是炫技。

random、math 与 reference wrappers

TR1 还包含随机数、特殊数学函数、reference_wrapper 等。现代 <random> 把 engine 与 distribution 分离，避免 rand()%n 的质量和偏差问题。

std::ref 允许在按值保存 callable arguments 的设施中显式传 reference；它是生命周期敏感工具，不会延长 referent 寿命。

标准库优先不等于禁止第三方库

标准设施的优势是普及、文档、工具支持和 portability；第三方库可能在性能、功能或发布节奏上更适合。

选择第三方前记录：缺少什么 contract、版本/ABI、license、安全维护、平台覆盖和迁移出口。自研基础设施成本最高，必须有持续 owner。

一套 library 选型流程

1. 用领域语言写 ownership、ordering、lookup、parsing 或 concurrency 需求。
2. 搜索当前 C++ standard 和已启用 library version 的设施。
3. 阅读 invalidation、complexity、exceptions、thread safety 和 lifetime contract。
4. 对热点在正式 compiler/library/platform 基准测量。
5. 若需第三方，用窄 domain adapter 隔离供应商 API。
6. 在多标准库/工具链矩阵验证，并记录升级路径。

先预测某个 cache 应选 map、unordered_map 还是 sorted vector，再用真实 key 数、查询/更新比例和 iteration 需求验证。

小结

• 熟悉标准库是理解可复用 contracts，不是只记 container 名称
• containers、iterators、algorithms 与 function objects 形成可组合 generic system
• smart pointers 以类型表达 ownership，function/type erasure 按边界需要选用
• TR1 是从 Boost 实践走向正式标准的重要历史桥梁，现代代码使用对应 std 设施
• hash tables、regex、tuple、traits 等进入标准后仍需理解失效、复杂度和实现差异
• 标准库应是默认候选，但最终选择要经过 contract、benchmark 和 portability matrix