[баг?] приведение типов

[AlexVinS]

Есть иерархия типа TObject -> TBase -> TChild. Указатель на объект TChild лежит в переменной объявленной как obj:TObject, я пишу так

Код: Выделить всё

TBase(obj).SomeVirtualMethod();


Метод переопределен в TChild, он и вызывается, но Self почему то становится nil

А вот так нормально работает:

Код: Выделить всё

TChild(obj).SomeVirtualMethod();


FPC 2.2.2 и 2.2.4

[Max Rusov]

FPC 2.2.4 - не подтверждается.

Код в студию.

[Mr.Smart]

Self это указатель на самого себя в случае использования классов/объектов.

Код: Выделить всё

type
  TSample = class
  protected
    Val: String;
    procedure proc;
  end;

procedure TSample.proc;
var
Val: Integer;
begin
  Val:=123; // Это обращение к локальной переменной
  self.Val:='Привет!';  // Это обращение к переменной класса
end;


В коде предствлен один из частных случаев доступу к классу из себя самого.
Возможно следующий код будет более понятен:

Код: Выделить всё

type
  TSample = class
   public
      constructor Create;
  end;

var
  List: TList;

constructor TSample.Create;
begin
  List.Add(Self);
end;


Возможно я перемудрил

[AlexVinS]

FPC 2.2.4 - не подтверждается.

Код в студию.

На "чистом примере" не воспроизодится. Похоже проблема в другом. капаю)

[AlexVinS]

Теперь заметил следующее: если в модуль с базовым классом добавить в implementation uses модуль с потомком и больше вообще ничего не менять глюк пропадает, но воспроизвести на чистом примере так и не получается...

Добавлено спустя 30 минут 2 секунды:

Возможно я перемудрил

Не это все понятно. Конкретно глюк появляется в AV при обращении к полю объекта.

Код: Выделить всё

function TChannelAccount.SetStatus(iNewStatus: int): int;
begin
  Result:=0;
  if _active then //вот тут вылетает
  begin
//дальше много кода еще



[Mr.Smart]

Не это все понятно. Конкретно глюк появляется в AV при обращении к полю объекта.

Код: Выделить всё

function TChannelAccount.SetStatus(iNewStatus: int): int;
begin
  Result:=0;
  if _active then //вот тут вылетает
  begin
//дальше много кода еще



Это свидетельствует о том, что класс несоздан. Посмотрите в коде внимательно происходит ли вызов контструктора класса...

[AlexVinS]

Не это все понятно. Конкретно глюк появляется в AV при обращении к полю объекта.

Код: Выделить всё

function TChannelAccount.SetStatus(iNewStatus: int): int;
begin
  Result:=0;
  if _active then //вот тут вылетает
  begin
//дальше много кода еще



Это свидетельствует о том, что класс несоздан. Посмотрите в коде внимательно происходит ли вызов контструктора класса...

В том то и дело что перед вызовом этого метода. указатель на объект нормальный...

Код: Выделить всё

      function StubSetStatus (p1: PPROTO_INTERFACE; iNewStatus: Integer): Integer; cdecl;
      begin
           Result := TMirandaAccount(p1.obj).SetStatus(iNewStatus); //тут все нормально и p1 и p1.obj  указывают на то что нужно, а внутри SetStatus нет.
      end;


[Mr.Smart]

Остановитесь в методе SetStatus и сравните значения реального адреса объекта и значение Self.

[AlexVinS]

Остановитесь в методе SetStatus и сравните значения реального адреса объекта и значение Self.

см. первое собщение темы.