__purecall 链接错误
不知道诸位有没有过这样的经历：本是简单合法的 C++ 代码，但编译链接的时候却出现了如下的链接错误：
> error LNK2001: 无法解析的外部符号 __purecall
在解决这个问题之前，我们可以一起重现这个错误，先。新建一个 Win32 工程，打开 VS 的工程设置，修改如下项目：
将“启用 C++ 异常”设为“否”；
将“基本运行时检查”设为“默认值”；
将“缓冲区安全检查”设为“否(/GS-)”；
将“启用运行时类型信息”设为“否(/GR-)”；
将“忽略所有默认库”设为“是(/NODEFAULTLIB)”。
然后，在源文件中输入如下的代码：
view plaincopy to clipboardprint?
#include <Windows.h>
#include <tchar.h>
void* operator new(size_t _Size)
{
return HeapAlloc(GetProcessHeap(), 0, _Size);
}
void operator delete(void* ptr)
{
HeapFree(GetProcessHeap(), 0, ptr);
}
class A
{
public:
virtual void foo(void) = 0;
};
class B : public A
{
public:
void foo(void)
{
OutputDebugString(_T("Hello, World!\r\n"));
}
};
extern "C" void WinMainCRTStartup(void)
{
A* p = new B;
p->foo();
delete p;
}
#include <Windows.h>
#include <tchar.h>
void* operator new(size_t _Size)
{
return HeapAlloc(GetProcessHeap(), 0, _Size);
}
void operator delete(void* ptr)
{
HeapFree(GetProcessHeap(), 0, ptr);
}
class A
{
public:
virtual void foo(void) = 0;
};
class B : public A
{
public:
void foo(void)
{
OutputDebugString(_T("Hello, World!\r\n"));
}
};
extern "C" void WinMainCRTStartup(void)
{
A* p = new B;
p->foo();
delete p;
}
我来解释一下：修改工程设置实质上是剥离了工程对 VS 默认 CRT 的依赖，因此这里再使用的 C++ 内容就必须都要自己实现，包括 new、delete 以及程序的入口——也就是 WinMainCRTStartup。在代码输入完成后，构建这个工程，就可以如愿得到本文开头的那个链接错误了。
虽然工程并未构建成功，不过你仍然可以用反汇编工具打开编译器生成的 obj 文件，秘密就藏在其中。下面我只是简单说明一下 B 对象的构造过程，不列汇编代码了就。
调用 new 申请内存空间。
调用 A::A，使用 A 类的虚表来初始化 A 类的子对象。
调用 B::B，使用 B 类的虚表来初始化对象。
问题就出现在第 2 步：A 类是个纯虚类，那么它的虚表是什么样子的？我在 obj 文件中找到了这个表，如下。
public ??_7A@@6B@
; const A::`vftable'
??_7A@@6B@ dd offset __purecall
如你所见，虽然 A::foo 是个纯虚函数，但编译器仍然为之准备了虚表中的一个栏位，只不过这个栏位的内容被一个名为 __purecall 的符号代替了。由于 __purecall 这个符号存在于默认的 CRT 之中，但我们先前又剥离了对 CRT 的依赖，因此在链接的时候就会出现 LNK2001 的链接错误。
解决方法很简单，再准备一个简单的 _purecall 就可以了：
view plaincopy to clipboardprint?
extern "C" int __cdecl _purecall(void)
{
return 0;
}
extern "C" int __cdecl _purecall(void)
{
return 0;
}
当然，其中最好加个断言什么的，以示这是一个不应到达的区域。
此外，VS 的 C++ 编译器对此种情况提供了特殊的支持，也就是使用 __declspec(novtable) 来定义无虚表的纯虚类。考虑如下代码：
view plaincopy to clipboardprint?
class __declspec(novtable) A
{
public:
virtual void foo(void) = 0;
};
class __declspec(novtable) A
{
public:
virtual void foo(void) = 0;
};
这样亦能解决这个问题。
