对MFC中CDocument::UpdateAllViews的理解

对MFC中CDocument::UpdateAllViews的理解：
void CDocument::UpdateAllViews(CView* pSender, LPARAM lHint, CObject* pHint)
 // walk through all views
{
 ASSERT(pSender == NULL || !m_viewList.IsEmpty());
 POSITION pos = GetFirstViewPosition();
 while (pos != NULL)
 {
  CView* pView = GetNextView(pos);
  ASSERT_VALID(pView);
  if (pView != pSender)
   pView->OnUpdate(pSender, lHint, pHint);
 }
}

对其中ASSERT(pSender == NULL || !m_viewList.IsEmpty());的理解：

根据我的跟踪，我发现MFC是这样设计的这个函数

函数调用原理：
如果pSender为NULL，说明该函数始终文档类的成员函数中被调用，
此时就要更新与该文档类相关联的所有View类。
如果pSender不为NULL，说明该函数是在某一个View类的成员函数中被调用的。
代码解释：
ASSERT宏的原型为：ASSERT(f)
当pSender为NULL时，||的左边为TRUE，所有整个||（即pSender == NULL || !m_viewList.IsEmpty()）
为TRUE，此时ASSERT不会执行!m_viewList.IsEmpty()。这个时候，MFC会让与该文档类相关联的所有
View类得到更新（MFC不会在ASSERT这一步去判断与该文档类相关联的View类的个数是否为0）。此时
直接去执行下面的语句。

当pSender不为NULL时，pSender == NULL为假，此时还不能判断“pSender == NULL || !m_viewList.IsEmpty()”
的真假，因此ASSERT还需要去执行!m_viewList.IsEmpty()。在MFC中IsEmpty()的设计为：
_AFXCOLL_INLINE BOOL CPtrList::IsEmpty() const
 { return m_nCount == 0; }
可以看到，m_viewList.IsEmpty()始终为FALSE，因此!m_viewList.IsEmpty()始终为TRUE。在这里MFC做了一个
绝对成立的假设，即：如果UpdateAllViews是在某一个View类的成员函数中被调用（此时pSender不为NULL时），
那么，此时至少有一个View类与此文档类相关联，因此，程序没有出现错误，代码可以继续运行，去更新与此
文档类相关联的除该View窗口之外的所有窗口。