Обобщенное программирование

@monochromer · Регистрация: 03.01.2013

Студворк — интернет-сервис помощи студентам

Всем привет!

Решил привести некоторые структуры, классы и методы к обобщенному виду. Конкретно - структура для комплексных чисел.

Pascal
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
type
 
Complex<T> = record
private
    re, im : T;
 
constructor Create(const re, im: T);
begin
   Self.re:= re;
   Self.im:= im;
end; 
 
class function operator+(a, b: Complex<T>): Complex<T>;
begin
   Result:= Create(a.re + b.re, a.im + b.im);
end;
 
end;

Тут возникает проблема:

Program1.pas(15) : Операция '+' не применима к типу T

Поиски привели к тому, что нужно как-то ограничить область действия для типа T.

Pascal
1
2
Complex<T> = record 
  where T: IArithmetic<T>;

Где IArithmetic<T> - интерфейс, который должен задавать нужную мне операцию сложения:

Pascal
1
2
3
IArithmetic<T> = interface
  function Add(a,b : T): T;
end;

А дальше я так и не продвинулся. Как реализовать обобщенную структуру с поддержкой арифметических операций.
Как понимаю, нужно будет изменить метод сложения и создать реализацию интерфейса IArithmetic<T>:

Pascal
1
2
3
4
class function operator+(a,b: Complex<T>): Complex<T>;
begin
   Result:= Create(Add(a.re, b.re), Add(a.im, b.im));
end;

@volvo · 15.06.2013, 19:21

monochromer, если в последней версии PascalABC.NET (для .NET 4) уже есть поддержка Linq - то можно попробовать сделать аналог вот этого Шарпового кода (без обработки ошибок, только идея):

C#
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
using System.Linq.Expressions;
 
     class Program
     {
          public static class ExprUtils
          {
               public static Func<TArg1, TArg2, TResult> CreateExpression<TArg1, TArg2, TResult>(
               Func<Expression, Expression, BinaryExpression> body)
               {
                    return CreateExpression<TArg1, TArg2, TResult>(body, false);
               }
 
               public static Func<TArg1, TArg2, TResult> CreateExpression<TArg1, TArg2, TResult>(
               Func<Expression, Expression, BinaryExpression> body, bool castArgsToResultOnFailure)
               {
                    ParameterExpression lhs = Expression.Parameter(typeof(TArg1), "lhs");
                    ParameterExpression rhs = Expression.Parameter(typeof(TArg2), "rhs");
                    return Expression.Lambda<Func<TArg1, TArg2, TResult>>(body(lhs, rhs), lhs, rhs).Compile();
               }        
          }
 
          public static class Operator<T>
          {
               static readonly Func<T, T, T> add, subtract;
 
               public static Func<T, T, T> Add { get { return add; } }
               public static Func<T, T, T> Subtract { get { return subtract; } }
 
               static Operator()
               {
                    add = ExprUtils.CreateExpression<T, T, T>(Expression.Add);
                    subtract = ExprUtils.CreateExpression<T, T, T>(Expression.Subtract);
                    // аналогично добавляются любые другие функции
               }
          }
        
          public class Complex<T>
          {
               private T re, im;
               public Complex(T ARe, T AIm)
               {
                    re = ARe; im = AIm;
               }
               public static Complex<T> operator + (Complex<T> a, Complex<T> b)
               {
                    return new Complex<T>(Operator<T>.Add(a.re, b.re), Operator<T>.Add(a.im, b.im)); // <-- !!!
               }
          }
        
          public static void Main(string[] args)
          {
               Complex<int> c1 = new Complex<int>(10, 20);
               Complex<int> c2 = new Complex<int>(30, 11);
               Complex<int> c3 = c1 + c2; // 40, 31
               // ...
          }
}

Я, к сожалению, проверить в PABC не могу, у меня установлен .NET 3.5, четвертый ставить очень не хочется, а у PascalABC.NET нет версии для 3.5, только или 2.0, или 4.

Приведенный код под C# отрабатывает, хотя

C#
1
2
3
4
5
6
7
8
9
10
11
12
public class MyComplex<T>
{
     private T re, im;
     public MyComplex(T ARe, T AIm)
     {
          re = ARe; im = AIm;
     }
     public static MyComplex<T> operator + (MyComplex<T> a, MyComplex<T> b)
     {
          return new MyComplex<T>(a.re + b.re, a.im + b.im); // <---
     }
}

также, как и в случае Паскаля, выдает ошибку:
Operator '+' cannot be applied to operands of type 'T' and 'T'

@monochromer · 15.06.2013, 20:13 **[ТС]**

Сообщение от UI

Приведенный код под C# отрабатывает, хотя

C#
1
2
3
4
5
6
7
8
9
10
11
12
public class MyComplex<T>
{
     private T re, im;
     public MyComplex(T ARe, T AIm)
     {
          re = ARe; im = AIm;
     }
     public static MyComplex<T> operator + (MyComplex<T> a, MyComplex<T> b)
     {
          return new MyComplex<T>(a.re + b.re, a.im + b.im); // <---
     }
}

также, как и в случае Паскаля, выдает ошибку:
Operator '+' cannot be applied to operands of type 'T' and 'T'

Мне тогда интересно,как подобный код работает здесь:
http://dynaprecision.codeplex.... st#1049478

@volvo · 15.06.2013, 21:20

dynamic - еще одна фишка .NET 4 ...

@monochromer · 16.06.2013, 09:13 **[ТС]**

Похоже, что поддержку dynamic в PascalABC не добавили. А чем dynamic отличается от var?

@volvo877 · 16.06.2013, 15:47

Сообщение от monochromer

Как понимаю, нужно будет изменить метод сложения и создать реализацию интерфейса IArithmetic<T>:

Угу. Вот так:

Pascal
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
type
  IArithmetic<T> = interface
    function Add(rhs : T) : T;
  end;
  
  Complex<T> = class
  where T : IArithmetic<T>;
  private
    Re, Im : T;
  public
    constructor Create(ARe, AIm : T);
    begin
      Re := ARe; Im := AIm;
    end;
    
    class function operator + (lhs, rhs : Complex<T>) : Complex<T>;    
    begin
      result := new Complex<T>(lhs.Re.Add(rhs.Re), lhs.Im.Add(rhs.Im));
    end;
  end;
 
type
  IntArithmetic = class(IArithmetic<IntArithmetic>)
  private
    Value : Integer;
  public
    constructor Create(AValue : Integer);
    begin
      Value := AValue;
    end;
    class function operator implicit(AValue : Integer) : IntArithmetic;
    begin Result := new IntArithmetic(AValue); end;
    class function operator explicit(AValue : IntArithmetic) : Integer;
    begin Result := AValue.Value; end;
    
    function Add(rhs : IntArithmetic) : IntArithmetic;
    begin
      result := new IntArithmetic(Self.Value + rhs.Value);
    end;
  end;
  
 
begin
  var c1 : Complex<IntArithmetic> := new Complex<IntArithmetic>(2, 10);
  var c2 : Complex<IntArithmetic> := new Complex<IntArithmetic>(12, 62);
  var c3 : Complex<IntArithmetic> := c1 + c2;
  
  writeln(Format('({0} {1})', Integer(c3.Re), Integer(c3.Im)));
end.

То есть, без фишек Linq и dynamic - не очень то юзабельно (придется для каждого типа, с которым хочешь использовать Complex, писать свой класс наподобии IntArithmetic). Но работает.

Новые блоги и статьи Все статьи Все блоги /
Модель ЗдрввоСохранения 7: больше работников, больше ресурсов. anaschu 08.04.2026 работников и заданий может быть сколько угодно, но настроено всё так, что используется пока что только 20%	Дальние перспективы сервера - слоя сети с космологическим дизайном интефейса карты и логики. Hrethgir 07.04.2026 Дальнейшее ближайшее планирование вывело к размышлениям над дальними перспективами. И вот тут может быть даже будут нужны оценки специалистов, так как в дальних перспективах всё может очень сильно. . .	Горе от ума kumehtar 07.04.2026 Эта мне ментальная установка, что вот прямо сейчас, мол, мне для полного счастья не хватает (нужное вписать), и когда я этого достигну - тогда и полный кайф. Одна из самых сильных ловушек на пути. . . .	Использование значений реквизитов справочника в документе, с определенными условиями и правами Maks 07.04.2026 1. Контроль срока действия договора Алгоритм из решения ниже реализован на примере нетипового документа "ЗаявкаНаРаботу", разработанного в конфигурации КА2. Задача: уведомлять пользователя, если. . .
Доступность команды формы по условию Maks 07.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "СписаниеМатериалов", разработанного в конфигурации КА2. Задача: сделать доступной кнопку (команда формы "ЗавершитьСписание") при. . .	Уведомление о неверно выбранном значении справочника Maks 06.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "НарядПутевка", разработанного в конфигурации КА2. Задача: уведомлять пользователя, если в документе выбран неверный склад. . .	Установка Qt Creator для C и C++: ставим среду, CMake и MinGW без фреймворка Qt 8Observer8 05.04.2026 Среду разработки Qt Creator можно установить без фреймворка Qt. Есть отдельный репозиторий для этой среды: https:/ / github. com/ qt-creator/ qt-creator, где можно скачать установщик, на вкладке Releases:. . .	AkelPad-скрипты, структуры, и немного лирики.. testuser2 05.04.2026 Такая программа, как AkelPad существует уже давно, и также давно существуют скрипты под нее. Тем не менее, прога живет, периодически что-то не спеша дополняется, улучшается. Что меня в первую очередь. . .

@volvo Супер-модератор 33405 / 21515 / 8236 Регистрация: 22.10.2011 Сообщений: 36,916 Записей в блоге: 12
	15.06.2013, 21:20
	dynamic - еще одна фишка .NET 4 ... 0

@monochromer 419 / 381 / 163 Регистрация: 03.01.2013 Сообщений: 966
	16.06.2013, 09:13 [ТС]
	Похоже, что поддержку dynamic в PascalABC не добавили. А чем dynamic отличается от var? 0