6.1 Объявление функции
fn name<Generics>(params) -> ReturnType effects where Constraints { body }
fn name(params) -> ReturnType effects => expression- Без
-> Tвозвращаемый тип —()(для приватных функций с телом=> eтип выводится изe). - Параметр:
name: T, со значением по умолчаниюname: T = e(вычисляется при каждом вызове, где аргумент опущен). - Вариадический последний параметр:
...xs: T— внутри функции имеет тип[T]. - Вызов: позиционные аргументы, затем именованные (
greet("Ann", loud: true)). После именованного позиционный запрещён. - Передача: по значению (перемещение или копия). Параметр
&Tзаимствуется автоматически; для&var Tна месте вызова ДОЛЖНО быть написано&var x.
Связанные диагностики
Исходник: docs/spec/oxl-standard.md