5
निम्नलिखित कोड को देखते हुए:व्युत्पन्न ब्रेक स्थानांतरण करने के लिए टेम्पलेट विधि संकलन
template<typename T>
class A
{
public:
T t;
};
class B
{
public:
void foo(int i) {}
template<typename T>
void foo(A<T>& a) {}
};
int main()
{
A<int> a;
B b;
b.foo(a );
b.foo(a.t);
}
यह संकलित करता है तथा ठीक काम करता है; B::foo() के सही अधिभारित संस्करणों को चुना गया है और a और a.t के लिए बुलाया गया है।
अब मैं एक नया वर्ग C जो B से निकला लागू करने और B से बाहर है और C में ::foo() के टेम्पलेट संस्करण के लिए कदम:
template<typename T>
class A
{
public:
T t;
};
class B
{
public:
void foo(int i) {}
};
class C: public B
{
public:
template<typename T>
void foo(A<T>& a) {}
};
int main()
{
A<int> a;
C c;
c.foo(a ); // Fine
c.foo(a.t); // Error
}
और अब कोड अब और संकलन नहीं होंगे। विजुअल स्टूडियो 2005 बताते हुए है:
error C2784: 'void C::foo(A<T> &)' : could not deduce template argument for 'A<T> &' from 'int'
वास्तव में, इस त्रुटि में किसी भी int मूल्य परिणामों के साथ C::foo() बुला। यह लगभग int के लिए विधि ओवरलोड की तरह लगता है टेम्पलेट अधिभार द्वारा छुपाया जा रहा है।
ऐसा क्यों हो रहा है? क्या यह विजुअल स्टूडियो 2005 के कंपाइलर के साथ कुछ मुद्दा है? दुर्भाग्यवश, मैं अभी किसी अन्य कंपाइलर पर इसका परीक्षण नहीं कर सकता।
किसी भी जानकारी की सराहना की जाती है।