Как определить параметры типа для основного конструктора в Котлине?

Question

В Java я могу сделать что-то вроде этого:

import java.util.List; 
import java.util.Map; 

class Foo { 
    public final String s; 

    // Parameters to constructor are generic, but constrained 
    public <K> Foo(List<K> list, Map<K, String> map) { 
     // Compute something from those parameters where result 
     // has type independent of input type parameters. 
     StringBuilder sb = new StringBuilder(); 
     for (K k : list) { 
      sb.append(map.get(k)); 
     } 
     s = sb.toString(); 
    } 
} 

Обратите внимание, что Foo класса не имеют параметров типа, но его конструктор имеет тип параметров. Можно ли сделать что-то подобное в Котлине?

Answer 1

Котлин не поддерживают параметры типа для конструкторов, так что вы можете определить функцию заводской вместо:

class Foo private constructor(val s: String) { 
    companion object { 
     fun <K> create(list: List<K>, map: Map<K, String>) = 
       Foo(list.map { map[it] }.joinToString("")) 
    } 
} 

Answer 2

В Java

public class Bar<K,V> { 
    public final int x; 

    public Bar(Map<K, V> map) { 
    x = map.hashCode(); 
    } 
} 

эквивалент в Котлин

class Bar <K,V> constructor (map: Map<K,V>) { 
    val x = map.hashCode() 
} 

В Java

public class Bar { 
    public final int x; 

    public Bar(Map map) { 
    x = map.hashCode(); 
    } 
} 

эквивалент в Котлин

class Bar constructor (map: Map<*, *>) { 
    val x = map.hashCode() 
} 

В Java

public class Bar { 
    public final int x; 

    public <K, V>Bar(Map<K, V> map) { 
    x = map.hashCode(); 
    } 
} 

эквивалент в Котлин

// no way to do so 

Согласно Котлин garmmer, нет никакого эквивалента в реализации в Котлин, потому что мы не можем определить тип параметров в первичных, ни вторичных конструктора.