Что означает T()?

Question

[Anvario0]

Смотрю сейчас видео по односвязному списку на C++. Код списка:

template <typename T>
class List{
public:
	List();
	~List();

	void clear(); //Очищение списка
	void pop_front(); //Удаление первого элемента списка
	void push_back(T data); //Добавление элемента в конец списка
	int GetSize() { return this->size; } //Получение длины списка

	T& operator[](const int index);
private:

	template <typename T>
	class Node {
	public:
		Node* pNext;
		T data;

		Node(T data = T(), Node* pnext = nullptr) {
			this->pNext = pNext;
			this->data = data;
		}
	};

	int size;
	Node<T>* head;

Меня смутил конструктор вложенного класа Node, а именно запись T data = T(). В видео было сказано, что мы это делаем для того, чтобы в переменной data не лежал мусор, но не объяснили что вообще такое T() и что оно вовращает. Это я и хотел у вас узнать

Answer 1

[rPman]

T() вызовет конструктор по умолчанию для типа T, тут это переменная шаблона, т.е. тот тип что указан при определении переменной класса List<имя_типа_или_класса>, который собственно тут описан.

В данном случае возвращать будет новый экеземпляр объекта T в качестве значения аргумента data по умолчанию, если конструктор класса Node будет вызван без аргументов.

Если честно у меня вопрос, что будет если тип T будет указан скалярный, типа int, определено ли значение по умолчанию для таких типов?
upd. погуглил пишут да, в контексте шаблонов это нормально и значение по умолчанию определено

Comments

[Wataru]

У всех встроенных типов конструктор по умолчанию есть. Дает обычно 0.

[Hemul GM]

T - это не переменная, а тип (не определенный тип)

[rPman]

Wataru, int x; если полезешь читать x то это undefined behavior для всех существующих стандартов при этом с точки зрения синтаксиса T x; для не скалярных типов будет вызван конструктор по умолчанию.

[Wataru]

rPman, Это да, но вот int x{}; синициализирует 0. Или можно в функцию передать int().