Ошибка компилятора Delphi или моя ошибка?

Question

Нижеприведенный проект не работает с ошибкой «нарушение прав доступа». Я использую Delphi XE2 Update 3.

program Project1; 

{$APPTYPE CONSOLE} 

type 
    TTestClass = class 
    public 
    class procedure Test; 
    end; 

var 
    TestClass: TTestClass; 

class procedure TTestClass.Test; 
begin 
end; 

begin 
    TestClass.Test; 
end. 

Если я пометить class procedure Test как "статический", нет никаких проблем. Является ли это «разработанным»?

P.S .: Это была моя ошибка, стыдно за меня.

Answer 1

Да, то, что вы видели, является правильным.

Нестатические методы класса, как и методы экземпляра, имеют скрытый параметр Self. Для методов класса, относящихся к заданию класса . Это как компилятор преобразует ваш метод в этом:

type 
    TTestClassClass = class of TTestClass; 

procedure TTestClass_Test(Self: TTestClassClass); 

При вызове методы класса на неклассовый приемнике (т.е. ссылки на объект), компилятор вставляет вызов ClassType для заполнения этого параметра с время выполнения тип объекта, например:

TTestClass_Test(TestClass.ClassType); 

метод ClassType извлекает адрес VMT объекта, но переменная не относится к какой-либо ВМТ. Ваша переменная является либо нулевым указателем, либо неинициализирована, поэтому попытка разыменовать ее для чтения адреса VMT приводит к нарушению доступа, если вам повезет. (Если вам не повезло, он разыскивает адрес, и адрес оказывается где-то еще в адресном пространстве вашей программы, и результат интерпретируется как указатель VMT, даже если это не так.)

Методы класса вызова в ссылках на классы или действительные ссылки на объекты.

TTestClass.Test; 

При вызове его на класс-ссылки «буквальным», как указано выше, компилятор уже знает значение первого параметра и преобразует вызов так:

TTestClass_Test(TTestClass); 

Answer 2

Вы вызываете метод по ссылке nil. Даже методы класса используют объект, для которого они вызывают, для определения реального типа переменной во время выполнения. Вы должны сделать

TestClass := TTestClass.Create; 

Чтобы реально создать экземпляр класса, то

FreeAndNil(TestClass); 

Чтобы освободить его.

Если вы

TTestClass.Test; 

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

Answer 3

Проблема в том, что, хотя у вас есть объявленная переменная вашего TTestClass, у вас нет экземпляра. Вам нужно вызвать Create, прежде чем cn использовать метод Test, иначе он будет терпеть неудачу (за исключением вашего статического, который не нуждается в создании экземпляра всего класса). Таким образом, ваш основной код будет

begin 
    TestClass := TTestClass.Create; 
    TestClass.Test; 
    TestClass.Free; 
end. 

Answer 4

Следующие работает отлично в XE, это похоже на ошибку в вашей версии Delphi, ваш код верен, пока он не вызывает «закрытую» переменную внутри класса, которая не является экземпляром, но я думаю, вы поняли это.

program Project1; 

{$APPTYPE CONSOLE} 

uses 
    SysUtils; 

type 
    TTest = class 
    public 
    class procedure test; 
    end; 

{ TTest } 

class procedure TTest.test; 
begin 
    Writeln('hello'); 
end; 

begin 
    try 
    TTest.test; 
    Readln; 
    except 
    on E: Exception do 
     Writeln(E.ClassName, ': ', E.Message); 
    end; 
end. 

Answer 5

Звучит разумно. TestClass равен нулю. Вы не можете вызывать метод нестатического класса для не-экземпляра:

«Метод класса можно вызвать через ссылку на класс или ссылку на объект. Когда он вызывается через ссылку на объект, класс объекта становится значением Self '- no object, no class.

«Статические методы класса могут быть доступны без ссылки на объекты» - не имеет значения в экземпляре TestClass из-за прямого статического вызова метода класса.