• Целочисленные
• С плавающей точкой
• Логический
• void

• Объекты
• Массивы

• Конструктор
• valueOf(…)
• parseXxx(…) – NumberFormatException

• MIN_VALUE
• MAX_VALUE

• xxxValue()

• -12345

• 0123

• 0xf345

• 0b0101

• 0b0000_0001_0010_0011

• 'a'

• '\\', '\'', '\"', '\r', '\n', ...

• '\003'

• '\u00a0'

• MIN_VALUE
• MAX_VALUE
• NaN
• NEGATIVE_INFINITY
• POSITIVE_INFINITY

• isNaN()
• isInfinite()

• Что делать?

• true
• false

• Boolean
• TRUE
• FALSE

• Отсутствует

• Void
• Экземпляры отсутствуют

• int[][][]

• Integer[][]

• new Integer[3][]

• new int[]{10, 20, 30}

• Integer[][] a = {{0, 1}, {2}}

• Object o = new int[3];

• S :> T ⇒ S[] :> T[]

• String[] strings = new String[10];
  Object[] objects = strings;
  objects[0] = new Object();
  String string = strings[0];
  

• Массив знает свой тип
• ArrayStoreException

• Ссылка передается по значению

• Autoboxing

• Переопределен +
• Метод toString()

• Заключение значения примитивного типа в обертку

  int a = …;
  new Integer(a)
  

• Извлечение значения примитивного типа из обертки

  Integer a = …;
  a.intValue()
  

• (Integer) 10

• (int) new Integer(10)

• (Object) 10

Integer i1 = 1;
Integer i2 = 2;
Integer i3 = i1 + i2;

Integer i1 = Integer.valueOf(1);
Integer i2 = Integer.valueOf(2);
Integer i3 = Integer.valueOf(i1.intValue() +
    i2.intValue());

• NullPointerException

• Примитивные типы сравниваются по значению
• Обертки сравниваются по ссылке

• Всегда по значению

• Кроме ||, && и ?:

• литерал
• переменная
• this
• (выражение) (ClassCastException)
• new
• a.b
• a.b()
• a[b]

• выражение++
• выражение−−

• ++выражение
• −−выражение
• +выражение
• −выражение
• ~выражение
• (тип) выражение

• *
• /
• %

• Округление к нулю
• [a / b]₀* b + a % b == a

• +
• −
• + (конкатенация)

• << (a << n == a∙2ⁿ)
• >> (a >> n == a/2ⁿ)
• >>> (битовый)

• <
• >
• <=
• >=
• instanceof

• Тип t = (Тип) выражение; – безопасно

• null instanceof Тип → false

• ==
• !=

• Сравнение ссылок

• &
• ^
• |

• &&
• ||

• условие ? выражение_t : выражение_f

• =
• @= (a = (тип a) (a @ выражение))

• ;

• выражение;

• { }

• [final] тип a [= выражение];

• Определено ровно один раз

• final int a;
  final int b;
  if (условие) {
      a = 1;
      b = 10;
  } else {
      a = 3;
      b = -2;
  }
  

• if (условие) оператор

• if (условие) оператор_t else оператор_f

• Целочисленные
• Строки
• Перечисления

  switch (input) {
      case 'y': case 'Y':
          return true;
      case 'n': case 'N':
          return false;
      default:
          // Error?
          break;
  }
  

• while (условие) оператор

• do оператор while (условие);

• for (инициализация; условие; инкремент) оператор

• for (тип переменная : выражение) оператор
• Массивы
• Iterable

• break [метка];

• continue [метка];

• метка: оператор

• return [выражение];

• throw выражение;

try { … }
catch (…) { … }
catch (…) { … }
finally { … }

• assert условие [: выражение];
• AssertionError

• Не надо

• java -ea – пользовательских
• java -esa – системных
• java -ea:пакет... – в пакете
• java -ea:класс... – в классе

• Не обязательно
• package полное.имя;

• Возможно несколько
• import полное.имя.класса;
• import полное.имя.пакета.*;
• import static класс.член;
• import static класс.*;

[доступ] [abstract] [strictfp] interface Name
[extends Interface1, Interface2] {
    // Поля и методы
}

[public] [abstract] тип имя(аргументы);

[public] default тип имя(аргументы) { … }

[public] [static] [final] тип ИМЯ [= выражение];

static { … } 

[доступ] [abstract|final] [static] [strictfp]
class Name [extends Parent]
[implements Interface1, Interface2] {
    // Поля
    // Инициализаторы
    // Конструкторы
    // Методы
    // Вложенные классы
}

[доступ] [static] [final] тип имя [= выражение];

{ … } 

[доступ] [strictfp]
имя([final] Тип₁ арг₁, [final] Тип₂ арг₂, …) {
    [super(…)|this(…)]
    …
}

• Определены в super-конструкторах и инициализаторах
• Не изменяются в this-конструкторах

• Не изменяются

[доступ] [static] [final] [strictfp] [native]
Тип имя(аргументы)
{ … }

[доступ] [abstract] Тип имя(аргументы);

• class Внешний {
      class Внутренний {
          // Доступ Внешний.this
      }
  }
  

• внешний.new Внутренний(…)
  

• class Внешний {
      static class Вложенный {
          // Нет доступа к Внешний.this
      }
  }
  

• Доступен в области видимости

• void method() {
      class Local { … }
  }
  

• Не доступен по имени

• Shape shape = new AbstractShape() { … }
  

• Передается копия значения

• Передается ссылка на значение
• Значение можно изменить

• Передается выражение
• Значение вычисляется при использовании

• Ленивые вычисления
• Передается выражение
• Значение вычисляется при первом использовании