Что означает + операнд между типами? - PullRequest
Новая
       51

Что означает + операнд между типами?

1 голос
/ 08 апреля 2019

В этом примере из core :: any 

use std::fmt::Debug;
use std::any::Any;

// Logger function for any type that implements Debug.
fn log<T: Any + Debug>(value: &T) {
    let value_any = value as &dyn Any;

    // try to convert our value to a String.  If successful, we want to
    // output the String's length as well as its value.  If not, it's a
    // different type: just print it out unadorned.
    match value_any.downcast_ref::<String>() {
        Some(as_string) => {
            println!("String ({}): {}", as_string.len(), as_string);
        }
        None => {
            println!("{:?}", value);
        }
    }
}

// This function wants to log its parameter out prior to doing work with it.
fn do_work<T: Any + Debug>(value: &T) {
    log(value);
    // ...do some other work
}

fn main() {
    let my_string = "Hello World".to_string();
    do_work(&my_string);

    let my_i8: i8 = 100;
    do_work(&my_i8);
}

Впервые я увидел операнд + между типами Any + Debug. Я предполагаю, что он похож на алгебраических типов и поэтому будет типом Any с типом Debug; однако я не могу найти никаких документов по алгебраическим типам в Rust.

Что на самом деле здесь делает 1016, как он называется? Где я могу найти документы по этому вопросу?

1 Ответ

5 голосов
/ 08 апреля 2019

T: <a href="https://doc.rust-lang.org/std/any/trait.Any.html" rel="nofollow noreferrer">Any</a> + <a href="https://doc.rust-lang.org/std/fmt/trait.Debug.html" rel="nofollow noreferrer">Debug</a> является границей черты . Тип T должен удовлетворять Any и Debug, поэтому здесь используется знак + и он не связан с алгебраическими типами , Подробнее о чертах вы можете прочитать в соответствующем разделе в книге .

В этом разделе упоминается знак +.

...