Hello experts!
I have two class template below with names Array and CheckedArray.
The class template CheckedArray is derived from the class template Array
which is the base class
This program works fine but there in one thing that I'm unsure about
and that is the inheritance statement.
What difference is it if I have this construction
class CheckedArray : public Array<T>
compared to this construction. .
class CheckedArray : public Array
Note the type parameter <T> has been removed
I don't get any compile error or run time error if I use the
last statement that with the missing <T> for the base class
See definition for the class template CheckedArray
about this class CheckedArray : public Array<T>
From here to the end is code for the two class templates Array and
CheckedArray
**************************************
Here start the definition of the class template Array
***************************************
template <typename T>
class Array
{
public:
Array(int s=100) : size(s)
{ array = new T[size]; }
Array(const Array<T>& ar) : size(ar.size)
{
array = new T[ar.size];
for(int i=0; i<size; i++)
array[i] = ar.array[i];
}
bool operator==(const Array<T>& ar)
{
for (int i=0; i<size; i++)
if (array[i] != ar.array[i])
return false;
return true;
}
Array<T>& operator=(const Array<T>& ar)
{
if (this == &ar)
return *this;
if (size != ar.size)
{
size = ar.size;
delete[] array;
array = new T[size];
for(int i=0; i<size; i++)
array[i] = ar.array[i];
return *this;
}
}
virtual ~Array()
{ delete[] array; }
virtual const T& operator[](int i) const
{ return array[i]; }
virtual T& operator[](int i)
{ return array[i]; }
int getSize() const
{ return size; }
typedef T element_type;
protected:
int size;
T* array;
};
************************************************** *****************
Here start the definition of the class template CheckedArray
************************************************** ******************
template <typename T>
//class CheckedArray : public Array // Alternative 1
class CheckedArray : public Array<T> // Alternative 2
{
public:
CheckedArray(int = 100);
CheckedArray(const CheckedArray<T>&);
CheckedArray<T>& operator=(const CheckedArray<T>&);
virtual ~CheckedArray();
virtual const T& operator[](int) const;
virtual T& operator[](int);
bool operator==(const CheckedArray<T>&);
};
template <typename T>
bool operator==(const CheckedArray<T>&, const CheckedArray<T>&);
template <typename T>
bool operator!=(const CheckedArray<T>&, const CheckedArray<T>&);
template <typename T>
CheckedArray<T>::CheckedArray(int size) : Array<T>(size) {}
template <typename T>
CheckedArray<T>::CheckedArray(const CheckedArray<T>& ar) : Array<T>(ar) {}
template <typename T>
CheckedArray<T>& CheckedArray<T>::operator=(const CheckedArray<T>& ar)
{
if (this == &ar)
return *this;
if (size != ar.size() ) cout << "Error" << endl;
Array<T>::operator=(ar);
return *this;
}
template <typename T>
bool CheckedArray<T>::operator==(const CheckedArray<T>& ar)
{
if (getSize() != ar.getSize() ) cout << "error" << endl;
return Array<T>::operator==(ar);
}
template <typename T>
CheckedArray<T>::~CheckedArray() {}
template <typename T>
T& CheckedArray<T>::operator[](int i)
{
if (i < 0 || i >= size) cout << "error" << endl;
return array[i];
}
template <typename T>
const T& CheckedArray<T>::operator[](int i) const
{
if (i < 0 || i >= size) cout << "error" << endl;
return array[i];
}
template <typename T>
bool operator!=(const CheckedArray<T>& ar1, const CheckedArray<T>& ar2)
{ return !(ar1 == ar2); }
Many thanks
//Tony 5 2069
Tony Johansson wrote: Hello experts!
I have two class template below with names Array and CheckedArray. The class template CheckedArray is derived from the class template Array which is the base class
This program works fine but there in one thing that I'm unsure about and that is the inheritance statement. What difference is it if I have this construction class CheckedArray : public Array<T> compared to this construction. . class CheckedArray : public Array Note the type parameter <T> has been removed
I don't get any compile error or run time error if I use the last statement that with the missing <T> for the base class See definition for the class template CheckedArray about this class CheckedArray : public Array<T>
You don't get any error because you don't instantiate CheckedArray. A
conforming compiler probably should issue an error, because in the
later case Array is not argument dependent and should be looked up at
the point of CheckedArray's declaration. But some compilers defer the
lookup till instantiation time.
Try instatiating a CheckedArray by adding a line with:
template class CheckedArray<int>;
"Maxim Yegorushkin" <ma***************@gmail.com> skrev i meddelandet
news:11**********************@g47g2000cwa.googlegr oups.com... Tony Johansson wrote: Hello experts!
I have two class template below with names Array and CheckedArray. The class template CheckedArray is derived from the class template Array which is the base class
This program works fine but there in one thing that I'm unsure about and that is the inheritance statement. What difference is it if I have this construction class CheckedArray : public Array<T> compared to this construction. . class CheckedArray : public Array Note the type parameter <T> has been removed
I don't get any compile error or run time error if I use the last statement that with the missing <T> for the base class See definition for the class template CheckedArray about this class CheckedArray : public Array<T>
You don't get any error because you don't instantiate CheckedArray. A conforming compiler probably should issue an error, because in the later case Array is not argument dependent and should be looked up at the point of CheckedArray's declaration. But some compilers defer the lookup till instantiation time.
Try instatiating a CheckedArray by adding a line with:
template class CheckedArray<int>;
What do you mean with this template class CheckedArray<int>; ?
Explain that to me?
Is it to instansiate an object of class template CheckedArray
like CheckedArray<int> c(1);
When I do add this statement CheckedArray<int> c(1);
to the main program I get compile error if I use CheckedArray : public Array
and that is what you pointed out to me. I had forgot to do so in the main
program
Many thanks
//Tony
Ok, if you instantiate a type, you get an object; if you instantiate a class
template, you get a type (class type).
Given
template <typename T>
class stack{ /* ... */ };
stack<int> buff;
stack<string> contacts;
stack<stack<bool> > freak;
then
* stack is NOT a type, its a class template;
* stack<int>, stack<string>, stack<stack<bool> > are types, used just as
int and char;
* buff, contacts and freak are objects (variables).
Now, because stack<int>, stack<string> and stack<stack<bool> > are class
types, you can inherit from them:
class contact_list: public stack<string>
{ /* ... */ };
The derive class can itself be an instantiation of a class template:
template <typename T>
class improved_stack: private stack<T>
{ /* ... */ };
Therefore, improved_stack<int> derives from stack<int>,
improved_stack<string> derives from stack<string>...
However, you can't inherit from a non-type, such as a class template:
class silly_stack:
private stack //error, stack of what?
{ /* ... */ };
Regards,
Ben
P.S. I would like to kindly recommand you to read some book on templates,
C++ Templates, The Complete Guide by Vandevoorde and Josuttis is joy to
read!
Tony Johansson wrote:
[] Try instatiating a CheckedArray by adding a line with:
template class CheckedArray<int>; What do you mean with this template class CheckedArray<int>; ? Explain that to me?
This syntax is explicit template instantiation. You make a compiler
instantiate a template and all its non template member functions.
Is it to instansiate an object of class template CheckedArray like CheckedArray<int> c(1);
No. Explicit instantiation does not yield an object.
Good explaind
Thanks
//Tony
"benben" <moc.liamtoh@hgnohneb read backward> skrev i meddelandet
news:43***********************@news.optusnet.com.a u... Ok, if you instantiate a type, you get an object; if you instantiate a class template, you get a type (class type).
Given
template <typename T> class stack{ /* ... */ };
stack<int> buff; stack<string> contacts; stack<stack<bool> > freak;
then * stack is NOT a type, its a class template; * stack<int>, stack<string>, stack<stack<bool> > are types, used just as int and char; * buff, contacts and freak are objects (variables).
Now, because stack<int>, stack<string> and stack<stack<bool> > are class types, you can inherit from them:
class contact_list: public stack<string> { /* ... */ };
The derive class can itself be an instantiation of a class template:
template <typename T> class improved_stack: private stack<T> { /* ... */ };
Therefore, improved_stack<int> derives from stack<int>, improved_stack<string> derives from stack<string>...
However, you can't inherit from a non-type, such as a class template:
class silly_stack: private stack //error, stack of what? { /* ... */ };
Regards, Ben
P.S. I would like to kindly recommand you to read some book on templates, C++ Templates, The Complete Guide by Vandevoorde and Josuttis is joy to read! This thread has been closed and replies have been disabled. Please start a new discussion. Similar topics |
by: jesse |
last post by:
I am frustrated by class specialization. i don't
think it helps me a lot.
suppose we have
template <class T>
class Talkative
{
T& t;
public:
|
by: Gandu |
last post by:
Could some C++ guru please help me? I have a very odd problem with respect
templates and inheritance. I have templatized List class, from which I am
inheriting to create a Stack class. All works...
|
by: Thomas Matthews |
last post by:
Hi,
I would like to apply inheritance to a template parameter, but my design
fails to compile: cannot initialize one template class with child
child parameterized class. I'll explain...
...
|
by: darkstorm |
last post by:
I have a doubt regarding inheritance involving templates
Consider this:
/////////////////////////////////////
template<typename T>
class A
{
private:
T m_a;
|
by: Tony Johansson |
last post by:
Hello Experts!
I reading a book called programming with design pattern revealed
by Tomasz Muldner and here I read something that I don't understand
completely.
Im I right if I say the...
| |
by: makc.the.great |
last post by:
now that I am looking at templates, there's the question.
why same effect couldn't/shouldn't be achieved with inheritance?
provided the difference of the two, when and where do I use templates...
|
by: Steve Jorgensen |
last post by:
A while back, I started boning up on Software Engineering best practices and
learning about Agile programming. In the process, I've become much more
committed to removing duplication in code at a...
|
by: Joe |
last post by:
We are working on a project that requires 3rd parties (ie, consultants) to
use our ASP.net webforms in a very reusable manner. The big catch is that
we are not allowed to give them source. There...
|
by: Massimo |
last post by:
Hi to all, I'm facing a problem in a particularly complex inheritance
hierarchy, and I'd like to know what the standard says about it and if my
compiler is correct in what it does.
I have two...
|
by: marktang |
last post by:
ONU (Optical Network Unit) is one of the key components for providing high-speed Internet services. Its primary function is to act as an endpoint device located at the user's premises. However,...
|
by: Hystou |
last post by:
Most computers default to English, but sometimes we require a different language, especially when relocating. Forgot to request a specific language before your computer shipped? No problem! You can...
| |
by: Oralloy |
last post by:
Hello folks,
I am unable to find appropriate documentation on the type promotion of bit-fields when using the generalised comparison operator "<=>".
The problem is that using the GNU compilers,...
|
by: Hystou |
last post by:
Overview:
Windows 11 and 10 have less user interface control over operating system update behaviour than previous versions of Windows. In Windows 11 and 10, there is no way to turn off the Windows...
|
by: tracyyun |
last post by:
Dear forum friends,
With the development of smart home technology, a variety of wireless communication protocols have appeared on the market, such as Zigbee, Z-Wave, Wi-Fi, Bluetooth, etc. Each...
|
by: isladogs |
last post by:
The next Access Europe User Group meeting will be on Wednesday 1 May 2024 starting at 18:00 UK time (6PM UTC+1) and finishing by 19:30 (7.30PM).
In this session, we are pleased to welcome a new...
|
by: conductexam |
last post by:
I have .net C# application in which I am extracting data from word file and save it in database particularly. To store word all data as it is I am converting the whole word file firstly in HTML and...
|
by: TSSRALBI |
last post by:
Hello
I'm a network technician in training and I need your help.
I am currently learning how to create and manage the different types of VPNs and I have a question about LAN-to-LAN VPNs.
The...
| |
by: 6302768590 |
last post by:
Hai team
i want code for transfer the data from one system to another through IP address by using C# our system has to for every 5mins then we have to update the data what the data is updated ...
| |