一行代码设置TLabel.Caption的前世今生

第零步，测试代码：

procedure TForm1.Button1Click(Sender: TObject);
begin
  Label1.Caption := 'Hello World';
end;

---------------------------------------------------------------
第一步，先看TLabel的继承过程，及其关键属性：

  TControl = class(TComponent)
  protected
    property Caption: TCaption read GetText write SetText stored IsCaptionStored;
    property Text: TCaption read GetText write SetText; // 和Caption是一回事，别名而已
    property WindowText: PChar read FText write FText; // Windows窗口的真正标题
  end;

  TGraphicControl = class(TControl)
  private
    FCanvas: TCanvas; // 私有内部画板，不用程序员申请就有了
  end;

  TCustomLabel = class(TGraphicControl)
  public
    property Caption; // 变成公开属性，但不是发布属性
  end;

  TLabel = class(TCustomLabel)
  published
    property Caption; // 变成发布属性
  end;

显然，最后调用的还是TControl.SetText;函数起了左右，也是真正的入口函数。

---------------------------------------------------------------
第二步，查看函数调用过程，发现分为两个消息步骤，先发消息设置文字，后发消息通知文字改变了：

procedure TControl.SetText(const Value: TCaption);
begin
  if GetText <> Value then SetTextBuf(PChar(Value)); // 类函数
end;

procedure TControl.SetTextBuf(Buffer: PChar);
begin
  Perform(WM_SETTEXT, 0, Longint(Buffer)); // 先发消息设置文字
  Perform(CM_TEXTCHANGED, 0, 0);           // 文字设置完了，还要通知一下，TEdit，TLabel和TGroupBox都有相应的消息处理函数
end;

// WM_SETTEXT消息一路传递，先在TLabel自己和各个祖先类里的WndProc检索，后开始查找自己和各祖先类WM_SETTEXT的消息函数，发现都没有处理，最后到这里才会被处理：
procedure TControl.DefaultHandler(var Message);
var
  P: PChar;
begin
  with TMessage(Message) do
    case Msg of
      WM_GETTEXT: // 取得文字
        begin
          if FText <> nil then P := FText else P := '';
          Result := StrLen(StrLCopy(PChar(LParam), P, WParam - 1));
        end;
      WM_GETTEXTLENGTH: // 取得文字长度
        if FText = nil then Result := 0 else Result := StrLen(FText);
      WM_SETTEXT: // 设置文字
        begin
          P := StrNew(PChar(LParam));
          StrDispose(FText);
          FText := P; // 这里设置Caption
          SendDockNotification(Msg, WParam, LParam);
        end;
    end;
end;

---------------------------------------------------------------
第三步，上面的函数合起来只是重新设置了TLabel的Caption属性文字，这还远远不代表什么。因为还需要显示它，这才是重头戏。因此TControl(也就是TLabel)马上发送了CM_TEXTCHANGED消息，并当场在TLabel类中就找到相应的消息函数：

procedure TCustomLabel.CMTextChanged(var Message: TMessage);
begin
  Invalidate;   // 调用TControl.Invalidate;使其图像失效
  AdjustBounds; // 类函数，看看有没有必要调整大小和边框
end;

// 这个函数基本上是图形控件使用的，因为TWinControl覆盖了这个函数，永远不会执行到这里来
// 这个函数存在的意义是，让其它类函数简单调用，这里负责加上类的属性成员作为参数。起了一个桥梁和中介的作用。
procedure TControl.Invalidate;
begin
  // 图形控件默认不透明风格。但是新增标签的时候，默认就是不透明。
  InvalidateControl(Visible, csOpaque in ControlStyle); // important 刷新无效区域的时候，还要传递控件的不透明状态
end;

// 非虚函数，私有函数，主要是决定是否使控件图像失效
procedure TControl.InvalidateControl(IsVisible, IsOpaque: Boolean);
var
  bParentOpaque: Boolean;
  bChlipped: Boolean; 
  Rect: TRect;
  // 检测自己是否被完全掩盖(剪裁)
  function BackgroundClipped: Boolean;
  var
    R: TRect;
    List: TList;
    I: Integer;
    C: TControl;
  begin
    Result := True; // 默认不需要重画，直到发现自己有一部分需要重画
    List := FParent.FControls; // 专指父控件的图形子控件列表
    I := List.IndexOf(Self); // 从父控件的子控件列表里寻找自己。
    while I > 0 do
    begin
      Dec(I);  // 根据子控件的兄长来计算自己是否需要重画。
      C := List[I];
      with C do
        if C.Visible and (csOpaque in ControlStyle) then // 如果可视并且不透明
        begin
          // 这些计算对Rect本身不影响
          IntersectRect(R, Rect, BoundsRect); // API，计算交叉区域，第二个参数是自己的矩形，第三个是兄弟的矩形
          if EqualRect(R, Rect) then Exit;    // API，交叉区域与自己的矩形完全相等，即完全被覆盖就退出，也就是不用重画了
        end;
    end;
    Result := False; // 兄长都与其不相等，即有一部分需要重画，即背景没有被剪裁（或者没有被完全掩盖）
  end;
begin
  //  要求显示         正处于组件设计状态              不是 设计期间不可视
  if (IsVisible or (csDesigning in ComponentState) and not (csNoDesignVisible in ControlStyle))
  // 父控件不为空              父控件有句柄
     and (Parent <> nil) and Parent.HandleAllocated then
  begin
    Rect := BoundsRect; // 类函数，简单计算（根据控件的长宽高）标签的坐标以及尺寸
    //  为了分析更清楚，我改成成以下语句：
    bParentOpaque := csOpaque in Parent.ControlStyle; // Form默认透明（csOpaque不在风格里）。但是父控件不一定是Form，不要思维僵化在这里。
    bChlipped:=BackgroundClipped; // 一般情况下，图形控件之间完全重合也是不可能的
    // 实验说明后两个一般情况下都是False，所以一般情况下只依赖于控件自己
    // 第三个参数为False，则保持背景不变。Not作用符以后，有三者条件之一成立即可，就会保持背景不变。
    InvalidateRect(Parent.Handle, @Rect, not (IsOpaque or bParentOpaque or bChlipped)); // API
  end;
end;

procedure TCustomLabel.AdjustBounds;
const
  WordWraps: array[Boolean] of Word = (0, DT_WORDBREAK);
var
  DC: HDC;
  X: Integer;
  Rect: TRect;
  AAlignment: TAlignment;
begin
  if not (csReading in ComponentState) and FAutoSize then
  begin
    Rect := ClientRect; // TControl的类属性，调用虚函数取得客户区（默认就是0,0,Width,Height）
    DC := GetDC(0); // API，参数0表示整个屏幕的DC
    Canvas.Handle := DC; // 给Label的canvas一个句柄，这样才能自绘
    // 根据三个参数（展开Tab的8个字符，是否换行）来计算所需区域
    DoDrawText(Rect, (DT_EXPANDTABS or DT_CALCRECT) or WordWraps[FWordWrap]); // 类保护函数，第一个参数是指针传递
    Canvas.Handle := 0; // 画完就不需要句柄了
    ReleaseDC(0, DC); // API
    X := Left;
    // 记录现在的左右对齐情况
    AAlignment := FAlignment;
    // 如有必要就颠倒左右对齐
    if UseRightToLeftAlignment then // TControl类函数，查看民族文字是左对齐还是右对齐
      ChangeBiDiModeAlignment(AAlignment); // Control单元的全局函数，颠倒原来的左右对齐
    // 如果是右对齐，那么重新计算文字的起点
    if AAlignment = taRightJustify then
      Inc(X, Width - Rect.Right);
    SetBounds(X, Top, Rect.Right, Rect.Bottom); // TControl的类函数
  end;
end;

procedure TCustomLabel.DoDrawText(var Rect: TRect; Flags: Longint);
var
  Text: string;
begin
  Text := GetLabelText;
  if (Flags and DT_CALCRECT <> 0) and ((Text = '') or FShowAccelChar and (Text[1] = '&') and (Text[2] = #0)) then
    Text := Text + ' ';
  if not FShowAccelChar then Flags := Flags or DT_NOPREFIX;
  Flags := DrawTextBiDiModeFlags(Flags);
  // 说到底，还是依靠Canvas来画图写文字
  Canvas.Font := Font;
  if not Enabled then
  begin
    OffsetRect(Rect, 1, 1); // API
    Canvas.Font.Color := clBtnHighlight; // 白亮色
    DrawText(Canvas.Handle, PChar(Text), Length(Text), Rect, Flags); // API
    OffsetRect(Rect, -1, -1); // API
    Canvas.Font.Color := clBtnShadow;    // 加阴影
    DrawText(Canvas.Handle, PChar(Text), Length(Text), Rect, Flags); // API
  end
  // 一般走这里
  else
    DrawText(Canvas.Handle, PChar(Text), Length(Text), Rect, Flags);
end;

// SetBounds 做了六件事：重新计算长宽，使控件失效，重新铆接，发消息WM_WINDOWPOSCHANGED通知Windows位置变了，最后对齐，还要调用程序员OnResize事件
procedure TControl.SetBounds(ALeft, ATop, AWidth, AHeight: Integer);
begin
  if CheckNewSize(AWidth, AHeight) and // TControl的类函数
    ((ALeft <> FLeft) or (ATop <> FTop) or (AWidth <> FWidth) or (AHeight <> FHeight)) then
  begin
    InvalidateControl(Visible, False); // TControl的类函数，第二个参数表示暂时设置当前控件是透明的
    FLeft := ALeft;
    FTop := ATop;
    FWidth := AWidth;
    FHeight := AHeight;
    UpdateAnchorRules; // TControl的类函数，坐标和长宽设置完了，就要重新铆接一下
    // 属性设置完了，如果有API可以使之起作用就当场调用（关于显示部分，不需要句柄就有API使用，这是特殊情况）
    Invalidate; // TControl的类函数，调用TControl.InvalidateControl，再调用API声明无效区域
    // 此消息在TControl和TWinControl里都有相应的函数，图形控件使用消息再做一些自己力所能及的变化，Win控件使用消息调用类函数使之调用API真正起作用
    // 前者重新计算最大化最小化的限制和坞里的尺寸，后者使用API调整边框和控件自己的位置，当然也得重新计算最大化最小化的限制和坞里的尺寸（三明治手法） 
    Perform(WM_WINDOWPOSCHANGED, 0, 0);
    // Windows位置调整完了，还要重新对齐（本质是调用TWinControl.RequestAlign，然后调用API重新排列）
    // 但实际上是靠父Win控件重新排列自己，因为它自己没有能力拥有别的控件，当然也就不能实质上让所有控件对齐。
    RequestAlign; // TControl的虚函数，各WinControl的子类可自己改写，比如TCustomForm就改写了
    if not (csLoading in ComponentState) then Resize; // TControl的虚函数，简单调用程序员事件。子类一般不需要改写它。
  end;
end;

procedure TControl.WMWindowPosChanged(var Message: TWMWindowPosChanged);
begin
  // 先执行潜在的程序员消息函数
  // 这里其实不会是TControl自己调用inherited，因为没有TControl的直接实例，而是由它的子类比如TLabel来调用
  // 因此会调用TLabel的WM_WINDOWPOSCHANGED消息函数，如果它有的话
  inherited;
  // 后根据新的长宽，给控件最大长度和最大宽度重新赋值
  { Update min/max width/height to actual extents control will allow }
  if ComponentState * [csReading, csLoading] = [] then
  begin
    with Constraints do // 类属性
    begin
      if (MaxWidth > 0) and (Width > MaxWidth) then
        FMaxWidth := Width
      else if (MinWidth > 0) and (Width < MinWidth) then
        FMinWidth := Width;
      if (MaxHeight > 0) and (Height > MaxHeight) then
        FMaxHeight := Height
      else if (MinHeight > 0) and (Height < MinHeight) then
        FMinHeight := Height;
    end;
    // 根据消息传来的结构体的值，计算坞尺寸
    if Message.WindowPos <> nil then
      with Message.WindowPos^ do
        if (FHostDockSite <> nil) and not (csDocking in ControlState)  and
          (Flags and SWP_NOSIZE = 0) and (cx <> 0) and (cy <> 0) then
          CalcDockSizes; // 类函数
  end;
end;

---------------------------------------------------------------

第四步：虽然使用API把文字绘制好了，但是还得等待WM_Paint消息，然后进行绘制。其实图形控件无法直接收到WM_Paint消息，但是其父控件，比如TForm能收到WM_Paint消息，它会检测自己是否有无效区域，然后重绘所有子控件。
因为TForm是直接继承自TWinControl，所以总体顺序如下：
TCustomForm.WMPaint(var Message: TWMPaint);
TWinControl.WMPaint(var Message: TWMPaint);
TWinControl.PaintHandler(var Message: TWMPaint);
TWinControl.PaintWindow(DC: HDC);
TWinControl.PaintControls(DC: HDC; First: TControl);
其中：

procedure TWinControl.PaintControls(DC: HDC; First: TControl);
var
  I, Count, SaveIndex: Integer;                                    
  FrameBrush: HBRUSH;
begin
  if FControls <> nil then // 专指图形控件，不包含windows控件
  begin
    I := 0;
    if First <> nil then
    begin
      I := FControls.IndexOf(First);
      if I < 0 then I := 0;
    end;
    Count := FControls.Count;
    while I < Count do
    begin
      with TControl(FControls[I]) do
        if (Visible or (csDesigning in ComponentState) and not (csNoDesignVisible in ControlStyle)) and
          RectVisible(DC, Rect(Left, Top, Left + Width, Top + Height)) then // API，看rect是否在DC中可见
        begin
          if csPaintCopy in Self.ControlState then Include(FControlState, csPaintCopy);
          SaveIndex := SaveDC(DC);      // API，重画前，保存父控件的DC
          MoveWindowOrg(DC, Left, Top); // 调用2个API
          IntersectClipRect(DC, 0, 0, Width, Height); // API，新建一个完全的区域
          // 原本图形控件不能直接接受Windows消息的，现在通过VCL体系的变换也接受了。注意传递了父控件的DC
          Perform(WM_PAINT, DC, 0);     // 图形控件已经把WM_PAINT消息内容已经填好，就等程序员填写Paint函数加上真正要执行的内容。
          RestoreDC(DC, SaveIndex);     // API，恢复父控件的DC
          Exclude(FControlState, csPaintCopy); // 画完之后，去除标记
        end;
      Inc(I); // 下一个图形控件
    end;
  end;
end;

procedure TGraphicControl.WMPaint(var Message: TWMPaint);
begin
  if Message.DC <> 0 then
  begin
    Canvas.Lock;
    try
      Canvas.Handle := Message.DC; // DC也是一个Handle。两者的类型都是HDC。important 借用了父类的DC
      try
        Paint; // 虚函数，直接调用自己的覆盖函数，不用管子控件，这一点与TCustomControl完全不一样。同时它也没有PaintWindow函数
      finally
        Canvas.Handle := 0; // super，画完了要清零，也许下次WM_Paint消息传来的DC不一致了
      end;
    finally
      Canvas.Unlock;
    end;
  end;
end;

procedure TCustomLabel.Paint;
const
  Alignments: array[TAlignment] of Word = (DT_LEFT, DT_RIGHT, DT_CENTER);
  WordWraps: array[Boolean] of Word = (0, DT_WORDBREAK);
var
  Rect, CalcRect: TRect;
  DrawStyle: Longint;
begin
  with Canvas do
  begin
    if not Transparent then // 类属性
    begin
      Brush.Color := Self.Color;
      Brush.Style := bsSolid;
      FillRect(ClientRect); // TCanvas的类函数，TControl的类属性
    end;
    Brush.Style := bsClear;
    Rect := ClientRect; // TControl的类函数，正常情况下就是0,0,Width,Height
    { DoDrawText takes care of BiDi alignments }
    DrawStyle := DT_EXPANDTABS or WordWraps[FWordWrap] or Alignments[FAlignment];
    { Calculate vertical layout }
    // 如果是不是顶上的对齐方式，就要重新计算绘制区域
    if FLayout <> tlTop then
    begin
      CalcRect := Rect;
      DoDrawText(CalcRect, DrawStyle or DT_CALCRECT); // 增加一个风格，计算需要绘制的区域
      if FLayout = tlBottom then // 垂直居下
        OffsetRect(Rect, 0, Height - CalcRect.Bottom) // API
      else // 垂直居中
        OffsetRect(Rect, 0, (Height - CalcRect.Bottom) div 2);
    end;
    // 根据重新计算过的区域绘制
    DoDrawText(Rect, DrawStyle); // super 问题：为什么画两遍？回答：1. 区域有可能被改变 2.此时的绘制风格不包含DT_CALCRECT
  end;
end;

procedure TCustomLabel.DoDrawText(var Rect: TRect; Flags: Longint);
var
  Text: string;
begin
  Text := GetLabelText; // 类函数，简单返回Caption字符串
  // 计算真正的文字长度（增加一格）
  if (Flags and DT_CALCRECT <> 0) and ((Text = '') or FShowAccelChar and (Text[1] = '&') and (Text[2] = #0)) then
    Text := Text + ' ';
  // 没有前缀，则设置Windows标志位
  if not FShowAccelChar then Flags := Flags or DT_NOPREFIX;
  Flags := DrawTextBiDiModeFlags(Flags); // TControl的类函数，如有必要颠倒文字的方向标识符
  // 说到底，还是依靠Canvas的字体来绘制文字
  Canvas.Font := Font; // 将TLabel的Font属性赋值给TLabel内包含的Canvas的字体
  if not Enabled then
  begin
    OffsetRect(Rect, 1, 1); // API
    Canvas.Font.Color := clBtnHighlight; // 白亮色
    DrawText(Canvas.Handle, PChar(Text), Length(Text), Rect, Flags); // API
    OffsetRect(Rect, -1, -1); // API
    Canvas.Font.Color := clBtnShadow;    // 加阴影
    DrawText(Canvas.Handle, PChar(Text), Length(Text), Rect, Flags); // API
  end
  // 一般走这里
  else
    DrawText(Canvas.Handle, PChar(Text), Length(Text), Rect, Flags); // API，真正绘制文字！
end;

---------------------------------------------------------------
总结1：
改变TLabel的属性特别简单，纯语言层面赋值即可。但是还要想办法把这个新值绘制到Window窗口上，不管这个窗口是真的Windows控件还是假的Windows控件。这个过程需要发两次消息，第一个消息WM_SETTEXT设置Windows窗口标题（此时TControl冒充了一个Windows句柄窗口，总之Delphi有办法达到这一点），第二个消息CM_TEXTCHANGED根据TLabel事先设置的属性（或者默认的属性）来重新计算文字宽度，上下对齐等等（这中间有些不重要的计算函数没有列出）。最后系统空闲时发现Windows窗口(Form1)有无效区域，于是发WM_PAINT给Form1（因为Label1不是一个实际具有句柄的Windows窗口，它的无效区域算在是Form1窗口上的，所以也代收了WM_Paint消息），才能把Form1.Label1.Caption重绘出效果。

总结2：
另外，绘制TLabel最关键的是TLabel.Paint;函数，可以发现API，即DrawText(Canvas.Handle, PChar(Text), Length(Text), Rect, Flags);使用的句柄是Canvas.Handle。而这个Canvas.Handle是TGraphicControl.WMPaint函数里，由消息传来的父函数的DC句柄，即 Canvas.Handle := Message.DC; 所有图形控件都不用操心这个问题，都由TGraphicControl一手包办了，真不是一般的方便啊。顺便想知道，1995年的时候，那些Borland的神人是怎么设计出这些框架的，是怎么会如此深刻理解OO的（包括它的不足），是怎么深刻理解Windows运行机制并合理安排和使用上千个API，并能做到游刃有余的？真的不可思议。

---------------------------------------------------------------------------------

不过我不明白的是，
TCustomLabel.CMTextChanged函数里调用了Invalidate;和TControl.SetBounds调用了Invalidate;，这不是重复了吗？
TControl.SetBounds里的InvalidateControl(Visible, False);和Invalidate;貌似也重复。
TCustomLabel.AdjustBounds;里调用了DoDrawText和TCustomLabel.Paint;调用了DoDrawText，不是又重复了吗？

还有一个疑问：
procedure TCustomLabel.CMTextChanged(var Message: TMessage);
begin
Invalidate; // 调用TControl.Invalidate;使其图像失效
AdjustBounds; // 类函数，看看有没有必要调整大小和边框
end;
一旦Invalidate;使得部分区域失效以后，会不会WM_Paint抢在AdjustBounds;函数之前工作啊？