Гость
Войти | Профиль | Очистить
Целевая тема:
Создать новую тему:
Автор:
Действия ...
Форумы / Delphi [игнор отключен] [закрыт для гостей] / with и без with / 25 сообщений из 68, страница 1 из 3
  1  все
08.01.2020, 11:36
    #39911503
Квейд
Квейд
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
with и без with
Код: 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.
type
  TRecord = record
    A: Integer;
    B: Integer;
    C: Double;
  end;

  TRecordArray = array of TRecord;

procedure TForm9.FormCreate(Sender: TObject);
var
  RA: TRecordArray;
begin
  SetLength(RA, 10);
  with RA[1] do
  begin
    A := 3;
    B := 2;
    C := 1;
  end;
  RA[1].A := 3;
  RA[1].B := 2;
  RA[1].C := 1;
end;



Я думал, компилятор выделенное давно умеет оптимизировать...
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
08.01.2020, 12:27
    #39911520
makhaon
makhaon
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
with и без with
в том числе поэтому я за with.
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
08.01.2020, 13:06
    #39911530
Kazantsev Alexey
Kazantsev Alexey
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
with и без with
Квейд,

Решается дополнительной локальной переменной (указатель на TRecord), их компилятор умеет раскладывать по регистрам если ему не мешать. with, в текущем её виде, очень опасная конструкция.
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
08.01.2020, 15:13
    #39911599
alekcvp
alekcvp
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
with и без with
Квейд,

А оптимизацию в debug-сборке включили?..
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
08.01.2020, 15:29
    #39911612
Kazantsev Alexey
Kazantsev Alexey
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
with и без with
alekcvp,

Я проверял релизную сборку и сморел внешним дизассемблером. Оптимизации это не про дельфю.
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
08.01.2020, 17:10
    #39911684
Квейд
Квейд
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
with и без with
alekcvp
Квейд,

А оптимизацию в debug-сборке включили?..
разумеется
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
08.01.2020, 17:16
    #39911689
Kazantsev Alexey
Kazantsev Alexey
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
with и без with
Посмотрел FPC, он в обоих вариантах обновляет значение EAX. Дополнительная переменная ему тоже помогает.
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
08.01.2020, 17:58
    #39911701
Kazantsev Alexey
Kazantsev Alexey
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
with и без with
Посмотрел ещё Oxygene... Он вообще выкинул лишние операции, оставив только однократное присваивание. А чтобы он и его не выкинул пришлось в конце метода добавить вывод в консоль. Вот что LLVM животворящий умело приготовленный делает. Эх... :(
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
08.01.2020, 18:36
    #39911712
Sapersky
Sapersky
Гость
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
with и без with
Это только с динамическим массивом, а вот с таким
PRecordArray = ^TRecordArray;
TRecordArray = array[0..9] of TRecord;
нормально оптимизирует. И вроде бы с дин. массивом переданным как const.
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
08.01.2020, 19:29
    #39911728
Sapersky
Sapersky
Гость
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
with и без with
Kazantsev Alexey
Вот что LLVM животворящий умело приготовленный делает. Эх... :(
Можно и к fpc прикрутить LLVM, но не под Виндой.
https://wiki.freepascal.org/LLVM#Build_FPC_with_LLVM_support
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
08.01.2020, 19:49
    #39911736
Kazantsev Alexey
Kazantsev Alexey
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
with и без with
Sapersky,

Да, я вкурсе (+18% к производительности, неплохо так).
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
08.01.2020, 20:46
    #39911746
Sapersky
Sapersky
Гость
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
with и без with
18% они получили на самом компиляторе - в целом не очень впечатляет, но это видимо из-за того, что там алгоритмы не векторизуемые и/или никто специально не затачивал под векторизацию.
Если заточить, тогда должно быть больше. Видимо, это они имеют в виду под "Artificial benchmarks will also be much faster".
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
08.01.2020, 21:10
    #39911749
Kazantsev Alexey
Kazantsev Alexey
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
with и без with
Sapersky,

В том то и дело, что на обычном коде c обычным набором команд, а не на заточеном бенче. Это круто. На вычислительных задачах должно быть значительно больше, это да. Впрочем, у них и своя векторизация есть т.ч. отрыв может и не быть значительным (правда, я не смог собрать бенчик с использованием AVX, компилятор постоянно падал. Хотя, давно это было).
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
18.01.2020, 04:45
    #39915725
KtoI
KtoI
Гость
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
with и без with
Очевидно что
Код: pascal
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
var
  RA: TRecordArray;
  v : TRecord;
begin
  SetLength(RA, 10);
    
  v := RA[1];
  v.A := 3;
  v.B := 2;
  v.C := 1;
end.



либо
Код: pascal
1.
 with RA[1] do



Всё остальное говнокод. А ну да, в новых версиях тип auto var
 
Код: pascal
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
[SRC delphi]var
  RA: TRecordArray;
begin
  SetLength(RA, 10);
    
  var v := RA[1];
  v.A := 3;
  v.B := 2;
  v.C := 1;
end.

[/SRC]
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
18.01.2020, 11:01
    #39915740
DmSer
DmSer
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
with и без with
И что будет в RA после таких присвоений?
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
18.01.2020, 13:40
    #39915766
KtoI
KtoI
Гость
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
with и без with
DmSer,

Код: pascal
1.
 var v := RA[1];



будет ровно

Код: pascal
1.
2.
3.
4.
var
  v : TRecord;
begin
  v := RA[1];



100% одинаковый код листинг
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
18.01.2020, 14:58
    #39915780
DmSer
DmSer
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
with и без with
KtoI
DmSer,

Код: pascal
1.
 var v := RA[1];



будет ровно

Код: pascal
1.
2.
3.
4.
var
  v : TRecord;
begin
  v := RA[1];



100% одинаковый код листинг


Учитывайте, что только в случае использования with будет изменён элемент массива RA.
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
18.01.2020, 17:21
    #39915800
DmSer
DmSer
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
with и без with
Пофантазирую...

Оператору with в Паскале не хватает возможности определения алиасов. Было бы здорово иметь такой синтаксис:
with myArray[i] as a, myObject as o do
begin
a := 1;
o.Value := a;
end;
Это позволило бы сделать оператор with более безопасным, а синтаксис языка более приятным.
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
18.01.2020, 18:06
    #39915806
_Vasilisk_
_Vasilisk_
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
with и без with
DmSer
И что будет в RA после таких присвоений?
Указатели наше все :)
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
18.01.2020, 18:08
    #39915809
_Vasilisk_
_Vasilisk_
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
with и без with
DmSer
with myArray[i] as a, myObject as o do
Так нельзя. AS это приведение типа
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
18.01.2020, 19:03
    #39915821
DmSer
DmSer
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
with и без with
_Vasilisk_
DmSer
with myArray[i] as a, myObject as o do
Так нельзя. AS это приведение типа


Вместо as можно предложить и другой набор букв, это не самое главное. Да и с as можно разрулить, было бы желание.
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
18.01.2020, 19:24
    #39915834
Kazantsev Alexey
Kazantsev Alexey
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
with и без with
DmSer
with myArray[i] as a, myObject as o do

В Oxygene это выглядит так:
Код: pascal
1.
2.
with a := myArray[i], o := myObject do
...
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
18.01.2020, 23:17
    #39915911
alekcvp
alekcvp
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
with и без with
DmSer
Пофантазирую...

Оператору with в Паскале не хватает возможности определения алиасов. Было бы здорово иметь такой синтаксис:
with myArray[i] as a, myObject as o do
begin
a := 1;
o.Value := a;
end;
Это позволило бы сделать оператор with более безопасным, а синтаксис языка более приятным.


Для этого with не нужен, решается через обычные переменные:

Код: pascal
1.
2.
3.
4.
5.
6.
7.
8.
9.
var 
  a: PInteger;
  o: TMyObject absolute MyObject;
...
  a := @myArray[i]
...
  a^ := 1;
  o.Value := 1;
...
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
18.01.2020, 23:47
    #39915918
DmSer
DmSer
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
with и без with
alekcvp
DmSer
Пофантазирую...

Оператору with в Паскале не хватает возможности определения алиасов. Было бы здорово иметь такой синтаксис:
with myArray[i] as a, myObject as o do
begin
a := 1;
o.Value := a;
end;
Это позволило бы сделать оператор with более безопасным, а синтаксис языка более приятным.


Для этого with не нужен, решается через обычные переменные:

Код: pascal
1.
2.
3.
4.
5.
6.
7.
8.
9.
var 
  a: PInteger;
  o: TMyObject absolute MyObject;
...
  a := @myArray[i]
...
  a^ := 1;
  o.Value := 1;
...



Согласен, способов написать отвратный код в Delphi предостаточно (как и везде). Я-то другое предлагаю: способ, позволяющий в некоторый случаях писать более приятный код.
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
19.01.2020, 00:27
    #39915929
x1ca4064
x1ca4064
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
with и без with
IMHO, оператор width лучше реализован в VisualBasic : свойства, которые относятся к переменной из with предваряются точкой, сам символ, конечно, не важен, можно заменить на "~", например. Тогда можно писать:
Код: sql
1.
2.
3.
4.
5.
with Bmp1,Bmp2 do
begin
 ~Width:=~~Width;
 ~Height:=~~Height;
end;


Конструкция, когда есть вложенные операторы width (неважно в краткой или полной записи), достаточно редки, т.к. приводят к совсем трудно понимаемому коду, но когда используются свойства в методах, это было бы удобно:
Код: sql
1.
2.
3.
4.
5.
6.
7.
8.
procedure TForm.SomeProc(ABmp:TBitmap);
begin
  with ABmp do
  begin
    ~Width:=Width;
    ~Height:=Height;
  end;
end;


В такой конструкции происходит присвоение битмапу размеров формы.

Возможно, смысл такой записи можно интерпретировать и наоборот :)
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
  1  все
Форумы / Delphi [игнор отключен] [закрыт для гостей] / with и без with / 25 сообщений из 68, страница 1 из 3
Найденые пользователи ...
Разблокировать пользователей ...
Читали тему (0):
Читали форум (0):
Пользователи онлайн (0):
Польз. соглашение  
Полит. конфиден.  
созд. / загр.: 484ms
Закрыть
start [/forum/topic.php?fid=58&tablet=1&tid=2038681]:
 0ms
get settings:
 6ms
get forum list:
 19ms
check forum access:
 3ms
check topic access:
 3ms
track hit:
 156ms
get topic data:
 11ms
get forum data:
 2ms
get page messages:
 77ms
get tp. blocked users:
 1ms
others: 206ms
total:  484ms
x
x
Закрыть


Просмотр
0 / 0
Close
Debug Console [Select Text]