调用虚拟函数 持续化视图状态 POD 类型概念

【 tulaoshi.com - C语言心得技巧 】

C++ Q&A 专栏...
调用虚拟函数，持续化视图状态，POD 类型概念

原著：Paul DiLascia
翻译：Northtibet

原代码下载：CQA0411.exe (234KB)
原文出处：MSDN Magazine November 2004 (C++ Q&A) 调用虚拟函数 持续化视图状态 POD 类型概念

在 C++ 中，无法从某个类的构造函数中调用派生的虚拟函数，因为虚表还没有完全建立。但是在C#中好像就可以，是这样吗？为什么会有这种差别呢？
Clifton F. Vaughn 确实如此，在这个方面 C# 与 C++ 是有差别的。在 C++ 中，如果你从构造函数或者析构函数中调用虚拟函数，编译器调用的虚拟函数是定义在这个正在被构造的类实例中的（例如，如果从 Base::Base 中调用 Base::SomeVirtFn ），不是最底层派生的实例（the most derived instance），正像你说的那样，因为在最底层派生的构造函数执行之前，虚表还没有完全被初始化。另一种说法是派生类还没有被创建。


Figure 2 虚拟函数 TestSimilarly

　　当你从析构函数中调用虚函数时，C++ 调用该基类的析构函数，因为派生类已经被销毁（其析构已经被调用）。虽然这个行为可导致异常结果（此即为什么从构造函数或析构函数中调用虚函数被认为是糟糕的编程实践的原因），它是大多数 C++ 程序员必须了然于心的基本常识。
　　正如你所指出的那样，在 C# 有所不同。托管对象——无论是在 C#，托管 C++ 中，还是任何其它的 .NET 兼容语言中——是作为其最终类型被创建的，也就是说，如果你从构造函数或析构函数中调用虚函数，系统调用的是最末层派生的函数。Figure 1 所示程序举例说明了这一点。如果你编译并运行这个程序，你会看到 Figure 2 所示输出。
　　这种行为对于 C++ 程序员来说似乎有些奇特。它意味着在派生类被初始化之前，你可以调用某个派生类型的虚拟函数——也就是说在其构造函数运行之前。同样，如果你从基类析构函数中调用虚函数，该函数是在派生类被销毁之后运行的——也就是说在析构函数被调用之后。那么先不说这种差别存在的原因，刚才不是还说从构造函数/析构函数中调用虚函数被认为是糟糕的实践。
　　为什么微软的家伙们要像这样来设计 C# 呢？因为它简化了内存管理。垃圾收集器为了释放内存，它需要知道对象有多大。如果 C# 像 C++ 那样构造对象，那么你可能会碰到这样一种情况：有两个对象，Obj1 和 Obj2，下面这两条语句都为真：

typeof(Obj1)==typeof(Obj2) sizeof(Obj1)!= sizeof(Obj2) 

　　因为对象之一是被部分构造。（不要忘了垃圾收集器是异步运行的。）通过将对象构造成最终类型，垃圾收集器能从其类型决定对象的大小。如果 C# 像 C++ 那样进行部分构造，则垃圾收集器将需要更多的代码来决定部分构造对象的真实大小。这样将带来复杂性和性能下降，首先要解决这个问题很让人气馁，所以为了较快的垃圾收集利益，微软的家伙们决定像上面那样来实现 C#。有关这方面的讨论参见 Raymond Chen 的 blog：“The Old New Thing”。


在 2004 三月的专栏中，你展示了如何改变文件打开对话框的最新视图状态设置，但没有涉及到保存这个用户使用的最新视图设置。我遇到的问题是读取用户已有的打开文件对话框设置。我只找到直接读取列表框信息的方法，但当用户选择缩略图模式时，那样做不能得到正确的信息。对此你有没有解决办法？

有几个读者都在问文件打开对话框中的缩略图问题。在我三月份的专栏中，我示范了如果向文件打开对话框中的 SHELLDLL_DefView 专用窗口发送 WM_COM