<![CDATA[Template und const Problem]]>Hi, warum compiliert das folgende Beispiel nicht ohne die kommentierten Zeilen? Mit rohen Zeigern geht die Umwandlung eines nicht const Zeigers in einen const Zeiger ja auch.

class Base
{
public:
	Base() {};
};

template <class T>
class MyPtr
{
public:
	MyPtr() {};
	MyPtr(const MyPtr<T>& value) {};
	/*template <class U>
	MyPtr(const MyPtr<U>& value) {};*/

	MyPtr<T>& operator=(const MyPtr<T>& value) { return *this; };
	/*template <class U>
	MyPtr<T>& operator=(const MyPtr<U>& value) { return *this; };*/
};

int main()
{
	Base *obj1 = nullptr;
	const Base* obj2 = nullptr;
	obj2 = obj1;

	MyPtr<Base> ptr1;
	MyPtr<const Base> ptr2;
	ptr2 = ptr1;
}
]]>https://www.c-plusplus.net/forum/topic/324709/template-und-const-problemRSS for NodeTue, 14 Jul 2026 03:48:30 GMTFri, 28 Mar 2014 18:43:50 GMT60<![CDATA[Reply to Template und const Problem on Fri, 28 Mar 2014 18:43:50 GMT]]>Hi, warum compiliert das folgende Beispiel nicht ohne die kommentierten Zeilen? Mit rohen Zeigern geht die Umwandlung eines nicht const Zeigers in einen const Zeiger ja auch.

class Base
{
public:
	Base() {};
};

template <class T>
class MyPtr
{
public:
	MyPtr() {};
	MyPtr(const MyPtr<T>& value) {};
	/*template <class U>
	MyPtr(const MyPtr<U>& value) {};*/

	MyPtr<T>& operator=(const MyPtr<T>& value) { return *this; };
	/*template <class U>
	MyPtr<T>& operator=(const MyPtr<U>& value) { return *this; };*/
};

int main()
{
	Base *obj1 = nullptr;
	const Base* obj2 = nullptr;
	obj2 = obj1;

	MyPtr<Base> ptr1;
	MyPtr<const Base> ptr2;
	ptr2 = ptr1;
}
]]>https://www.c-plusplus.net/forum/post/2391649https://www.c-plusplus.net/forum/post/2391649Fri, 28 Mar 2014 18:43:50 GMT<![CDATA[Reply to Template und const Problem on Fri, 28 Mar 2014 18:56:56 GMT]]>Das hat nichts mit der Pointer-Konvertierung zu tun.
Für den Compiler hat MyPtr<foo> genau so viel mit MyPtr<const foo> zu tun wie MyPtr<bar>. Das sind komplett verschiedene Klassen!

]]>https://www.c-plusplus.net/forum/post/2391652https://www.c-plusplus.net/forum/post/2391652Fri, 28 Mar 2014 18:56:56 GMT<![CDATA[Reply to Template und const Problem on Fri, 28 Mar 2014 18:57:28 GMT]]>Ganz einfach: MyPtr<Base> und MyPtr<Base const> sind zwei völlig verschiedene Typen. Du kannst sie nicht ohne weiteres ineinander konvertieren. Und genau das musst du, wenn du für das Funktionsargument von operator= MyPtr<Base const> übergibst.

Du könntest auch

MyPtr& operator=(const MyPtr& value) { return *this; };

schreiben, das würde verdeutlichen dass dieser überladene Operator nur mit der jeweiligen Spezialisierung funktioniert.

]]>https://www.c-plusplus.net/forum/post/2391653https://www.c-plusplus.net/forum/post/2391653Fri, 28 Mar 2014 18:57:28 GMT<![CDATA[Reply to Template und const Problem on Fri, 28 Mar 2014 19:04:35 GMT]]>Ok, das Problem ist, dass Construktoren anderer Klassen mit mehreren MyPtr-Argumenten, dann nicht mehr eindeutig sind, wenn ich die kommentierten Zeilen dazu nehme. Kann man das vermeiden?

]]>https://www.c-plusplus.net/forum/post/2391656https://www.c-plusplus.net/forum/post/2391656Fri, 28 Mar 2014 19:04:35 GMT<![CDATA[Reply to Template und const Problem on Fri, 28 Mar 2014 19:21:51 GMT]]>Enumerator schrieb:

Ok, das Problem ist, dass Construktoren anderer Klassen mit mehreren MyPtr-Argumenten, dann nicht mehr eindeutig sind, wenn ich die kommentierten Zeilen dazu nehme. Kann man das vermeiden?

decltype-SFINAE-Tricks?

]]>https://www.c-plusplus.net/forum/post/2391661https://www.c-plusplus.net/forum/post/2391661Fri, 28 Mar 2014 19:21:51 GMT