Microsoft STL中pair/tuple格式化器的参数访问问题解析

问题背景

在C++标准库的格式化输出功能中，std::pair和std::tuple的格式化处理存在一个值得注意的实现缺陷。当开发者尝试使用自定义格式化器作为pair或tuple的元素时，这些元素的格式化器无法正确访问外部的格式化参数。

问题现象

考虑以下示例代码：

#include <print>
#include <thread>

template <size_t I> struct substitute_arg {};

template <size_t I> struct std::formatter<substitute_arg<I>> {
  // 解析格式说明符
  template <class ParseContext> constexpr auto parse(ParseContext &ctx) {
    auto it = ctx.begin();
    if (it != ctx.end() && *it != '}') {
      throw format_error{"Expected empty spec"};
    }
    ctx.check_arg_id(I);
    return it;
  }

  // 格式化实现
  template <class FormatContext>
  auto format(substitute_arg<I>, FormatContext &ctx) const {
    auto visitor = [&]<class T>(T val) -> FormatContext::iterator {
      if constexpr (same_as<T, monostate>) {
        return ranges::copy("monostate"sv, ctx.out()).out;
      } else if constexpr (same_as<T, typename basic_format_arg<
                                          FormatContext>::handle>) {
        format_parse_context parse_ctx{""};
        val.format(parse_ctx, ctx);
        return ctx.out();
      } else {
        return format_to(ctx.out(), "{}", val);
      }
    };
    return visit_format_arg(visitor, ctx.arg(I));
  }
};

int main() {
  std::println("{0:}", std::tuple{substitute_arg<1>{}, substitute_arg<2>{}},
               "thread::id", std::thread::id{});
}

预期输出应该是(thread::id, 0)，但实际上却得到了(monostate, monostate)。这表明格式化器无法正确访问外部的格式化参数。

技术分析

这个问题源于pair/tuple格式化器的实现方式。在标准库实现中，当处理pair或tuple的格式化时：

1. 外部的格式化参数（如示例中的"thread::id"和std::thread::id{}）应该能够被内部元素的格式化器访问
2. 当前实现使用了错误的basic_format_context类型
3. 格式化参数没有被正确传递到内部元素的格式化器中

解决方案

正确的实现应该：

1. 使用一致的basic_format_context类型
2. 通过_Get_args正确复制格式化参数
3. 确保内部格式化器能够访问外部格式化上下文中的参数

影响范围

这个问题不仅影响复杂的自定义格式化器场景，甚至会影响基本的tuple格式化输出。例如：

std::println("{}", std::make_tuple(1, 2, 3));

在某些版本中也可能无法正常工作。

修复状态

该问题已在Microsoft STL的最新版本中得到修复，并将在VS 2022 17.9.11版本中发布。开发者在使用较旧版本时需要注意这一限制。

最佳实践

对于需要访问外部格式化参数的自定义类型：

1. 确保测试格式化器在不同上下文中的行为
2. 考虑在格式化器实现中添加参数访问的fallback机制
3. 关注编译器/标准库版本的更新，及时升级以获得修复

这个问题展示了C++格式化库实现中的一些微妙之处，特别是在处理嵌套格式化场景时参数传递的复杂性。理解这些底层机制有助于开发者编写更健壮的自定义格式化器。