3

我有一个带有一些通用容器的 java 库：

public interface IColumnTable<T extends IColumn<?, ?>>
{
}
public interface IColumn<D extends IColumnValues<?>, M extends IMetaData> 
{
}
public interface IColumnValues<E> 
{
}
public interface IMetaData 
{
}

和一个工厂方法来获取它们的具体实例

public interface StorageFactory
{
IColumnTable<? extends IColumn<? extends IColumnValues<?>, ? extends IMetaData>> read(String tableName) throws IOException;
}

而且我还有一个实用方法可以键入我的通配符表（通过转换和转换值）

public class TableConverterUtil 
{
public static <T, V> IColumnTable<IColumn<IColumnValues<T>, IMetaData>> getPureTypedTable(
        IColumnTable<? extends IColumn<? extends IColumnValues<V>, ? extends IMetaData>> tableRaw,
        Class<T> type,
        Optional<Function<V, Optional<T>>> converter
    ) 
}

（注意使用 V 而不是 ? 作为 IColumnValues 的参数）

在java中，我可以调用以下命令来获取一个值为Double的表：

try {
            IColumnTable<IColumn<IColumnValuesExact<Double>, IMetaData>> myDoubleTable = TableConverterUtil.getPureTypedTable(
                StorageManagerUtil.getDefault().get("default").read("myTableName"),
                Double.class,
                Optional.empty()
            );
        } catch (IOException e) {
            // TODO Auto-generated catch block
            e.printStackTrace();
        } catch (StorageManagerInstantiationException e) {
            // TODO Auto-generated catch block
            e.printStackTrace();
        }

但是在 Scala 中，我似乎无法获得相同的工作调用：

TableConverterUtil.getPureTypedTable(
  StorageManagerUtil.getDefault.get("default").read("myTableName"),
  classOf[Double],
  Optional.empty()
)

结果是：

[file and line number]: no type parameters for method emp
ty: ()java.util.Optional[T] exist so that it can be applied to arguments ()
[error]  --- because ---
[error] undetermined type
[error]       Optional.empty()
[error]                ^
[error] [file and line number]: type mismatch;
[error]  found   : java.util.Optional[T]
[error]  required: java.util.Optional[java.util.function.Function[?,java.util.Op
tional[?]]]
[error]       Optional.empty()
[error] 

                ^

我也尝试过使用 null 而不是 Optional.empty() 导致：

[error] [file & line no]: no type parameters for method get
PureTypedTable: (x$1: com.wwa.data.interfaces.IColumnTable[_ <: com.wwa.data.int
erfaces.IColumn[_ <: com.wwa.data.interfaces.IColumnValues[V], _ <: com.wwa.data
.interfaces.IMetaData]], x$2: Class[T], x$3: java.util.Optional[java.util.functi
on.Function[V,java.util.Optional[T]]])com.wwa.data.interfaces.IColumnTable[com.w
wa.data.interfaces.IColumn[com.wwa.data.interfaces.IColumnValuesExact[T],com.wwa
.data.interfaces.IMetaData]] exist so that it can be applied to arguments (com.w
wa.data.interfaces.IColumnTable[?0], Class[Double], Null)
[error]  --- because ---
[error] argument expression's type is not compatible with formal parameter type;

[error]  found   : com.wwa.data.interfaces.IColumnTable[?0(in method doWork)] wh
ere type ?0(in method doWork) <: com.wwa.data.interfaces.IColumn[_ <: com.wwa.da
ta.interfaces.IColumnValues[_], _ <: com.wwa.data.interfaces.IMetaData]
[error]  required: com.wwa.data.interfaces.IColumnTable[_ <: com.wwa.data.interf
aces.IColumn[_ <: com.wwa.data.interfaces.IColumnValues[?V], _ <: com.wwa.data.i
nterfaces.IMetaData]]
[error]     TableConverterUtil.getPureTypedTable(
[error]                        ^
[error] [file & line No.]: type mismatch;
[error]  found   : com.wwa.data.interfaces.IColumnTable[?0(in method doWork)] wh
ere type ?0(in method doWork) <: com.wwa.data.interfaces.IColumn[_ <: com.wwa.da
ta.interfaces.IColumnValues[_], _ <: com.wwa.data.interfaces.IMetaData]
[error]  required: com.wwa.data.interfaces.IColumnTable[_ <: com.wwa.data.interf
aces.IColumn[_ <: com.wwa.data.interfaces.IColumnValues[V], _ <: com.wwa.data.in
terfaces.IMetaData]]
[error]       StorageManagerUtil.getDefault.get("default").read("myTableName"),
[error]    

                                                ^

我还尝试了一种辅助方法来捕获提供给 IColumnValues 的通配符，以便我可以实际传递一个函数。但是没有运气，似乎每当我尝试将内部 _ 之一绑定到命名类型参数时，编译器都会抛出一个合身。

我可以随时更改 Java 库，但我认为我必须遗漏一些东西，因为 Scala 和 Java 应该是完全可互操作的。

有没有办法在不改变java的情况下从scala调用getPureTypedTable？（转换器函数不为空或为空可选）

PS：很抱歉周五晚些时候发布了冗长的帖子，我已经盯着这个看了一段时间了

4

1 回答 1

0

认为我在这个 scala 组线程https://groups.google.com/forum/#!topic/scala-user/JlCsy48poIU中找到了答案

它涉及到命名类型的模式匹配，但也给出了关于未经检查的类型的编译器警告，我认为可以安全地忽略这些类型......

def callWildcardTableFunction(table: IColumnTable[_ <: IColumn[_ <: IColumnValues[_], _ <: IMetaData]])
    : IColumnTable[IColumn[IColumnValues[Double], IMetaData]] = table match
  { 
    case boundTable: IColumnTable[IColumn[IColumnValues[valueType], m]] @unchecked =>  
      TableConverterUtil.getPureTypedTable[Double, valueType](boundTable, classOf[Double], null)
  }

如果有人有更好的方法/这实际上不安全，请说！

于 2015-02-09T21:35:12.573 回答