Lambda内if constexpr的编译器行为差异：是否为MSVC Bug？

你的理解没有任何问题：当调用f(Z{})时，T=Z，if constexpr(std::is_same<T, Z>::value)的条件为真，else分支应该被编译器完全丢弃，不会对z()进行编译检查——这是C++17标准对if constexpr的明确规定。

为什么clang和gcc能正常编译？ #

这两个编译器严格遵循了C++17标准：在模板函数的语境中，if constexpr的未选中分支属于「丢弃语句」，编译器不会实例化这部分代码。你的lambda定义在模板函数f<T>内部，整个lambda的body依然属于模板语境的一部分，所以else分支的非法代码不会被触发。

为什么MSVC报错？ #

这是旧版本MSVC的编译器bug。当if constexpr被放在lambda内部时，你使用的VS2017 19.14版本没有正确识别lambda与外层模板函数的语境关联，错误地对未选中的else分支进行了实例化检查，才抛出了C2064错误。而当你移走lambda，让if constexpr直接在f<T>的函数体中时，MSVC能正确处理丢弃分支，这也侧面印证了这个bug的存在。

解决建议 #

• 优先尝试更新到Visual Studio 2022的最新版本，微软后续已经修复了不少if constexpr相关的模板语境处理bug；
• 暂时可以通过将lambda内的逻辑移到外层模板函数中，规避这个问题。

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