使用 GetTypeKind 时如何触发编译时错误

Question

在 XE7 中，我们有新的编译器内部函数 GetTypeKind（尚未记录），它允许我们在编译时提取类型的味道。

如果使用了错误的类型，以下代码将产生运行时错误：

//make sure T is a procedure/function
procedure TDetours<T>.CheckTType;
{$IF CompilerVersion >= 28}
begin
  // XE7 and up:Resolve all tests at compiletime.
  if (Sizeof(T) <> Sizeof(Pointer)) or (GetTypeKind(T) <> tkProcedure) then begin
    raise DetourException.Create('T must be a procedure or function');
  end;
{$ELSE}
  //Code for pre-XE7 versions
{$ENDIF}
end;

如果没有使用正确的类型类型，我希望编译器生成编译时错误。
这允许在早期阶段捕获任何错误。 这可能吗？

我的思路如下：
- 如果测试为假，则不会生成测试中的代码。
- 如果测试为真，则生成代码。

是否有一些代码可以放入测试中，在生成代码时会使编译器跳闸，但不会使解析器停止工作？

Answer 1

在 XE7 中，我们有新的编译器内部函数 GetTypeKind（尚未记录），它允许我们在编译时提取类型的味道。

为了让您能够做到这一点，您需要能够将GetTypeKind 放入条件表达式中。这样您就可以编写如下代码：

{$IF GetTypeKind(T) <> tkProcedure}
  {$Message Fatal 'Invalid type'}
{$ENDIF}

但是编译器不接受这个。编译器要求$IF条件中的表达式是常量表达式，而GetTypeKind(T) <> tkProcedure不是。

如果没有使用正确的类型类型，我希望编译器生成编译时错误。这允许在早期阶段捕获任何错误。这可能吗？

这是不可能的。您唯一可用的机制是通用约束。并且通用约束没有足够的粒度来指定您需要的约束。

我认为最好的办法是在类构造函数中放置一个断言。它看起来像这样：

class constructor TDetours<T>.CreateClass;
begin
  Assert(Sizeof(T) = Sizeof(Pointer));
  Assert(GetTypeKind(T) = tkProcedure);
end;