Cosmos PatchItemAsync调用时隐式数组被识别为dynamic[]的原因

问题复现 #

初始调用PatchItemAsync方法的代码如下：

public async Task Patch(Guid id, string patchPath, dynamic itemValue, PK pk)
{
    try
    {
        await this._cosmosContainer.PatchItemAsync<T>(
            id: id.ToString(),
            partitionKey: new PartitionKey(pk.ToString()),
            patchOperations: new[] {
                PatchOperation.Replace<dynamic>(patchPath, itemValue)
            });
    }
    catch (CosmosException ex)
    {
        // 异常处理逻辑
    }
}

上述代码抛出的编译错误如下：

Argument 3: cannot convert from 'dynamic[]' to 'System.Collections.Generic.IReadOnlyList<Microsoft.Azure.Cosmos.PatchOperation>'

将隐式数组new[]显式声明为new PatchOperation[]后编译错误消失，修复后代码如下：

public async Task Patch(Guid id, string patchPath, dynamic itemValue, PK pk)
{
    try
    {
        await this._cosmosContainer.PatchItemAsync<T>(
            id: id.ToString(),
            partitionKey: new PartitionKey(pk.ToString()),
            patchOperations: new PatchOperation[] {
                PatchOperation.Replace<dynamic>(patchPath, itemValue)
            });
    }
    catch (CosmosException ex)
    {
        // 异常处理逻辑
    }
}

根本原因 #

这个推断失败是C#动态类型（dynamic）的绑定规则导致的：

• 隐式类型数组new[]的元素类型，完全由数组初始化器内的表达式编译时类型推断得到，不会参考赋值目标的参数类型做反向推断。
• 只要表达式中涉及dynamic类型参与动态绑定，整个表达式的编译时类型就会被判定为dynamic，编译器不会在编译期解析这个调用的静态返回类型。可以用最简单的示例验证这个规则：

  dynamic d = 1;
  var arr = new[] { d.ToString() };
  

  这里arr的编译时类型是dynamic[]，而非预期的string[]，和当前遇到的问题原理完全一致。

上述代码中PatchOperation.Replace<dynamic>(patchPath, itemValue)调用传入了dynamic类型的itemValue参数，属于动态绑定调用，因此这个表达式的编译时类型是dynamic，编译器最终推断new[]的类型为dynamic[]，自然无法隐式转换为方法要求的IReadOnlyList<PatchOperation>类型，触发编译错误。

当显式声明数组类型为PatchOperation[]时，相当于明确指定了数组的元素类型，编译器会自动尝试将初始化器内的dynamic类型结果隐式转换为PatchOperation，这个转换是合法的，因此编译可以正常通过。

其他可行修复方式 #

除了显式声明数组类型，也可以通过显式转换初始化器内的表达式类型，让隐式数组推断得到正确结果：

patchOperations: new[] {
    (PatchOperation)PatchOperation.Replace<dynamic>(patchPath, itemValue)
}

从可读性角度考虑，优先选择显式声明PatchOperation[]数组类型的写法即可。

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