为什么变量名不能以数字开头？

当我问一个问题：“为什么变量名不能以数字开头？”时，我正与一个新的C ++开发人员一起工作。

除了一些数字可以包含文本（123456L，123456U）外，我无法给出答案，并且如果编译器认为带有一定数量的字母字符的所有内容都是变量名，那将是不可能的。

那是正确的答案吗？还有其他原因吗？

string 2BeOrNot2Be = "that is the question"; // Why won't this compile?

因为那样一串数字将是一个有效的标识符以及一个有效的数字。

int 17 = 497;
int 42 = 6 * 9;
String 1111 = "Totally text";

好考虑一下：

int 2d = 42;
double a = 2d;

什么啊 2.0？还是42？

提示，如果不明白，数字后的d表示它是双精度字面量之前的数字

现在这是一个惯例，但它最初是一项技术要求。

在过去，诸如FORTRAN或BASIC之类的语言的解析器不需要使用空格。因此，基本上，以下内容是相同的：

10 V1=100
20 PRINT V1

和

10V1=100
20PRINTV1

现在假设允许使用数字前缀。您将如何解释？

101V=100

如

10 1V = 100

或作为

101 V = 100

或作为

1 01V = 100

因此，这被定为非法。

因为在编译时在词法分析中避免了回溯。像这样的变量：

Apple;

编译器在遇到字母“ A”时会立即知道它是一个标识符。

但是像这样的变量：

123apple;

编译器在命中“ a”之前将​​无法确定它是数字还是标识符，因此需要回溯。

编译器/解析器/词法分析器对我来说是很久以前的事，但我想我记得很难明确地确定编译单元中的数字字符是文字​​还是标识符。

由于这种原因，空格很小的语言（例如ALGOL和原始的FORTRAN，如果我没记错的话）不能接受数字作为标识符的开头。

这可以追溯到-在特殊符号表示存储或数字基数之前。

我同意允许标识符以数字开头很方便。一两个人提到，您可以通过在标识符前加下划线来解决此限制，但这确实很丑陋。

我认为部分问题来自数字文字，例如0xdeadbeef，这使得很难想出容易记住的以数字开头的标识符规则。一种方法是允许与[A-Za-z _] +匹配的任何内容，而不是关键字或数字文字。问题在于，这将导致允许使用0xdeadpork之类的怪异事物，但不允许使用0xdeadbeef。最终，我认为我们应该对所有肉类都公平：P。

当我第一次学习C时，我记得感觉变量名的规则是任意的和限制性的。最糟糕的是，它们很难记住，所以我放弃了学习它们的尝试。我只是做了感觉正确的事情，并且效果很好。现在，我学到了很多东西，似乎还不错，我终于开始正确地学习它了。

做出此决定的原因可能很多种，当您解析令牌时，只需查看第一个字符即可确定它是标识符还是文字，然后将其发送给正确的函数进行处理。这就是性能优化。

另一种选择是检查它是否不是文字，并将标识符的域保留为Universe减去文字。但是要做到这一点，您将必须检查每个标记的每个字符以知道如何对其进行分类。

还有标识符的风格含义，它们应该是助记符，因此单词比数字更容易记住。当编写许多原始语言来设置接下来几十年的样式时，他们没有考虑将“ 2”替换为“ to”。

变量名不能以数字开头，因为它可能引起如下问题：

int a = 2;
int 2 = 5;
int c = 2 * a; 

c的值是多少？是4，还是10！

另一个例子：

float 5 = 25;
float b = 5.5;

是前5个数字，还是一个对象（。运算符），后5个存在类似的问题。

也许还有其他原因。因此，我们不应在变量名的开头使用任何数字。

使用数字开头的变量名会使编译或插入过程中的错误检查变得更加复杂。

允许使用以数字开头的变量名可能会给语言设计人员带来巨大的问题。在源代码解析期间，每当编译器/解释器遇到一个以数字开头的标记（该数字应为变量名）时，它都必须搜索大量复杂的规则，以确定该标记是真正的变量还是错误。 。语言分析器增加的复杂性可能无法证明此功能的合理性。

据我所记得（大约40年），我不认为我曾经使用过一种允许使用数字来开头变量名的语言。我确信这至少完成了一次。也许，这里的某个人实际上已经在某处看到了这个。

正如一些人所注意到的，关于变量名的有效格式有很多历史包bag。语言设计师在创建新语言时总是会受到他们所知道的知识的影响。

就是说，一种语言几乎所有时间都不允许变量名以数字开头是因为这是语言设计的规则。通常是因为这样简单的规则使语言的解析和词法化变得非常容易。但是，并非所有的语言设计师都知道这是真正的原因。现代的词法分析工具会有所帮助，因为如果您尝试将其定义为允许的，它们将为您解析冲突。

OTOH，如果您的语言在预示变量名称中具有唯一可识别的字符，则可以将其设置为以数字开头。类似的规则变体也可以用于在变量名中保留空格。但是，最终的语言可能根本不会与任何流行的常规语言非常相似。

有关一个相当简单的HTML模板语言的示例，该语言确实允许变量以数字开头并具有嵌入的空格，请参见Qompose。

因为如果您允许关键字和标识符以数字字符开头，那么词法分析器（编译器的一部分）将无法轻易地区分数字文字和关键字的开头，而不会变得更加复杂（也更慢）。

该限制是任意的。各种Lisps允许符号名称以数字开头。

COBOL允许变量以数字开头。

C ++无法拥有它，因为语言设计者已将其作为规则。如果要创建自己的语言，当然可以允许它，但是您可能会遇到他们遇到的相同问题，并决定不允许它。可能引起问题的变量名示例：

0x，2d，5555

放松语法约定的关键问题之一是将认知失调引入了编码过程。您对代码的看法可能会因缺乏清晰性而受到深深影响。

迪克斯特拉不是在说“任何工具的最重要方面就是对用户的影响”吗？

可能是因为它使人更容易分辨它是数字还是标识符，并且是由于传统。具有可以以数字开头的标识符不会使词汇扫描变得十分复杂。

并非所有语言都禁止以数字开头的标识符。在Forth中，它们可以是数字，并且通常将小整数定义为Forth单词（基本上是标识符），因为将“ 2”作为将2压入堆栈的例程比将“ 2”识别为数字要快得多其值是2。（在处理来自程序员或磁盘块的输入时，Forth系统将根据空格对输入进行拆分。它将尝试在字典中向上查找令牌以查看其是否为已定义的单词，以及如果不是，则尝试将其转换为数字，否则，将标记错误。）

假设您确实允许符号名称以数字开头。现在假设您要命名一个变量12345foobar。您如何将其与12345区别开？使用正则表达式实际上并不困难。问题实际上是性能之一。我无法真正解释为什么会如此详细，但实际上可以归结为以下事实：区分12345foobar和12345需要回溯。这使得正则表达式不确定。

有这样一个更好的解释这里。

编译器很容易在内存位置而不是数字上使用ASCII标识变量。

编译器具有7个阶段，如下所示：

1. 词法分析
2. 语法分析
3. 语义分析
4. 中间代码生成
5. 代码优化
6. 代码生成
7. 符号表

在词法分析阶段，在编译代码时避免回溯。像Apple这样的变量，在词法分析阶段遇到字母'A'字符时，编译器会立即知道其标识符。但是，对于像123apple这样的变量，编译器在命中“ a”之前将​​无法确定其数字还是标识符，并且需要回溯到词法分析阶段才能确定它是变量。但是编译器不支持它。

解析令牌时，只需查看第一个字符即可确定它是标识符还是文字，然后将其发送到正确的函数进行处理。这就是性能优化。

我认为简单的答案是可以，限制是基于语言的。在C ++和许多其他语言中，它不能，因为该语言不支持它。它没有内置在规则中以允许这样做。

问题类似于问国王为什么不能一次在国际象棋中移动四个空格？这是因为在国际象棋中这是非法的举动。可以在其他游戏中确定吗。它仅取决于所遵循的规则。

最初只是因为它容易记住（可以赋予它更多的含义）变量名而不是数字（虽然可以在字符串中包含数字以增强字符串的含义或允许使用相同的变量名），而不是数字。将其指定为具有单独但紧密的含义或上下文。例如loop1，loop2等将始终让您知道您处于循环中和/或循环2是loop1中的循环。您更喜欢哪个（更有意义）作为变量：address或1121298？哪个更容易记住？但是，如果该语言使用的东西不仅表示文本或数字（例如$ address中的$），它实际上不应该有所作为，因为这将告诉编译器以下内容将被视为变量（在这种情况下）。

编译器在编译期间也可以将该变量视为一个值，因此该值可以一次又一次地递归调用该值。

在词法分析阶段编译代码时避免回溯。像苹果这样的变量；，编译器在词法分析阶段遇到字母“ A”字符时，将立即知道其标识符。但是，变量如123apple; ，编译器在命中“ a”之前将​​无法确定其数字还是标识符，并且需要回溯以进入词法分析阶段以识别它是变量。但是编译器不支持。

参考

声明变量可能没有什么问题，但是尝试在其他地方使用该变量时存在一些歧义：

让1 =“世界你好！” 打印（1）打印（1）

print是接受所有类型变量的通用方法。因此在这种情况下，编译器不知道程序员（1）指的是：整数值1还是存储字符串值的1。在这种情况下，对于编译器而言，允许定义类似的内容可能会更好，但是在尝试使用这些含糊不清的内容时，请带一个带有纠正功能的错误以解决该错误并清除歧义。