【优秀三方库研读】【C++基础知识】odygrd/quill -- 折叠表达式

compute_encoded_size_and_cache_string_lengths 方法中这段代码是一个C++的折叠表达式(fold expression)的应用,用于计算多个参数编码后的总大小。下面我将详细解释这段代码的每个部分,并说明为什么这样写。

代码如下:

复制代码
 size_t total_sum{0};
  // Avoid using a fold expression with '+ ...' because we require a guaranteed evaluation
  // order to ensure that each argument is processed in sequence. This is essential for
  // correctly populating the conditional_arg_size_cache
  ((total_sum += Codec<remove_cvref_t<Args>>::compute_encoded_size(conditional_arg_size_cache, args)), ...);
  return total_sum;

代码分解

  1. 变量定义:

    cpp 复制代码
    size_t total_sum{0};
    • 定义一个size_t类型的变量total_sum,初始化为0。这个变量用于累加所有参数的编码后大小。
  2. 折叠表达式:

    cpp 复制代码
    ((total_sum += Codec<remove_cvref_t<Args>>::compute_encoded_size(conditional_arg_size_cache, args)), ...);
    • 这是一个逗号操作符的折叠表达式(comma-fold expression),展开形式为:

      cpp 复制代码
      (total_sum += Codec<remove_cvref_t<Args1>>::compute_encoded_size(conditional_arg_size_cache, args1)),
      (total_sum += Codec<remove_cvref_t<Args2>>::compute_encoded_size(conditional_arg_size_cache, args2)),
      ...,
      (total_sum += Codec<remove_cvref_t<ArgsN>>::compute_encoded_size(conditional_arg_size_cache, argsN));
    • 对参数包Args中的每一个类型Args_i,调用Codec<remove_cvref_t<Args_i>>::compute_encoded_size计算其编码大小,并将结果累加到total_sum中。

    • remove_cvref_t<Args_i>用于移除类型的constvolatile和引用修饰符,确保Codec模板实例化时使用的是原始类型。

  3. conditional_arg_size_cache:

    • 这是一个缓存结构(可能是std::vector<size_t>或类似容器),用于存储某些条件参数的编码大小。compute_encoded_size函数可能会根据参数类型和值更新这个缓存。
  4. 返回结果:

    cpp 复制代码
    return total_sum;
    • 返回累加后的总大小。

为什么这样写?

  1. 避免使用+ ...折叠表达式:

    • 注释中明确提到不使用+ ...折叠表达式(即(Codec<Args>::compute_encoded_size(args) + ...)),因为需要保证求值顺序
    • C++中,+操作符的求值顺序是未指定的(unspecified),编译器可以自由重排操作数的求值顺序。如果compute_encoded_size有副作用(比如更新conditional_arg_size_cache),求值顺序的乱序会导致缓存内容错误。
    • 而逗号操作符(,)的求值顺序是严格从左到右的(C++17起),因此((expr), ...)能保证每个expr按参数包的顺序依次求值。
  2. 依赖conditional_arg_size_cache的副作用:

    • 如果compute_encoded_size会根据当前参数的值更新缓存(例如,某些参数的编码大小依赖于之前参数的值),则必须保证参数的处理顺序与传入顺序一致。
    • 使用逗号折叠表达式是实现这一目标的简洁方式。
  3. 简洁性与性能:

    • 折叠表达式是C++17的特性,能以最简洁的方式展开参数包。
    • 直接累加到total_sum避免了临时变量的分配,性能更高。

等价实现(非折叠表达式)

如果不使用折叠表达式,代码可能需要写成:

cpp 复制代码
size_t total_sum{0};
auto update_sum = [&](const auto& arg) {
    total_sum += Codec<remove_cvref_t<decltype(arg)>>::compute_encoded_size(conditional_arg_size_cache, arg);
};
(update_sum(args), ...);  // 仍然用逗号操作符保证顺序
return total_sum;

或更冗长的递归模板展开。折叠表达式是更优的选择。

总结

这段代码的核心目的是:

  1. 按顺序计算每个参数的编码大小。
  2. 确保conditional_arg_size_cache的更新顺序与参数顺序一致。
  3. 以最高效的方式累加结果。

通过逗号折叠表达式,既保证了求值顺序,又实现了简洁高效的代码。

相关推荐
tan180°1 小时前
MySQL表的操作(3)
linux·数据库·c++·vscode·后端·mysql
彭祥.2 小时前
Jetson边缘计算主板:Ubuntu 环境配置 CUDA 与 cudNN 推理环境 + OpenCV 与 C++ 进行目标分类
c++·opencv·分类
lzb_kkk3 小时前
【C++】C++四种类型转换操作符详解
开发语言·c++·windows·1024程序员节
胖大和尚5 小时前
clang 编译器怎么查看在编译过程中做了哪些优化
c++·clang
钱彬 (Qian Bin)6 小时前
一文掌握Qt Quick数字图像处理项目开发(基于Qt 6.9 C++和QML,代码开源)
c++·开源·qml·qt quick·qt6.9·数字图像处理项目·美观界面
双叶8366 小时前
(C++)学生管理系统(正式版)(map数组的应用)(string应用)(引用)(文件储存的应用)(C++教学)(C++项目)
c语言·开发语言·数据结构·c++
源代码•宸6 小时前
C++高频知识点(二)
开发语言·c++·经验分享
jyan_敬言8 小时前
【C++】string类(二)相关接口介绍及其使用
android·开发语言·c++·青少年编程·visual studio
liulilittle8 小时前
SNIProxy 轻量级匿名CDN代理架构与实现
开发语言·网络·c++·网关·架构·cdn·通信
tan77º9 小时前
【Linux网络编程】Socket - UDP
linux·服务器·网络·c++·udp