为什么这个struct literal在VS2013中通过地址而不是gcc/clang传递时会被破坏？

Question

我正在为我维护的库组装一个Visual Studio 2013解决方案.该库主要使用竞技场分配,因此我们有一个分配器接口:

allocator.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:

system_allocator.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全球被声明为extern中internal.h(其中#include小号allocator.h),并导出为一个符号(在DEF文件).但是,显然结构从未初始化,因为当我的单元测试尝试system_allocator通过地址传递给取消引用该alloc成员的函数时,它们会在hammer-test.exe中以0x000007FEFAD3EB6D(hammer.dll)中的"未处理异常"进行分段错误:0xC0000005:Access违规读取位置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)*
  • free 0x00019ffc25ff0001 void(HAllocator_*,void*)*

特别是因为当我检查原始struct literal时,一切看起来都很合理:

• 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为哪里

#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