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

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

本文关键字：函数 调用 不正确 虚拟      更新时间：2023-10-16

我正在尝试从类的被覆盖的虚拟函数中调用模板化函数。 不幸的是，我似乎只能调用默认实现。

#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;
}

输出是(见：这里(

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与类模板 [1] 不兼容有关。原则上，我想生成不同版本的B类，这些版本将覆盖虚拟foo函数并调用 bar 的适当专业化(取决于类模板参数(。

我知道我可以只拥有 B 类的部分专业化，但这会导致我的设计出现大量重复代码和其他复杂性。(我也知道其中一些可以通过模板化继承来缓解(。

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

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

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);
}

在线编译器

相关文章：