重载C++模板类虚函数

Question

#include <iostream>

template<class T>
struct Base
{
    virtual void foo(T val)
    {
        T local = val + val;    // THE OFFENDING LINE OF CODE
        std::cout << "Base" << std::endl;
    }   
};

struct SimpleDerived : public Base<std::string>
{
    virtual void foo(std::string val)
    {
        std::cout << "SimpleDerived" << std::endl;
    }
};

struct SimpleObject
{
    int value;
};

struct ComplexDerived : public Base<SimpleObject>
{
    virtual void foo(SimpleObject val)
    {
        std::cout << "ComplexDerived" << std::endl;
    }   
};

int main(void)
{
    Base<int> base;
    base.foo(2);

    SimpleDerived simpleDerived;
    simpleDerived.foo("hello world");

    SimpleObject object;
    ComplexDerived complexDerived;
    complexDerived.foo(object);

    return 0;
}

ComplexDerived从base派生，并使用自定义结构SimpleObject对其进行专门化。complexderived也重载foo。然而，这才是问题的根源。如果我尝试编译它，我会得到：

quicktest.cpp: In member function ‘void Base<T>::foo(T) [with T = SimpleObject]’:
quicktest.cpp:47:1:   instantiated from here
quicktest.cpp:8:19: error: no match for ‘operator+’ in ‘val + val’

显然，SimpleObject没有运算符“+”。但这是我的困惑…编译器被要求实现基 ::foo ，因为这是complederived继承的内容。但是，我从不使用或调用基 ::foo 。那么编译器应该尝试生成这个基类函数吗？

Answer 1

C++11标准第14.7.1/10段规定：

实现不应隐式实例化函数模板、成员模板、非虚成员函数、成员类或不需要实例化的类模板的静态数据成员。如果不实例化类模板的虚拟成员函数，则未指定实现是否隐式实例化该类模板的虚拟成员函数。[...]

换句话说，这种情况下的行为是特定于实现的。