c - 为什么这个结构文字在 VS2013 中通过地址而不是 gcc/clang 传递时被破坏？

Question

我正在为 a library I maintain 整合一个 Visual Studio 2013 解决方案.该库主要使用竞技场分配，因此我们有一个分配器接口(interface):

分配器.h

#define HAMMER_ALLOCATOR__H__
#include <sys/types.h>

#ifdef __cplusplus
extern "C" {
#endif

typedef struct HAllocator_ {
    void* (*alloc)(struct HAllocator_* allocator, size_t size);
    void* (*realloc)(struct HAllocator_* allocator, void* ptr, size_t size);
    void (*free)(struct HAllocator_* allocator, void* ptr);
} HAllocator;
[... API functions ... ]
#ifdef __cplusplus
}
#endif
#endif

我们还围绕 malloc、realloc 和 free 实现了一个包装器:

系统分配器.c

#include <string.h>
#include <stdlib.h> 
#include "internal.h"

void* system_alloc(HAllocator *allocator, size_t size) { 
    void* ptr = malloc(size + sizeof(size_t));
    *(size_t*)ptr = size;
    return (uint8_t*)ptr + sizeof(size_t);
}

void* system_realloc(HAllocator *allocator, void* ptr, size_t size) {
    if (ptr == NULL)
        return system_alloc(allocator, size);
    ptr = realloc((uint8_t*)ptr - sizeof(size_t), size + sizeof(size_t));
    *(size_t*)ptr = size;
    return (uint8_t*)ptr + sizeof(size_t);
}

void system_free(HAllocator *allocator, void* ptr) {
    if (ptr != NULL)
        free((uint8_t*)ptr - sizeof(size_t));
}

HAllocator system_allocator = {
    .alloc = &system_alloc,
    .realloc = &system_realloc,
    .free = &system_free,
};

system_allocator 全局在 internal.h 中声明为 extern(#include allocator.h)，并将其作为符号导出(在 .def 文件中)。但是，显然该结构从未初始化，因为当我的单元测试尝试通过地址将 system_allocator 传递给取消引用 alloc 成员的函数时，它们会出现段错误“未处理的异常位于0x000007FEFAD3EB6D (hammer.dll) in hammer-test.exe: 0xC0000005: 访问冲突读取位置 0xFFFFFFFFFFFFFFFF。"

在调试器中检查传入的指针表明肯定有什么地方不对:

• mm__ 0x000000013fb0a094 {hammer-test.exe!HAllocator_ system_allocator} {alloc=0x25ff00019ff625ff realloc=...} HAllocator_ *
  • alloc 0x25ff00019ff625ff void * (HAllocator_ *, unsigned __int64) *
  • realloc 0x9ffa25ff00019ff8 void * (HAllocator_ *, void *, unsigned __int64) *
  • 空闲 0x00019ffc25ff0001 void (HAllocator_ *, void *) *

特别是因为，当我检查原始结构文字时，一切看起来都很合理:

• system_allocator = {alloc=0x000007fefad31410 {hammer.dll!system_alloc} realloc=0x000007fefad313f7 {hammer.dll!system_realloc} ...}
  • alloc = 0x000007fefad31410 {hammer.dll!system_alloc}
  • realloc = 0x000007fefad313f7 {hammer.dll!system_realloc}
  • free = 0x000007fefad310d2 {hammer.dll!system_free}

我尝试在 system_allocator 的声明和定义上放置断点，VS2013 通知我“没有调试器目标代码类型的可执行代码与此行相关联。”这是否意味着 system_allocator 实际上并未被初始化？ (如果是这样，那么那些 0x000007fefad31... 地址是什么意思？)

我从来没有用gcc或clang遇到过这个问题，这是我第一次使用VS。我错过了什么？

编辑:根据 chux 的评论，失败的测试实际上是设置失败。 system_allocator 像这样传递:

HBitWriter *w = h_bit_writer_new(&system_allocator);

失败的代码行是 HBitWriter *h_bit_writer_new(HAllocator* mm__) 的第一行:

HBitWriter *writer = h_new(HBitWriter, 1);

其中 h_new 是#defined as

#define h_new(type, count) ((type*)(mm__->alloc(mm__, sizeof(type)*(count))))

Answer 1

我敢打赌它与 DLL 相关。您可能必须将 system_allocater 成员放在可执行文件中，而不是从 DLL 传递包含 DLL 看到的函数地址的结构。

http://msdn.microsoft.com/en-us/library/windows/desktop/ms683212%28v=vs.85%29.aspx