Подразделы

Другие разделы

Дата и время

21/11/2024 16:11:45

Авторизация

next C++

Введение Основные типы и операции. Объявления Операторы Функции Классы, шаблоны, пространства имен Метапрограммирование Грамматика языка

Функции

**Вызов функции**

В Cpp2 используется унифицированный вызов функции и метода.
Например, метод ``length`` для ``std::string`` можно вызвать как
``s.length()`` или ``length(s)`` и, наоборот, функцию ``sqrt(x)`` можно вызвать как метод: x.sqrt().

**Определение функции**

Функции определяются в любом порядке, Cpp2 автоматически добавляет заголовки всех функций в начало сгенерированного кода на С++.

> *имя* ``: (`` *параметры* ``)->`` *тип_результата* `` = {`` *операторы* ``}``
*имя* ``: (`` *параметры* ``)->`` *тип_результата* `` = `` *выражение*

Для функции, которая ничего возвращает, ``->`` *тип_результата* не указывается.

Параметры указываются через запятую.
Для каждого параметра может быть опционально указан тип передачи аргумента: ``in``, ``copy``, ``inout``, ``out``, ``move``, ``forward``. По умолчанию ``in``. ``inout`` соответствуют передаче аргумента по ссылке, ``out`` означает, что переменная может не иметь начального значения, значение ей будет присвоено в функции. ``move`` означает перемещение объекта, ``forward`` -- передача ссылки на временное значение, без перемещения.
Вместо типа параметра можно указать ``_``, либо не указывать вообще, тогда тип аргумента ``auto`` (функция-шаблон). Для типа результата можно указать ``move`` (ссылка на временное значения) и ``forward`` (ссылка на значение).

```c++
factorial:(n:int)->int=
(inspect n->int {
is 0 =1;
is 1 =1;
is _ = n * (n-1).factorial();
});
inc:(inout x:_)= x++;
init:(out x:_)= x=0;
main:() -> int {
a:int;
init(out a);
inc(a);
}
```

Если функция возвращает несколько значений, в качестве типа указывается список возвращаемых параметров в круглых скобках. Функция возвращает структуру с указанными именами полей. Параметрам нужно присвоить значения в теле функции.

```c++
f: () -> (i: int, s: std::string) = {
i=42;
s="abc";
return;
}
main:() -> int = {
r:=f();
std::println("{} {}", r.i, r.s);
}
```

**Анонимные функции**

> ``: (`` *параметры* ``)->`` *тип_результата* `` = `` *выражение*
``: (`` *параметры* ``)->`` *тип_результата* `` = {`` *операторы* ``}``

```c++
main:() -> int = {
v: std::vector<int> = (1,2,10,5);
r:=std::ranges::count_if(v, :(x)->bool = x>=5);
std::cout<<r<<"\n"; // 2
}
```

**Возврат из функции**

> ``return;``
``return`` *выражение* ``;``

**Пред- и пост- условия**

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

>``pre<`` *группа* ``,`` *флаги* ``>(`` *условие* ``,`` *сообщение* ``);``
``pre(`` *условие* ``,`` *сообщение* ``);``
``post<`` *группа* ``,`` *флаги* ``>(`` *условие* ``,`` *сообщение* ``);``
``post(`` *условие* ``,`` *сообщение* ``);``

где *флаги* и *сообщение* опциональны. *Условие* в ``post`` может включать выражения с ``$``, вычисляемые до выполнения тела функции.

```c++
vec: std::vector<int> = ();
insert_at: (where: int, val: int)
pre<bounds_safety>( 0 <= where && where <= vec.ssize() )
post( vec.size() == vec.size()$ + 1 )
= {
vec.push_back(val);
}
```

Назад

Подразделы

Другие разделы

Дата и время

Авторизация

next C++

Функции