Higher-kinded generics in Java

by

I think what you’re trying to do is simply not supported by Java generics. The simpler case of

public class Foo<T> {
    public T<String> bar() { return null; }
}

also does not compile using javac.

Since Java does not know at compile-time what T is, it can’t guarantee that T<String> is at all meaningful. For example if you created a Foo<BufferedImage>, bar would have the signature

public BufferedImage<String> bar()

which is nonsensical. Since there is no mechanism to force you to only instantiate Foos with generic Ts, it refuses to compile.

More Related Contents:

  1. Is List a subclass of List? Why are Java generics not implicitly polymorphic?
  2. Java- The meaning of ?
  3. Whats the use of saying
  4. Java generics type erasure: when and what happens?
  5. What are the reasons why Map.get(Object key) is not (fully) generic
  6. How to create a generic array? [duplicate]
  7. How to determine the class of a generic type?
  8. Array of Generic List
  9. How to use Class in Java?
  10. Java Generics: Cannot cast List to List? [duplicate]
  11. Why we can’t do List mylist = ArrayList(); [duplicate]
  12. What is the difference between ‘E’, ‘T’, and ‘?’ for Java generics?
  13. What are the differences between “generic” types in C++ and Java?
  14. Comparing the values of two generic Numbers
  15. Is it possible to solve the “A generic array of T is created for a varargs parameter” compiler warning?
  16. Return Type of Java Generic Methods
  17. What is the difference between and ?
  18. Java Generics and Enum, loss of template parameters
  19. When to use wildcards in Java Generics?
  20. Comparable and Comparator contract with regards to null
  21. Class is a raw type. References to generic type Class should be parameterized
  22. How to get the generic type at runtime?
  23. Why can’t you reduce the visibility of a method in a Java subclass?
  24. How to create ArrayList (ArrayList) from array (int[]) in Java
  25. How would contravariance be used in Java generics?
  26. mocking a method that return generics with wildcard using mockito
  27. Using a generic class to perform basic arithmetic operations
  28. Collections.emptyList() returns a List?
  29. Cannot use Java 8 method with lambda arguments without specifying type arguments
  30. Java generic type

Leave a Comment