形成对对象的引用是否构成访问?

形成对对象的引用是否构成访问？

以下是GCC和Clang目前所做的：

void test(int const volatile* ptr) noexcept {
*ptr;  // movl (%rdi), eax  // Reads *ptr
[[maybe_unused]] int const volatile& ref = *ptr;  // Does not read *ptr
}

我的问题专门关于声明

[[maybe_unused]] int const volatile& ref = *ptr;

• 根据抽象机器，这是否读取了ptr指向的对象的值？
• 如果ptr == nullptr，孤立地，此语句是否是未定义的行为？是
  • 的，空指针上的间接寻址是 UB - https://stackoverflow.com/a/59205697/1614051
• 如果ptr指向int以外的内容，会不会是别名冲突？

请注意，我专门询问有关形成引用的问题，而不是使用它来读取值。

编辑 09/12/2019：接受以下答案：

• int const volatile& ref = *ptr;读取指向对象的值吗？
  • 不。
• 这在ptr == nullptr时是未定义的吗？
  • 是的，空指针上的*ptr未定义。
• 如果ptr指向不同类型的对象，则形成引用是否为锯齿冲突？
  • 不，仅形成引用并不违反严格的混叠。
  • 据推测，reinterpret_cast对正确类型的引用是允许且有效的。