Есть ли будущее у DELPHI?

Цитата --Ins-- @ 05.05.12, 21:25

Расскажи поподробнее, я не в курсе

http://docs.oracle.com/javase/tutorial/jav.../wildcards.html

Цитата [S]mike @ 05.05.12, 21:29

http://docs.oracle.com/javase/tutorial/jav.../wildcards.html

Эээ, и как указать что папарметр дженерика - это тот же тип, что и класс, который от него унаследовался?

Цитата D_KEY @ 05.05.12, 20:17

Цитата --Ins-- @ 05.05.12, 18:23

Я делаю так:

TBaseClass<T> = class
  function Equals(Other: T): Boolean;
end;
 
TDerivedClass = class(TBaseClass<TDerivedClass>);

Серьезных неудобств по этому поводу не испытываю

По-моему это нечто совсем другое

Не совсем, но есть вопрос: какова реализация TBaseClass.Equals в данном случае?

Добавлено 07.05.12, 15:54

Цитата --Ins-- @ 07.05.12, 10:51

Эээ, и как указать что папарметр дженерика - это тот же тип, что и класс, который от него унаследовался?

Так же как и в делфи:

public interface Base<T extends Base> {
 
    public boolean equalsTo(T other);
}

public class Derived implements Base<Derived> {
 
    public boolean equalsTo(Derived other) {
        return true;
    }
}

Добавлено 07.05.12, 15:56
Впрочем это не совсем то, хотя и такой костыль можно использовать для эмуляции.

Цитата korvin @ 07.05.12, 15:53

Не совсем, но есть вопрос: какова реализация TBaseClass.Equals в данном случае?

Не знаю, от конкретики этих классов зависит. Может быть метод и абстрактным, может быть и реализованным в базовом классе полностью или частично

Цитата korvin @ 07.05.12, 15:53

Так же как и в делфи:

Так это то же самое что у меня, не совсем то, но можно сделать и так

Сообщение отредактировано: --Ins-- - 07.05.12, 16:20

Цитата --Ins-- @ 07.05.12, 16:14

Не знаю, от конкретики этих классов зависит. Может быть метод и абстрактным, может быть и реализованным в базовом классе полностью или частично

При чем тут конкретика? Допустим, если в Джаве

class Base<T extends Base> {
 
    private final int id;
 
    public int getId() {
        return id;
    }
 
    public Base(int id) {
        this.id = id;
    }
 
    public boolean equals(T that) {
        return this.id == that.id;
    }
}

то в Делфи как?

TBase.Equals (Other : T) : Boolean;
begin
  if Other is TBase then Result := Self.Id = Other.id else Result := False;
end;

?

Цитата korvin @ 07.05.12, 17:52

if Other is TBase then Result := Self.Id = Other.id else Result := False;

Возможно, я тупой, но зачем там else?

Цитата korvin @ 07.05.12, 17:52

то в Делфи как?

Точно так же по-моему нельзя, дженерики в Delphi сырые. Можно немного в обход:

IBase = interface
  function GetID: Integer;
end;
 
TBase<T: IBase> = class(TInterfacedObject, IBase)
private
  FID: Integer;
  function GetID: Integer;
public
  function Equals(Other: T): Boolean;
end;  
 
function TBase<T>.Equals(Other: T): Boolean;
begin
  Result := GetID = Other.GetID;
end;
 
function TBase<T>.GetID: Integer;
begin
  Result := FID;
end;

Цитата Ho Im @ 07.05.12, 19:07

Возможно, я тупой, но зачем там else?

Чтобы в противном случае результат был бы равен False. Я бы не стал полагаться на то, что булевы переменные по-умолчанию инициализируются False, это может измениться.

вообще можно было бы написать так:

Result := (Other is TBase) and (Self.id = Other.id);

но в Delphi, емнип, операнды операторов and и or вычисляются не лениво.

Цитата korvin @ 08.05.12, 05:06

но в Delphi, емнип, операнды операторов and и or вычисляются не лениво.

Лениво - это не вычислять дальнейшие аргументы, если уже известен результат всего выражения? Если да, то вычисления ленивые

Цитата korvin @ 08.05.12, 05:06

но в Delphi, емнип, операнды операторов and и or вычисляются не лениво.

все-таки она тебе изменяет

And и or вычисляются лениво, если операнды имеют тип Boolean и как обычная операция, если операнды - целые числа (они и для обозначения побитных операций, насколько помню, применяются)

korvin
лениво или нет вычисляются and и or - зависит от опций компилятора. другое дело, что лично я не видел код, который бы коректно работал с strict вычислением boolean выражений. практически всегда пологаются на ленивость

Цитата --Ins-- @ 08.05.12, 07:53

все-таки она тебе изменяет

Вероятно перепутал с паскалем, где-то в инете натыкался на обсуждение, что

if (i < n) and (a[i] = 0) then ...
// где n - размер массива a

выдает ошибку, если i оказывается больше либо равен n

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

Сообщение отредактировано: korvin - 08.05.12, 15:20

Цитата korvin @ 08.05.12, 15:19

Вероятно перепутал с паскалем, где-то в инете натыкался на обсуждение, что

В паскале, емнип уже у меня, тоже ленивые

Добавлено 08.05.12, 15:38

Цитата jack128 @ 08.05.12, 08:42

другое дело, что лично я не видел код, который бы коректно работал с strict вычислением boolean выражений. практически всегда пологаются на ленивость

Ага, я так и пишу
if Assigned(Document) and (Document.Modified) then...

Нафиг ифы плодить

Цитата --Ins-- @ 08.05.12, 15:37

В паскале, емнип уже у меня, тоже ленивые

Вероятно то был старый паскаль, хз.