Question

我知道这是一个荒谬的问题，我承认我对Delphi并不是很好。我正在传递一个函数，但无法通过声明。我只需要一个真正的快速帮助。

我的宣言：

Inductive A := a | a0 | fa.
Inductive B := b | b0.
Parameter C: Type.
Parameter g: A -> B -> C.
Parameter CT:> C -> Type.
Parameter gab: g a b.
Parameter ga0b: g a0 b.

Definition f {x y z w}(n: g x y)(m: g z w) :=
ltac:(match x with z => exact (g z b) | _  => exact (g fa b) end).

Compute f gab ga0b. (*= g fa b: C*)
Compute f gab gab. (*! = g fa b: C !*)

我的功能：

type
  TfrmApp = class(TForm)
    function GetDosOutput : string;     // error is pointing here

我的申报必须遗漏一些东西。我已经尝试过放置参数，做了所有混乱的解决方法，到处寻找答案。我甚至寻找宣言教程但没有用。如果您对此有任何好的参考，我很乐意立即进行深入研究。

请快速帮忙。

需要帮助：我试图运行这个但是当我尝试编译编译器时弹出“有错误”。当我点击“确定”时，它会以红色突出显示以下声明行：

function GetDosOutput(CommandLine: string; Work: string = 'C:\'): string;

Answer 1

好的，您应该在类的私有/公共部分声明该函数（在本例中，您的类是TfrmApp表单），并在“实现”部分中实现它：

type
  TfrmApp = class(TForm)
  public
      function GetDosOutput(CommandLine: string; Work: string = 'C:\'): string;
  end;

implementation

  function TfrmApp.GetDosOutput(CommandLine: string; Work: string): string;
  begin
      // your code here...
  end;

在您将函数声明为public之后，只需在TfrmApp类中按ctrl + shift + c，就会出现一个新的实现框架。

这是非常基本的，正如您已经知道的那样。你应该真正阅读一些关于OOP的入门教程，因为你可能需要一个单独的类几乎所有的东西，然后在你的表单中使用它。

delphi函数声明类型

1 个答案: