哪种类型对方法的`self`参数有效?

时间:2014-08-23 14:24:24

标签: methods syntax rust

我想创建一个仅在self参数为Rc的情况下才有效的方法。我看到我可以使用Box,所以我想我可能会尝试模仿它是如何工作的:

use std::rc::Rc;
use std::sync::Arc;

struct Bar;

impl Bar {
    fn consuming(self) {}
    fn reference(&self) {}
    fn mutable_reference(&mut self) {}
    fn boxed(self: Box<Bar>) {}
    fn ref_count(self: Rc<Bar>) {}
    fn atomic_ref_count(self: Arc<Bar>) {}
}

fn main() {}

产生这些错误:

error[E0308]: mismatched method receiver
  --> a.rs:11:18
   |
11 |     fn ref_count(self: Rc<Bar>) {}
   |                  ^^^^ expected struct `Bar`, found struct `std::rc::Rc`
   |
   = note: expected type `Bar`
   = note:    found type `std::rc::Rc<Bar>`

error[E0308]: mismatched method receiver
  --> a.rs:12:25
   |
12 |     fn atomic_ref_count(self: Arc<Bar>) {}
   |                         ^^^^ expected struct `Bar`, found struct `std::sync::Arc`
   |
   = note: expected type `Bar`
   = note:    found type `std::sync::Arc<Bar>`

这是Rust 1.15.1。

2 个答案:

答案 0 :(得分:11)

在Rust 1.33之前,只有四个有效的方法接收器:

struct Foo;

impl Foo {
    fn by_val(self: Foo) {} // a.k.a. by_val(self)
    fn by_ref(self: &Foo) {} // a.k.a. by_ref(&self)
    fn by_mut_ref(self: &mut Foo) {} // a.k.a. by_mut_ref(&mut self)
    fn by_box(self: Box<Foo>) {} // no short form
}

fn main() {}

Originally,Rust没有明确的self表单,只有self&self&mut self~selfBox的旧名称。这改变了,只有按值和按引用具有简写的内置语法,因为它们是常见的情况,并且具有非常关键的语言属性,而所有智能指针(包括Box)都需要明确的形式。

从Rust 1.33开始,some additional selected types可用作self

  • Rc
  • Arc
  • Pin

这意味着原始示例现在有效:

use std::{rc::Rc, sync::Arc};

struct Bar;

impl Bar {
    fn consuming(self)                  { println!("self") }
    fn reference(&self)                 { println!("&self") }
    fn mut_reference(&mut self)         { println!("&mut self") }
    fn boxed(self: Box<Bar>)            { println!("Box") }
    fn ref_count(self: Rc<Bar>)         { println!("Rc") }
    fn atomic_ref_count(self: Arc<Bar>) { println!("Arc") }
}

fn main() {
    Bar.consuming();
    Bar.reference();
    Bar.mut_reference();
    Box::new(Bar).boxed();
    Rc::new(Bar).ref_count();
    Arc::new(Bar).atomic_ref_count();
}

但是,impl处理尚未完全推广以匹配语法,因此用户创建的类型仍然不起作用。有关这方面的进展正在功能标记arbitrary_self_types下进行,讨论正在the tracking issue 44874进行。

(值得期待的东西!)

答案 1 :(得分:2)

现在可以对self使用任意类型,包括Arc<Self>,但是该功能被认为是不稳定的,因此需要添加此crate attribute

#![feature(arbitrary_self_types)]

使用feature条板箱属性需要使用每晚的Rust。