Language and Compiler Features Since Delphi 7，compilerdelphi

Language and Compiler Features Since Delphi 7，compilerdelphi

from:

http://edn.embarcadero.com/cn/article/34324

 

Language and Compiler Features Since Delphi 7

  Inlining Routines can now be marked with the inline directive.  This tells the compiler that, instead of actually calling the routine, it should emit code that includes the routine at the call site. Operator Overloading

Delphi allows certain functions, or operators, to be overloaded within record declarations

TMyClass = class
    class operator Add(a, b: TMyClass): TMyClass; // Addition of two operands of type TMyClass
    class operator Subtract(a, b: TMyClass): TMyclass; // Subtraction of type TMyClass
    class operator Implicit(a: Integer): TMyClass; // Implicit conversion of an Integer to type TMyClass
    class operator Implicit(a: TMyClass): Integer; // Implicit conversion of TMyClass to Integer
    class operator Explicit(a: Double): TMyClass; // Explicit conversion of a Double to TMyClass
end;

// Example implementation of Add class operator 
TMyClass.Add(a, b: TMyClass): TMyClass;
begin
  ...
end;

var
x, y: TMyClassbegin
  x := 12; // Implicit conversion from an Integer 
  y := x + x; // Calls TMyClass.Add(a, b: TMyClass): TMyClass 
  b := b + 100; // Calls TMyClass.Add(b, TMyClass.Implicit(100)) 
end;

Class Helpers

A class helper is a type that - when associated with another class - introduces additional method names and properties which may be used in the context of the associated class (or its descendants). Class helpers are a way to extend a class without using inheritance. A class helper simply introduces a wider scope for the compiler to use when resolving identifiers. When you declare a class helper, you state the helper name, and the name of the class you are going to extend with the helper. You can use the class helper any place where you can legally use the extended class. The compiler's resolution scope then becomes the original class, plus the class helper. Class helpers provide a way to extend a class, but they should not be viewed as a design tool to be used when developing new code. They should be used solely for their intended purpose, which is language and platform RTL binding.

type
  TMyClass = class

    procedure MyProc;
	function  MyFunc: Integer;
  end;

   ...

   procedure TMyClass.MyProc;
   var
	 X: Integer;
   begin
	  X := MyFunc;
   end;

   function TMyClass.MyFunc: Integer;
   begin
	   ...
   end;

...

type
   TMyClassHelper = class helper for TMyClass
	 procedure HelloWorld;
	 function MyFunc: Integer;
   end;

   ...

   procedure TMyClassHelper.HelloWorld;
   begin
	 WriteLn(Self.ClassName); // Self refers to TMyClass type, not TMyClassHelper

   end;

   function TMyClassHelper.MyFunc: Integer;
   begin
	 ...
   end;
...

var
  X: TMyClass;
begin
  X := TMyClass.Create;
  X.MyProc;    // Calls TMyClass.MyProc
  X.HelloWorld; // Calls TMyClassHelper.HelloWorld
  X.MyFunc; // Calls TMyClassHelper.MyFunc

end;

strict private The private keyword actually creates a " friendship" relationship between classes in the same unit.  The strict private declaration creates a true private field, not viewable by any other class, not even classes in the same unit. strict protected Similar to the strict private declaration, strict protectedcreates a true protected member, visible only to the declaring class and its descendents. Records with Methods

In addition to fields, records now may have properties and methods (including constructors), class properties, class methods, class fields, and nested types. 

type
  TMyRecord = record
    type
      TInnerColorType = Integer;
    var
      Red: Integer;
    class var
      Blue: Integer;
    procedure printRed();
    constructor Create(val: Integer);
    property RedProperty: TInnerColorType read Red write Red;
    class property BlueProp: TInnerColorType read Blue write Blue;
  end;

constructor TMyRecord.Create(val: Integer);
begin
  Red := val;
end;

procedure TMyRecord.printRed;
begin
  writeln('Red: ', Red);
end;

class abstract

Classes, and not just methods, can be declared as abstract.

type
  TAbstractClass = class abstract
    procedure SomeProcedure;
end;

class sealed Classes marked as sealed cannot be inherited from.

type
  TAbstractClass = class sealed
    procedure SomeProcedure;
end;

class const Classes can now have class constants -- a constant value associated with the class itself and not an instance of the class.

type
  TClassWithConstant = class
    public 
      const SomeConst = 'This is a class constant';
  end;
			

procedure TForm1.FormCreate(Sender: TObject);
begin
  ShowMessage(TClassWithConstant.SomeConst);
end;

class type A class can now contain a type declaration that is usable only within that class.

type
  TClassWithClassType = class
  private
	type
	  TRecordWithinAClass = record
	  SomeField: string;
	end;
  public

	    class var
	  RecordWithinAClass: TRecordWithinAClass;
  end;
  ...
procedure TForm1.FormCreate(Sender: TObject);
begin
  TClassWithClassType.RecordWithinAClass.SomeField := 'This is a field of a class type declaration';
  ShowMessage(TClassWithClassType.RecordWithinAClass.SomeField);
end;

class var A class can also have a class variable, applicable only to the class and not an instance of the class. See "class type" for an example. class property A class can have a class property, which is a property that applies only to the class reference and not to an instance of a class.  The accessors for the class property must be either class methods or class variables. See the example in "static class methods" below. nested classes Type declarations can be nested within class declarations. They present a way to keep conceptually related types together, and to avoid name collisions.

type
  TOuterClass = class
  strict private
	MyField: Integer;
  public
	type
      TInnerClass = class
	  public
        MyInnerField: Integer;
		procedure InnerProc;
      end;
      procedure OuterProc;
  end;

procedure TOuterClass.TInnerClass.InnerProc;
begin
  ...
end;

final methods A virtual method that you override can now be marked final, preventing derived classes from overriding that method.

TAbstractClass = classabstract
  public
    procedure Bar; virtual;
  end;

  TSealedClass = classsealed(TAbstractClass)
  public
    procedure Bar; override;
  end;

  TFinalMethodClass = class(TAbstractClass)
  public
    procedure Bar; override; final;
  end;

sealed methods Classes marked as sealed cannot be descended from. See the example in 'final methods'. static class methods Classes can have static class methods -- i.e. methods that can be called from a class type. Class static methods can be accessed without an object reference. Unlike ordinary class methods, class static methods have no Self parameter at all. They also cannot access any instance members. (They still have access to class fields, class properties, and class methods.) Also unlike class methods, class static methods cannot be declared virtual.

type
  TMyClass = class
    strict private
      class var
        FX: Integer;
    strict protected  

    // Note: accessors for class properties must be declared class static.

      class function GetX: Integer; static;
	  class procedure SetX(val: Integer); static;
    public
      class property X: Integer read GetX write SetX;
	  class procedure StatProc(s: String); static;
  end;

TMyClass.X := 17;
TMyClass.StatProc('Hello');

for-in loop Delphi 2007 for Win32 supports for-element-in-collection style iteration over containers. The following container iteration patterns are recognized by the compiler:

  for Element in ArrayExpr do Stmt;
  for Element in StringExpr do Stmt;
  for Element in SetExpr do Stmt;
  for Element in CollectionExpr do Stmt;