Что обозначает такое создание обьекта: SmartPointer sp?

Question

[LNK]

Пишу код по видео уроку, класс умных указателей. Не понимаю, что за определение обьекта такое: SmartPointer<Foo> sp(new Foo(2,2)); для чего здесь <> скобки?
И еще, как указатель может быть void: std::ptrdiff_t operator -(void *p) это что, ссылка на ничего?
Поясните, пожалуйста значение <> скобок.
Вот код:

#include <iostream>

template <class Type>

class SmartPointer {
	Type* pointer;
public:
	SmartPointer(Type* p) : pointer(p) {};
	operator Type*() { return pointer; };
	Type *operator->() { 
		if (!pointer) {
			pointer = new Type();
			std::cerr << "Bad Ponter!" << std::endl;
		}
		return pointer; 
	};
	std::ptrdiff_t operator -(SmartPointer<type> p) {
		return pointer - p;
	}
	std::ptrdiff_t operator -(void *p) {
		return pointer - p;
	}
};

class Foo {
	int a, b;
public:
	Foo() : a(0), b(0) {};
	Foo(int a, int b) : a(a), b(b) {};
	int sum() { return a + b; }

};

int main(int argc, char **argv) {
	SmartPointer<Foo> sp(new Foo(2,2));
	std::cout << sp->sum() << std::endl;
	system("pause>>void");
}

Answer 1

[Rou1997]

Есть типы(классы)-"дженерики", их функционал зависит от типа шаблона, например класс Array<T>, где T - какой-либо тип, скажем, Array<int> - это будет массив int'ов, Array<std::string> - массив std::string'ов и т.д., в данном случае класс SmartPointer<Foo> sp; реализует "умный указатель" вида Foo* sp;

И еще, как указатель может быть void: std::ptrdiff_t operator -(void *p) это что, ссылка на ничего?

void* - "универсальный" тип указателя, к нему можно привести указатель любого типа, также как и к int, где в int будет число - адрес (номер ячейки) в памяти, где содержатся данные, на которые вы указываете.

Comments

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

На 64 битных машинах приведение указателя к int некорректно, т.к. указатель 64 битный, а int 32.

[LNK]

если указатель типа void универсален, то почему я не могу написать так: std::string s="1234"; void *sp=&s;?

[Rou1997]

NikHaker: Приведение типов нужно, неявного приведения в C/C++ не бывает вообще.

[Rou1997]

fshp: Не на 64-битных машинах, а в 64-битных программах.

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

Rou1997: справедливо.

[Rou1997]

fshp: И если памяти у меня всего 512 МБ (меньше 4 ГБ), то адрес не будет больше, чем 32-битный int.

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

Rou1997: это физический адрес будет в пределах. Виртуальный же вполне может выйти за пределы.

Answer 2

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

В угловых скобках указываются параметры шаблона.
О шаблонах рассказано с первых страниц любой книги для чайников.

Answer 3

[Даниил Игоревич]

Умные указатели делаются при помощи шаблонных классов, так что читайте, что такое шаблоны: microsin.net/programming/pc/an-idiots-guide-to-cpp...