7

В данном выражении, как компилятор выводит, какую специализацию шаблона parse() использовать?

let guess: u8 = "-42".parse().expect("Not a number!");

Откуда он узнаёт, что нужно использовать именно вариант parse() для u8, а не для f64 например? Какова логика разбора этого выражения компилятором?

Контекста ради: я пока на стадии чтения третьей главы букваря, а такие выражения на фоне опыта в Си и плюсах кажутся магией.

[Added]
Истинная магия с выводом типов начинается, когда они выводятся в абсолютно другом операторе: 
let mut vec = Vec::new();
let val = "-42".parse().expect("Not a number!");
// ...
vec.push(3u8); // благодаря этому вектор типизируется как Vec<u8>
vec.push(val); // т.к. типизацию вектора известна выводится тип `val` и `parse()`
Fat-Zer
  • 23,138
  • "такие выражения на фоне опыта в Си и плюсах кажутся магией" - почему это? Вроде как основной мутный момент здесь - это переход с разбора слева направо в разбор в обратном направлении, но для С/C++ спиральность - это норма. – user7860670 Sep 19 '19 at 21:20
  • @VTT, «магия» в том, что в плюсах выводы однонаправлены: подвыражение никогда не знает и не учитывает, какой результат оно должно вернуть: он может быть выведен только на основе того, что внутри выражения… и у меня есть подозрения, что вся эта система справится и с выводом куда большего количества параметров из разных шаблонов, так что хотелось бы понять границы её возможностей и как оно работает… В принципе уже начал понимать, что для вывода строится какая-то система предикатов и производится вывод (что-то вроде того, как в прологе), но пока не могу всё это облечь в ответ… – Fat-Zer Sep 20 '19 at 12:49
  • @VTT, кстати, забыл спросить: wth «спиральность»? – Fat-Zer Sep 20 '19 at 18:31
  • Это я подразумевал спиральное правило чтения объявлений. Шаблоны в С++ добавили после перегрузок, так что возможности выводить что-то из результата не было, как не было возможности перегружать по возвращаемому значению. Второй пример это скорее уже трешачок навроде comefrom. – user7860670 Sep 20 '19 at 18:50

0 Answers0