深入解析 ExtPascal：Object Pascal 与 Ext JS 的完美融合-易源易彩

摘要

ExtPascal 是一款专为 Ext JS 设计的封装/绑定库，它使得开发者可以在 Delphi、FreePascal 和 Lazarus 等 Object Pascal 开发环境中使用 Ext JS 构建强大的跨浏览器网页应用程序。本文通过丰富的代码示例，详细介绍了如何利用 ExtPascal 的功能，帮助读者快速上手并深入理解其使用方法。

关键词

ExtPascal, Ext JS, Object Pascal, Delphi, Lazarus

一、ExtPascal 简介

1.1 ExtPascal 的起源与发展

在编程的世界里，每一次技术的革新都伴随着对旧有框架的挑战与超越。ExtPascal 的诞生正是这样一次跨越时空的旅程。随着 Web 应用程序变得越来越复杂，开发者们开始寻求一种更高效的方式来构建这些应用。Object Pascal，一种历史悠久且功能强大的编程语言，因其简洁而优雅的语法，以及出色的性能表现，在众多开发者心中占据了一席之地。然而，传统的 Pascal 编译器并不直接支持现代 Web 技术，这便是 ExtPascal 出现的历史背景。

ExtPascal 的出现，如同一道桥梁，连接了 Object Pascal 世界与 JavaScript 的广阔天地。它不仅让 Pascal 开发者能够轻松地利用 Ext JS 这一强大的前端框架，还极大地扩展了 Pascal 生态系统的边界。从最初的版本发布至今，ExtPascal 经历了多次迭代与优化，逐渐成为了一个成熟稳定的工具。它支持多种 Pascal 编译器，包括 Delphi、FreePascal 和 Lazarus，这意味着无论开发者使用哪种环境，都能享受到 ExtPascal 带来的便利。

1.2 与 Ext JS 的整合优势

ExtPascal 与 Ext JS 的结合，为开发者打开了一个全新的世界。这种结合的优势不仅仅体现在技术层面，更重要的是它为开发者提供了前所未有的灵活性与创造力空间。

无缝集成：通过 ExtPascal，开发者可以无缝地将 Ext JS 的组件与功能集成到 Pascal 应用程序中。这意味着无需编写繁琐的 JavaScript 代码，就可以轻松实现复杂的用户界面交互。
代码重用：由于 ExtPascal 支持多种 Pascal 编译器，开发者可以在不同的项目中重用相同的代码片段，大大提高了开发效率。
强大的社区支持：ExtPascal 社区活跃，不断有新的插件和示例被贡献出来。这对于新手来说尤其重要，因为他们可以从丰富的资源中学习并快速成长。

下面是一个简单的代码示例，展示了如何使用 ExtPascal 创建一个基本的 Ext JS 应用程序：

program ExtPascalExample;

uses
  ExtPascal, ExtJS;

begin
  // 初始化 Ext JS 应用
  ExtJS.Initialize;

  // 创建一个简单的按钮
  var button := TExtButton.Create;
  button.Text := '点击我!';
  button.OnClick := procedure(Sender: TObject)
  begin
    ExtJS.Alert('你点击了按钮!');
  end;

  // 显示按钮
  button.Show;

  // 清理资源
  ExtJS.Cleanup;
end.

这段代码虽然简单，却清晰地展示了 ExtPascal 如何让 Pascal 开发者能够轻松地创建动态的 Web 用户界面。通过这样的例子，我们可以看到 ExtPascal 与 Ext JS 结合后所带来的无限可能。

二、安装与配置

2.1 在 Delphi 环境下的配置步骤

在 Delphi 环境下配置 ExtPascal，就像是为一场精彩的演出做准备——每一步都需要精心安排，确保一切就绪。对于那些熟悉 Delphi 的开发者而言，这一过程不仅是一次技术上的探索，更是一次情感上的回归。让我们一起踏上这段旅程，感受每一步带来的成就感。

步骤一：安装必要的软件包

首先，确保你的 Delphi 环境是最新的，并且安装了所有必需的更新。接下来，下载并安装 ExtPascal 的最新版本。这一步至关重要，因为它为后续的操作打下了坚实的基础。

步骤二：配置编译器选项

打开 Delphi，进入项目的编译器选项设置。在这里，你需要添加 ExtPascal 的库路径和单元文件路径。这一步看似简单，却是整个配置过程中最需要细心的部分。正确的路径设置，就像是给 Delphi 指引方向的灯塔，指引着它找到 ExtPascal 的宝藏。

步骤三：引入 ExtPascal 单元

在你的 Delphi 项目中，引入 ExtPascal 的核心单元。这通常意味着在你的主模块文件（如 main.pas）中添加 uses ExtPascal; 这一行代码。这一步就如同为你的项目注入了灵魂，让 ExtPascal 的强大功能得以发挥。

步骤四：编写第一个 ExtPascal 示例

现在，是时候展示 ExtPascal 的魅力了。编写一个简单的 ExtPascal 示例，比如创建一个带有按钮的窗口。当你按下那个按钮，屏幕上弹出一个提示框，那一刻，你会深刻感受到 Delphi 与 ExtPascal 结合的力量。

program ExtPascalExample;

uses
  ExtPascal, ExtJS;

begin
  // 初始化 Ext JS 应用
  ExtJS.Initialize;

  // 创建一个简单的按钮
  var button := TExtButton.Create;
  button.Text := '点击我!';
  button.OnClick := procedure(Sender: TObject)
  begin
    ExtJS.Alert('你点击了按钮!');
  end;

  // 显示按钮
  button.Show;

  // 清理资源
  ExtJS.Cleanup;
end.

步骤五：测试与调试

最后，运行你的项目，确保一切正常工作。如果遇到任何问题，不要气馁。调试的过程就像是解开谜题，每解决一个问题，都会让你离成功更近一步。

2.2 在 Lazarus 环境下的配置要点

Lazarus 作为一款免费且开源的集成开发环境，为 Pascal 开发者提供了另一个选择。在 Lazarus 中配置 ExtPascal，同样是一场充满挑战与机遇的旅程。

要点一：安装 Lazarus 和 ExtPascal

确保你的系统中已经安装了 Lazarus。接着，下载并安装 ExtPascal。这一步是基础，也是关键。

ots二：配置项目选项

打开 Lazarus，创建一个新的 Pascal 项目。在项目选项中，添加 ExtPascal 的库路径和单元文件路径。这一步类似于在 Delphi 中的操作，但每个细节都至关重要。

要点三：引入 ExtPascal 单元

在你的项目中引入 ExtPascal 的核心单元。这一步是连接 Lazarus 与 ExtPascal 的桥梁，让两者之间的协作变得更加顺畅。

要点四：编写并测试示例代码

编写一个简单的 ExtPascal 示例，如前面提到的带有按钮的窗口。通过实际操作，你可以更好地理解 ExtPascal 在 Lazarus 环境下的表现。

要点五：调试与优化

运行你的项目，检查是否有任何错误或异常。调试是一个不断学习和改进的过程，每一次调试都是向着完美迈进的一步。

通过以上步骤，你不仅能够成功配置 ExtPascal，还能在这个过程中体会到 Pascal 语言的魅力所在。无论是 Delphi 还是 Lazarus，它们都是通往强大 Web 应用程序的大门。现在，就让我们一起开启这段旅程吧！

三、基本用法

3.1 组件的声明与创建

在 ExtPascal 的世界里，每一个组件都像是一个等待被唤醒的生命体。通过简单的几行代码，开发者就能赋予它们生命，让它们在用户的屏幕上绽放光彩。让我们一起探索如何声明和创建这些神奇的组件。

3.1.1 基础组件的声明

在 ExtPascal 中，声明一个组件就像是在舞台上布置道具一样简单。只需几行代码，就能让一个按钮、文本框或是面板出现在用户面前。例如，创建一个简单的按钮组件：

var
  button := TExtButton.Create;
  button.Text := '点击我!';

这几行代码看似简单，却蕴含着巨大的力量。它们不仅定义了一个按钮的存在，还赋予了它一个明确的目标——等待用户的点击。

3.1.2 复杂组件的创建

当然，ExtPascal 的能力远不止于此。它还支持创建更为复杂的组件，如表格、树形结构等。这些组件往往需要更多的配置选项，以满足不同场景的需求。例如，创建一个带有列标题的表格组件：

var
  grid := TExtGrid.Create;
  grid.AddColumn('姓名', 'name');
  grid.AddColumn('年龄', 'age');
  grid.SetData([['Alice', 25], ['Bob', 30]]);

通过这些代码，我们不仅创建了一个表格，还定义了它的列标题和初始数据。这样的组件不仅美观，而且功能强大，能够极大地提升用户体验。

3.1.3 组件的布局与样式

除了声明和创建组件之外，ExtPascal 还允许开发者对组件进行布局和样式的定制。这使得开发者能够根据自己的需求，创造出独一无二的用户界面。例如，调整按钮的位置和大小：

button.SetPosition(100, 100);
button.SetSize(150, 50);

这些简单的操作，就能让按钮在界面上占据一个理想的位置，同时拥有吸引人的外观。

通过这些示例，我们可以看到 ExtPascal 在组件声明与创建方面的强大能力。无论是简单的按钮还是复杂的表格，都能轻松实现。这不仅简化了开发流程，也让开发者能够更加专注于创造真正有价值的应用程序。

3.2 事件绑定与处理

在 ExtPascal 中，事件绑定与处理是实现用户交互的关键。通过绑定事件处理器，开发者可以让应用程序响应用户的操作，从而创造出更加丰富和动态的体验。

3.2.1 绑定事件处理器

绑定事件处理器就像是给组件装上了耳朵，让它能够听到用户的呼唤。例如，为按钮绑定一个点击事件处理器：

button.OnClick := procedure(Sender: TObject)
begin
  ExtJS.Alert('你点击了按钮!');
end;

这段代码定义了一个简单的事件处理器，当用户点击按钮时，会弹出一个提示框。这样的交互简单明了，却能够极大地提升用户的参与感。

3.2.2 处理复杂事件

当然，ExtPascal 的事件处理能力远不止于此。它还支持处理更为复杂的事件，如表格的选择变化、表单的提交等。这些事件往往需要更精细的控制和处理逻辑。例如，监听表格的选择变化：

grid.OnSelectionChange := procedure(Sender: TObject; Records: TArray<TRecord>)
begin
  if Length(Records) > 0 then
    ExtJS.Alert('你选择了: ' + Records[0].Name);
end;

通过这样的代码，我们不仅能够监听表格的选择变化，还能根据用户的选择做出相应的反应。这样的交互不仅增强了应用程序的功能性，也提升了用户体验。

3.2.3 事件的传递与取消

在某些情况下，开发者可能需要阻止事件的传递或取消默认行为。ExtPascal 提供了相应的机制来实现这一点。例如，取消按钮点击事件的默认行为：

button.OnClick := procedure(Sender: TObject)
begin
  ExtJS.PreventDefault;
  ExtJS.Alert('你点击了按钮!');
end;

通过调用 ExtJS.PreventDefault 方法，我们可以阻止按钮点击事件的默认行为，从而实现更精细的控制。

通过这些示例，我们可以看到 ExtPascal 在事件绑定与处理方面的强大能力。无论是简单的点击事件还是复杂的表格选择变化，都能轻松实现。这不仅简化了开发流程，也让开发者能够更加专注于创造真正有价值的应用程序。

四、进阶技巧

4.1 自定义组件的开发

在 ExtPascal 的世界里，自定义组件的开发就像是为开发者打开了一扇通往无限可能的大门。它不仅让开发者能够根据自己的需求创造出独一无二的用户界面，还极大地拓展了应用程序的功能边界。让我们一起探索如何利用 ExtPascal 的强大功能，开发出既美观又实用的自定义组件。

4.1.1 设计与原型制作

在着手开发之前，设计和原型制作是至关重要的第一步。这一步不仅仅是关于绘制草图或创建模型，更是关于思考组件的核心功能和用户体验。开发者需要考虑的问题包括：组件的主要用途是什么？它应该如何与用户互动？它的外观和感觉应该怎样才能与整体应用相协调？

4.1.2 实现自定义组件

一旦有了清晰的设计思路，接下来就是将想法付诸实践的时候了。在 ExtPascal 中，实现自定义组件通常涉及以下几个步骤：

继承现有组件：大多数情况下，自定义组件都是基于现有的 Ext JS 组件进行扩展。例如，如果你想要创建一个带有特殊功能的按钮，可以继承 TExtButton 类，并在此基础上添加额外的功能。
添加新属性和方法：为了满足特定需求，开发者需要为自定义组件添加新的属性和方法。这些新增的部分能够让组件具备更加丰富的功能，同时也为未来的扩展留出了空间。
编写事件处理器：自定义组件往往需要响应用户的特定操作。通过编写事件处理器，开发者可以确保组件能够正确地响应这些操作，从而实现预期的行为。
样式定制：为了让组件更加符合应用的整体风格，开发者还需要对其进行样式定制。这包括调整颜色、字体、布局等方面，以确保组件在视觉上与应用的其他部分和谐统一。

4.1.3 测试与迭代

开发自定义组件的过程中，测试和迭代是不可或缺的环节。通过不断地测试和调整，开发者可以确保组件不仅功能完善，而且用户体验良好。这一步骤不仅能够帮助发现潜在的问题，还能让开发者有机会进一步优化组件的设计和功能。

4.2 性能优化与调试

在构建强大的 Web 应用程序时，性能优化与调试是确保应用流畅运行的关键。对于使用 ExtPascal 开发的应用程序而言，这一点尤为重要。让我们一起探讨如何通过一些最佳实践来提高应用的性能，并有效地进行调试。

4.2.1 代码优化技巧

减少 DOM 操作：频繁地修改文档对象模型 (DOM) 可能会导致性能下降。尽量减少直接操作 DOM 的次数，而是采用批量更新的方式。
异步加载：对于大型应用程序而言，异步加载组件和数据可以显著提高加载速度。通过按需加载功能，只在需要时加载特定的组件或数据，可以有效减轻初始加载时间的压力。
缓存策略：合理利用缓存可以避免不必要的网络请求，从而提高应用的响应速度。例如，对于经常访问的数据，可以考虑使用客户端缓存机制。

4.2.2 调试工具与技巧

使用浏览器开发者工具：现代浏览器都内置了强大的开发者工具，可以帮助开发者诊断和修复各种问题。熟练掌握这些工具的使用方法，对于提高调试效率至关重要。
日志记录：在代码中适当位置添加日志记录语句，可以帮助追踪问题发生的地点和原因。通过观察日志信息，开发者可以更快地定位问题所在。
性能分析：利用浏览器的性能分析工具，可以深入了解应用的运行情况。通过分析 CPU 使用率、内存占用等指标，开发者可以找出性能瓶颈，并采取相应措施进行优化。

通过上述方法，开发者不仅能够确保应用程序的高效运行，还能为用户提供更加流畅的使用体验。无论是自定义组件的开发还是性能优化与调试，都是构建高质量 Web 应用程序不可或缺的一部分。随着技术的不断进步，这些领域的最佳实践也在不断发展，因此保持学习的态度，始终关注最新的技术和工具，对于每一位开发者而言都是非常重要的。

五、实践案例

5.1 一个完整的动态网页示例

在 ExtPascal 的世界里，每一个动态网页都是一幅生动的画卷，等待着开发者用代码的画笔去勾勒。让我们通过一个完整的示例，来体验如何运用 ExtPascal 构建一个功能完备且交互丰富的动态网页。

5.1.1 创建动态网格

想象一下，你正在开发一个在线商店的管理后台，需要一个动态网格来展示商品列表。这个网格不仅要能够显示商品的基本信息，还要支持排序、筛选等功能。下面是如何使用 ExtPascal 来实现这样一个网格的示例代码：

program ExtPascalDynamicGrid;

uses
  ExtPascal, ExtJS;

begin
  // 初始化 Ext JS 应用
  ExtJS.Initialize;

  // 创建一个动态网格
  var grid := TExtGrid.Create;
  grid.AddColumn('ID', 'id');
  grid.AddColumn('名称', 'name');
  grid.AddColumn('价格', 'price');
  grid.SetData([
    [1, '苹果', 5.99],
    [2, '香蕉', 2.99],
    [3, '橙子', 3.49]
  ]);

  // 添加排序功能
  grid.Sortable := true;

  // 添加筛选功能
  grid.Filterable := true;

  // 显示网格
  grid.Show;

  // 清理资源
  ExtJS.Cleanup;
end.

这段代码不仅创建了一个动态网格，还为其添加了排序和筛选功能。通过简单的几行代码，我们就实现了原本需要大量 JavaScript 代码才能完成的功能。这不仅体现了 ExtPascal 的强大之处，也为开发者节省了大量的时间和精力。

5.1.2 添加交互元素

为了让这个动态网页更加生动有趣，我们还可以添加一些交互元素，如按钮和表单。例如，我们可以添加一个“添加商品”按钮，点击后弹出一个表单让用户输入新的商品信息。下面是实现这一功能的代码示例：

// 添加一个“添加商品”按钮
var addButton := TExtButton.Create;
addButton.Text := '添加商品';
addButton.OnClick := procedure(Sender: TObject)
begin
  // 弹出一个表单
  var form := TExtForm.Create;
  form.AddTextField('名称', 'name');
  form.AddNumberField('价格', 'price');

  // 表单提交时的处理
  form.OnSubmit := procedure(Sender: TObject; Data: TJSONObject)
  begin
    // 将新商品添加到网格中
    grid.AddRow([grid.RowCount + 1, Data.GetValue<string>('name'), Data.GetValue<float>('price')]);
    ExtJS.Alert('商品已添加!');
  end;

  // 显示表单
  form.Show;
end;

// 显示按钮
addButton.Show;

通过这些代码，我们不仅添加了一个按钮，还实现了一个简单的表单提交功能。当用户点击“添加商品”按钮时，会弹出一个表单让用户填写商品信息。提交表单后，新商品会被自动添加到网格中。这样的交互不仅增强了用户体验，也让整个动态网页变得更加生动有趣。

通过这个完整的示例，我们可以看到 ExtPascal 在构建动态网页方面所展现出的强大功能。无论是创建动态网格，还是添加交互元素，都能够轻松实现。这不仅简化了开发流程，也让开发者能够更加专注于创造真正有价值的应用程序。

5.2 ExtPascal 在实际项目中的应用

在实际项目中，ExtPascal 的应用范围远远超出了简单的示例。它已经成为许多开发者构建复杂 Web 应用程序的首选工具之一。让我们一起探索 ExtPascal 在实际项目中的几个应用场景。

5.2.1 企业级应用开发

在企业级应用开发领域，ExtPascal 的强大功能得到了充分的展现。无论是构建内部管理系统，还是面向客户的在线平台，ExtPascal 都能够提供稳定且高效的解决方案。例如，在一个企业内部的订单管理系统中，ExtPascal 可以用来创建复杂的表格、图表和报表，帮助员工更高效地管理和分析数据。

5.2.2 数据可视化

数据可视化是现代 Web 应用程序中不可或缺的一部分。ExtPascal 通过与 Ext JS 的紧密结合，为开发者提供了丰富的图表组件和自定义选项。无论是简单的柱状图，还是复杂的折线图，都能够轻松实现。这不仅有助于用户更好地理解数据背后的意义，也为开发者提供了展示创意的空间。

5.2.3 移动优先的设计

随着移动设备的普及，越来越多的应用程序开始采用移动优先的设计理念。ExtPascal 不仅支持桌面端的开发，还能够适应移动设备的屏幕尺寸和交互方式。通过灵活的布局选项和响应式设计，开发者可以确保应用程序在不同设备上都能提供一致且优秀的用户体验。

5.2.4 社区支持与资源

ExtPascal 的社区活跃度非常高，不断有新的插件和示例被贡献出来。这对于新手来说尤其重要，因为他们可以从丰富的资源中学习并快速成长。此外，社区的支持也为开发者解决实际问题提供了宝贵的帮助。无论是遇到技术难题，还是寻找最佳实践，都可以在社区中找到答案。

通过这些实际应用场景，我们可以看到 ExtPascal 在构建高质量 Web 应用程序方面的巨大潜力。无论是企业级应用开发，还是数据可视化，甚至是移动优先的设计，ExtPascal 都能够提供强大的支持。随着技术的不断进步，ExtPascal 的应用领域也在不断扩大，为开发者带来了更多的可能性。

六、常见问题与解答

6.1 错误处理与异常捕获

在 ExtPascal 的世界里，每一个成功的应用程序背后，都有着一套完善的错误处理与异常捕获机制。正如一位经验丰富的航海家在航行前会仔细检查船只的每一个角落，开发者也需要为他们的应用程序准备好应对未知挑战的方案。错误处理与异常捕获不仅是确保应用程序稳定运行的关键，也是提升用户体验的重要手段。

6.1.1 错误处理的重要性

在开发过程中，错误处理的重要性不言而喻。它不仅能帮助开发者及时发现并解决问题，还能在出现问题时给予用户友好的提示，避免因突然崩溃而导致的不良体验。例如，在用户尝试提交一个表单时，如果表单中的某些字段未填写完整，ExtPascal 可以通过预先设定的错误处理机制，优雅地提醒用户填写缺失的信息，而不是简单地抛出一个难以理解的错误消息。

6.1.2 异常捕获的最佳实践

在 ExtPascal 中，异常捕获是一种常见的错误处理机制。通过合理地使用异常捕获，开发者可以确保即使在遇到预料之外的情况时，应用程序也能继续平稳运行。例如，在处理网络请求时，如果服务器暂时无法访问，可以通过异常捕获来优雅地处理这种情况，向用户显示一个友好的提示信息，而不是让应用程序崩溃。

try
  // 发送网络请求
  var response := ExtJS.SendRequest('https://example.com/api/data');
  // 处理响应
  // ...
except
  on E: Exception do
    ExtJS.Alert('服务器暂时无法访问，请稍后再试。');
end;

通过这样的代码，即使在遇到网络问题时，应用程序也能保持稳定，为用户提供更好的体验。

6.1.3 日志记录与监控

除了错误处理与异常捕获之外，日志记录也是确保应用程序健康运行的重要组成部分。通过记录详细的日志信息，开发者可以在问题发生后迅速定位问题所在，并采取相应的措施进行修复。此外，定期监控应用程序的日志，还可以帮助开发者提前发现潜在的问题，防止它们演变成更大的故障。

6.2 社区资源与支持

在 ExtPascal 的开发之旅中，社区资源与支持就像是旅途中的一盏明灯，为开发者照亮前行的道路。无论是初学者还是经验丰富的开发者，都能从活跃的社区中获得宝贵的帮助和支持。

6.2.1 利用官方文档与教程

ExtPascal 的官方文档是开发者入门的第一站。这些文档不仅详细介绍了如何安装和配置 ExtPascal，还提供了丰富的示例代码和最佳实践指南。对于初学者而言，官方文档就像是一个详尽的地图，指引着他们一步步探索 ExtPascal 的世界。

6.2.2 加入社区论坛与讨论组

加入 ExtPascal 的社区论坛和讨论组，就像是加入了一个大家庭。在这里，开发者可以与其他成员分享经验、交流心得，甚至是在遇到困难时寻求帮助。无论是技术问题还是设计理念，社区成员总是乐于伸出援手，共同推动 ExtPascal 的发展。

6.2.3 参与开源项目与贡献代码

对于希望更深入地了解 ExtPascal 内部运作原理的开发者而言，参与开源项目并贡献代码是一个绝佳的机会。通过贡献代码，不仅可以帮助改善 ExtPascal 的功能和性能，还能在实践中提升自己的技能水平。更重要的是，这样的经历能够为开发者的职业生涯增添宝贵的亮点。

通过充分利用这些社区资源和支持，开发者不仅能够加速自己的学习进程，还能在开发过程中遇到挑战时得到及时的帮助。无论是初学者还是经验丰富的开发者，都能在 ExtPascal 的社区中找到属于自己的位置，共同推动这一强大工具的发展。

七、总结

通过本文的详细介绍与丰富的代码示例，我们不仅深入了解了ExtPascal的功能与优势，还掌握了如何在Delphi、FreePascal和Lazarus等开发环境中使用ExtPascal构建强大的跨浏览器网页应用程序。从ExtPascal的简介到安装配置，再到基本用法和进阶技巧，我们见证了ExtPascal如何简化Web开发流程，使开发者能够更加专注于创造真正有价值的应用程序。

无论是创建动态网格、添加交互元素，还是开发自定义组件，ExtPascal都展现了其在构建高质量Web应用程序方面的强大能力。此外，本文还探讨了ExtPascal在实际项目中的应用案例，包括企业级应用开发、数据可视化和移动优先的设计等方面，展示了其广泛的应用前景。

最后，我们还讨论了错误处理与异常捕获的重要性，以及如何利用社区资源和支持来加速学习进程和解决开发过程中遇到的问题。通过本文的学习，相信每位开发者都能更好地利用ExtPascal这一强大工具，为用户带来更加丰富和动态的Web体验。