如何创建一个字符串类型？

Question

blog entry from Raymond Chen today 让我意识到我遇到的问题的优雅解决方案。

各种shell函数，而不是全部采用ITEM­ID­LIST结构，可以只接受：

• ITEM­ID_CHILD
• ID­LIST_RELATIVE
• ID­LIST_ABSOLUTE
• ITEM­ID_CHILD_ARRAY

结构。这些结构都相同，但现在您可以在编译器级别强制执行概念类型。

返回德尔福

我有一组函数：

• 一些只有走一条路：（例如C:\Users\Ian\Desktop\AllisonAngel.jpg）
• 一些仅采用文件名：（例如AllisonAngel.jpg）
• 有些只拿文件夹：（例如C:\Users\Ian\Desktop）

现在它们都被声明为string，例如：

 function GetFilenames(Folder: string; ...): ...
 function IsValidBatchFilename(Path: string): ...
 function GetReportType(Filename: string): ...

我必须相信我传递的是正确的东西；我相信开发人员（例如 me）知道以下之间的区别：

• 路径
• 文件名
• 和一个文件夹

我想更改函数以使用 "typed" 字符串：

 function GetFilenames(Folder: TFolderOnly; ...): ...
 function IsValidBatchFilename(Path: TFullPath): ...
 function GetReportType(Filename: TFilenameOnly): ...

地点：

type
   TFullPath = type string;
   TFolderOnly = type string;
   TFilenameOnly = type string;

除非没有实际的打字发生：

var
   dropFolder: string;
begin
   dropFolder := GetDropFolderPath(LCT);

   GetFilenames(dropFolder); <-- no compile error

end;

我想要的是一个 "distinct" 类型的字符串；即string，只要它是长度前缀、引用计数、空终止。

Answer 1

您可以使用高级记录来完成此操作。例如，你可以这样做

type
  TFileName = record
    FFileName: string;
  public
    class function IsValidFileName(const S: string): boolean; static;
    class operator Implicit(const S: string): TFileName;
    class operator Implicit(const S: TFileName): string;
  end;

implementation

class function TFileName.IsValidFileName(const S: string): boolean;
begin
  result := true {TODO};
end;

class operator TFileName.Implicit(const S: string): TFileName;
begin
  if IsValidFileName(S) then
    result.FFileName := S
  else
    raise Exception.CreateFmt('Invalid file name: "%s"', [S]);
end;

class operator TFileName.Implicit(const S: TFileName): string;
begin
  result := S.FFileName;
end;

TPath 和 TFolder 也是如此。优点：

• 期待TPath 的函数将不接受TFileName（或其他组合）。
• 您仍然可以将TPath 分配给/来自常规字符串。如果您从字符串转换为 TPath，您将自动检查字符串以查看其是否包含有效路径。
• （可选）您可以通过编写更多 Implicit 类运算符来指定如何将 TPath 分配给 TFileName（或其他组合）。

Answer 2

为每种字符串类型创建不同的记录类型。不同的记录类型不兼容分配，即使字符串类型是兼容的。

type
  TFullPath = record value: string end;
  TFolderOnly = record value: string end;

Chen 的文章将新的 shell 功能与创建不同句柄类型的经典 STRICT 宏进行了比较，我记得，声明不同的结构正是 STRICT 宏的工作原理。

Answer 3

Delphi 处理基本类型的方式，我觉得这是一个“你不能从这里到达那里”的例子。

您的字符串类型声明都将满足 Delphi 的类型兼容性和赋值兼容性规则。他们将限制的是带有var 参数的程序声明。如果您将函数声明更改为 var 参数而不是引用或值参数，您将在最后一个示例中收到编译错误。

说了这么多，反正都没用。即使使用TFilenameOnly 类型，您仍然无法确保输入只是一个文件名，并且无论如何都必须在您的过程中测试内容。