Difference between revisions of "Nullable types"

From Free Pascal wiki
Jump to navigationJump to search
(Added variant on see also)
(delete pas code, give URL instead)
Line 5: Line 5:
 
Same behavior can be implemented using [[Generics|generic types]] and advanced records with [[Operator overloading|operator overloading]].
 
Same behavior can be implemented using [[Generics|generic types]] and advanced records with [[Operator overloading|operator overloading]].
  
−
<syntaxhighlight lang="pascal">
+
The Nullable unit is part of FPC since 3.2.2. Its code in the GitLab: [https://gitlab.com/freepascal.org/fpc/source/-/blob/main/packages/rtl-objpas/src/inc/nullable.pp nullable.pp].
−
unit Nullable;
 
−
 
 
−
{$mode delphi}{$H+}
 
−
 
 
−
interface
 
−
 
 
−
uses
 
−
  Classes, SysUtils;
 
−
 
 
−
type
 
−
  TNullable<T> = record
 
−
  private
 
−
    FHasValue: Boolean;
 
−
    FValue: T;
 
−
    function GetValue: T;
 
−
    procedure SetValue(AValue: T);
 
−
  public
 
−
    procedure Clear;
 
−
    property HasValue: Boolean read FHasValue;
 
−
    property Value: T read GetValue write SetValue;
 
−
    class operator Implicit(A: T): TNullable<T>;
 
−
    class operator Implicit(A: Pointer): TNullable<T>;
 
−
  end;
 
−
 
 
−
implementation
 
−
 
 
−
{ TNullable }
 
−
 
 
−
function TNullable<T>.GetValue: T;
 
−
begin
 
−
  if FHasValue then
 
−
    Result := FValue
 
−
  else
 
−
    raise Exception.Create('Variable has no value');
 
−
end;
 
−
 
 
−
procedure TNullable<T>.SetValue(AValue: T);
 
−
begin
 
−
  FValue := AValue;
 
−
  FHasValue := True;
 
−
end;
 
−
 
 
−
procedure TNullable<T>.Clear;
 
−
begin
 
−
  FHasValue := False;
 
−
end;
 
−
 
 
−
class operator TNullable<T>.Implicit(A: T): TNullable<T>;
 
−
begin
 
−
  Result.Value := A;
 
−
end;
 
−
 
 
−
class operator TNullable<T>.Implicit(A: Pointer): TNullable<T>;
 
−
begin
 
−
  if A = nil then Result.Clear
 
−
  else raise Exception.Create('Pointer value not allowed');
 
−
end;
 
−
 
 
−
end.
 
−
</syntaxhighlight>
 
  
 
Then you can define nullable types like:
 
Then you can define nullable types like:

Revision as of 12:19, 4 March 2022

│ English (en) │ suomi (fi) │

Nullable types are types which can have no value (can be unassigned). One such type in Pascal is Pointer type which can have nil value which means that it isn't assigned to any specific address. Same behavior can be implemented using generic types and advanced records with operator overloading.

The Nullable unit is part of FPC since 3.2.2. Its code in the GitLab: nullable.pp.

Then you can define nullable types like: 

NullableChar = TNullable<Char>;
NullableInteger = TNullable<Integer>;
NullableString = TNullable<string>;

See also

The standard nullable type in Object Pascal is Variant.

External links

Retrieved from "http://wiki.freepascal.org/index.php?title=Nullable_types&oldid=151072"