Как получить ссылку на структуру в классе?

Question

[aarifkhamdi]

Задача: в getfirst() вернуть ссылку на структуру, на которую указывает first или значение first. При попытке это сделать возникает Проблема.
Проблема: ошибка синтаксиса (вероятно, в заголовке определения функции). Перепробовал все мыслимые варианты (думаю, перечислять их бессмысленно?)

Обрезал всё лишнее в программе чтобы сразу проблемное место было видно.

Помогите студенту, пожалуйста.

template <class T>
class storage
{
	struct storagestruct
	{
		T item;
		storagestruct* next = nullptr;
	};
private:
	storagestruct* first = nullptr;
public:
	storage<T>() {};
	virtual ~storage();

	storagestruct& getfirst();
};

template<class T>
storage<T>::storagestruct& storage<T>::getfirst()
{
	return *first;
}

Comments

[15432]

А разве в C++ возможно так оперировать ссылками? Почему бы не использовать указатели?

[aarifkhamdi]

15432: с точки зрения работоспособности такого кода - можно. с философской точки зрения не уверен. А почему вы считаете что так делать плохо?

[15432]

Мне как сишнику дико видеть функцию, возвращающую ссылку) почитал, действительно, в плюсах можно так делать, в итоге это работает как указатель.

[Евгений Шатунов]

15432 , вот, в гайдлайне есть набор рекомендаций для правильного вбора стиля передачи. :)
https://github.com/isocpp/CppCoreGuidelines/blob/m...

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

Answer 1

[Nexeon]

Попробуйте так:

template<class T>
typename storage<T>::storagestruct& storage<T>::getfirst()
{
  return *first;
}

Comments

[aarifkhamdi]

спасибо большое. пойду новое слово учить теперь для себя :-)

[Nexeon]

aarifkhamdi: Впрочем, ошибку было найти не сложно, компилятор сам указывал на нее:

error: need 'typename' before 'storage::storagestruct' because 'storage' is a dependent scope
template storage::storagestruct& storage::getfirst()

Здесь найдете тому причину: stackoverflow.com/questions/610245/where-and-why-d... (Начинать с заголовка The "typename" keyword)

[Евгений Шатунов]

aarifkhamdi , да, Nexeon все пишет правильно.

Проверка: cpp.sh/5vld

template <class T>
class storage
{
	struct storagestruct
	{
		T item;
		storagestruct* next = nullptr;
	};
	
private:
	storagestruct* first = nullptr;
	
public:
	storage<T>() = default;
	virtual ~storage() = default;

	inline storagestruct& getfirst() const;
};

template<class T>
inline typename storage<T>::storagestruct& storage<T>::getfirst() const
{
  return *first;
}

Смотри, когда внутри шаблонного кода ты хочешь изъять тип из другого шаблона, тебе нужно слово typename как подсказка что надо искать именно шаблонный тип.

Дополнительно скажу еще одну тонкость. Когда тебе нужно обратиться к шаблонной функции/переменной шаблонного типа из шаблонного кода, тебе потребуется слово template для акцентирования на шаблонности требуемой конструкции.

template< typename T >
struct X
{
	template< typename U >
	inline T foo() { return {}; };
};

template< typename T, typename U >
struct Y
{
	T bar = X<T>().template foo<U>();
};