Java 泛型：使用一个函数签名处理两种泛型类型的简洁方法

Question

有一个类Utilities 提供公共静态函数，用于进行通用数据处理。该类主要用于创建FloatPointers 用于native code。

类如下所示：

class Utilities
{
    private Utilities(){}

    static FloatPointer toPointer( List< TypeA > list )
    {
        // do some magic
        return p
    }

    static FloatPointer toPointer( List< TypeB > list )
    {
        // do some different magic
        return p
    }
}

这个问题很明显。因为编译器将这些签名解析为FloatPointer toPointer( List list )，所以我遇到了擦除问题，所以这些函数不能这样定义。

现在我问自己，实现这一点的最干净的方法是什么。

首先，我非常想坚持使用名称toPointer，而不是使用不同的函数名称。这是因为在真正的类中有一大堆toPointer 函数处理各种类型。引入新名称会破坏计划，因为团队中的其他开发人员习惯于toPointer，这不是一个好主意。

我可以想象有两个函数 private static typeAToPointer( List< TypeA > list ) 和 private static typeBToPointer( List< TypeB > list )，但这两个函数需要从公共 toPointer 函数中调用，以免破坏函数名称的方案。

遗憾的是，我们没有实现TypeA 或TypeB，所以我不能让这两者实现一个通用接口并接受这一点——通常我不能以任何方式更改TypeA 或TypeB。

目前我倾向于实现一个接受List< T > 的函数并简单地检查类型，然后处理它。这个例程看起来像这样：

static < T > FloatPointer toPointer( List< T > list )
{
    Class clazz;
    if( !list.isEmpty() ) clazz = list.get( 0 ).getClass();
    else throw new IllegalArgumentException( "Empty list will result in NP." );

    if( clazz == TypeA.class ) return typeAToPointer( list );
    else if( clazz == TypeB.class ) return typeBToPointer( list );
    else throw new IllegalArgumentException( "List entries of invalid type." );

}

对我来说，这看起来像是糟糕的代码。我错了吗？什么是实现我的目标的优雅/干净的方式，即保持函数调用toPointer，但处理任一通用列表，同时无法调整TypeA或@的定义987654339@?

Answer 1

对我来说，这看起来像是糟糕的代码。我是不是搞错了？

不，你没有弄错。那里的示例混乱，不清楚，在运行时执行不必要的检查，也无法在编译时检查任何类型安全。

话虽如此：

什么是实现我的目标的优雅/干净的方式，即保留函数调用 toPointer，但处理任一通用列表，同时无法调整 TypeA 或 TypeB 的定义？

...你不能。

Java 泛型是通过擦除实现的，因此泛型信息在运行时会全部丢失（字节码中没有它的概念。）这意味着您不能拥有两个签名仅在泛型类型上有所不同的方法，如JVM 在运行时无法区分它们。

尽管您不情愿，但实现您所追求的最干净、最明显的方法就是放宽您对方法名称必须相同的要求。与上面的示例相比，这只需很少的更改即可为您提供编译时类型安全性和更简洁的代码。

您唯一的其他选择是创建List 的非泛型子类，它实现您要处理的每种泛型类型，并为每种类型使用不同的子类 - 但我真的看不到任何在这种情况下更可取。

Answer 2

你可以这样做：

static FloatPointer typeAToPointer( List< TypeA > list )
{
    return toPointer( list, objectOfTypeA -> /*parse to FloatPointer*/ );
}

static FloatPointer typeBToPointer( List< TypeB > list )
{
    return toPointer( list, objectOfTypeB -> /*parse to FloatPointer*/ );
}

static < T > FloatPointer toPointer( List< T > list, Function< T, FloatPointer > parser ) {
   //do some common code here
   T object = /* extract object from list*/
   FloatPointer pointer = parser.apply( object );
   //do some other common code on pointer 
   return pointer ;
}

这里有一个模板方法 toPointer，它使用 Function parser 将某种类型 T 的对象映射到 FloatPinter。它的映射方式在具体的 toPointer( List list ) 方法中指定。例如，objectOfTypeA -> /解析为 FloatPointer/ 可能只是 objectOfTypeA -> objectOfTypeA.getFloatPointer()。

编辑：正如@AndyTurner 提到的，两个 toPointer 方法都会由于类型擦除而产生编译错误。如果您在编译时对具有正确类型的列表进行操作，重命名方法就可以解决问题。