为什么指针引用类型？

Question

本周我一直在研究一些基于反射的代码,并且在单元测试期间发现了一个意外情况:指针是引用类型.C#代码typeof(int).MakePointerType().IsClass返回true.

我检查了刚刚到达的Annotated CLI标准,果然,指针被明确定义为引用类型.

这对我来说很奇怪,来自C++背景.我只是假设指针是值类型.

指针类型是引用类型而不是值类型是否有特殊原因？

更新(澄清)

在谈论指针和引用时,关于"指针"和"指针"的事情常常令人困惑.所以这里有一些澄清.

类型可以是引用类型或值类型,但变量有点不同.(对不起,我没有机会阅读我的CLI标准,因此术语和概念可能有误 - 请纠正我!)

给定此代码(引用类型的局部变量概念):

var x = new MyClass();
var y = x;

变量x和y实际上不是引用类型,但他们是一个对象,它是引用类型(引用MyClass是引用类型).换句话说,x并且y不是引用类型的实例; 它们只引用引用类型的实例.

给定此代码(值类型的局部变量概念):

var x = 13;
var y = x;

变量x和y实例值类型(或者至少就像它们的实例一样).

那么我们来看看这段代码:

var i = 13;
var x = &i;
var y = x;

如果指针类型是引用类型,那么这就是我解释语句的方式x = &i:

1. int*创建一个类型的实例,指向i.
2. 由于指针是引用类型,因此在堆上创建此实例(假设所有引用类型都放在堆上,这是一个实现细节).
3. x 是对此指针实例的引用.
4. 指针实例最终将被垃圾收集,就像其他引用类型一样.
5. 当y = x被执行时,参考被复制.既y与x参考指针对象的相同的实例.

也许我对这种解释完全错了.

来自C++背景,对于指针是值类型更有意义,因此该语句x = &i只是将i值的类型实例的地址分配给x,并将y = x该地址值复制到y.不会在堆上创建"指针对象".

Answer 1

我还没有看到完整的答案，所以我现在关闭这个问题。

我不得不得出结论：指针（例如，int *）实际上是值类型；事实上，他们的Type回归true对于IsClass在规范中的错误。我怀疑没有人注意到这一点，因为获取指针的类型是一种非常罕见的操作。