NULL 数组上的笛卡尔坐标

Question

我需要 6 个数组的笛卡尔积 - 问题是任何时候最多 5 个数组可能为空。当所有数组都填充时它工作得很好，但当任何数组为空时它会爆炸

我的数组是这样的

MatrixArray_1[0] = 1
MatrixArray_1[1] = 2

MatrixArray_2[0] = null
MatrixArray_2[1] = null

MatrixArray_n[0] = 2
MatrixArray_n[1] = 2

等等。

我当前正在使用此代码...源自 http:// /blogs.msdn.com/b/ericlippert/archive/2010/06/28/computing-a-cartesian-product-with-linq.aspx

var product1 =  from first in MatrixArray_1
                from second in MatrixArray_2
                from third in MatrixArray_3
                from fourth in MatrixArray_4
                from fifth in MatrixArray_5
                from sixth in MatrixArray_6
                select new[] { first, second, third, fourth, fifth, sixth };
            string[][] myCombos_linq = product1.ToArray();

我已尝试将 MatrixArray_n 放置在第一个 != null 位置，但会在第一个空数组处停止，并且不会读取所有剩余数组，因此即使填充了 array1 和数组 3，我的返回数组始终为 0 行。

此时，代码/逻辑的任何更改都值得赞赏！ TIA

Answer 1

由于 Eric 的方法是使用 IEnumerable>，因此您必须执行以下操作：

Eric 的代码：

static IEnumerable<IEnumerable<T>> CartesianProduct<T>(this IEnumerable<IEnumerable<T>> sequences) 
{ 
  IEnumerable<IEnumerable<T>> emptyProduct = new[] { Enumerable.Empty<T>() }; 
  return sequences.Aggregate( 
    emptyProduct, 
    (accumulator, sequence) => 
      from accseq in accumulator 
      from item in sequence 
      select accseq.Concat(new[] {item})); 
}

调用站点：

var sequences = new int?[][] { MatrixArray_1, MatrixArray_2, ..., MatrixArray_6 };
var cartesianSequence = sequences.CartesianProduct();

更改调用站点：

var cartesianSequence = sequences.Where(a => a.Any(e => e != null)).CartesianProduct();

Where 调用将排除所有序列元素为空。

要排除空数组以及仅包含空值的数组：

var cartesianSequence = sequences.Where(a => a != null && a.Any(e => e != null)).CartesianProduct();

或者，使用查询理解：

var filteredSequences = 
    from sequence in sequences
    where sequence != null && sequence.Any(e => e != null)
    select sequence
var cartesianSequence = filteredSequences.CartesianProduct();

编辑

另一种可能性是您想要排除每个序列的空元素，即使某些元素是非空的：

var filteredSequences = 
    from sequence in sequences
    where sequence != null && sequence.Any(e => e != null)
    select (from v in sequence where v.HasValue select s)
var cartesianSequence = filteredSequences.CartesianProduct();

或者

var cartesianSequence = sequences
    .Where(s => s != null && s.Any(e => e != null))
    .Select(s => s.Where(v => v != null))
    .CartesianProduct();

但是很难确切地知道应该提供什么建议，因为我们不知道您正在对结果做什么。

Answer 2

我是否正确理解您想要排除 first、second 等中的任何一个（如果它们为 null）？这很简单：

只需添加

select new [] { first, second, third, fourth, fifth, sixth }.Where(x => x != null)

到您的查询中即可。

或者如果 first、second 等中的任何一个为 null，您是否想要排除整个六元组？这也很容易。只需添加

where new [] { first, second, third, fourth, fifth, sixth }.All(x => x != null)

到您的查询中即可。您甚至可以使用 let 这样就不会创建数组两次。

Answer 3

根据定义（我引用前面提到的 Eric Lippert

如果概括这个定义，它将是：

任何 n 个序列 S1、S2、...Sn 的笛卡尔积是所有可能的 n 元素序列的序列其中第一个元素来自 S1 并且第二个元素来自 S2，N 元素来自 Sn

请注意，第一个元素应始终来自第一个元素。

如果您过滤掉第一个数组的空值，这意味着整个输入将丢失，则过滤出的输入如下所示：

（空，x2，...xn）

这是一个完整的示例：

数组1 = {null, 1, 2}
数组2 = {A}

array1 与 array1 的笛卡尔积array2 = { {null, A}, {1, A}, {2, A}
}

，让我们应用 First != null 的过滤器。

array1 与 array1 的笛卡尔积array2 = {{1, A}, {2, A}}

假设我们将 array1 的值更改为：

array1 现在 = {null, null}

array1 与 array1 的笛卡尔积带有过滤器的 array2 = {}

结果为空集。为了获得笛卡尔积，您必须从每个数组中获得一个输入。您的问题可以调整以解决这一事实。