如何为结构体字段遍历函数实现条件式noexcept（C++26）

要给遍历结构体字段的for_each_field函数添加条件性noexcept，需同时检查结构化绑定的解构操作和每个f调用的异常安全性，但直接在noexcept表达式中写结构化绑定声明是不合法的——C++禁止在常量表达式上下文内进行变量声明。

解决方案：提取核心逻辑到辅助函数 #

最简洁且符合标准的实现方式是把核心逻辑放到辅助函数中，主函数的noexcept直接委托给辅助函数调用的异常属性。这种写法能自动涵盖所有需要检查的操作，且兼容clang-21。

#include <utility>

template <typename S, typename F>
constexpr auto for_each_field_impl(S&& s, F&& f) 
{
  auto&& [... elts] = static_cast<S&&>(s);
  ((static_cast<F&&>(f)(std::forward_like<S>(elts))), ...);
}

template <typename S, typename F>
constexpr auto for_each_field(S&& s, F&& f) 
noexcept(noexcept(for_each_field_impl(std::forward<S>(s), std::forward<F>(f))))
{
  return for_each_field_impl(std::forward<S>(s), std::forward<F>(f));
}

原理说明 #

• 辅助函数for_each_field_impl承载原本的核心逻辑：通过结构化绑定展开提取结构体所有字段，折叠调用传入的函数f。
• 主函数的noexcept表达式通过检查for_each_field_impl的调用是否noexcept，间接完成两项关键检查：
  1. 结构化绑定的解构操作（从S中提取所有字段）是否无异常；
  2. 对每个字段转发调用f的操作是否无异常。
• 该实现完全遵循C++26标准，clang-21可正确解析结构化绑定展开与noexcept推导。

内容的提问来源于stack exchange，提问作者Jean-Michaël Celerier