连接硬件设备

从一个可推翻的运行假设开始

“连接硬件设备”先固定一个问题：如何证明从物理设备能力筛选逻辑设备特性与队列合同？先写下预期对象、状态或像素，再运行正常基线；若设备属性、features链、queue family位、扩展和创建参数不能指出第一个分叉，最终画面看起来正确也不能通过。

本页不变量是：连接硬件设备的输入、状态、输出与恢复结果可用同一证据包重放。故障模式“查询到feature却未在device creation启用，或假设queue family索引固定”每次只改变一个条件，正常、故障、恢复三次运行必须共享输入与版本。

来源、版本与课程边界

“连接硬件设备”以Khronos Vulkan Guide latest这套持续更新的官方完整指南为主，并由Vulkan规范和官方Samples核对VUID、对象合同与可运行路径。课程的16页是教学聚合，不宣称它们是官方固定章节。

六个检查词

在“连接硬件设备”的六词核对中，vkinstance、vkphysicaldevice、vkdevice、queue family、feature、extension。术语只有进入公式、交互状态、代码和可重放输出，才算真正覆盖。

正式单元与机制解释

Instance, Physical and Logical Devices, Features, and Queues

在“连接硬件设备”的“Instance, Physical and Logical Devices, Features, and Queues”检查中，VkPhysicalDevice描述硬件、限制、格式和queue family；VkDevice只启用明确请求的feature与extension。在“连接硬件设备”的“Instance, Physical and Logical Devices, Features, and Queues”检查中，队列由family能力和创建数量决定，图形、计算与传输职责可能共享也可能分离。

在“连接硬件设备”本页，正式坐标是vkinstance、vkphysicaldevice、vkdevice、queue family、feature、extension。在“连接硬件设备”的反例核对中，反事实为“查询到feature却未在device creation启用，或假设queue family索引固定”；应从设备属性、features链、queue family位、扩展和创建参数找到第一个分叉。

先预测，再操作三个章专属实验

最小可重现实验

for (VkPhysicalDevice gpu : enumeratePhysicalDevices(instance)) {
  Candidate c = inspect(gpu);
  if (c.features && c.extensions && c.queues) choose(c);
}

运行“连接硬件设备”时记录API/规范版本、设备或浏览器能力、固定输入、关键中间状态与输出摘要。不得用一次漂亮截图替代对象合同、验证消息、时间戳或像素差异。

练习与答案

本章回顾

掌握“连接硬件设备”意味着能把“从物理设备能力筛选逻辑设备特性与队列合同”落到具体对象、状态与输出，能制造“查询到feature却未在device creation启用，或假设queue family索引固定”，还能凭设备属性、features链、queue family位、扩展和创建参数恢复同输入结果。

阅读导航

← 你的第一个Vulkan伪代码程序 · 调试Vulkan程序 →