爱可深思▼ 2020▼ Quiz oop generic

025:听闻你精通面向对象,来解决一下

#Quiz #Oop #Generic

计算机语言的进化之路走到2020年,面向对象与函数式乃是主流,每个语言模式的背后都是一套哲学与世界观。面向对象和函数式中最具力量的特性是泛型Generic,因其具有严谨的数学上的类型推导,从而使编写代码变得智能,健壮,使类型设计变得有趣而烧脑。

@史荣久 / 2020-11-18 / CC-BY-SA-3.0

1.经典问题

已知,苹果是水果的子类。 那么,装水果的水果袋与装苹果的苹果袋,

  • 苹果袋是水果袋的子类么?
  • 水果袋能否装苹果么?
  • 要求用水果袋的地方,用苹果袋行么?
  • 能用java泛型表示上述问题么?

2.综合场景

有一个解析控制台输入参数的方法,按空白(0x200x09)分割命令行参数,支持StringNumber(Long,Integer,Double,Float)两种类型。当使用单双引号('")括起来时,其内的字符串仅作为String处理,也不考虑其内空白

示意代码如下。其意图是,希望通过传入参数的类型限定解析行为和输出类型。若传入String时,各参数都当做String处理,以List<String>返回。若传入Object时,能自动解析NumberString类型参数,以List<Object>返回。

@NotNull
public static <T> List<T> parseArgs(CharSequence line, Class<T> type) {
    if (line == null || line.length() == 0) return Collections.emptyList();
    List<T> args = new ArrayList<>();
    StringBuilder buff = new StringBuilder();
    for (int i = 0, len = line.length(); i < len; i++) {
        // 分析`空白`分割的字符串,`引号`括起来的空白除外。
        // 强制指定,引号括起来的字符串
        typedAdd(args, buff, String.class);
        // 自动识别,解析成Number或String
        typedAdd(args, buff, Object.class);
    }
    if (buff.length() > 0) {
        typedAdd(args, buff, Object.class);
    }
    return args;
}

private static void typedAdd(List<?> list, StringBuilder buff, Class<?> type) {
    // 自动处理类型,并决定是否存入list中
    buff.setLength(0);
}

@Test
public void testParseArgs() {
    List<String> strs = parseArgs("123 456", String.class);
    Assert.assertEquals(Arrays.asList("123", "456"), strs);
  
    List<Object> objs = parseArgs("123 '456'", Object.class);
    Assert.assertEquals(Arrays.asList(123, "456"), objs);
  
    // 如果以CLass为参数,无法限定值,
    // 可以使用Number.class, int[].class
    // 无法控制程序行为和输出​
}

■希望行为,优雅的利用面向对象和泛型知识

  • 限定参数type的输入值,类似enum类特性,仅可输入2个固定值,ObjStr
  • 当输入Str时,返回List<String>,当Obj时,返回List<Object>
  • typedAdd方法支持泛型,不需要类型强转和SuppressWarnings

■核心思想,限制的艺术,把运行时错误消灭在编译时。

  • 限定参数值,达到enum那种效果。
  • 通过参数值,限定return类型。

■动手提示,

  • 改造参数Class<T> type,当前无法约束参数值。
  • 改造 typedAdd方法,目前无法完成真实功能。

※ 我们的征途是星辰大海 ※

《025:听闻你精通面向对象,来解决一下》 面向对象和函数式中最具力量的特性是泛型Generic,因其具有严谨的数学上的类型推导,从而使编写代码变得智能,健壮,使类型设计变得有趣而烧脑。
题图:对象(含树),面单对象与函数式,是当今主流语言的共同特征