本节旨在全面介绍 Vulkan 如何规范 API 的有效用法。
Valid Usage (VU)（有效用法）
Vulkan 规范中对有效用法（VU）的明确定义为：
应用程序要实现定义良好的运行时行为，必须满足的一系列条件。
作为显式 API，Vulkan 的核心优势之一是驱动实现无需花费时间检查输入的有效性 —— 而在 OpenGL 中，实现必须始终进行有效用法检查，这会带来显著的性能开销。Vulkan 中没有与 glGetError 等效的错误查询函数。
有效用法会在规范中每个函数和结构体之后列出。例如，若某一 VUID 用于检查 VkBindImageMemory 中的 VkImage 是否无效，相关有效用法会在 VkBindImageMemory 对应的规范章节中找到。这是因为验证层仅能在应用程序执行到 VkBindImageMemory 时，获取该操作相关的完整信息。
Undefined Behavior（未定义行为）
当应用程序提供的输入违反规范中的有效用法时，会导致未定义行为。在这种情况下，Vulkan 不做任何行为保证，可能出现任何结果。
⚠️ 非常重要：未定义行为可能在某一实现中看似正常工作，但在其他实现中极有可能失败。
Undefined Value（未定义值）
存在少数会产生未定义值的场景。这类情况中，操作本身并非无效，但硬件返回的值可能是无意义的 “垃圾值”。例如以下代码：
int x;
print(x)
代码不会崩溃，但变量 x 的值可能是任意的，若依赖该未定义值为 0 等特定数值，会存在极大风险。
Valid Usage ID (VUID)（有效用法 ID）
每个有效用法都会分配一个唯一的 ID，即 VUID，便于快速定位规范中对应的有效用法描述。
以 VUID-vkBindImageMemory-memoryOffset-01046 为例，只需在 HTML 版本的规范中，将该 VUID 作为锚点（vkspec.html#VUID-vkBindImageMemory-memoryOffset-01046），即可直接跳转到该有效用法的详细说明页面。
Implicit vs Explicit（隐式与显式）
- 隐式验证（Implicit Validation）：由 vk.xml 自动生成的验证逻辑，主要检查 “显而易见” 的规则，例如 “device 必须是有效的 VkDevice 句柄”。
- 显式验证（Explicit Validation）：手动编写的有效用法规则，分布在规范的各个相关章节中。
区分二者的简单方法是查看 VUID 中是否包含数字：
- VUID-vkBindImageMemory-image-01044：包含数字，属于显式验证
- VUID-vkBindImageMemory-memory-parameter：不包含数字，属于隐式验证
Khronos Validation Layer（Khronos 验证层）
由于 Vulkan 本身不进行任何错误检查，因此在开发阶段立即启用验证层以捕获无效行为至关重要。但需注意：应用程序发布时绝不能附带验证层—— 验证层会显著降低性能，仅适用于开发阶段。
Khronos 验证层此前由多个独立层组成，现已统一为单个层 VK_LAYER_KHRONOS_validation。更多细节可参考 LunarG 的技术白皮书。
Getting Validation Layers（获取验证层）
验证层会持续更新优化，开发者可自行获取源代码编译构建；若需预编译版本，各支持平台均提供对应获取方式：
- Android：预编译二进制文件会随最新版本在 GitHub 发布；NDK 中也包含已构建的验证层及使用说明。
- Linux：Vulkan SDK 中包含已构建的验证层，同时提供 Linux 平台的使用指南。
- MacOS：Vulkan SDK 中包含已构建的验证层，同时提供 MacOS 平台的使用指南。
- Windows：Vulkan SDK 中包含已构建的验证层，同时提供 Windows 平台的使用指南。
Breaking Down a Validation Error Message（解析验证错误消息）
相关详细说明可查阅验证层文档。
Special Usage Tags（特殊用法标签）
当应用程序尝试使用带有特殊用法标签的扩展时，最佳实践层会输出警告。例如 VK_EXT_transform_feedback 扩展，其设计初衷仅用于仿真层。若应用程序的预期用法确实属于某一特殊场景，可通过以下方式忽略相关警告：
通过 VK_EXT_debug_report 忽略特殊用法警告
VkBool32 DebugReportCallbackEXT(/* … */ const char* pMessage /* … */)
{
// 若消息中包含 "specialuse-extension"，则忽略
if(strstr(pMessage, "specialuse-extension") != NULL) {
return VK_FALSE;
}
// 处理其余验证消息
}
通过 VK_EXT_debug_utils 忽略特殊用法警告
VkBool32 DebugUtilsMessengerCallbackEXT(/* … */ const VkDebugUtilsMessengerCallbackDataEXT* pCallbackData /* … */)
{
// 若消息ID名称中包含 "specialuse-extension"，则忽略
if(strstr(pCallbackData->pMessageIdName, "specialuse-extension") != NULL) {
return VK_FALSE;
}
// 处理其余验证消息
}
