如何将引用的元组转换为元组的引用？

Question

如何将引用的元组转换为元组的引用？

10

我想将一个引用元组（所有引用都是同一个结构体成员的引用）转换为元组的引用。

我尝试了各种方式来强制转换它们，但是我无法做到不克隆就完成转换。

struct Bar();

struct Foo(Bar, Bar, Bar);

fn main() {
    let a: &Foo = &Foo(Bar(), Bar(), Bar());
    let b: &(Bar, Bar) = &(a.0, a.1);
}

error[E0507]: cannot move out of borrowed content
 --> src/main.rs:7:28
  |
7 |     let b: &(Bar, Bar) = &(a.0, a.1);
  |                            ^^^ cannot move out of borrowed content

error[E0507]: cannot move out of borrowed content
 --> src/main.rs:7:33
  |
7 |     let b: &(Bar, Bar) = &(a.0, a.1);
  |                                 ^^^ cannot move out of borrowed content

假设 a 的类型是 &Foo，我期望 b 的类型为 &(Bar, Bar)。

- Jonas

1

你很可能正在经历一个XY问题。几乎肯定有更好的方法来解决导致你提出这个问题的根本问题。 - Shepmaster

1个回答

网页内容由stack overflow 提供, 点击上面的

可以查看英文原文，
原文链接

- Shepmaster · Accepted Answer

这是不可能的。

一个引用指向一个值。你想要一个&(Bar, Bar)，但是内存中没有一个2元组(Bar, Bar)。你不能引用不存在的东西。

&(A, B)和(&A, &B)的内存布局根本不兼容，因此您也无法使用不安全的Rust技术。

在这种特殊情况下，您也许可以使用不安全的Rust直接将&Foo转换为&(Bar, Bar)，但是...

它要求元组结构体和元组的布局相同；我不知道是否能保证¹
它要求元组结构体的布局紧密打包，以便您可以通过成员大小偏移来到达下一个成员；我不知道是否能保证¹
它要求元组结构体的布局按照定义的顺序放置成员；我不知道是否能保证¹
您只能对连续的片段进行操作；不能获取第一个和第三个项

// I copied this unsafe block from Stack Overflow
// without properly documenting why I think this code is safe.
let b: &(Bar, Bar) = unsafe { &*(a as *const Foo as *const (Bar, Bar)) };
println!("{:?}", b);

// I copied this unsafe block from Stack Overflow
// without properly documenting why I think this code is safe.
let c: &(Bar, Bar) = unsafe {
    let p = a as *const Foo as *const Bar;
    let p = p.offset(1);
    &*(p as *const (Bar, Bar))
};
println!("{:?}", c);

1 — 实际上，文档明确说明：

元组没有其布局的任何保证。

唯一的例外是单元素元组 (())，它保证作为零大小类型具有大小为 0 和对齐度为 1。

这意味着，虽然这段代码可能会打印出你期望的结果并且Miri不会抱怨，但这是未定义的行为。