{*********************************************}
{    Delphi const 杂谈                                                           }
{    -------------------                                                              }
{                                                                                         }
{ CopyRight (c) 2010 Tibetwolf2046                                   }
{       自由转载，需注明出处                                                     }
{*********************************************}

Ok, 我想谈谈Object Pascal中关于const的一些事，起因是我发现一方面Object Pascal中关于const的说明很少，另一方面在现实中存在对其的许多误用。当然，我这是杂谈，不可能面面俱到。

1、const是什么？
      const是一个修饰词，来源于英文constant，意思是“常量、恒量、不变的” 的意思。注意！const是一个修饰词，代表一种约束（可能是语义上的，也可能是语法上的），不是“常量”！简单说，“const”不等价“常量”。“常量”是一个名词，const不是！

2、我们需要const么？
      需要么？需要吧，不需要吧。呵呵~，让我想起了《大话西游》。Well，理论上，没有const我们一样可以很好的工作。我见过很多人写的程序看不到一点const字眼，但可以很好的工作。那么，为什么我们还要引入const呢？在解释这一点之前，先看看使用const修饰能给我们带来什么好处吧。
a，语义上的明确
看下面两个表达式，
I  count: integer;
II const count: integer;
看到II，我们第一反应是这是一个常量，不要尝试去修改它；而对于I，我们不会有这种反应。这个区别实际上就反应了二者语义上区别。程序毕竟是“人”写的，其所面对的最终客户都是“人”，语义上的明确也许对机器无所谓，但对人却很重要。想想关于“枚举”类型，实际上，很多语言中并没有这种类型，Object Pascal却引入了，根本的原因即在语义明确。
b，语法明确
我认为这一点实际上是前一点所带来的副产品，但这一点相较于前一点有时候更重要。语法明确可以使得错误在程序编写阶段就被提前暴漏，如果我们确定一个变量是恒定不变的，使用const修饰可以使得编译器在语法分析阶段就可以分析出错误，而不是在程序运行阶段。

当然，const还有其它一些好处，但这两点无疑是引入const的根本原因。语言的优劣既要易于表达（语义上）还要尽量减少错误（语法上），毫无疑问，const满足这一要求。
结论：引入const必要。

3、const的用途
    从语义和语法上说，const的用途可以简单概括为：语义提示和语法约束。通常这两者是同时存在的，你可能会看到如下的表达：
    procedure Foo(const val: integer);
    或
    const val: integer = 3;
    这是一个典型的语义提示，它提示你不要去修改val，delphi编译器默认情况下禁止修改val，但可使用{$J+}和{$J-}编译指示指令使得val可以修改。这里使用const修饰的重点在于语义提示。
    下面的用法也是我们经常的使用方式：
    const Pi = 3.1415926;
    这种使用方式强调了语法的约束，在这种情形下，它相当于C中的宏，我们无法修改它，无论使用什么编译指令（当然，它不完全等价于宏）。

4、变量的内存布局
      我们在讨论const，怎么说到“变量”？好吧，常量是变量的一种，是变量的特殊形式。Ok，要理解无论什么“量”其根本上都是一个内存块。之所以要在这里明确变量的内存布局是为了更准确理解const修饰（好像我说了一吨废话，汗...）。

      一个变量对应一个内存块，这个内存块可能存在于代码区、数据区、也可能存在于堆区和栈区。通常，我们不关心这个，但是变量存在不同的区域对变量的使用是有影响的，它会影响变量的生命周期。通常，存在于代码区和数据区的生命期最长，一般说堆区的变量长于栈区。通常，在Object Pascal中我们像下面这样使用变量：
var
   i: integer;
   list: TList;
至于变量到底存在于那个区域，取决于var块所处的位置：是处于函数、单元还是类中？这里我不打算详细讨论变量的内存不布局，只是我们确信：变量的内存布局直接决定了变量的生命周期。而
使用const修饰会改变变量的内存布局。譬如：
I. procedure Foo;
var
   i2: integer;
begin
   //todo...
end;
II. procedure Foo;
const
   i3: integer = 0;
begin
   //todo...
end;
变量i2存在于栈区，随着函数调用生（压栈）和死（出栈）；而i3则存在于数据区，不会被压入栈中，当然也不会随着出栈而死。well，我们知道，全局变量存在于数据区，某种程度上，i3很类似全局变量，但与全局变量不同的是，i3只有II函数可见，它只在II函数的名字空间可见，而全局变量全局可见。
另：什么样的变量存在于代码区？
常量，真正的常量。其实也不一定，这依赖于编译器的实现，在C中这样的常量常常被宏替代。完全可以将常量也放在数据区甚至于堆区。好吧，不管它放在那里，有一点是一样的，它们的生命期很长，程序不死，它们不死。存在于代码区的变量有一个特点，你通常无法取得它的地址。看例子：
const
   Pi = 3.1415926;
   T: double = 3.1415926;
var
   p: Pointer;
begin
   //p := @Pi; //语法错误，Pi是一个真正的常量，存在于代码区（依赖于编译器实现）
   p := @T; //数据区，只是一个被const修饰的变量
   //todo...
end;

5、一个被const修饰的变量为什么需要被改变
    既然一个变量需要被改变，我们为什么还要用const修饰呢？这确实是一个语义上的矛盾。事实上，Object Pascal的const修饰在语义上不仅仅是“不可修改”，还有“静态变量”的意思。“静态”是什么意思？“不变的”、“不动的”？“变量”难道还可以“动”？某种程度上，“静态”更难以理解。Ok，不去深究了，总之，“静态变量”希望表达这样一种意思：一个变量，只在一定空间可见（不像全局变量那样全局可见）会一直存在下去而不随着函数的调用生或者死。也许Pascal语法的定义者认为这种意思更接近于const的含义而不是所谓的“静态”的含义，因此，Object Pascal中const修饰还有定义“静态变量”的意思。而在有些时候，我们需要“静态变量”，因此，你会发现一个可被修改的变量会被const修饰。用术语来表述就是：我们有时候会需要这样一个变量，既有像全局变量一样的生命期，又有像局部变量一样的可见性（名字空间）。
    简单说，一个const修饰的变量被改变意味着我们需要的是一个“变量”而不是一个“恒定的、不可修改的”的“常量”。
    仔细观察下列定义：
    I const AConst = 2;
    II const AModifiedConst: integer = 3;
    可以发现，I中const修饰的是“2”， II中const修饰的是Integer；除了语义上的约束强调外，I强调了值2不可改变，II强调了类型Integer不可更改。const修饰符是“左结合”操作符。准确的说，这就是Pascal编译器对const的理解。所以，当使用{$J+}和{$J-}编译指令时，I不会发生改变，II会。   

    补充：

    任何变量都是一个内存块，从某种程度上说，const修饰实际上是修饰这个内存块，这种修饰强调两点：1，内存块位置和大小不可以改变；2，内存块内容不可以改变。当仅仅强调1时就是“静态变量”的情况，当二者同时强调时，就是上面I所对应的情况。所以，就我个人而言，我更倾向于Pascal所使用const语义而不是C中使用“静态变量”语义，后者似乎缺少某种一致性，增加了概念。

6、const修饰的变量的生命期和可见性
    在4中其实已经有讨论，这里进一步。
    在3中，我们说，const修饰无论从语法还是语义上，它体现的是一种约束，这种约束不仅改变了变量的内存布局，更重要的是改变了变量的生命周期。当const修饰的变量发生改变时，这一点变得尤其重要。在5中，我解释了为什么一个被const修饰的变量需要被修改，既然一个变量可能会被修改，那么一定需要关注其生命期和可见性。
    和一般的变量一样，被const修饰的变量遵循同样的可见性，没有例外。但生命期则不同，在4中我们已经看到这一点。看下例：
procedure TForm1.Button1Click(Sender: TObject);
{$J+}
const
    val1 = 26;
    val2: integer = 10;
{$J-}
var
   i: integer;
begin
   inc(val2);
   //inc(val1);//语法错误

    Label1.Caption := 'val1: ' + IntToStr(val1);
    Label2.Caption := 'val2: ' + IntToStr(val2);
end;
     每次点击按钮，val2会在前一次结果上再加1，因为，val2不再是一个局部变量，而变成一个“静态变量”，不再试一个存在于栈中的临时变量，而是在数据区的一个变量。其生命期被得以延长。这一点在有些情况下很有用。我们知道，全局变量的使用是一个陷阱，因为其全局可见，很可能会被误修改，要调试这样的错误，往往需要遍历全部代码。许多情况下，我们使用全局变量，只是想用其全局生命期，而讨厌其全局可见性，而const修饰的变量恰恰提供了这一点。

7、利用const修饰构建只能生成唯一对象的类
      类是一个模板，利用这个模块可以生成任意数量的实例对象，但有时候，我们只希望生成唯一的实例，比如一个程序中，我们只希望有唯一的数据库连接，再比如Application，它也只能是唯一的。利用const修饰可以做到，当然它不是唯一的方法，也可以使用全局变量（据说delphi2006可以定义类变量，使用它也可以实现），但全局变量我们需要很谨慎的维护，这在许多情况下很难。
下面是一个例子：
-------------------------------------
TSingle = class(TObject)
private
protected
   constructor CreateInstance;
   class funtion GetInstance(Request: integer): TSingle;
public
   constructor Create;
   destructor Destroy; override;
   class procedure ReleaseInstance;
   class function SingleInstance: TSingle;  
end;

implementation

constructor TSingle.Create;
begin
   inherited Create;
   raise Exception.CreateFmt('只能通过SingleInstance方法来创建和访问%s的实例!', [ClassName]);
end;

constructor TSingle.CreateInstance;
begin
   inherited Create;
end;

destructor TSingle.Destroy;
begin
   if GetInstance(0) = self then GetInstance(2);
   inherited Destroy;
end;

class function TSingle.GetInstance(Request: integer): TSingle;
{$J+}
const FInstance: TSingle = nil;
{$J-}
begin
   {
   Request = 0 : 不做任何处理，供释放时使用
   Request = 1 : 存在该类实例时使用该实例，不存在时创建之
   Request = 2 ：返回一个空指针，用于重置实例
   }
   case Request of
     0: ;
     1: if not Assigned(FInstance) then FInstance := CreateInstance;
     2: FInstance := nil;
   else
     raise Exception.CreateFmt('%d是GetInstance()的非法参数调用', [Request]);
   end;
   result := FInstance;
end;

class procedure TSingle.ReleaseInstance;
begin
   GetInstance(0).Free;
end;

Class function TSingle.SingleInstance: TSingle;
begin
   result := GetInstance(1);
end;
---------------------------------------------------
对类TSingle你可以像一般类那样使用，如下：
var
   ASingle: TSingle;
   B: TSingle;
   C: TSingle;
begin
   ASingle := TSingle.SingleInstance;
   B := TSingle.SingleInstance;
   C := TSingle.SingleInstance;
   //todo...
   ASingle.Free;
   B.Free;
   C.Free;
   TSingle.ReleaseInstance;//note: 这才是真正释放对象的地方
end;
无论定义多少对象指针，其实都将指向同一个对象。看起来，上面的代码很麻烦，为什么还要这样做，根源就在我们规避了全局变量的全局可见，而且使用类，使得这个拥有超长生命期的变量FInstance变得“自维护”，也就是说，我们只需要在这里类里维护FInstance就可以保证在任何地方使用FInstance的时候都保持一致。

8、题外话
      对一些我们很少使用的类型（比如集合、枚举）、很少使用的关键字，往往有其存在的特定价值，在特定情况下，使用它们会带来意想不到的便利和清晰。不要忽略它们，对编译器设计者来说，如非必要，他们绝不会引入它们，它们的引入一定有它们的道理，当然，也绝不要滥用它们。

补充：

     1，const修饰可能会优化编译代码。关于这一点与编译器密切相关，由于变量被const修饰后其内存大小和位置是确定的，这样，在如下的方式里可以被优化

procedure Foo(const val: integer);

   虽然从语法上这是一个值传递，按惯例需要复制参数传递到函数Foo中，但因为const的特性，这里只需要参数传递地址就可以了，这会比不使用const修饰快，尤其是在使用string作为参数的过程中，效率优势会明显。当然，这一点不是Object Pascal要求的，与编译器有关。