mysql readview错误？

Question

这是一个关于 MySQL 8.0 源代码中 InnoDB 存储引擎内部代码的问题。

在 'ReadView::prepare' 方法（文件 read/read0read.c）中：

m_up_limit_id = !m_ids.empty() ? m_ids.front() : m_low_limit_id;

在 'changes_visible' 方法（文件 include/read0types.h）中：

if (id < m_up_limit_id || id == m_creator_trx_id) {
  return (true);
}
...
if (id >= m_low_limit_id) {
 return (false);
} else if (m_ids.empty()) {
  return (true);
}

m_ids.empty() 的逻辑没有用，id 不能小于 m_up_limit_id 且大于或等于 m_low_limit_id，因为m_ids.empty()，然后m_up_limit_id == m_low_limit_id，不知道我的理解是否准确，希望得到答案

Answer 1

我认为调用empty（）很重要。一组活动交易可能是空的。换句话说，在没有主动交易的时候准备了ReadView。

如果是这种情况，则front（）函数无法返回有效的事务ID。 front（）中的代码如果在空集中调用了调试声明。