函数修改扩展列表数组后Vulkan调用vkAcquireNextImageKHR崩溃问题（C99）

看起来你的问题确实有点棘手——数组内容和计数都完全正确，设备创建也没返回错误，但就是找不到vkAcquireNextImageKHR的入口点。我们来一步步拆解可能的原因，给出针对性的排查和解决方法：

1. 函数地址获取方式错误 #

vkAcquireNextImageKHR属于设备级扩展函数，必须通过目标设备的vkGetDeviceProcAddr来获取，而不能用实例的vkGetInstanceProcAddr。哪怕你正确启用了扩展，用错了获取方式也会导致找不到入口点。

正确的获取代码应该是这样的：

// 设备创建成功后立即获取函数地址
PFN_vkAcquireNextImageKHR vkAcquireNextImageKHR = 
    (PFN_vkAcquireNextImageKHR)vkGetDeviceProcAddr(vk.device, "vkAcquireNextImageKHR");

if (!vkAcquireNextImageKHR) {
    fprintf(stderr, "Failed to load vkAcquireNextImageKHR!\n");
    // 必须在这里做错误处理，不能继续执行后续逻辑
}

2. 物理设备扩展支持的显性验证 #

虽然你之前的代码能正常运行，但修改后的逻辑可能因为一些隐性因素（比如栈帧变化、编译器优化）导致扩展启用逻辑异常。建议在创建设备前，显式验证物理设备是否支持VK_KHR_SWAPCHAIN_EXTENSION_NAME：

uint32_t ext_count = 0;
// 先获取物理设备支持的扩展数量
vkEnumerateDeviceExtensionProperties(physical_device, NULL, &ext_count, NULL);
VkExtensionProperties *ext_props = malloc(ext_count * sizeof(VkExtensionProperties));
// 获取所有扩展的详细信息
vkEnumerateDeviceExtensionProperties(physical_device, NULL, &ext_count, ext_props);

bool swapchain_supported = false;
for (uint32_t i = 0; i < ext_count; i++) {
    if (strcmp(ext_props[i].extensionName, VK_KHR_SWAPCHAIN_EXTENSION_NAME) == 0) {
        swapchain_supported = true;
        break;
    }
}
free(ext_props);

if (!swapchain_supported) {
    fprintf(stderr, "Physical device doesn't support swapchain extension!\n");
    exit(1);
}

3. 栈帧溢出导致数组被意外覆盖 #

你的extension_list是栈上的局部数组，虽然大小足够，但如果后续有其他函数调用占用了同一块栈空间，可能会意外覆盖数组内容（哪怕你打印的时候看起来是正确的）。试试把数组改成静态或者全局的，规避栈帧问题：

// 改成静态数组，放在全局作用域或者函数内静态声明
static const char *extension_list[7];

4. 编译器优化的隐性干扰 #

某些编译器优化（比如-O2或更高等级）可能会对数组操作做激进优化，导致逻辑异常。可以尝试关闭优化（用-O0编译），看看崩溃是否消失。如果消失了，再逐步调整优化选项，找到触发问题的开关。

5. 函数参数传递的细节验证 #

虽然你说计数正确，但还是建议确认函数内的指针是否和原数组一致。在主函数和addOtherExt里分别打印数组地址：

// 主函数中打印数组地址
printf("extension_list addr: %p\n", extension_list);

// addOtherExt函数中打印接收的指针地址
printf("list addr: %p\n", list);

如果两个地址不一致，说明参数传递出了问题（但理论上数组退化为指针后地址应该完全相同）。

内容的提问来源于stack exchange，提问作者Leon