constexpr函数运行时与编译时结果不一致问题排查

我编写了一段递归遍历图节点的C++代码，预期count_dfs()函数无论在编译时还是运行时执行，结果都应为4。但在MSVC中，编译时结果为3，运行时为4；而Clang和GCC的表现符合预期。请问这是MSVC的bug，还是代码存在未定义行为？是否存在constexpr函数在两种执行场景下结果不同的情况？

#include <iostream>
#include <ranges>
#include <array>

struct Edge
{
  int from{};
  int to{};
};

constexpr auto node_input_edges(auto& edges, int id)
{
  return edges | std::views::filter([id](const Edge& e) { return e.to == id; });
}

constexpr void visit_dfs(auto& edges, int curr_node, auto func)
{
  for (auto e : node_input_edges(edges, curr_node)) {
    visit_dfs(edges, e.from, func);
  }
  func();
}

constexpr auto count_dfs()
{
  std::array<Edge, 3> edges{{{0,2}, {1,2}, {2,3}}};
  size_t sz = 0;

  visit_dfs(edges, int(edges.size()), [&]()  {
    ++sz;
  });
  return sz;
}

int main()
{
  constexpr auto cnt_ct = count_dfs();
  auto cnt_rt = count_dfs();

  std::cout << "COMPILE TIME " << cnt_ct << "\n";  // 3 on MSVC, 4 on clang and gcc
  std::cout << "RUNTIME " << cnt_rt << "\n"; // 4 on all compilers
  return 0;
}

问题分析与解答 #

代码逻辑正确性 #

代码核心是通过DFS反向遍历图节点（从ID为3的节点出发，遍历所有入边指向的节点），每访问一个节点计数一次。按逻辑应访问节点3、2、0、1，共4次，预期结果正确。

是否存在未定义行为 #

代码不存在未定义行为：

• 所有操作符合C++20及以后的constexpr规范，包括递归constexpr函数、lambda捕获引用、std::ranges视图的constexpr使用。
• 变量初始化、递归调用、计数操作均明确无歧义。

跨编译器差异原因 #

这是MSVC的constexpr求值器bug。C++标准要求constexpr函数的编译时求值结果必须与运行时一致，除非代码存在未定义行为。你的代码在Clang和GCC中表现一致，仅MSVC编译时结果错误，说明是MSVC在constexpr场景下处理std::views::filter或递归遍历range时存在实现缺陷。

关于constexpr函数两种场景结果不同的情况 #

标准不允许constexpr函数在编译时和运行时产生不同结果，除非代码存在未定义行为（如访问未初始化内存、非法指针操作等）。若出现此类差异，基本可判定为编译器实现bug。

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