Inconsistent `arena_matrix`/`varmat` interaction between `=` and `+=`

未关闭
  • 哪里不对？
#3,407 2 条评论 0 个 reaction 已指派 1 人 在 GitHub 查看

维护者通常 1 天内回复

@SteveBronder 已经在做这个了。

开始于 2026年9月22日。

评估

难度
5/5
预计耗时
一周以上
新手友好度
35/100
Issue 类型
缺陷
描述清晰度
需要澄清
活跃度
活跃
技术栈
cpp
领域
backend

调研方向

从提供的 reproducer 开始，检查 arena_tEigen::MatrixXd 与 var_valueEigen::MatrixXd 之间的交互。确定 += 与 = 各自预期的别名行为，然后为这两个操作定义一致的预期结果和测试。

由索引模型根据 Issue 内容生成。

描述

Opening this one as an issue since I'm not sure what the correct/intentional behaviour should be!

The arena_matrix <-> var_value<Eigen::MatrixXd> interaction currently handles inplace writes differently to assignment.

Where modifying an arena_matrix after creating a var_value will also update the value of the var_value if an inplace write is used, but not if an assignment is used:

#include <stan/math/rev.hpp>
#include <iostream>

int main() {
  Eigen::MatrixXd m = Eigen::MatrixXd::Constant(1, 1, 1);

  stan::arena_t<Eigen::MatrixXd> a(m);
  stan::math::var_value<Eigen::MatrixXd> v(a);  // shares a's memory
  std::cout << v.val() << "\n";

  a += m;  // writes in place, v sees the new values
  std::cout << v.val() << "\n";

  a = a + m;  // rebinds a, v keeps the old memory
  std::cout << v.val() << std::endl;
}

Returns:

$ ./arena 
1
2
2
主要语言
C++
星标
845
派生
225
平均合并
3 天 9 小时
30 天内合并 PR
12

环境准备

从这里开始

  1. 先读完整个 Issue，再读项目的贡献指南。
  2. 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
  3. Fork 仓库，在一个分支上完成修改。
  4. 提交 Pull Request，并在描述里引用这个 Issue 编号。

stan-dev/math 的其他 Issue

查看 stan-dev/math 的全部 Issue

相似的 Issue

更多 C++ Issue

把新 issue 发到你的邮箱

精选适合新手参与的 GitHub issue 摘要。