Подразделы

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

Дата и время

21/11/2024 15:59:37

Авторизация

next C++

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

Классы, шаблоны, пространства имен

Классы определяются как набор определений в ``{}``. Поля по умолчанию являются закрытыми, остальные элементы открытыми. Для изменения доступа перед элементом нужно указать ``public`` (открытый), ``private`` (закрытый), ``protected`` (защищенный). Методы класса определяются как функции с параметром ``this``.

Конструкторы определяются как метод ``operator=`` с параметром ``out this``, в котором нужно указать присваивания полям в порядке объявления. Это определение используется также для определения присваивания, перемещающего конструктора и перемещающего присваивания. Их можно определить явно, указав тип передачи аргумента ``inout`` для ``this`` и ``move`` для ``that``. Для неявного конструктора-преобразователя у ``this`` нужно указать ``implicit``.

Деструктор определяется как метод ``operator= :(move this)``.

```c++
using namespace std;
vec2:type = {
x:double=0.0;
y:double=0.0;
operator=:(out this, that)={
x=that.x;
y=that.y;
}
operator=:(out this, _x:double, _y: double)={
x=_x;
y=_y;
}
len: (this)->double = std::hypot(x,y);
}
main:()->int = {
v:vec2=(1.0,2.0);
std::println("len: {}",v.len());
}
```

Для наследования среди элементов класса нужно указать this с указанием базового класса. Для переопределения методов нужно указать ``virtual`` у ``this`` в базовом классе и ``override`` в производном.

```c++
Shape: type = {
square: (virtual this)->double;
}
Rectangle: type ={
this: Shape=();
w: double;
h: double;
operator=: (out this, _w: double, _h: double) ={ w=_w; h=_h; }
square: (override this)->double=w * h;
}
Circle: type ={
this: Shape=();
r:double;
operator=: (out this, _r: double)= { r= _r; }
square: (override this)->double = 2 * std::numbers::pi * r * r;
}
main: ()->int = {
c: Circle = (10.0);
s: *Shape = c&;
std::println("{}",s*.square());
}
```

Пространства имен определяются как набор определений в ``{}``.
Можно указать альтернативные имена для классов и пространств имен.

```c++
my: namespace = {
pair:type == std::pair<int,double>;
n:int=1;
}
num: namespace = std::numbers;
main: ()->int = {
p: my::pair = (my::n,num::pi);
std::println("{}",p);
}
```

Для шаблонных классов и функций после ``:`` нужно указать параметры шаблона в ``< >``.

```C++
Stack: <T> type = {
s: std::vector<T> = ();
t: int = -1;
operator=: (out this, n:int) = s.resize(n);
isEmpty: (this)->bool = t==-1;
isFull: (this)->bool = t==s.ssize()-1;
pop: (inout this) = { if !isEmpty() { t--; } }
top: (this)->T = s[t];
push: (inout this, move v: T) -> forward Stack<T> = { s[t++]=v; return this; }
}
// расширение класса дополнительной функцией
clear: <T> (inout s:Stack<T>) = {
while !s.isEmpty() { s.pop(); }
}
sum: <T, U> (t:T, u:U) -> _ = {
return t+u;
}
main: ()->int = {
s: Stack<int> = (100);
s.push(10).push(20);
s.clear();
s.push(30);
std::println("{}",sum(1,2.5));
}
```

Назад

Подразделы

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

Дата и время

Авторизация

next C++

Классы, шаблоны, пространства имен