Как объявить возвращаемый тип как внутренний класс шаблона typename?

Question

Как объявить это:

template<typename T>
(T::ABC)& get();

выдает ошибку:

error: expected constructor, destructor, or type conversion before ‘&’ token

Answer 1

Правильная форма без скобок

typename T::ABC

, потому что форма с круглыми скобками

(typename T::ABC)

является оператором приведения, а не типом!

Кроме того,ключевое слово typename является обязательным, поскольку T:ABC является «зависимым типом»: если вы не используете typename, выражение T:ABC интерпретируется так, как если бы ABC был членом класса T, а не вложенным типом).

Answer 2

Используйте ключевое слово typename:

template<typename T>
typename T::ABC& get();

Answer 3

Должно быть:

template<typename T>
typename T::ABC& get();

но я пытался, который не работает:

template<typename T>
(typename T::ABC)& get();