MSVC下使用C++17并行算法搭配Boost zip迭代器报C2338错误

• 报错error C2338: Parallel algorithms require forward iterators or stronger. 是MSVC标准库并行实现自带的静态断言触发的，校验逻辑会通过std::iterator_traits读取迭代器的类别，必须显式对应向前迭代器或更强的迭代器类型，才允许进入并行执行分支。
• 被校验判定不满足要求的迭代器就是boost::combine返回的zip迭代器：较老版本的Boost zip迭代器，在std::iterator_traits的默认特化中，只将自身的类别标记为输入迭代器，即便它本身完全满足向前迭代器的所有语义要求——支持多次解引用、等值判断、多次遍历访问，不存在输入迭代器只能单遍扫描的限制。
• 同一份代码在GCC环境下可以正常编译，是因为libstdc++的并行算法实现没有加入这类严格的编译期迭代器类别校验，只要迭代器的接口可以正常完成算法需要的操作，就可以正常走并行路径，不会因为traits标记的类别偏弱直接拦截编译。

• 升级Boost版本
  从Boost 1.56版本开始，官方已经修正了zip迭代器的traits标记，将其显式声明为向前迭代器级别，使用对应及以上版本的Boost时，MSVC的编译校验可以正常通过。
• 手动补全迭代器traits适配
  如果暂时无法升级Boost版本，可以针对当前实际用到的boost::zip_iterator具体类型，在全局命名空间手动补充std::iterator_traits的特化，将迭代器类别显式指定为std::forward_iterator_tag，即可正常通过MSVC的编译校验。
• 不推荐的绕开方式
  不要为了消掉报错直接修改MSVC标准库的头文件，删掉那个触发C2338的静态断言。如果之后真的传入了不满足向前迭代器语义的弱迭代器，会触发难排查的未定义行为，故障定位成本远高于现在的编译报错。

这里需要明确：MSVC的严格校验不属于实现缺陷。C++标准本身就明确要求，传入并行算法的迭代器必须满足向前迭代器的最低要求。GCC的宽松实现没有强制做这类校验，只是对标准未约束的未定义行为场景做了放行，不代表这类放行是更优的实现选择。MSVC在编译期拦截这类不符合要求的用法，是减少线上隐性故障的保护机制。

内容的提问来源于stack exchange，提问作者llebocq