Sepidar
دوشنبه 22 خرداد 1385, 10:40 صبح
خوب بذار اینجوری بگم.
کد زیر رو در نظر بگیر:
class ClassU{};
class ClassA
{
protected:
virtual void SomeProc()=0;
};
class ClassA1:public ClassA
{
protected:
virtual void SomeProc();
};
void ClassA1::SomeProc()
{
// DoSomething();
}
تا اینجا ما یه کلاس ابسترکت داریم به اسم ClassA و یه کلاس فرزند این کلاس به اسم ClassA1 . همچنین یه کلاس کاملا مجزا داریم به اسم ClassU .
حالا تمپلیت زیر رو در نظر بگیر:
template <class Parent>
class ClassB:public Parent
{
public:
void AnotherProc();
};
template <class Parent> void ClassB<Parent>::AnotherProc()
{
Parent::SomeProc();
}
اینجا ما گفتیم که کلاس ClassB داره داره از کلاسی مشتق میشه که حتما متد SomeProc رو داره. اما هیچ کنترلی نداریم که پارامتر تمپلیت حتما از جنس ClassA یا مشتقاش باشه؛ بلکه هر کلاسی که متد SomeProc رو داشته باشه میتونه به جای Parent بشینه.
سوال من در مورد همین کنتزل آخره که تاکید کنیم که اون Parent که ClassB ازش داره ارث میبره حتما یکی از مشتقای ClassA هستش.
ممنون