为何类型安全是C#中使用泛型的主要优势之一？

你说得对，绝大多数泛型类型不匹配的问题都会在编译阶段直接报错——这也是泛型最核心的优势之一：静态类型检查。但确实存在几种特殊场景，类型错误会推迟到运行时才暴露，这时候泛型的运行时类型安全机制就会生效阻止非法数据。

以下是常见的触发场景：

1. 通过非泛型接口/基类操作泛型实例 #

当你把泛型集合（比如List<T>）转换成非泛型的父类型（比如IEnumerable或object）时，编译期的静态类型检查会被绕过。如果此时尝试添加或读取不符合原泛型类型的数据，错误会在运行时爆发：

List<int> intList = new List<int>();
// 转换为非泛型IEnumerable，编译通过
IEnumerable nonGenericCollection = intList;

// 尝试通过反射添加非int类型（编译无报错）
var addMethod = intList.GetType().GetMethod("Add");
addMethod.Invoke(intList, new object[] { "这不是整数" }); 
// 运行时抛出TargetInvocationException，内部包含ArgumentException

再比如直接用非泛型集合转泛型：

ArrayList oldList = new ArrayList();
oldList.Add("字符串");
// 编译通过，但运行时抛出InvalidCastException
List<int> intList = (List<int>)oldList;

2. 协变/逆变的错误转换 #

C#泛型的协变（out T）和逆变（in T）允许有限的类型转换，但如果强行转换不兼容的类型，编译可能通过，但运行时会触发类型检查：

IEnumerable<string> stringList = new List<string> { "测试" };
// 错误的协变转换：string不能隐式转int，但编译允许显式强制转换
IEnumerable<int> intList = (IEnumerable<int>)stringList;
// 当枚举intList时，会抛出InvalidCastException

3. 使用dynamic类型绕过编译检查 #

dynamic类型会完全跳过编译期的类型验证，如果用dynamic向泛型集合添加不符合类型的数据，错误只会在运行时暴露：

dynamic wrongValue = "不是数字";
List<int> intList = new List<int>();
intList.Add(wrongValue); // 编译无报错，运行时抛出ArgumentException

总结 #

泛型的编译期类型检查是第一道防线，能拦截几乎所有常规的类型错误。只有当代码通过非泛型接口、反射、dynamic、错误的协变/逆变转换这些方式绕过静态检查时，泛型的运行时类型安全机制才会启动，通过抛出异常来阻止非法数据进入泛型结构，避免类型错误扩散导致更严重的问题。

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