ProveVue 变量

Vue 语言支持大多数传统 C 数据类型，即 C-89 规范所识别的数据类型。 此外， Vue 还包含一些扩展，使功能强大的动态跟踪程序易于编写。

Vue 支持具有三个不同作用域规则的变量:

• 仅在一个操作块中的变量
• 具有全局作用域的变量
• 具有线程局部作用域的变量

此外， Vue 可以访问具有外部作用域的变量，例如内核中的全局变量或正在探测的应用程序中的用户数据。

通常，变量需要在首次在脚本中使用之前进行声明，尽管 Vue 也支持非常有限的隐式类型识别形式。 操作块中的变量声明语句必须出现在任何可执行语句的前面。 它们不能位于嵌套块（如 if 语句）中。 在某些情况下，您可以声明任何操作块外的变量，但是在这种情况下，所有此类声明必须出现在第一个操作块之前。

变量类

Vue 支持若干个变量类，这些变量类在作用域、如何对它们进行初始化、是否可对它们进行更新以及如何确定它们的类型方面有不同的规则。 与在 C 语言中一样，变量的任何声明语句必须以文本形式位于其在脚本中第一次使用之前。

Vue 提供添加到声明语句的特殊类型的限定符来表示正被声明的变量类。 例如，__global 关键字是类限定符，您可以在声明语句中包括此限定符来指定要声明的变量有“全局”类。

在以下示例中，foo 和 bar 将声明为全局类的变量：

__global int foo, bar;

Vue 也支持根据变量在脚本中的第一次使用情况来隐式识别变量类型。 在此情况下，没有声明语句，但是在脚本中对变量进行首次文本引用时，可通过直接将类限定符附加到变量来提供变量类（如下所示）：

global:count = 5;	/* First reference to variable count in the script */

在上述示例中，global: 关键字是将 count 变量指定为全局类变量的限定符。 也会向该变量隐式指定 int 类型，因为对该变量进行首次引用的是赋值表达式，在该表达式的右侧是一个整数常量。