Covariance Return in C++

[mufenhsieh]

I am testing covariance return in C++. First the following code
worked.

class A
{
public:
class X {};
virtual X* f() {return new X;}
};

class B : public A
{
public:
class Y : public X {};
virtual Y* f() {return new Y;}
};

int main(void) {
B b;
b.f();
}

However, after I modified it into template version, it couldn't
compile. Does anyone know how to make it work? Thanks.

template <typename Object>
class A
{
public:
class X {};
virtual X* f() {return new X;}
};

template <typename Object>
class B : public A<Object>
{
public:
class Y : public X {};
virtual Y* f() {return new Y;}
};

int main(void) {
B<intb;
b.f();
}

Error messages:
test.cpp:20: error: expected class-name before '{' token
test.cpp: In instantiation of `B<int>':
test.cpp:25: instantiated from here
test.cpp:21: error: invalid covariant return type for `B<Object>::Y*
B<Object>::f() [with Object = int]'
test.cpp:11: error: overriding `A<Object>::X* A<Object>::f() [with
Object = int]'

[Victor Bazarov]

mu********@gmail.com wrote:

I am testing covariance return in C++. First the following code
worked.

class A
{
public:
class X {};
virtual X* f() {return new X;}
};

class B : public A
{
public:
class Y : public X {};
virtual Y* f() {return new Y;}
};

int main(void) {
B b;
b.f();
}

However, after I modified it into template version, it couldn't
compile. Does anyone know how to make it work? Thanks.

template <typename Object>
class A
{
public:
class X {};
virtual X* f() {return new X;}
};

template <typename Object>
class B : public A<Object>
{
public:
class Y : public X {};

There is no 'X' here. In templates base classes are not looked at
when resolving names. You need to prepend this definition with

using A<Object>::X;

or even

typedef typename A<Object>::X X;

virtual Y* f() {return new Y;}
};

int main(void) {
B<intb;
b.f();
}

Error messages:
test.cpp:20: error: expected class-name before '{' token
test.cpp: In instantiation of `B<int>':
test.cpp:25: instantiated from here
test.cpp:21: error: invalid covariant return type for `B<Object>::Y*
B<Object>::f() [with Object = int]'
test.cpp:11: error: overriding `A<Object>::X* A<Object>::f() [with
Object = int]'

V
--
Please remove capital 'A's when replying by e-mail
I do not respond to top-posted replies, please don't ask

[mufenhsieh]

Thank you very much.