为什么这个 c++ 结构会被填充？ [关闭]

Question

我有两个数据结构，我通过这个函数来检查它们是否（可能）被填充。

  template<typename T>
  constexpr bool has_padding() noexcept
  {
    return !std::is_standard_layout<T>() || alignof(T) != 1;
  }

此数据结构顺利通过：

  struct txin_to_key
  {
    uint64_t amount;
    std::vector<uint64_t> key_offsets;
    crypto::key_image k_image;      // double spending protection
  };

但是这个结构失败了：

struct txin_to_key_public
{
  crypto::hash tx_hash;
  uint64_t amount;
  uint32_t relative_offset;
};

Key_image 和 hash 在底层都是 char[32] 。当我将第二个结构包装在一个编译指示包（1）中时，我很好。第二个结构的香草版本有什么问题？

Answer 1

第二个结构的香草版本有什么问题？

没有“问题”。

如果您的意思是，为什么has_padding<txin_to_key_public> 为真，那是因为您的系统上uint32_t 和/或uint64_t 的对齐要求大于1。

那么为什么第一个 txin_to_key ... [has_padding 返回 true]

因为std::vector<uint64_t> 不是标准布局类。也可能是因为对齐方式，就像第二种情况一样。

您可以通过单独检查来验证condition1 || condition2的哪些条件为真。