С++ для начинающих Указатель this

Опубликовано 26.06.2012 | Автор: admin

В С++ есть ключевое слово this, которое достаточно часто используется программистами. Начинающим обычно сложно понять, что это такое.

this в C++ — это указатель, который указывает на объект, владеющий функцией.

//Листинг #1
class MyClass{
	public:
		void foo(){
			this; //Указывает на объект, запустивший foo	
		}
	}
	
	int main{
		MyClass obj1, obj2; //Два объекта
		obj1.foo(); //Внутри foo this есть указатель на obj1
		obj2.foo(); //Внутри foo this есть указатель на obj2
	}

//Листинг #1

class MyClass{

public:

void foo(){

this; //Указывает на объект, запустивший foo

}

int main{

MyClass obj1, obj2; //Два объекта

obj1.foo(); //Внутри foo this есть указатель на obj1

obj2.foo(); //Внутри foo this есть указатель на obj2

}

Один из примеров, демонстрирующих работу this:

//Листинг #2
#include <iostream>
using namespace std;
class MyClass{
		int width, height;
	public:    
		void get(int width, int height){
			this->height = height; //Обращаемся к полям x и y текущего объекта
			this->width = width;    
		}

		void print(){
			cout << "width = " << width << '\n' << "height = " << height << '\n';    
		}
	};
	
	int main(){
		MyClass x,y;
		x.get(100,200); //Получаем данные    
		y.get(300,400);    
		x.print();  //Выводим данные    
		y.print();
	}

//Листинг #2

#include <iostream>

using namespace std;

class MyClass{

int width, height;

public:

void get(int width, int height){

this->height = height; //Обращаемся к полям x и y текущего объекта

this->width = width;

}

void print(){

cout << "width = " << width << '\n' << "height = " << height << '\n';

}

};

int main(){

MyClass x,y;

x.get(100,200); //Получаем данные

y.get(300,400);

x.print(); //Выводим данные

y.print();

}

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

Уберём this и посмотрим, что произойдёт. Произойдёт вывод на экран значений неинициализированных переменных.

Переменные, отданные вовнутрь класса, к переменным класса никакого отношения не имеют, у них только-лишь названия одинаковые. Из-за одинаковых названий можно запутаться. Чтобы явно обратиться к переменным класса, можно использовать this.

Если взять обычный массив, то выводом на экран массива как переменной c помощью cout << получается адрес массива.

int arr[10];
cout << arr; //Вывод адреса первого элемента массива

1 2	int arr[10]; cout << arr; //Вывод адреса первого элемента массива

Иногда действительно нужен именно адрес первого элемента массива и это может быть удобно, но поначалу может немного удивлять: кто-то хотел вывести массив, а ему подсовывают адрес первого элемента массива.

С классами и их this ситуация очень похожая. В отличие от массивов, если попробовать вывести на экран название класса, то ничего не получится.

	class MyClass{};
	
	int main(){
		cout << MyCLass; //Ошибка}

class MyClass{};

int main(){

cout << MyCLass; //Ошибка}

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

this — это своеобразный заменитель такого упущения. В случае с массивами нам нужно название самого массива, в случае с объектами к адресу объекта можно доступиться изнутри самого объекта. Объект хранит указатель на самого себя, этот указатель и есть this. Такое вот отличие у немного похожих сущностей.

Любая не статическая функция, которая является элементом класса, имеет доступ к объекту, который к ней обращается.

Этот доступ и даётся нам ключевым словом this.

Адрес объекта доступен из функции-члена как указатель this. В большинстве случаев указатель this используется неявно. Явное использование указателя this при ссылке на члены класса допустимо, хотя не рекомендуется.

/*функция какого-то класса*/
void Date::setMonth( int mn )  //принимает целое число, обозначающее номер месяца{
month = mn;            // Обычное присваивание
this->month = mn;      // Эквиваленты этого же присваивания   
(*this).month = mn;
}

/*функция какого-то класса*/

void Date::setMonth( int mn ) //принимает целое число, обозначающее номер месяца{

month = mn; // Обычное присваивание

this->month = mn; // Эквиваленты этого же присваивания

(*this).month = mn;

}

Выражение *this обычно используется для возврата текущего объекта из функции-члена.

C++

return *this;

1

return *this;

Указатель this также используется для защиты от рекурсивной ссылки.

if (&Object != this) {// Условие не выполнится, если ссылка на объект имеет адрес начала собственного объекта

1	if (&Object != this) {// Условие не выполнится, если ссылка на объект имеет адрес начала собственного объекта

Не самый лучший, но всё же пример:

//Листинг #3        Visual Studio
#include <stdlib.h>
#include <iostream>

using namespace std;

class MyClass{    
	int x; //Доступна только внутри класса
public:    
	void Get(); //Функция ввода значения в x    
	void Show(); //Функция Вывода x на экран
};

void MyClass::Get() //Функция принадлежит классу MyClass{
	cout << "input x: ";    
	cin >> this->x; //Ввод данных в переменную x  объекта a
}

void MyClass::Show() //Функция принадлежит классу MyClass{
	cout << this->x << '\n'; //Вывод x из объекта a на экран   
	// cout << x << '\n'; //Можно и так
}

int main(){
	system("CLS");
	MyClass a; //Создали объект a типа MyClass    
	a.Get(); //Ввод данных    
	a.Show(); //Вывод данных на экран    
	a.Get(); //Ввод данных    
	a.Show(); //Вывод данных на экран    
	system("PAUSE");
}

//Листинг #3 Visual Studio

#include <stdlib.h>

#include <iostream>

using namespace std;

class MyClass{

int x; //Доступна только внутри класса

public:

void Get(); //Функция ввода значения в x

void Show(); //Функция Вывода x на экран

};

void MyClass::Get() //Функция принадлежит классу MyClass{

cout << "input x: ";

cin >> this->x; //Ввод данных в переменную x объекта a

}

void MyClass::Show() //Функция принадлежит классу MyClass{

cout << this->x << '\n'; //Вывод x из объекта a на экран

// cout << x << '\n'; //Можно и так

}

int main(){

system("CLS");

MyClass a; //Создали объект a типа MyClass

a.Get(); //Ввод данных

a.Show(); //Вывод данных на экран

a.Get(); //Ввод данных

a.Show(); //Вывод данных на экран

system("PAUSE");

}

При выполнении программы нужно ввести значения для x. Внутри класса две функции: одна обеспечивает ввод переменной, другая обеспечивает вывод данных на экран.

Теперь немного слов о типе this.

В теле нестатической функции класса ключевое слово this является prvalue выражением, которое есть адрес того объекта, для которого функция, собственно, вызывается.

Тип this в классе с именем MyClass будет *MyClass
Если функция класса объявлена как константная, то тип this будет const MyClass*
Если функция volatile, то тип volatile MyClass*
Если функция const volatile, то тип const volatile*

class MyClass{
	void foo1() {};                   //Тип this = MyClass*	
	void foo2() const {};             //Тип this = const MyClass*	
	void foo3() volatile {}           //Тип this = volatile MyClass*	
	void foo4() const volatile {}     //Тип this = const volatile MyClass*}

class MyClass{

void foo1() {}; //Тип this = MyClass*

void foo2() const {}; //Тип this = const MyClass*

void foo3() volatile {} //Тип this = volatile MyClass*

void foo4() const volatile {} //Тип this = const volatile MyClass*}

Прошу обратить особое внимание на одну важную деталь. Есть очень сильное и, к сожалению, печальное заблуждение считать, что указатель this является константным указателем. На самом деле он очень похож на константный указатель, ибо ведёт себя именно как константные указатели, но константным указателем он не является.
Правильно называть указатель this "prvalue указателем"
Условно указатель this можно называть временным объектом, который есть неизменяемый указатель.
Поведение у указателя this всегда константное, но сам он не чистого вида константа

Константное поведение указателя this — это следствие того, что this является prvalue выражением. Что значит 7prvalue, я толком пока что не объясню. Это выражения, природа которых такова, что их нельзя использовать в левой части вычисления: изменить их нельзя, их можно только использовать. Этим они напоминают константные сущности, но природа их константности — это свойство prvalue, а не константность const. Хорошим примером prvalue могут служить булевы true и false.

Какая польза в this? Например, в примере, который написан ниже, использование указателя делает код более привлекательным, чем без использования.

//Листинг #4.1
class MyClass{
	void foo(){
		MyClass *ptr = new MyClass(*this);            
		//Тут код        
		delete ptr;    
	}
};

int main(){
	MyClass obj;
}

//Листинг #4.1

class MyClass{

void foo(){

MyClass *ptr = new MyClass(*this);

//Тут код

delete ptr;

}

};

int main(){

MyClass obj;

}

Без указателя this такой код выглядел бы так:

//Листинг #4.2
class MyClass{
	void foo(MyClass* obj){        
		MyClass *ptr = new MyClass(*obj);            
		//Тут код        
		delete ptr;    
	}
	
	public:    
		void init(MyClass* obj){        
		foo(obj);    
	}
};

int main(){ 
	MyClass obj; 
	obj.init(&obj);
}

//Листинг #4.2

class MyClass{

void foo(MyClass* obj){

MyClass *ptr = new MyClass(*obj);

//Тут код

delete ptr;

}

public:

void init(MyClass* obj){

foo(obj);

}

};

int main(){

MyClass obj;

obj.init(&obj);

}

Согласитесь, что листинг #4.1 выглядит симпатичнее листинга #4.2

Рубрика: Классы, Указатели

С++ для начинающих Указатель this

6 комментариев на «“С++ для начинающих Указатель this”»

Добавить комментарий Отменить ответ

Поиск

Последние темы

Случайная книга в электронном формате

Последние комментарии

Мета