我正在阅读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));
}
有更好的方法吗?
这样定义您的CrossProduct
类似乎有点武断:为什么列表参数是成员变量,而fn
是方法参数?事实上,为什么CrossProduct
是一个类呢?一个外积is a
列表,但它不是列表的子类型,因为给定的列表可以同时
- 可以用许多不同的方式表示为交叉产品,并且
- 没有使用
crossproduct
函数构造。
在我看来,把"叉乘"看作一种类型是不自然的。
我可能会这样写
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建议),我会说它更OO有三个参数作为成员变量,并有类实现List
,例如
public class CrossProduct<T1, T2, T3> implements List<T3> {
public CrossProduct(T1 list1, T2 list2, Function<T1, T2, T3> fn) {
// remember args...
}
// etc...
}
我不知道您到底想要改进哪些参数。然而,我不喜欢N*M的列表大小,因为它太大了。如果我知道结果列表可以是不可变的,那么我会实现我自己的列表,它只在调用result.get(i*M+j-1)
时计算product(l1(i), l2(j))
。所以我没有保存一个很长的列表(如果需要,可能只是一个小缓存)。