三上のBlog

在现代 C++ 开发中，移动语义 (Move Semantics) 是高性能编程的基石. 然而，即使是有经验的开发者，也常常会在 T&&, std::move 和 std::forward 的使用上栽跟头. 你是否遇到过这样的疑惑: 明明函数参数类型写的是 T&& (右值引用) ，为什么编译器还是调用了拷贝构造函数? ** 或者，写模板时到底该用 move 还是 forward? ** 本文将基于实战场景，总结 C++ 移动语义中最核心的规则与陷阱. std::move 问题引入 让我们考虑以下问题: BASIC_JSON_TEMPLATE void BASIC_JSON_TYPE::push_back(basic_json&... Read More

在 C++ 模板编程的领域中, 我们通常熟悉的是“类型参数” (typename T) 和“非类型参数” (int N). 然而, C++ 还提供了一个更高级, 更强大的元编程工具: 模板模板参数 (Template Template Parameters, TTP). 正如其名, TTP 允许我们将“模板”本身作为参数传递给另一个模板. 这听起来可能有些抽象, 但它是实现高级抽象和“策略基设计 (Policy-Based Design)”的核心机制. 本文将详细探讨模板模板参数的定义, 用途, 语法, 并通过实例分析其在现代 C++ 库 (如 nlohmann/json) 中的关键作用. 1. 什么是模板模板参数? 要理解 TTP, 我们首先要将其与最常见的“类型参数”进... Read More

本文完整示例代码来源于 cppreference.com (example) 在 C++ 模板编程的领域中, 我们经常需要根据类型的不同属性 (Traits) 来选择性地启用或禁用特定的函数重载或类模板实现. 例如, 我们可能希望一个 destroy 函数对平凡可析构的类型 (如 int) 执行空操作, 而对非平凡可析构的类型 (如 std::string) 显式调用其析构函数. 实现这种编译期条件分支的核心机制之一, 就是 SFINAE, 而 std::enable_if 则是利用这一机制的标准库工具. 本文将从 std::enable_if 出发, 详细解析其工作原理及 SFINAE 机制, 并探讨其在不同场景下的应用. 核心机制: SFINAE (替换失败并非错误) ... Read More

C++11 引入的可变参数模板是现代C++泛型编程的基石之一. 它允许我们创建可以接受任意数量, 任意类型参数的模板函数和模板类. 这种能力在标准库中随处可见, 例如 std::tuple, std::function, std::make_unique 和 std::vector::emplace_back. 本文将分为两部分. 第一部分详细介绍 ... 的核心语法和使用模式; 第二部分将深入分析编译器是如何处理 ... 的, 探讨其背后的底层实现机制. 第一部分: ... 的使用方法 ... 在C++模板中有两种截然不同的角色: 声明参数包和展开参数包. 1. 核心语法: 声明参数包 (Parameter Pack) 参数包是一个可以容纳零个或多个模板参数的“容器”. ... Read More

<charconv> 是 C++17 标准库中引入的一个非常重要且实用的头文件. 它的核心目标是提供高性能, 无异常, 无内存分配, 且区域设置(locale)无关的基本数值类型与字符串之间的相互转换. 在 <charconv> 出现之前, C++ 开发者通常有以下几种选择, 但它们各有缺点: C 风格 (stdio): sprintf, sscanf, atoi, atof 等. 缺点: 类型不安全, 容易导致缓冲区溢出 (尤其是 sprintf) , 并且 sscanf 的性能不佳. C++ 字符串流 (sstream): std::stringstream. 缺点: 性能开销大, 涉... Read More