Помогите разобраться, что-то ваще какой-то тупняк...

Не знаю rust, но мнение имею.

Так, как написано, только через match поди. Что-нибудь типа: match res { X(field) => field }

Но вообще, в языках с алгебраическими типами структурные обёртки обычно делают с именованными полями, чтобы не надо было каждый раз матчить.

Как-то так.

fn main() {
    let res = match f(true) {
        Ok(s) => {
            let X(answer) = s;
            answer
        }
        Err(_) => return,
    };
    println!("{}", res);
}

struct X(String);
fn f(b : bool ) -> Result<X, ()> {
    match b {
        true => Ok(X("ok res".to_string())), 
        false => Err(())
    }   
}

Ну, например, с помощью метода `map`:

#[derive(Debug)]
struct X(String);

fn f(b: bool) -> Result<X, ()> {
    match b {
        true => Ok(X("ok res".to_string())), 
        false => Err(())
    }   
}   

fn main() {
    let res = f(true);
    println!("{:?}", res.map(|X(x)| x)); //=> Ok("ok res")
}

здесь, дети, мы видим половину интерпретатора лиспа

Всем огромное - Спасибо. )

Разобрался.

Может ещё кто подскажет что значит:

error: cannot move out of borrowed content

?

Спасибо.

Как раз читаю об этом: https://doc.rust-lang.org/book/ownership.html

здесь, дети, мы видим половину интерпретатора лиспа

И что тут от лиспа вообще?

Это интересная фича. А как дело обстоит, когда несколько конструторов у структуры?

сначала подумал: «что за говно, вообще?», потом прочитал тэг и сразу стало не интересно

При чём тут конструкторы? Какие вообще конструкторы? В Rust их нет. Тем более что речь вообще не о структурах, а о tuple struct.

К элементам тупла можно обращаться через .0, .1, .2, etc. X в данном случае именованный тупл.

При чём тут конструкторы? Какие вообще конструкторы? В Rust их нет.

Конструкторы данных. Залез и посмотрел специально доку, есть они: https://doc.rust-lang.org/stable/reference.html#enumerations

Тем более что речь вообще не о структурах, а о tuple struct.

Странный ты какой-то. Как может не идти речь о структурах, когда tuple struct — это такой вид структуры такой? https://doc.rust-lang.org/stable/reference.html#structures

Впрочем, лучше не отвечай.

Понял, да. Где-нибудь сказано, зачем вообще существуют отдельно struct и enum? struct же по сути частный случай enum всего-лишь. Его можно было бы сделать включающейся/выключающейся оптимизацией в компиляторе, а не отдельную синтаксическую конструкцию городить.

Ну enum это тип-сумма, а struct — тип-произведение. А вообще для устранения путаницы, скорее всего.

Конструкторы данных. Залез и посмотрел специально доку, есть они: https://doc.rust-lang.org/stable/reference.html#enumerations

Это не конструктор в привычном (плюсовом) смысле... я вообще не понимаю, что они называют словом «constructor» — неужели конкретный элемент enum'а?

В любом случае, к единичным tuple struct оно не относится...

Как может не идти речь о структурах, когда tuple struct — это такой вид структуры такой?

A tuple structure is a nominal tuple type

tuple struct — это разновидность tuple, а не разновидность struct...

enum это тип-сумма

Согласно доке enum — это и то, и другое:

enum Animal {
    Dog (String, f64),
    Cat { name: String, weight: f64 }
}

Согласно доке enum — это и то, и другое:

Кстати, (сейчас) сущности внутри enum считаются «значениями», а не типами. То есть написать для них методы или реализовать трейты нельзя.

Речь про Dog/Cat из примера выше? Ну это правильно, вообще говоря. Альтернативным объявлением для struct X(String) должно быть тогда что-нибудь такое:

enum X {
    X (String)
}

Ну это правильно, вообще говоря.

Почему?

Альтернативным объявлением для struct X(String) должно быть тогда что-нибудь такое:

И что это даст? Просто сэкономим одно ключевое слово? По моему, проще не станет, да и несколько менее красиво получается.

А подскажите, ещё...

а если из функции возвращается:

&X

как быть?

как быть?

Покажи пример того, что тебе надо. Вообще чтобы возвращать ссылку надо гарантировать, что она будет жива после возврата из функции. Очевидно, что вот так написать нельзя:

fn foo() -> &i32 {
    &10
}

fn f1(a: &i32) -> &i32 {
    a
}

static N: i32 = 5;
fn f2() -> &'static i32 {
    &N
}

struct Test {
    a: i32,
}

fn f3(test: &Test) -> &i32 {
    &test.a
}

struct T<'a, 'b> {
    v1: &'a i32,
    v2: &'b i32,
}

fn get_v1<'a, '_>(t: &T<'a, '_>) -> &'a i32 {
    t.v1
}

А лучше почитай официальный мануал.