コンパイラは、コンパイル時に派生クラスへのポインターを取得できず、それが基底クラスを持っていることを認識できませんか? 次のテストに基づいて、できないようです。問題が発生する場所については、最後に私のコメントを参照してください。
どうすればこれを機能させることができますか?
std::string nonSpecStr = "non specialized func";
std::string const specStr = "specialized func";
std::string const nonTemplateStr = "non template func";
class Base {};
class Derived : public Base {};
class OtherClass {};
template <typename T> std::string func(T * i_obj)
{ return nonSpecStr; }
template <> std::string func<Base>(Base * i_obj)
{ return specStr; }
std::string func(Base * i_obj)
{ return nonTemplateStr; }
class TemplateFunctionResolutionTest
{
public:
void run()
{
// Function resolution order
// 1. non-template functions
// 2. specialized template functions
// 3. template functions
Base * base = new Base;
assert(nonTemplateStr == func(base));
Base * derived = new Derived;
assert(nonTemplateStr == func(derived));
OtherClass * otherClass = new OtherClass;
assert(nonSpecStr == func(otherClass));
// Why doesn't this resolve to the non-template function?
Derived * derivedD = new Derived;
assert(nonSpecStr == func(derivedD));
}
};