什么时候应该明确使用`this`指针?

时间:2009-06-14 18:02:41

标签: c++ this

我什么时候应该在一个方法中明确地写this->member 一个班级?

12 个答案:

答案 0 :(得分:103)

通常情况下,您不必隐含this->

有时,名称含糊不清,可用于消除类成员和局部变量的歧义。但是,这是一个完全不同的情况,明确要求this->

请考虑以下代码:

template<class T>
struct A {
   int i;
};

template<class T>
struct B : A<T> {

    int foo() {
        return this->i;
    }

};

int main() {
    B<int> b;
    b.foo();
}

如果省略this->,编译器将不知道如何处理i,因为它可能存在于A的所有实例中,也可能不存在。为了告诉i确实是A<T>的成员,对于任何T,都需要this->前缀。

注意:可以使用以下方法省略this->前缀:

template<class T>
struct B : A<T> {

    using A<T>::i; // explicitly refer to a variable in the base class

    int foo() {
        return i; // i is now known to exist
    }

};

答案 1 :(得分:29)

如果在与现有成员同名的方法中声明局部变量,则必须使用this-&gt; var来访问类成员而不是局部变量。

#include <iostream>
using namespace std;
class A
{
    public:
        int a;

        void f() {
            a = 4;
            int a = 5;
            cout << a << endl;
            cout << this->a << endl;
        }
};

int main()
{
    A a;
    a.f();
}

打印:

5
4

答案 2 :(得分:15)

有几个原因可能需要明确使用this指针。

  • 如果要将对象的引用传递给某个函数。
  • 当存在与成员对象同名的本地声明的对象时。
  • 当您尝试访问dependent base classes的成员时。
  • 有些人更喜欢使用符号来直观地消除代码中成员访问的歧义。

答案 3 :(得分:5)

  1. 成员变量将被隐藏的位置 一个局部变量
  2. 如果你只是想要 明确表示你明白了 正在调用实例方法/变量

  3. 一些编码标准使用方法(2),因为它们声称它使代码更容易阅读。

    实施例:
    假设MyClass有一个名为'count'的成员变量

    void MyClass::DoSomeStuff(void)
    {
       int count = 0;
    
       .....
       count++;
       this->count = count;
    }
    

答案 4 :(得分:4)

另一种情况是调用运算符。例如。而不是

bool Type::operator!=(const Type& rhs)
{
    return !operator==(rhs);
}
你可以说

bool Type::operator!=(const Type& rhs)
{
    return !(*this == rhs);
}

哪个可能更具可读性。另一个例子是复制和交换:

Type& Type::operator=(const Type& rhs)
{
    Type temp(rhs);
    temp.swap(*this);
}

我不知道为什么它没有写swap(temp),但这似乎很常见。

答案 5 :(得分:4)

虽然我通常不喜欢它,但我见过其他人使用这个 - &gt;只需从intellisense获得帮助!

答案 6 :(得分:4)

使用this 必须的情况很少,还有一些情况下使用this指针是解决问题的一种方法。

1)可用替代方案:解决局部变量和班级成员之间的歧义as illustrated by @ASk

2) No Alternative:从成员函数返回this的指针或引用。当重载operator+operator-operator=等时,经常会这样做(并且应该完成):

class Foo
{
  Foo& operator=(const Foo& rhs)
  {
    return * this;
  }
};

这样做允许一个称为“method chaining”的习语,您可以在一行代码中对一个对象执行多个操作。如:

Student st;
st.SetAge (21).SetGender (male).SetClass ("C++ 101");
有些人认为这是一种弊端,其他人则认为这是一种憎恶。把我算在后一组。

3)无替代方案:解析依赖类型中的名称。这在使用模板时出现,如下例所示:

#include <iostream>


template <typename Val>
class ValHolder
{
private:
  Val mVal;
public:
  ValHolder (const Val& val)
  :
    mVal (val)
  {
  }
  Val& GetVal() { return mVal; }
};

template <typename Val>
class ValProcessor
:
  public ValHolder <Val>
{
public:
  ValProcessor (const Val& val)
  :
    ValHolder <Val> (val)
  {
  }

  Val ComputeValue()
  {
//    int ret = 2 * GetVal();  // ERROR:  No member 'GetVal'
    int ret = 4 * this->GetVal();  // OK -- this tells compiler to examine dependant type (ValHolder)
    return ret;
  }
};

int main()
{
  ValProcessor <int> proc (42);
  const int val = proc.ComputeValue();
  std::cout << val << "\n";
}

4)可用替代方案:作为编码风格的一部分,记录哪些变量是成员变量而不是局部变量。我更喜欢不同的命名方案,其中成员varibales永远不会与locals同名。目前我正在使用mName作为成员,name作为本地人。

答案 7 :(得分:3)

你只需要使用这个 - &gt;如果在两个潜在的命名空间中有一个具有相同名称的符号。举个例子:

class A {
public:
   void setMyVar(int);
   void doStuff();

private:
   int myVar;
}

void A::setMyVar(int myVar)
{
  this->myVar = myVar;  // <- Interesting point in the code
}

void A::doStuff()
{
  int myVar = ::calculateSomething();
  this->myVar = myVar; // <- Interesting point in the code
}

在代码中的有趣点,引用myVar将引用本地(参数或变量)myVar。要访问也称为myVar的类成员,您需要明确使用“this-&gt;”。

答案 8 :(得分:3)

其他用途(正如我在阅读摘要和一半问题时所想的那样......),忽略(坏)在其他答案中命名消歧,如果你想要转换当前对象,将其绑定在一个函数对象,或者使用指向成员的指针。

施放

void Foo::bar() {
    misc_nonconst_stuff();
    const Foo* const_this = this;
    const_this->bar(); // calls const version

    dynamic_cast<Bar*>(this)->bar(); // calls specific virtual function in case of multi-inheritance
} 

void Foo::bar() const {}

结合

void Foo::baz() {
     for_each(m_stuff.begin(), m_stuff.end(),  bind(&Foo:framboozle, this, _1));        
     for_each(m_stuff.begin(), m_stuff.end(), [this](StuffUnit& s) { framboozle(s); });         
} 

void Foo::framboozle(StuffUnit& su) {}

std::vector<StuffUnit> m_stuff;

PTR到构件

void Foo::boz() {
    bez(&Foo::bar);
    bez(&Foo::baz);
} 

void Foo::bez(void (Foo::*func_ptr)()) {
    for (int i=0; i<3; ++i) {
        (this->*func_ptr)();
    }
}

希望显示其他用途,而不仅仅是这个&gt;成员。

答案 9 :(得分:2)

您需要使用this来消除参数/局部变量和成员变量之间的歧义。

class Foo
{
protected:
  int myX;

public:
  Foo(int myX)
  {
    this->myX = myX; 
  }
};

答案 10 :(得分:1)

我发现了另一个在Effective C ++书中明确使用“this”指针的有趣案例。

例如,假设您有一个像

这样的const函数
  unsigned String::length() const

您不希望计算每个调用的String长度,因此您希望将其缓存为类似

的内容
  unsigned String::length() const
  {
    if(!lengthInitialized)
    {
      length = strlen(data);
      lengthInitialized = 1;
    }
  }

但是这不会编译 - 你正在改变const函数中的对象。

解决这个问题的技巧需要将 this 强制转换为非const this

  String* const nonConstThis = (String* const) this;

然后,您将能够在上面进行

  nonConstThis->lengthInitialized = 1;

答案 11 :(得分:1)

this指针的主要(或者我可以说是唯一的)目的是它指向用于调用成员函数的对象。

基于此目的,我们可以在某些情况下只使用this指针来解决问题。

例如,我们必须在成员函数中返回调用对象,其中参数是一个相同的类对象:

class human {

... 

human & human::compare(human & h){
    if (condition)
        return h;       // argument object
    else 
        return *this;   // invoking object
    }
};