Vulkan-hpp 是reinterpret_casting非标准布局类到另一个类.这合法吗?

Question

所以最近我一直在使用Vulkan-Hpp(Vulkan Api的官方c++绑定，Github Link(。

查看源代码，我发现他们围绕本机 Vulkan 结构创建包装类(例如 vk::InstanceCreateInfo缠绕在VkInstanceCreateInfo (。(注：绕行，不派生自(

调用本机 Vulkan API 时，指向包装类的指针reinterpret_cast到本机 Vulkan 结构中。使用vk::InstanceCreateInfo的示例：

//definition of vk::InstanceCreateInfo
struct InstanceCreateInfo
{
    /*  member function omitted  */
private:
  StructureType sType = StructureType::eInstanceCreateInfo;
public:
  const void* pNext = nullptr;
  InstanceCreateFlags flags;
  const ApplicationInfo* pApplicationInfo;
  uint32_t enabledLayerCount;
  const char* const* ppEnabledLayerNames;
  uint32_t enabledExtensionCount;
  const char* const* ppEnabledExtensionNames;
};
//definition of VkInstanceCreateInfo
typedef struct VkInstanceCreateInfo {
    VkStructureType             sType;
    const void*                 pNext;
    VkInstanceCreateFlags       flags;
    const VkApplicationInfo*    pApplicationInfo;
    uint32_t                    enabledLayerCount;
    const char* const*          ppEnabledLayerNames;
    uint32_t                    enabledExtensionCount;
    const char* const*          ppEnabledExtensionNames;
} VkInstanceCreateInfo;
//And the usage where reinterpret_cast takes place
template<typename Dispatch>
VULKAN_HPP_INLINE ResultValueType<Instance>::type createInstance( const InstanceCreateInfo &createInfo, Optional<const AllocationCallbacks> allocator, Dispatch const &d )
{
  Instance instance;
  Result result = static_cast<Result>( d.vkCreateInstance( reinterpret_cast<const VkInstanceCreateInfo*>( &createInfo ), reinterpret_cast<const VkAllocationCallbacks*>( static_cast<const AllocationCallbacks*>( allocator ) ), reinterpret_cast<VkInstance*>( &instance ) ) );
  return createResultValue( result, instance, VULKAN_HPP_NAMESPACE_STRING"::createInstance" );
}

所以我的问题是：vk::InstanceCreateInfo和VkInstanceCreateInfo是两种不同的类型。此外，VkInstanceCreateInfo是标准布局，但vk::InstanceCreateInfo不是(因为它具有混合访问说明符(。在这两种类型的指针之间reinterpret_cast(如Vulkan-Hpp所做的那样(是否合法？这是否违反了严格的别名规则？

---

注意：在这种情况下，您可以假设VkInstanceCreateFlags和vk::InstanceCreateFlags是可以互换的(否则会使我的问题递归(

Answer 1

就标准而言，是的，通过指向VkInstanceCreateInfo对象的指针访问vk::InstanceCreateInfo对象违反了严格的别名。即使两种类型都是具有等效布局的标准布局，它仍然会违反严格的别名。该标准不允许你只是假装一种类类型是另一种类类型，即使它们具有等效的布局。

因此，此代码依赖于某些特定于实现的行为。

这有错吗？为每个 Vulkan 接口函数调用做一个额外的副本会让你感觉更好吗，即使没有它也能工作？最终取决于您愿意容忍多少UB。