Что не так в Java 8, часть V: кортежи

В этом примере (3, 5)это можно рассматривать как кортеж, который, в свою очередь, заставляет multметод выглядеть как один аргумент один!

Это важно, если мы думаем о функциях. Функция является применение одного набора (функция в области ) в другой набор (функция в области значений ).

Важно отметить, что домен ОДИН установлен. Это не может быть два набора, ни три набора, ни что-либо еще. Однако это может быть многомерный набор, то есть набор кортежей! Итак, функция может принимать только один аргумент.

Наличие функций двух или более аргументов является только синтаксическим сахаром для функций пар, троек и так далее. И то, что выглядит как функция двух аргументов, как следующая лямбда в Java 8:

(int x, int y) -> x * y

на самом деле это форма функции int x int (декартово произведение) к int . И результатом декартового произведения int x int является один набор кортежей.

Таким образом, ясно, что в Java есть кортежи, но мы можем использовать их только в качестве аргументов функции, а не для возвращаемых значений функции.

Примечание: функции двух аргументов не всегда являются синтаксическим сахаром для функций кортежей. Они также могут использоваться для функций с одним аргументом для функций. Это связано с оценкой аргументов. Для получения дополнительной информации см. Первую статью этой серии: Что не так в Java 8, Часть I: Curry vs Closures

Создание наших собственных кортежей

Если нам нужно вернуть кортежи, их очень легко создать. Например, если нам нужно создать функцию от double до (int, double), принимающую в doubleкачестве аргумента a и возвращающую ее целые и десятичные части, мы можем написать:

public class TupleExample {

  public static class Tuple {

    public final int integerPart;
    public final double decimalPart;

    public Tuple(int integerPart, double decimalPart) {
      super();
      this.integerPart = integerPart;
      this.decimalPart = decimalPart;
    }

    @Override
    public String toString() {
      return String.format("(%s, %s)", integerPart, decimalPart);
    }
  }

  private static Tuple split(Double x) {
    int integerPart = x.intValue();
    return new Tuple(integerPart, x - integerPart);
  };

  public static void main(String[] args) {
    System.out.println(split(5.3));
    System.out.println(split(-2.7));
  }
}

(5, 0.2999999999999998)
(-2, -0.7000000000000002)

public class TupleGenericExample {

  private static Tuple<Integer, Double> split(Double x) {
    int integerPart = x.intValue();
    return new Tuple<>(integerPart, x - integerPart);
  };

  public static void main(String[] args) {
    System.out.println(split(5.3));
    System.out.println(split(-2.7));
  }
}

public static class Tuple<T, U> {

  public final T _1;
  public final U _2;

  public Tuple(T arg1, U arg2) {
    super();
    this._1 = arg1;
    this._2 = arg2;
  }

  @Override
  public String toString() {
    return String.format("(%s, %s)", _1, _2);
  }
}