从模板化 class 虚函数中调用的模板函数不正确

Question

我正在尝试从 class 的重写虚函数中调用模板函数。不幸的是，我似乎只能调用默认实现。

#include <iostream>
#include <string>
#include <typeinfo>
#include <memory>

template<typename T1,
         typename T2>
class B;

template<typename T1,
         typename T2>
void bar(B<T1, T2> &b)
{
    std::cout << "T1 = " << typeid(T1).name() << std::endl;
    std::cout << "T2 = " << typeid(T2).name() << std::endl;
    std::cout << "Default template" << std::endl;    
}

template<typename T2>
void bar(B<int, T2> &b)
{
    std::cout << "Specialized template" << std::endl;    
}

template<typename T1, typename T2>
void foobar(T1 t1, T2 t2)
{
    std::cout << "Default template [foobar]" << std::endl;
}

template<typename T2>
void foobar(int t1, T2 t2)
{
    std::cout << "Specialized template [foobar]" << std::endl;
}

class A 
{
public:
    A() {}
    ~A() {}

    virtual void foo() = 0;
};

template<typename T1,
         typename T2>
class B : public A 
{
public:
    B() {}
    ~B() {}

    void foo() override
    {
        std::cout << "T1 = " << typeid(T1).name() << std::endl;
        std::cout << "T2 = " << typeid(T2).name() << std::endl;
        bar<T1, T2>(*this);
    }
};

int main()
{
    auto a = new B<int, char>();
    a->foo();

    bar<int, char>(*a);

    int i = 0;
    char b = 'b';
    foobar(i, b);
    foobar(b, b);

    return 0;
}

输出是（见：here）

T1 = i
T2 = c
T1 = i
T2 = c
Default template
T1 = i
T2 = c
Default template
Specialized template [foobar]
Default template [foobar]

显然，覆盖的 foobar 函数工作正常，但是，对于 bar 函数，从未调用专门版本。控制台中的输出显示第一个模板参数显然是一个 int，因此应该调用覆盖的 bar 函数。

我感觉这与虚函数 foo 与 class 模板 [1] 不兼容有关。原则上，我想生成 B class 的不同版本，它们将覆盖虚拟 foo 函数并调用 bar 的适当专业化（取决于 class 模板参数).

我知道我可以只对 B class 进行部分特化，但这会导致大量重复代码和其他复杂的设计。（我也知道其中一些可以通过模板化继承来缓解）。

我主要只是好奇为什么尽管模板参数显然是正确的，但没有调用 bar 的正确版本。我想知道为什么会出现冲突，而不只是提出完全重新设计的建议。

Answer 1

这里的问题是 bar 实际上是两个独立的模板函数重载，首先具有优先级。要为函数模板定义部分特化，您可以使用代理模板 class 完成所有工作的技巧：

template<typename T1, typename T2> class
bar_impl
{
    public: static void
    Do(B<T1, T2> &b)
    {
        std::cout << "T1 = " << typeid(T1).name() << std::endl;
        std::cout << "T2 = " << typeid(T2).name() << std::endl;
        std::cout << "Default template" << std::endl;    
    }
};

template<typename T2> class
bar_impl<int, T2>
{
    public: static void
    Do(B<int, T2> &b)
    {
        std::cout << "Specialized template" << std::endl;   
    }
};

template<typename T1, typename T2> void
bar(B<T1, T2> &b)
{
    return bar_impl<T1, T2>::Do(b);
}

online compiler

从模板化 class 虚函数中调用的模板函数不正确

Incorrect template function being called from within a templated class virtual function

c++

templates

template-specialization