<![CDATA[verschachtelte Klassen, templates &amp; friends]]>Hallo,

der folgende Code kompiliert nicht:

template <typename T>
class Q
{
   public:
      class R
      {
         template <typename U>
         friend bool operator==(const typename Q<U>::R& a, const typename Q<U>::R& b);
      };
};

template <typename U>
bool operator==(const typename Q<U>::R& a, const typename Q<U>::R& b)
{
   return true;
}

int main()
{
   Q<int>::R a, b;
   a == b;
}

21:6: error: invalid operands to binary expression ('Q<int>::R' and 'Q<int>::R')
13:6: note: candidate template ignored: couldn't infer template argument 'U'

Wie kann ich den Fehler beheben?

]]>https://www.c-plusplus.net/forum/topic/324502/verschachtelte-klassen-templates-amp-friendsRSS for NodeTue, 14 Jul 2026 08:40:16 GMTWed, 19 Mar 2014 17:31:22 GMT60<![CDATA[Reply to verschachtelte Klassen, templates &amp; friends on Wed, 19 Mar 2014 17:32:06 GMT]]>Hallo,

der folgende Code kompiliert nicht:

template <typename T>
class Q
{
   public:
      class R
      {
         template <typename U>
         friend bool operator==(const typename Q<U>::R& a, const typename Q<U>::R& b);
      };
};

template <typename U>
bool operator==(const typename Q<U>::R& a, const typename Q<U>::R& b)
{
   return true;
}

int main()
{
   Q<int>::R a, b;
   a == b;
}

21:6: error: invalid operands to binary expression ('Q<int>::R' and 'Q<int>::R')
13:6: note: candidate template ignored: couldn't infer template argument 'U'

Wie kann ich den Fehler beheben?

]]>https://www.c-plusplus.net/forum/post/2389776https://www.c-plusplus.net/forum/post/2389776Wed, 19 Mar 2014 17:32:06 GMT<![CDATA[Reply to verschachtelte Klassen, templates &amp; friends on Wed, 19 Mar 2014 17:47:21 GMT]]>Das funktioniert nicht, weil das Template-Argument in dem nested-name-specifier vorkommt. Das ist ein sog. 'non-deduced context'.

If a template parameter is used only in non-deduced contexts and is not explicitly specified, template argument deduction fails.
The non-deduced contexts are:
— The nested-name-specifier of a type that was specified using a qualified-id.

]]>https://www.c-plusplus.net/forum/post/2389781https://www.c-plusplus.net/forum/post/2389781Wed, 19 Mar 2014 17:47:21 GMT<![CDATA[Reply to verschachtelte Klassen, templates &amp; friends on Wed, 19 Mar 2014 17:49:44 GMT]]>Der kann den Templateparameter U nicht auflösen, weil der nicht genau weiß wie sich die Klassen bei verschiedenen Spezialisierungen verhalten.
Lösung:

template <typename T>
class Q
{
   public:
      class R
      {
         friend bool operator==(const typename Q<T>::R& a, const typename Q<T>::R& b)
         {
   				return true;
			}
      };
};

operator== gehört somit direkt zu R und kann via ADL gefunden werden.

]]>https://www.c-plusplus.net/forum/post/2389783https://www.c-plusplus.net/forum/post/2389783Wed, 19 Mar 2014 17:49:44 GMT<![CDATA[Reply to verschachtelte Klassen, templates &amp; friends on Wed, 19 Mar 2014 17:50:22 GMT]]>Ok, das macht auch irgendwie Sinn. Also ist die einzige Möglichkeit die Funktion direkt in der Klasse zu definieren?

]]>https://www.c-plusplus.net/forum/post/2389784https://www.c-plusplus.net/forum/post/2389784Wed, 19 Mar 2014 17:50:22 GMT<![CDATA[Reply to verschachtelte Klassen, templates &amp; friends on Wed, 19 Mar 2014 17:52:30 GMT]]>Ein einfacher Fix dafür ist

template <typename T>
struct Q
{
	struct R
	{
		friend bool operator==(const R& a, const R& b) { return true; }
	};
};

int main()
{
	Q<int>::R a, b;
	a == b;
}

Die Operatorfunktion wird dabei durch ADL gefunden und ist kein Template.

Edit: Das gibt es gar nicht, da schreibe ich glatt genau was Nathan schon schrieb...

]]>https://www.c-plusplus.net/forum/post/2389786https://www.c-plusplus.net/forum/post/2389786Wed, 19 Mar 2014 17:52:30 GMT<![CDATA[Reply to verschachtelte Klassen, templates &amp; friends on Wed, 19 Mar 2014 18:07:27 GMT]]>Arcoth schrieb:

Das gibt es gar nicht, da schreibe ich glatt genau was Nathan schon schrieb...

:p

]]>https://www.c-plusplus.net/forum/post/2389791https://www.c-plusplus.net/forum/post/2389791Wed, 19 Mar 2014 18:07:27 GMT