resharper 协变数组转换 - 矛盾修复

Question

我有以下代码：

private static DataTable MyMethod(DataTable oneColDataTable)
{
   DataTable result = new DataTable();

   foreach (DataRow row in oneColDataTable.Rows)
   {
       string[] newRow = row[0].ToString().Split(';'); // [1] Co-variant array conversion when object[]

       while (newRow.Length > result.Columns.Count)
       {
           result.Columns.Add(new DataColumn());
       }

       result.Rows.Add(newRow); // [2] Co-variant array conversion                
   }

   return result;
}

此代码的功能

我在这里做的是获取一个只有一列的DataTable。在那个专栏中，我在多行中有这样的内容："This;Is;the;first;row" - "This;Is;another;row;that;has;more;words"; 我拆分此信息，然后将单词解释为该行的列值。基本上将其转换为具有多行的 table，如下所示：

Content of my DataTable:
|This|Is|the    |first|row |   |    |     |
|This|Is|another|row  |that|has|more|words|

协变数组转换——问题

ReSharper 在评论 [2] 处警告我 "Co-variant array conversion"。 resharper 的自动修复将注释行 [1] 中的 "string[]" 更改为 "object[]"。但现在它给了我相同的注释行警告 [1]。自动修复它会导致它以前的代码，所以它基本上是一个非常烦人的循环。

我不想通过评论禁用警告，因为我通常认为这是一种懒惰和糟糕的方法。但我没有看到任何其他方法来解决这个问题。我在我的代码中做错了什么吗？有没有办法在不抑制或忽略警告的情况下解决这个问题？

Answer 1

如果您的目标是删除该警告消息，只需更改第一行以生成对象数组而不是字符串。

object[] newRow = row[0].ToString().Split(';').Cast<object>().ToArray();

但是接下来的问题是，在枚举它应该是新行的过程中是否真的有必要设计 table 的结构，或者甚至为了摆脱消息而进行的这种更改是否可能会花费一些性能 Cast<> 和枚举

编辑：问题是没有真正的问题需要解决。您收到警告说某些事情可能发生。认识到 R# 警告并不意味着它肯定是错误，这也很好，它让你知道你应该关心那部分。

想象一下：

public static object[] GetTuples()
{
    return new Tuple<string, int>[10]; // R# warning here
}
public static void Test()
{
    object[] tuples = GetTuples();
    tuples[0] = new Tuple<string, int>("", 1);
    tuples[1] = ""; // this will crash process, but no R# Warnings here
}

与您描述的场景相比：

string[] parts = "some;string".Split(",");
table.Rows.Add(parts);

R# 无法区分这两种情况。您收到的警告在数学上是完全正确的。另一方面，作为开发人员，您知道它不会导致此警告针对的问题，因为您比 R# 更了解该代码。最好采用您是代码之主的想法，而 R# 只是有用的提示来源——反之亦然。

这是完全正常的企业代码，在开发人员知道它是安全的同时愿意在代码库的其他部分启用它的地方包含 R# 抑制。

作为第二次编辑：我发布的代码实际上并没有隐藏任何（甚至是虚拟的）问题。它改变了 'Type system point of view' 发生的事情，虽然它听起来几乎相同，但有点 'big deal difference'：最初你已经创建了 string[] - 例如一些能够存储字符串的实体然后您将此数组传递给期望 object[] 的方法并对其进行处理。这意味着会发生从 string[] 到 object[] 的转换。在程序中，这意味着我给你对象 []，你可以在那里存储任何 System.object（例如，从那里继承的所有东西）但正如所解释的那样，它不是真的。

鉴于我们知道那里发生了什么，我们知道它没问题（您可以在此处查看 DataTable.cs：https://referencesource.microsoft.com/#System.Data/System/Data/DataTable.cs 并确保不会出现问题，而 Add(object[] params)) 不会像之前提到的那样修改输入数组 - 但 R# 不知道这条信息。

在我的改变之后你不再做那个转换了。您正在获取字符串数组，并通过将一个对象一个一个地转换为您正在创建全新数组的对象——而不仅仅是您之前数组的不同类型标识。希望这会有所帮助而不是混淆。

顺便说一句。另一个 正确的 解决方案是禁用这种警告，但这不是最好的方法:)

resharper 协变数组转换 - 矛盾修复

resharper covariant array conversion - contradicting fix

c#

arrays

resharper

warnings