Java ключевое слово this, как работает?

Question

[redasya]

Всем привет!
Просьба пояснить для начинающего

Я знаю разные ситуации в которых можно использовать ключевое слово this в Java. Но одно определение мне до сих пор непонятно "ссылка на текущий обьект", на какой текущий?
Что если в классе не создано обьектов?
И самое главное, что если в классе несколько обьектов?
Какой из них "текущий"?

Я читал в одной статье что при создании класса неявно создаётся обьект класса, именно this на него и ссылается. Но тогда слово this не может заменять обьект при вызове переменной обьекта, по типу object.variable тоже самое что this.variable, но как это возможно? Ведь this указывает на некий обьект который мы не создавали. Кароче это определение совсем не ясное "текущий обьект".

ПС - Также не совсем понятно его использование (this и super) для вызова из одного конструктора другого, ни разу в жизни не пригодилось, и даже не могу представить ситуацию в которой такое может пригодится.

ПСС - Перечитал кучу статей, книг, видео, так и не понял сути "текущий обьект" так как не понятно что за обьект и что делать если обьектов нет или их несколько.

Comments

[Сергей Горностаев]

Какие именно книги вы читали?

[MaxLich]

Также не совсем понятно его использование (this и super) для вызова из одного конструктора другого, ни разу в жизни не пригодилось, и даже не могу представить ситуацию в которой такое может пригодится.

super нужен для обращения к родительскому инстансу или родительскому конструктору. Если у вас будет иерархия классов (тем более - сложная), то поймёте, зачем нужны эти слова.
А по поводу объектов и слова this. Почитайте, например, Head First Java. Там довольно понятные рисунки. Каждый объект - это, по сути, дом, созданный по некоторому чертежу. В данном случае чертёж - это класс. Дома строятся на некоторой площади. Эта площадь - это куча объектов. При создании объекта (постройки дома) ему присваивается некоторый адрес (если брать аналогию с домами, то это улица и номер дома), адрес в куче. Он сохраняется внутри этого объекта (опять-таки, если брать аналогию с домом - то это табличка на доме с его адресом). Дальше можно привести такую аналогию. В каждый дом и в какое-либо его помещение может войти любой человек. Программа также входит в методы объектов. То есть в данном случае, программа - это этот человек, а метод - это комната дома, куда он вошёл. Соответственно, перед тем, как войти, человек смотрит номер дома, и запоминает его. И когда этот человек что-то делает внутри комнаты и видит где-то упоминание этого дома, он вспоминает, какой адрес этого дома и автоматически его использует, подставляет. Также делает и программа, когда идёт по телу методу. Понятно?

Answer 1

[GavriKos]

У вас путаница с терминами. Класс - это всего лишь "инструкция", "схема". Просто описанный в коде класс ничего не может делать. Чтобы он что то делал - нужно создать объект класса. Это делается явно через new.
Возьмем пример - ручка. У вас есть описание класса ручка. Но это еще не объект - всего лишь описание. Сделав New - вы создадите экземпляр ручки. И экземпляров может быть сколько угодно, и с разными параметрами (цвет, размер и прочее) - но все это ручки.

Так вот. this в ЭКЗЕМПЛЯРЕ указывает НА ЭТОТ САМЫЙ экземпляр.

Comments

[Сергей Горностаев]

С ручками аналогия не очень понятная. Для класса лучше подойдёт аналогия архитектурного проекта здания. Проект один, а зданий наклепать по нему можно множество. В проекте жить нельзя, а в построенном здании можно. А ключ от дома в руке его владельца - это this, у каждого свой.

[GavriKos]

Сергей Горностаев, о, да, ваш пример лучше )

[redasya]

GavriKos, Какой этот самый? Ручек может быть миллион. Также вы не правы, можно написать софт без единого обьекта и слова "new", в чём проблема то?

[redasya]

Сергей Горностаев, Если this у каждого свой, термин "текущий обьект", не имеет смысла, если у класса 10000000 обьектов зданий, на какой обьект укажет this? Я же чётко поставил вопрос.

[GavriKos]

redasya, Для каждой ручки this укажет именно на эту ручку. Написать без new можно, но тогда не будет объекта класса и соответственно - не будет this.

е имеет смысла, если у класса 10000000 обьектов зданий,

проиллюстрируйте это кодом.

[redasya]

GavriKos, Ну не 1000000 а скажем 2 обьекта, на какой укажет this? Именно на эту, на которую из них? Как компилятор это поймёт? Силой мысли? Да причём тут код, вот есть класс Person и есть два обьекта Vasya и Petya, и какой из них "текущий обьект"?!

[GavriKos]

redasya, у васи this - вася, у пети this - петя. this - это поле класса. Соответственно в каждом экземпляре оно свое.

[GavriKos]

redasya, именно поэтому НЕ создавая объект - this не будет указывыть никуда - его просто не будет. Поля класса не существует без экземпляра.

[Сергей Горностаев]

redasya,

class DumbExample {
    private int value;

    public void revealTheMystery(int someValue) {
        this.value = someValue;
    }

    public static void main(String args[]) {
        DumbExample obj1 = new DumbExample();
        DumbExample obj2 = new DumbExample();
        obj1.revealTheMystery(42);  // В этом вызове метода this указывает на obj1
        obj2.revealTheMystery(666);  // В этом вызове метода this указывает на obj2
    }
}

[redasya]

Сергей Горностаев, Это не тот вариант...Тут указывается на поле обьекта, я говорю именно про указание на "текущий обьект".

[Сергей Горностаев]

redasya, что-нибудь поменялось?

public void revealTheMystery() {
   System.out.println(this);
}

[redasya]

GavriKos, Вы не понимаете очём я, я не про поля класса, про поля класса всё понятно.
he various usage of keyword Java 'THIS' in Java is as per the below,

It can be used to refer current class instance variable - Это поля
It can be used to invoke or initiate current class constructor
It can be passed as an argument in the method call
It can be passed as argument in the constructor call
It can be used to return the current class instance - Вот это непонятно

[Сергей Горностаев]

redasya, ок, ничего принципиально не меняется

public DumbExample revealTheMystery() {
   return this;
}

[GavriKos]

redasya, это все про один и тот же this. Щас попробуем с другой стороны. Все классы в Java - наследники (неявные) класса Object. У класса Object есть поле - this. Обычное поле класса. Соответственно оно есть и у наследников. Когда вы создаете экземпляр класса (делаете new) - джава-машина в поле this кладет ссылку на то, что было создано при помощи new.
Например:

YourClass instance = new YourClass();
YourClass instance2 = new YourClass();

в instance как вы понимаете - экземпляр класса YourClass и в instance2 - тоже экземпляр, но другой. Это два разных экземпляра (объекта). Соответственно их поля могут иметь разные значения. this - поле. Для instance - оно будет равно instance, для Instance2 - instance2.
Соответственно когда вы будете вызывать у какого то ЭКЗЕМПЛЯРА (методы вызываются у экземпляров, не у классов), то можете работать внутри метода только с полям этого ЭКЗЕМПЛЯРА. И вот в поле this будет ссылка на этот экземпляр, у которого вызван метод.
Продолжая код:

instance.someField = 1;
instance2.someField = 2;

public int YourClass::GetField()
{
return someField;
}

Если вы попытаетесь вызвать метод GetField у instance - вернется 1. Если у instance2 - вернется 2. Вот точно так же и с this:

public YourClass YourClass::GetThis()
{
return this;
}

instance == instance.GetThis() //true
instance2 == instance2.GetThis() //true
instance == instance2.GetThis() //false

КОд не на джаве, но принцип тот же

[Денис Загаевский]

GavriKos, в какой момент this стал полем?

[GavriKos]

Денис Загаевский, это попытка объяснить на пальцах. Тут уж не до терминов )

[Денис Загаевский]

GavriKos, человек не понимает концепцию создания экземпляра класса, а вы ему про поля в обжекте...

Answer 2

[Максим Мосейчук]

Похоже тут никто из комментаторов понятия не имеют, как на самом деле работает их код.

Вы пишите такой код:

class Foo {
  void foo(String str) { ... };
}
...
Foo f = new Foo();
f.foo("abc");

Компилятор же сгенерирует байткод, который примерно соответствует такому коду:

class Foo {
  static void foo(Foo this, String str) { ... };
}
...
Foo f = new Foo();
Foo.foo(f, "abc");

this - это неявный первый параметр любого нестатического метода класса. У какого объекта вы метод вызываете, тот и будет передан в качестве параметра this.

Так что по сути this это не обычное ключевое слово, это просто имя параметра в методе.

Answer 3

[Elmo Sputterspark]

Методы всегда вызываются у объектов, а не классов, если они не статические. Вот на тот объект, у которого вызван метод, this и ссылается.

Comments

[redasya]

"если они не статические" Кагбы сами сказали))) Фэйспалм тут не к чему, класс и обьект это ни одно и тоже, почему то в большинстве статей это считается одним и тем же. Я кажется задал другой вопрос, какой обьект? У класса может быть 100000 обьектов, на который из них ссылается this?

[redasya]

Вы же понимаете что можно и не создавать обьект и никто тебе руки не отрубит, тогда на что будет указывать this? И на что он будет указывать, если обьектов класса миллион? на который из них?

[Elmo Sputterspark]

redasya, если не создавать объект, то this не на что не будет указывать, его просто не существует в статическом контексте. А если объектов класса миллион, то будет указывать на тот, метод которого вызван. Фейспалм тут очень даже причём.

[illuzor]

redasya, если будет триллион объектов одного класса, то у каждого объекта будет свой this.
Вот такая аналогия - есть тысяча абсолютно одинаковых людей (клонов). У каждого есть переменная "я". Каждый может сказать "я" только про самого себя, но не про другого человека, так как "я" у каждого своя.

[redasya]

Артём Петренков, "на тот, у которого вызвали метод" - пример дайте. Я не понимаю какой обьект текущий и как это определяется, в классе может быть несколько обьектов.

[redasya]

Артём Петренков,
he various usage of keyword Java 'THIS' in Java is as per the below,

It can be used to refer current class instance variable
It can be used to invoke or initiate current class constructor
It can be passed as an argument in the method call
It can be passed as argument in the constructor call
It can be used to return the current class instance - Вот это!

[MaxLich]

redasya, ну если хотите подробностей про внутренности, то при вызове метода у объекта, например, m.setPage(10), вызывается метод у класса, M.setPage(m, 10), первым параметром передаётся ссылка на этот объект. Собственная переменной this и присваивается значение ссылки на этот объект

Answer 4

[Дмитрий Александров]

Если я правильно настроился на волну тс то разжую доступными словами.
Для начала нужно чтобы было правильное понимание происходящего в java а именно:
1) в java всё есть объект, вот прям все все* . Это означает что абсолютно что угодно отнаследовано от класса Object
2) есть(могут быть) различия того что именно содержится в классе в исходном коде и коде при выполнении программы а также после ее компиляции. Если простым языком то это может предстать так
- в коде у класса есть только метод foo()
- после компиляции оказывается что в нем после некоторых событий типа аннотаций появляется еще и метод bar(). Тут важно то что он появится * у всех инстансов от этого класса
- при выполнении может оказаться так что метод foo() будет подменен другим кодом. Это уже рефлексия.
- при выполнении может оказаться что у НЕКОТОРЫХ инстансов класса внутри окажется еще и метод mymethod(). Т.е. не у всех а именно у некоторых инстансов.
3) при выполнении программы * для абсолютно всего ВСЕГДА создается явно или не явно инстанс, даже для статического класса. Т.е. ты в коде может и не создавал инстанс явно через new, это было сделано рантаймом гдето в недрах явы!
4) статический класс отличается от обычного только тем что статический всегда указывает только и только* на 1 единственный инстанс
5) super() , означает что будет вызов метода\конструктора РОДИТЕЛЯ
6) super , БЕЗ СКОБОК, означает переход к переменным РОДИТЕЛЯ. Также можно вызвать и метод РОДИТЕЛЯ.
7) this всегда указывает именно на текущий инстанс класса. Другими словами представь что класс это область видимости и когда ты пишешь this ты явно говоришь что это относится именно к этому инстансу а не классу.

*гуру молчите что это не совсем так в особенных фундаментальных моментах
инстанс - экземпляр класса, т.е. грубо говоря он создается через new явно или не явно

Если всеравно непонятно то могу набросать примером простеньких. Также рекомендую почитать
это и примеры тут

Обобщая выше сказанное(с нюансами):
- в java ВСЁ и ВСЕГДА это инстанс какого либо класса
- исходя из пункта выше ВСЕГДА на любой класс существует хотябы один инстанс
- исходя из пункта выше часто бывают случаи когда необходимо обратиться к переменной\методу родителя через super. Также возникают необходимости обратиться к методу\переменной именно этого конкретного инстанса или передать этот инстанс куда либо дальше не имея ссылки на этот инстанс.

Comments

[Максим Мосейчук]

Добавьте в конструктор print и не создавайте объект, что бы убедиться в своей неправоте. Никаких инстансов java не создаёт в своих недрах. Даже если бы хотела, то не смогла бы - класс может не иметь конструктора по умолчанию, а писать за вас код jvm не умеет.

А если вы про объекты, которые создает classLoader, то к теме поста они не имеют абсолютно никакого отношения.

[Дмитрий Александров]

fshp, насчет конструктора вы вкорне не правы. Если пользователь не создал ни одного конструктора то jvm сделает конструктор по умолчанию. Считайте что jvm умеет и пишет код за вас. На этот счет я специально добавил сноску * что говорит о том что тут очень много нюансов внутри по ситуации.

Касательно инстансов классов то тут также пруд пруди нюансов и в явном виде естественно ява не выполнит код в прямом смысле и print не сработает. Но в неявном виде пожалуйста, когда jvm будет прогреваться а класслоадер дергать классы то происходит анализ "а че там этот класс захочет еще подергать". На этом этапе "косвенно" создается "инстанс" этого класса.

Тема очень глубая и рассуждать тут будет сложно просто изза огромного числа нюансов вообще всего.

[Максим Мосейчук]

Дмитрий Александров, все равно это никак не относится к теме вопроса.