Доступ функций к глобальным переменным

[Stilet]

или в твоей функции "протечет память" ...

Где протечет?

  type q=array[1..10] of integer;
  procedure aga(t:q);
   begin
     t[3]:=88;
   end;

   var e:q;
begin
 aga(e);
  { TODO -oUser -cConsole Main : Insert code here }
end.

Ану угадай что передается в функцию...
А если не догадаешся - открой CPU отладчик и посмотри.

[svbezm]

Милок t:q в параметрах процедуры и есть ничто иное как длинный указатель на массив q, так что здесь, естественно не протече ...
Если есть желание посмотреть как происходит , включи опцию компилятора генерить ASM листинг.

Существует некая функция возвращающая значение переменной по ее имени, но только в том случае, если тот кто запросил переменную имеет на это право.
Любая функция всегда является ничем иным , как указателем на свое имя...
получается ссылка на адрес где содержится указатель массива или переменной.
Из пожеланий :
неплохо бы в компиляторе иметь 2 режима компиляции и интерпритации.

[Utkin]

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

Из пожеланий :
неплохо бы в компиляторе иметь 2 режима компиляции и интерпритации.

А это интерпретатор, поэтому ему можно только пожелать компиляцию . И второе, там такие операции, которые компилировать неудобно (увлекся функциональным программированием).

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

Не любая, есть Inline. И не получается ссылки на указатель индекса массива или переменной, не надо выворачивать, если не видели кода. Функция возвращает именно значение переменной, а не указатель на переменную и не индекс массива. Разница огромна и как я уже говорил манипуляциями с указателями Вы доступ к переменной не получите не из программы для интерпретатора (там отсутствуют такие операции) не из самого интерпретатора. Максимум Вы можете получить указатель на результат функции по получению значения переменной по ее имени.
Переменные содержится в специальном хранилище, а это экземпляр класса и доступ к его полям исключительно через его методы и никак иначе.

[Stilet]

svbezm

Во-первых: Я тебе не милок.
Во-вторых: ты сам же себя опровергнул словами "естественно не протече"

Вывод: Ты тролль.

[svbezm]

Вот простейший пример того о чем я хотел сказать
исходный си-код заремлен ;
на нем четко видно что реальная программа работает с указателем
byte ptr DGROUP:,
а для пользователей си сделан внизу небольшой преобразователь
значение для public имен переменных.
Придумал это не я, это делает компилятор BC31, так что господа программисты все претензии ,если что не так к BORLAND.

_TEXT   segment byte public 'CODE'
_TEXT   ends
DGROUP  group   _DATA,_BSS
        assume  cs:_TEXT,ds:DGROUP
_DATA   segment word public 'DATA'
d@      label   byte
d@w     label   word
_DATA   ends
_BSS    segment word public 'BSS'
b@      label   byte
b@w     label   word
_BSS    ends
_DATA   segment word public 'DATA'
   ;    char a=6 ;
_a      label   byte
        db      6
   ;    char b=7 ;
_b      label   byte
        db      7
_DATA   ends
_TEXT   segment byte public 'CODE'
   ;
   ;    void main (void)
   ;
        assume  cs:_TEXT
_main   proc    near
   ;
   ;    {
   ;
   ;
   ;    b=b+a  ;
   ;
        mov     al,byte ptr DGROUP:_b
        add     al,byte ptr DGROUP:_a
        mov     byte ptr DGROUP:_b,al
   ;
   ;    }
   ;
        ret
_main   endp
_TEXT   ends
_DATA   segment word public 'DATA'
s@      label   byte
_DATA   ends
_TEXT   segment byte public 'CODE'
_TEXT   ends
        public  _main
        public  _b
        public  _a
_s@     equ     s@
        end

[Utkin]

В том то и дело, что это простейший пример. А в данном случае? Как программа работает с полями экземпляров классов? Тем более в Дельфи?

[Alex Cones]

 type q=array[1..10] of integer;
  procedure aga(t:q);
   begin
     t[3]:=88;
   end;

   var e:q;
begin
 aga(e);
  { TODO -oUser -cConsole Main : Insert code here }
end.

Что-то мне кажется или правда тут слоны через стек бегают?

 type q=array[1..10] of integer;
  procedure aga(var t:q);
   begin
     t[3]:=88;
   end;

   var e:q;
begin
 aga(e);
  { TODO -oUser -cConsole Main : Insert code here }
end.

[pu4koff]

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

В том то и дело, что это простейший пример. А в данном случае? Как программа работает с полями экземпляров классов? Тем более в Дельфи?

Не знаю как там в делфи, а в С++ вроде бы работа с полями идёт через указатели.
Допустим есть такой класс:

class A
{
public:
  int i;
  int j;
}
...
A a;
a.i = 10; // работа с a.i и с a.j идёт как с обычными переменными
a.j = 20;

Компилятор знает, что i смещено на 0 байт, относительно начала объекта, а j - на 4 байта. Соответственно вместо a.i будет работа с переменной по адресу адрес объекта а + смещение до соответствующего поля.
Не понимаю правда как наличие указателей на низком уровне влечет за собой необходимость в них на высоком. Так же не вижу причин в утечках памяти и обязательности копирования огромных массивов на каждый чих при отсутствии указателей в языке программирования. Взять те же делфи, в ООП нет необходимости в использовании указателей. В C# указателей нет (если конечно их спецом не подключить), но объекты не копируются, т.к. передаются по умолчанию по ссылке.
Да и скорость копирования зависит от реализации. Если грамотную "выделялку" памяти написать + сборщик мусора + какие-то оптимизации, то программа может работать не медленнее С++, а может и быстрее. ООП (создание экземпляров классов, доступ к методам,...) в C#, судя по всяким тестам, работает быстрее, чем в С++.

[akasex]

class Foo
{
      static int MyParam = 10;

      //Function - not allowed to change static field... 
      int CalcSomething(int value)
      {
            return (value + Foo.MyParam);
      }

      //Procedure - may be allowed to change static field...
      void DoSomething(int value)
      {
            Foo.MyParam = (value > 0) ? 5 : 10;
      }
}

[svbezm]

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

В том то и дело, что это простейший пример. А в данном случае? Как программа работает с полями экземпляров классов? Тем более в Дельфи?

Я лишь хотел сказать 2 вещи :
1.
переменные , массивы , функции , структуры, классы языков высокого уровня являются указателями на низком уровне.

2. если перменная невидима в данной функции или классе доступ к ней можно организовать через длинный asm указатель на ассемлерной вставке, необходимо только помнить, что на ассемблере
она будет иметь имя с _ впереди например name , будет _name, а
name[3] будет _name + 3.
Перед именем должны следовать размерность byte (или word , dword)
и далее символ указателя ptr ...