method refs: collect substitution from type parameter's extends list (IDEA-104314)

2026-08-26 00:11:26 +07:00 · 2013-04-01 20:36:27 +02:00
parent 119870c301
commit 497644d544
3 changed files with 111 additions and 2 deletions
@@ -0,0 +1,91 @@
+interface AdditiveGroupValue<A> {
+    A negative();
+}
+
+interface Vector<S extends AdditiveGroupValue<S>>  {
+    default void foo() {
+        Foo<S> negative = AdditiveGroupValue::negative;
+    }
+}
+
+interface Foo<T> {
+    T bar(T t);
+}
+
+class Test1 {
+  interface AdditiveGroupValue<V extends AdditiveGroupValue<V>> {
+  
+      V plus(V other);
+  
+      V negative();
+  
+      default V minus(V other) {
+          return self().plus(other.negative());
+      }
+  
+      V self();
+  
+      Class<?> valueClass();
+  
+  }
+  
+  interface Vector<S extends AdditiveGroupValue<S>, V extends Vector<S, V>> extends AdditiveGroupValue<V> {
+  
+      S get(int i);
+  
+      int size();
+  
+      @Override
+      default V plus(V other) {
+          return Vectors.binaryComponentOp(self(), other, AdditiveGroupValue::plus);
+      }
+  
+      @Override
+      default V minus(V other) {
+          return Vectors.binaryComponentOp(self(), other, AdditiveGroupValue::minus);
+      }
+  
+      @Override
+      default V negative() {
+          return Vectors.unaryComponentOp(self(), AdditiveGroupValue::negative);
+      }
+  
+      V valueOf(S[] components);
+  
+  }
+  
+  interface UnaryOperator<T> {
+      T apply(T r);
+  }
+  
+  interface BinaryOperator<T> {
+      T apply(T r, T t);
+  }
+  static class Vectors {
+  
+      public static <S extends AdditiveGroupValue<S>, V extends Vector<S, V>> V unaryComponentOp(V v1, UnaryOperator<S> op) {
+          int size = v1.size();
+          S[] components = newComponentArray(v1.valueClass(), size);
+          for (int i = 0; i < size; i++) {
+              components[i] = op.apply(v1.get(i));
+          }
+          return v1.valueOf(components);
+      }
+  
+      public static <S extends AdditiveGroupValue<S>, V extends Vector<S, V>> V binaryComponentOp(V v1, V v2, BinaryOperator<S> op) {
+          int size = v1.size();
+          S[] components = newComponentArray(v1.valueClass(), size);
+          for (int i = 0; i < size; i++) {
+              components[i] = op.apply(v1.get(i), v2.get(i));
+          }
+          return v1.valueOf(components);
+      }
+  
+      protected static <S extends AdditiveGroupValue<S>> S[] newComponentArray(Class<?> componentClass, int size) {
+          return null;
+      }
+  
+  }
+  
+  
+}