为什么编程语言不允许标识符中的空格？

Question

这似乎是一个愚蠢的问题,但我仍然不知道答案.

为什么编程语言不允许名称中的空格(例如方法名称)？

我理解它是为了促进(允许)解析,并且在某些时候,如果允许空格则不可能解析任何东西.

如今我们如此习惯于规范不是看空间.

例如:

 object.saveData( data );
 object.save_data( data )
 object.SaveData( data );
 [object saveData:data];

等等

可以写成:

 object.save data( data )  // looks ugly, but that's the "nature" way.

如果只是用于分析,我猜的标识可能是之间.和(当然,程序语言将无法使用它,因为没有"" 但OO呢..

我不知道如果解析是唯一的原因,如果是,这是多么重要的(我认为这将是,这将是不可能做到这一点,否则,除非所有的编程语言的设计者只是......忘了选项)

编辑

我对标识符一般都很好(因为fortran示例)是个坏主意.缩小到OO语言,特别是方法,我没有看到(我不是说没有)这是为什么它应该是这样的原因.毕竟可以使用.和第一个(.

忘记saveData方法,考虑这个:

key.ToString().StartsWith("TextBox")

如:

key.to string().starts with("textbox");

Answer 1

因为我真的很困难.

Answer 2

我使用了ALGOL(c.1978)的实现,它非常烦人地要求引用现在称为保留字的内容,并允许标识符中的空格:

  "proc" filter = ("proc" ("int") "bool" p, "list" l) "list":
     "if" l "is" "nil" "then" "nil"
     "elif" p(hd(l)) "then" cons(hd(l), filter(p,tl(l)))
     "else" filter(p, tl(l))
     "fi";

此外,FORTRAN(大写形式表示F77或更早版本)对空格或多或少不敏感.所以这可以写成:

  799 S = FLO AT F (I A+I B+I C) / 2 . 0
      A  R E  A = SQ R T ( S *(S - F L O ATF(IA)) * (S - FLOATF(IB)) *
     +     (S - F LOA TF (I C)))

这在语法上是相同的

  799 S = FLOATF (IA + IB + IC) / 2.0
      AREA = SQRT( S * (S - FLOATF(IA)) * (S - FLOATF(IB)) *
     +     (S - FLOATF(IC)))

有了这种滥用的历史,为什么要为人类解析困难？更不用说复杂的计算机解析了.

Answer 3

是的,它是解析 - 人类和计算机.如果您可以安全地假设空白无关紧要,则更容易阅读并且更容易解析.否则,您可能会有可能含糊不清的陈述,不清楚事情如何在一起的陈述,难以阅读的陈述等.

Answer 4

在最好的情况下,这种改变会使语言模糊不清.例如,在类似C99的语言中:

if not foo(int x) {
    ...
}

相当于:

1. 函数定义foo返回类型的值ifnot:

   ifnot foo(int x) {
       ...
   }
   

2. 使用名为notfoo的变量调用函数的调用intx:

   if notfoo(intx) {
       ...
   }
   

3. 对函数的否定调用foo(使用C99 not表示!):

   if not foo(intx) {
       ...
   }
   

这只是您可能遇到的含糊不清的一小部分样本.

更新:我刚刚注意到,很明显,在类似C99的语言中,if语句的条件将括在括号中.如果您选择忽略空格,额外的标点符号可以帮助解决歧义,但是无论您通常使用空格,您的语言最终都会有很多额外的标点符号.

Answer 5

在解释器或编译器可以构建解析树之前,它必须执行词法分析,将字符流转换为令牌流.考虑如何解析以下内容:

a = 1.2423 /(4343.23*2332.2);

以及你的规则如何对其起作用.很难知道如何在不理解令牌含义的情况下对它进行词法化.构建一个同时执行lexification的解析器真的很难.