Call qsort(VarPtr(Employees(1)), UBound(Employees), _
LenB(Employees(1)), AddressOf CompareSalaryName) '或者先按姓名排，再按薪水排
Call qsort(VarPtr(Employees(1)), UBound(Employees), _
LenB(Employees(1)), AddressOf CompareNameSalary)
聪明的朋友们，你们是不是已经看出这里的奥妙了呢？作为一个测验，你能现在就给出在qsort里使用函数指针的方法吗？比如现在我们要通过调用函数指针来比较数组的第i个元素和第j个元素的大小。
没错，当然要使用前面声明的Compare（其实就是CallWindowProc）这个API来进行强制回调。
具体的实现如下：
Sub qsort(ByVal ArrayPtr As Long, ByVal nCount As Long, _
ByVal nElemSize As Integer, ByVal pfnCompare As Long) Dim i As Long, j As Long
'这里省略快速排序算法的具体实现，仅给出比较两个元素的方法。 If Compare(pfnCompare, ArrayPtr + (i - 1) * nElemSize, _ ArrayPtr + (j - 1) * nElemSize, 0, 0) > 0 Then
'如果第i个元素比第j个元素大则用CopyMemory来交换这两个元素。 End IF End Sub
招式介绍完了，明白了吗？我再来简单地讲解一下上面Compare的意思，它非常巧妙地利用了CallWindowProc这个API。这个API需要五个参数，第一个参数就是一个普通的函数指针，这个API能够强马上回调这个函数指针，并将这个API的后四个Long型的参数传递给这个函数指针所指向的函数。这就是为什么我们的比较函数必须要有四个参数的原因，因为CallWindowProc这个API要求传递给的函数指针必须符合WndProc函数原形，WndProc的原形如下：
LRESULT (CALLBACK* WNDPROC) (HWND, UINT, WPARAM, LPARAM);
上面的LRESULT、HWND、UINT、WPARAM、LPARAM都可以对应于VB里的Long型，这真是太好了，因为Long型可以用来作指针嘛！
再来看看工作流程，当我们用AddressOf CompareSalaryName做为函数指针参数来调用qsort时，qsort的形参pfnCompare被赋值成了实参CompareSalaryName的函数指针。这时，调用Compare来强制回调pfnCompare，就相当于调用了如下的VB语句： Call CompareSalaryName(ArrayPtr + (i - 1) * nElemSize, _ ArrayPtr + (j - 1) * nElemSize, 0, 0)
这不会引起参数类型不符错误吗？CompareSalaryName的前两个参数不是TEmployee类型吗？的确，在VB里这样调用是不行的，因为VB的类型检查不会允许这样的调用。但是，实际上这个调用是API进行的回调，而VB不可能去检查API回调的函数的参数类型是一个普通的Long数值类型还是一个结构指针，所以也可以说我们绕过了VB对函数参数的类型检查，我们可以将这个Long型参数声明成任何类型的指针，我们声明成什么，VB就认为是什么。所以，我们要小心地使用这种技术，如上面最终会传递给CompareSalaryName函数的参数\只不过是一个地址，VB不会对这个地址进行检查，它总是将这个地址当做一个TEmployee类型的指针，如果不小心用成了\+ i *
25
nElemSize\，那么当i是最后一个元素时，我们就会引起内存越权访问错误，所以我们要和在C里处理指针一样注意边界问题。
函数指针的巧妙应用这里已经可见一斑了，但是这里介绍的方法还有很大的局限性，我们的函数必须要有四个参数，更干净的做法还是在VC或Delphi里写一个DLL，做出更加符合要求的API来实现和CallWindowProc相似的功能。我跟踪过CallWindowProc的内部实现，它要做许多和窗口消息相关的工作，这些工作在我们这个应用中是多余的。其实实现强制回调API只需要将后几个参数压栈，再call第一个参数就行了，不过几条汇编指令而已。 正是因为CallWindowProc的局限性，我们不能够用它来调用外部的函数指针，以实现上面说的第三种函数指针调用方式。要实现第三种方式，Matt Curland大师提供了一个噩梦一般的HACK方式，我们要在VB里凭空构造一个IUnknown接口，在IUnknown接口的vTable原有的三个入口后再加入一个新入口，在新入口里插入机器代码，这个机器代码要处理掉this指针，最后才能调用到我们给的函数指针，这个函数指针无论是内部的还是外部的都一样没问题。在我们深入讨论COM内部原理时我会再来谈这个方法。
另外，排序算法是个见仁见智的问题，我本来想，在本文提供一个最通用性能最好的算法，这种想法虽好，但是不可能有在任何情况下都“最好”的算法。本文提供的用各种指针技术来实现的快速排序方法，应该比用对象技术来实现同样功能快不少，内存占用也少得多。可是就是这个已经经过了我不少优化的快速排序算法，还是比不了ShellSort，因为ShellSort实现上简单。从算法的理论上来讲qsort应该比ShellSort平均性能好，但是在VB里这不一定（可见本文配套代码，里面也提供了VBPJ一篇专栏的配套代码ShellSort，非常得棒，本文的思想就取自这个ShellSort）。
但是应当指出无论是这里的快速排序还是ShellSort，都还可以大大改进，
因为它们在实现上需要大量使用CopyMemroy来拷贝数据（这是VB里使用指针的缺点之一）。其实，我们还有更好的方法，那就是Hack一下VB的数组结构，也就是COM自动化里的SafeArray，我们可以一次性的将SafeArray里的各个数组元素的指针放到一个long型数组里，我们无需CopyMemroy，我们仅需交换Long型数组里的元素就可以达到实时地交换SafeArray数组元素指针的目的，数据并没有移动，移动的仅仅是指针，可以想象这有快多。在下一篇文章《VB指针葵花宝典之数组指针》中我会来介绍这种方法。
26
VB真是想不到系列之四：VB指针葵花宝典之SafeArray
关键字：VB、HCAK、指针、SafeArray、数组指针、效率、数组、排序 难度：中级或高级
要求：熟悉VB，了解基本的排序算法，会用VC更好。
引言：
上回说到，虽然指针的运用让我们的数组排序在性能上有了大大的提高，但是CopyMemory始终是我们心里一个挥之不去的阴影，因为它还是太慢。在C里我们用指针，从来都是来去自如，随心所欲，四两拨千斤；而在VB里，我们用指针却要瞻前顾后，哪怕一个字节都要用到CopyMemory乾坤大挪移，真累。今天我们就来看看，能不能让VB里的指针也能指哪儿打哪儿，学学VB指针的凌波微步。 各位看官，您把茶端好了。
一、帮VB做点COM家务事 本系列开张第一篇里，我就曾说过VB的成功有一半的功劳要记到COM开发小组身上，COM可是M$公司打的一手好牌，从OLE到COM+，COM是近十年来M$最成功技术之一，所以有必要再吹它几句。
COM组件对象模型就是VB的基础，Varinat、String、Current、Date这些数据类型都是COM的，我们用的CStr、CInt、CSng等Cxxx函数根本就是COM开发小组写的，甚至我们在VB里用的数学函数，COM里都有对应的VarxxxDiv、VarxxxAdd，VarxxxAbs。嘿嘿，VB开发小组非常聪明。我们也可以说COM的成功也有VB开发小组和天下无数VB程序员的功劳，Bill大叔英明地将COM和VB捆绑在一起了。
所以说，学VB而不需要了解COM，你是幸福的，你享受着VB带给你的轻松写意，她把那些琐碎的家务事都干了，但同时你又是不幸的，因为你从来都不曾了解你爱的VB，若有一天VB对你发了脾气，你甚至不知该如何去安慰她。所以，本系列文章将拿出几大篇来教大家如何帮VB做点COM方面的家务事，以备不时之需。
想一口气学会所有COM家务事，不容易，今天我们先拿数组来开个头，更多的技术我以后再一一道来。
二、COM自动化里的SafeArray
就象洗衣机、电饭堡、吹尘器，VB洗衣服、做饭、打扫卫生都会用到COM自动化。它包含了一切COM里通用的东西，所有的女人都能用COM自动化来干家务，无论是犀利的VC、温柔的VB、还是小巧的VBScript，她们都能用COM自动化，还能通过COM自动化闲话家常、交流感情。这是因为COM自动化提供了一种通用的数据结构和数据转换传递的方式。而VB的数据结构基本上就是COM自动化的数据结构，比如VB里的数组，在COM里叫做SafeArray。所以在VB里处理数组时我们要清楚的知道我们是在处理SafeArray，COM里的一种安全的数组。
准备下厨，来做一道数组指针排序的菜，在看主料SafeArray的真实结构这前，先让我们来了解一下C里的数组。
在C和C++里一个数组指针和数组第一个元素的指针是一回事，如对下： #include
27
cout << \
cout << \ } ///:~
可以看到结果a和&a[0]是相同的，这里的数组是才数据结构里真实意义上的数组，它们在内存里一个接着一个存放，我们通过第一个元素就能访问随后的元素，我们可以称这样的数组为\真数组\。但是它不安全，因为我们无法从这种真数组的指针上得知数组的维数、元素个数等非常重要的信息，所以也无法控制对这种数组的访问。我们可以在C里将一个二维数组当做一维数组来处理，我们还可以通过一个超过数组大小的索引去访问数组外的内存，但这些都是极不安全的，数组边界错误可以说是C里一个非常容易犯却不易发现的错误。
因此就有了COM里的SafeArray安全数组来解决这个问题，在VB里我们传递一个数组时，传递的实际上COM里的SafeAraay结构指构的指针，SafeAraay结构样子如下： Private Type SAFEARRAY
cDims As Integer '这个数组有几维？ fFeatures As Integer '这个数组有什么特性？
cbElements As Long '数组的每个元素有多大？ cLocks As Long '这个数组被锁定过几次？
pvData As Long '这个数组里的数据放在什么地方？ 'rgsabound() As SFArrayBOUND End Type
紧接在pvData这后的rgsabound是个真数组，所以不能在上面的结构里用VB数组来声明，记住，在VB里的数组都是SafeArray，在VB里没有声明真数组的方法。 不过这不是问题，因为上面SFArrayBOUND结构的真数组在整个SAFEARRAY结构的位置是不变的，总是在最后，我们可以用指针来访问它。SFArrayBOUND数组的元素个数有cDims个，每一个元素记录着一个数组维数的信息，下面看看它的样子： Private Type SAFEARRAYBOUND
cElements As Long '这一维有多少个元素？ lLbound As Long '它的索引从几开始？ End Type
还有一个东西没说清，那就是上面SAFEARRAY结构里的fFeatures，它是一组标志位来表示数组有那些待性，这些特性的标志并不需要仔细的了解，本文用不上这些，后面的文章用到它们时我会再来解释。
看了上面的东西，各位一定很头大，好在本文的还用不了这么多东西，看完本文你就知道其实SafeArray也不难理解。先来看看如下的声明： Dim MyArr(1 To 8, 2 To 10) As Long
这个数组做为SafeArray在内存里是什么样子呢？如图一： cDims = 2 fFeatures =
FADF_AUTO AND FADF_FIXEDSIZE 位置 0
cbElements = 4 LenB(Long) 4 cLocks = 0 8
pvData（指向真数组） 12
28