Question

请考虑以下代码：

#include <iostream>

template <typename T_VAL>     // not used template argument
struct Foo {        int x;    };

template <typename T_VAL>
struct Bar {        int x;    };

template <typename T_VALUE>
struct A
{
    // just 2 overloaded data() members:

    virtual void data(Foo<T_VALUE>) {
        std::cout << "FOO EMPTY\n";
    }

    virtual void data(Bar<T_VALUE>) {
        std::cout << "BAR EMPTY\n";
    }
};


template <typename T_VALUE>
struct B : public A<T_VALUE>
{
    void data(Foo<T_VALUE>) {
        std::cout << "smart FOO impl\n";
    }
};


int main(void) {

    B<float> TheObject;
    Bar<float> bar;

    TheObject.data(bar); // I expect virtual base call here
    return 0;
}

编译器消息是：

tmpl.cpp: In function 'int main()':
tmpl.cpp:43:14: error: no matching function for call to 'B<float>::data(Bar<float>&)'
  TheObject.data(bar);
                    ^

void data(Bar<T_VALUE>) - ＆gt; void data(Bar<T_VALUE>&)不会改变任何内容

为什么派生类B没有虚拟空数据（Bar＆amp;）？

Answer 1

其他data被隐藏。

待办事项

template <typename T_VALUE>
struct B : public A<T_VALUE>
{
    using A<T_VALUE>::data; // Add this line
    void data(Foo<T_VALUE>) {
        std::cout << "smart FOO impl\n";
    }
};

C ++基本模板类虚拟方法不会出现在派生中？

1 个答案: