не совсем понимаю логику языка

почему такой код возможен

fn foo<T>() -> T 
    where T: std::default::Default {
    T::default()
}

fn main() {
    let x: i8 = foo();
    let x: i32 = foo();
}

а такой — нет

fn foo() -> i8 { 0 }
fn foo() -> i32 { 0 } 

fn main() {
    let x: i8 = foo();
    let x: i32 = foo();
}

Здравствуйте, sergii.p, Вы писали:

SP>не совсем понимаю логику языка

SP>почему такой код возможен

Так обобщенная же функция + вывод типов по использованию.

SP>а такой — нет

Перегрузки функций как в C++ в расте нет, хотя твой второй пример и в С++ не заработает, по возвращаемому значению же нет и в С++ перегрузки.

Здравствуйте, FR, Вы писали:

то у меня временное помутнение рассудка. Почему-то показалось, что первый пример в С++ не компилируется.