viable/strict/1788591205: Make c10::List's iterator model the concepts it claims (#196002)
PyTorch 的 c10::List 迭代器此前声称 random_access_iterator_tag，但其 operator* 返回代理对象，违反 C++17 对 forward 及以上迭代器的要求。该提交将 iterator_concept 设为 random_access_iterator_tag（C++20 允许代理），iterator_category 保持显式 input_iterator_tag。同时修复了 libc++ 上默认比较运算符被隐式删除导致迭代器概念失败的问题，并修正 List::emplace 转发参数到 std::vector::emplace 时可能选择错误 IValue 重载的问题。测试包括对四种元素类型的 static_assert 概念检查及回归测试。
Development
- First Reportviable/strict/1788591205: Make c10::List's iterator model the concepts it claims (#196002)PyTorch Core
- Industry Responsetrunk/f3218d29dceb4e224f4c53f9ee096e0bec62aa12: Make c10::List's iterator model the concepts it claims (#196002)PyTorch Core
- Current AssessmentPyTorch 作为主流深度学习框架，其核心库的迭代器修复虽小，但体现了对 C++20 标准的跟进和跨平台兼容性的重视。这有助于提升框架在 macOS 等平台上的稳定性和性能，对依赖 PyTorch 的 AI 应用开发者有积极影响。Agent Pulse · analysis
PyTorch 核心库 c10::List 的迭代器实现此前声称符合 random_access_iterator_tag，但其 operator* 返回代理对象，这在 C++17 中是不允许的，导致迭代器概念不成立。该提交将 iterator_concept 设置为 random_access_iterator_tag（C++20 中允许代理），同时保持 iterator_category 为显式 input_iterator_tag。此外，修复了 libc++ 上默认比较运算符被隐式删除的问题，该问题导致 macOS 上所有迭代器概念失败。还修复了 List::emplace 转发参数到 std::vector::emplace 时可能选择错误 IValue 重载的问题，例如 List().emplace(pos, 1) 会存储 Int 而非 Double。测试计划包括对四种元素类型的 static_assert 概念检查，以及 use_count 和 emplace 的回归测试。
该提交表明 PyTorch 正在使其容器迭代器符合 C++20 的迭代器概念，特别是通过设置 iterator_concept 为 random_access_iterator_tag 来允许代理迭代器。这反映了 C++20 对代理迭代器的支持，但 iterator_category 仍保持 input_iterator_tag，以避免破坏现有代码。修复 libc++ 上默认比较运算符被删除的问题，说明跨标准库实现的兼容性仍是挑战。emplace 的修复则指出转发参数时可能因重载决议而选择错误类型，需要显式构造目标类型。
PyTorch 作为主流深度学习框架，其核心库的迭代器修复虽小，但体现了对 C++20 标准的跟进和跨平台兼容性的重视。这有助于提升框架在 macOS 等平台上的稳定性和性能，对依赖 PyTorch 的 AI 应用开发者有积极影响。
该修复提升了 PyTorch 在 macOS 等平台上的稳定性和标准符合性，减少了因迭代器概念失败导致的编译错误，降低了开发者的维护成本。对使用 PyTorch 进行 AI 应用开发的企业而言，可减少潜在的技术债务和平台兼容性问题。
未来可观察 PyTorch 是否在其他容器或迭代器中采用类似 C++20 概念，以及是否引入更多代理迭代器以优化性能。同时，跨标准库的兼容性修复可能持续出现。