使用 - >在模板中，以迫使下面的符号是依赖

Question

从问题：

Proper use of this->

，答案状态 - >可用于

..在一个模板中，为了强制使用以下符号为 ，在后一种情况下，它通常是不可避免的。

这是什么意思？这个用法的好例子是什么？在这种情况下，我不太相信“依赖”的意思，但这听起来像是一个有用的技巧。

Answer 1

发表在其他问题：

template <class T> 
struct foo : T { 
    void bar() { 
    x = 5;  // doesn't work 
    this->x = 5; // works - T has a member named x 
    } 
}; 

没有this->编译器不知道x是（继承）成员。

类似使用的typename和template模板代码里面：

template <class T, class S> 
struct foo : T { 
    typedef T::ttype<S>; // doesn't work 
    typedef typename T::template ttype<S> footype; // works 
}; 

这是愚蠢的，有点多余，但你仍然必须这样做。

Answer 2

template <typename T> 
struct Base 
{ 
    void foo() {} 
}; 

template <typename T> 
struct Derived : Base<T> 
{ 
    void bar() 
    { 
    // foo(); //foo() is a dependent name, should not call it like this 
    // Base<T>::foo(); //This is valid, but prevents dynamic dispatch if foo is virtual 
    this->foo(); //use of this-> forces foo to be evaluated as a dependent name 
    } 
}; 

更详细的解释可以在C++ FAQ

Answer 3

见Using this keyword in destructor [closed]。

这很丑陋，但这个丑陋直接来自“现代”模板的通用名称绑定规则（与由MS实现的宏模板相反）。