c++ - 在 C++ 中，引用限定符是否表示一种子类型化形式？

Question

从编程语言理论的角度来看，在 C++ 中，const 和 volatile 等限定符允许表达一种子类型形式，例如 int 是 const int 的子类型。

我想知道我们是否也可以考虑 ref-qualifiers & 和 && 是否允许表达某种形式的子类型。换句话说，从编程语言理论的角度来看，我们是否可以认为 T、T& 和 T&& 是否通过子类型关系相关？如果是这样，这种关系是什么？

Answer 1

虽然在某些定义下您可以将 CV 限定符视为“子类型”，但引用不是。 const T t = some_t; 创建一个类型为 T 的新对象，声明为 const。您可能认为它是创建一个新的 const T，但无论哪种方式，您都在创建一个新对象，其值在概念上是现有对象的拷贝。

T &t = some_t; 不会创建新对象。它创建一个对现有对象的引用。这在 C++ 中是一种根本不同的东西。引用不是对象；语言对此非常清楚。将引用视为“子类型”没有任何用处。