持有引用类型内存地址的栈变量为何仅能存储声明类型及其派生类的实例地址？

首先你的基础理解大方向是对的，先给你做几个细节的校准：
你给出的示例代码：

class Animal
{
    string name;
}

public class Program
{
    public static void Main()
    {
        Animal A; //Line 1
        A = new Animal(); //Line 2
    }
}

原有理解的细节修正 #

• Line1的Animal A;仅在编译阶段确定该局部变量为Animal引用类型、预设栈上对应大小的存储槽（32位进程占4字节、64位进程占8字节），运行到这行时不会主动初始化栈槽内容，C#编译器也会禁止你在给A赋值前读取该变量，避免拿到无效的脏地址。
• Line2的new Animal()除了在堆上分配实例内存、初始化实例内容（string类型的name字段默认值为null）外，还会经过类型校验，确保返回的地址指向合法的Animal实例，再写入A对应的栈槽中。

核心问题解答：变量A限制存储类型的实现机制 #

你问的“变量A为什么只能存储Animal类或其派生类的实例内存地址”，是靠编译期静态校验+运行期动态校验两层机制共同实现的，和栈槽本身的存储结构没有直接关系：

1. 编译期静态校验 #

你声明A的类型为Animal时，编译器就已经记录了该变量的类型元数据，所有对A的赋值操作都会先做静态类型匹配检查：

• 如果你尝试把和Animal无继承关系的类型实例赋值给A，比如A = new object();，编译器会直接报类型不匹配错误，程序无法完成编译。
• 即使你写强制转换语法，编译器也只会允许和Animal存在继承/实现关系的类型参与转换，完全无关的类型强制转换也会被编译器直接拦截。

2. 运行期动态校验 #

就算你通过强制转换等写法通过了编译期的检查，运行时CLR还会做第二次类型校验，避免非法赋值：

• CLR为所有堆上的引用类型实例都附加了类型对象指针，指向该实例的实际类型元数据。每次执行引用赋值、类型转换操作时，CLR都会校验待赋值的引用指向的实例实际类型，是否是目标类型（这里就是Animal）或其派生类，校验不通过会直接抛出InvalidCastException，不会允许非法地址写入A的栈槽。

栈上的存储槽本身只是一段用于存放内存地址的普通内存，本身没有限制存储内容的能力，上述两层校验机制才是C#类型安全的核心保障。

内容的提问来源于stack exchange，提问作者Calculon