java方法用泛函_Java泛型那些事儿
1 泛值
明显有很大的重复以及各种硬编码(hard code):
public void saveStudentA() {
// TODO pseudo code
// insert A into table Student
}
public void saveStudentB() {
// TODO pseudo code
// insert B into table Student
}
所谓的“泛”，就是特殊到一般的过程，或者说是具体到抽象的过程：
public void saveStudent(Student xxx) {
// TODO pseudo code
// insert xxx into table Student
}
2 泛型(generic type)
假如你和你一个同事在开发一套系统，你负责“学生模块”，你有一个 saveStudent方法；你的同事负责“教师模块”，他有一个 saveTeacher 方法。
public void saveTeacher(Teacher xxx) {
// TODO pseudo code
// insert xxx into table Teacher
}
2.1 泛型方法
减少因类型不同而产生的重复.
public void save (XXX xxx) {
// TODO pseudo code
// insert xxx into table XXX
}
2.2 泛型类
Comparable
3 泛函
高斯的求和
/** 求普通和 */
public static int sum() {
int sum = 0;
for (int i = 1; i <= 100; i++) {
sum += i;
}
return sum;
}
更多的求和
现在，让我们来看更多的求和问题，除了普通的求和，我们还可能想求比如平方和，那么可以这样写：
/** 求平方和 */
public static int sum() {
int sum = 0;
for (int i = 1; i <= 100; i++) {
sum += i * i;
}
return sum;
}
如果想求立方和，可以这样写：
/** 求立方和 */
public static int sum() {
int sum = 0;
for (int i = 1; i <= 100; i++) {
sum += i * i * i;
}
return sum;
}
泛函的解决方案(lambda 式)
import java.util.function.Function;
public class LamdbaFunctionalDemo {
public static void main(String[] args) {
int idSum = sum(integer -> integer);
int sqSum = sum(integer -> integer*integer);
int cuSum = sum(integer -> integer*integer*integer);
double sqSum2 = sumf(i -> Math.pow(i, 2));
double cbSum2 = sumf(i -> Math.pow(i, 3));
}
public static int sum(Function f) {
int sum = 0;
for (int i = 1; i <= 100; i++) {
sum += f.apply(i);
}
return sum;
}
public static double sumf(Function f) {
double sum = 0;
for (int i = 1; i <= 100; i++) {
sum += f.apply((double) i);
}
return sum;
}
}
所谓的“泛”
现在，我们来看所谓的“泛”，前面的篇章中也一再说了，就是一个从特殊到一般的过程：
是一个从具体到抽象的过程：
函数已经是一种抽象，我们还不满足，我们还要追求更高阶的抽象：
还是那句话，从特殊到一般，从一般到更一般！无论是值的硬编码、类型的硬编码，还是行为的硬编码，能够被泛化的，我们都将其一一参数化，一般化。
在这一过程中，我们消除了重复，得到了极为抽象的代码，这些对值没有依赖，对类型也没有依赖，对具体行为也没有耦合的代码具有极强的普适性。依靠这些手段，我们不但消除了眼下的重复，甚至也消除了未来的重复。
当你写的代码越来越多，当你思考得越来越深，你一定对这一点体会越来越深。或许我们还不能将它清晰的表述出来，但我相信我们一定会逐渐地感受到，用陶潜的一句诗来结尾，可谓是：此中有真意，欲辨已忘言！