C#中含dynamic参数的函数返回值为何不做编译时类型检查？

这是因为dynamic类型的存在会让整个调用链的类型检查延迟到运行时。当调用ReturnDouble(obj)时，由于obj是dynamic类型，C#编译器会将该调用视为动态调用，不会在编译阶段解析函数的返回类型，因此不会检查返回的double与目标int类型是否兼容。

而不带参数的ReturnDouble()调用属于静态解析，编译器能明确知晓返回值类型为double，所以会立即检测到double无法隐式转换为int，抛出编译错误。

示例代码：

public static double ReturnDouble()
{
    return 1.0;
}
public static double ReturnDouble(dynamic obj)
{
    // 处理obj的逻辑
    return 1.0;
}
public static void DoSomething()
{
    dynamic obj = new { };
    int forSomeReasonThisCompilesWithoutError = ReturnDouble(obj); // 编译不报错，运行时可能抛出转换异常
    int asExpectedThisCompilesWithErrors = ReturnDouble(); // 编译报错：无法将double隐式转换为int
}

实际项目中如果返回复杂类对象，逻辑完全一致：只要调用涉及dynamic参数，编译阶段不会验证返回值与目标变量的类型兼容性，只有在运行时才会检查转换是否可行，不兼容时会抛出InvalidCastException等异常。

若想在编译阶段就做类型检查，可避免使用dynamic参数，或在调用后显式添加类型转换（如(int)ReturnDouble(obj)），但显式转换仍需注意运行时的转换风险。

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