Java 中的叉积计算器

Question

我正在阅读 Norvig 的有关 AIP 的书。其中有一个关于编写叉积函数的练习 -

(defun cross-product (fn list-1 list-2)
  (mappend #'(lambda (y)
               (mapcar #'(lambda (x)
                           (funcall fn y x))
                       list-2))
           list-1))

(defun mappend (fn the-list)
  (if (null the-list)
      nil
      (append (funcall fn (first the-list))
              (mappend fn (rest the-list)))))

我正在尝试用 Java 编写一个实现 -

interface Function<T1, T2, T3> {
    public T3 function(T1 t1, T2 t2);
}

public class CrossProduct<T1, T2> {
    private List<T1> list1;
    private List<T2> list2;

    public CrossProduct(List<T1> t1, List<T2> t2) {
         this.list1 = t1;
         this.list2 = t2;
    }

    public <T3> List<T3> calculate(Function<T1, T2, T3> fn) {
    List product = new ArrayList();
    for (int i = 0; i < list1.size(); i++)
        for (int j = 0; j < list2.size(); j++)
            product.add(fn.function(list1.get(i), list2.get(j)));
    return product;
}

}

用法 -

@Test
public void testWithStrings() {
    List<String> list1 = new ArrayList<String>();
    list1.add("6");
    list1.add("8");

    List<String> list2 = new ArrayList<String>();
    list2.add("2");
    list2.add("3");

    List<String> product = new CrossProduct<String, String>(list1, list2)
            .<String> calculate(new Function<String, String, String>() {
                public String function(String x, String y) {
                    return (String) x + (String) y;
                }

            });

    Assert.assertEquals("62", product.get(0));
    Assert.assertEquals("63", product.get(1));
    Assert.assertEquals("82", product.get(2));
    Assert.assertEquals("83", product.get(3));
}

有更好的方法吗？

Answer 1

以这种方式定义 CrossProduct 类似乎有点武断：为什么 list args 是成员变量，而 fn 是方法参数？事实上，为什么 CrossProduct 是一个类呢？叉积是一个列表，但它不是列表的子类型，因为给定的列表可以

1. 通过多种不同的方式表示为叉积，并且
2. 不是使用叉积构造的 函数。

在我看来，将“交叉产品”视为一种类型是不自然的。

我可能会做类似的事情

public class ListFunctions {
    public static <T1, T2, T3> List<T3> crossProduct(List<T1> list1, List<T2> list2, Function<T1, T2, T3> fn) {
        List<T3> product = new ArrayList<T3>();
        for (int i = 0; i < list1.size(); i++)
          for (int j = 0; j < list2.size(); j++)
            product.add(fn.function(list1.get(i), list2.get(j)));
        return product;
    }
}

如果您确实想出于某种原因定义一个类 CrossProduct（例如，按照 salman 建议实现惰性求值），我会说将所有三个参数作为成员变量更加面向对象，并让类实现 List，例如

public class CrossProduct<T1, T2, T3> implements List<T3> {
    public CrossProduct(T1 list1, T2 list2, Function<T1, T2, T3> fn) {
        // remember args...
    }
    // etc...
}

Answer 2

我不知道你到底想改进哪些参数。但是，我想说我不喜欢 N*M 列表大小，因为它可能太大。如果我知道结果列表可以是不可变的，那么我会实现自己的列表，它仅在 result.get(i* 时计算 product(l1(i), l2(j)) M+j-1) 被调用。所以我没有保留一个很长的列表（如果需要的话也许只是一个小缓存）。