我正在尝试虚拟模板功能实现。我在将this
指针转换为指向子类模板的指针时工作,但是当我将*this
转换为引用子类时,我无法使它工作,为什么?
template <typename T> struct BB; // forward reference (not bound until instantiation in main)
struct AA
{
virtual ~AA(){}
template <typename T>
void operator()(T && t)
{
dynamic_cast<BB<T>*>(this)->operator()(std::forward<T>(t)); // works!
dynamic_cast<BB<T>&>(*this)(std::forward<T>(t)); // compiles but throws bad_cast
}
};
template <typename T>
struct BB : AA
{
void operator()(T t) { std::cout << "BB::operator()" << std::endl; }
};
int main()
{
BB<int> bb;
int k = 5;
static_cast<AA&>(bb)(k);
}
答案 0 :(得分:4)
在通话Project
中,static_cast<AA&>(bb)(k);
推断为T
,包含int &
的派生程度最高的对象不属于*this
类型。因此,两个强制类型转换都会失败,并且指针间接会产生未定义的行为。