如果在 C++ 中使用它是否重要？二传手？

Question

假设我有一个带有私有变量 x 的 C++ 类。对于它的setter来说，使用this有什么区别吗？如果我不使用this，是否可能会出现不需要/意​​外的行为？

Setter：

void setX(double input)
{
   x = input;
}

使用 this 的 Setter：

void setX(double x)
{
   this->x = x;
}

Answer 1

这两个代码片段（假设它们是内联成员函数，因为没有 ClassName:: 位）完全相同。使用您喜欢的任何一个。不过，我倾向于建议不要将参数命名为与成员变量相同的名称；很容易把它们搞混。

Answer 2

由于类模板的两阶段查找，可能需要 this 来

1. 显式声明您的意思是成员
2. ，因为查找规则，编译器可能会假设另一个可见的实体表示

（请参阅第一个示例） 两者是等效的。

在非模板情况下，您通常避免使用 this;生成的代码将是相同的，因此不会有任何差异（参见第二个示例）。
原因是编译器将尝试查找它看到的每个符号。第一个查找位置是类范围（块和函数范围除外）。如果它在那里找到该名称的符号，它将隐式发出this。实际上，成员函数只是带有不可见参数的普通函数。

class Foo {
    void foo () { x = 0; }
    void bar () const { std::cout << x; }
    void frob();
    int x;
};
void Foo::frob() {}

实际上是

class Foo {        
    int x;
};
inline void foo (Foo *const this) { this->x = 0; }
inline void bar (Foo const * const this) { std::cout << this->x; }
void frob (Foo * const this) {}

由编译器转变成的。

---

模板中 this 的行为示例：

#include <iostream>

void foo() {
    std::cout << "::foo()\n";
}

template <typename>
struct Base {
    void foo() const { std::cout << "Base<T>::foo()\n"; }
};

template <typename T>
struct Derived_using_this : Base<Derived_using_this<T> > {
    void bar() const { this->foo(); }
};

template <typename T>
struct Derived_not_using_this : Base<Derived_not_using_this<T> > {
    void bar() const { foo(); }
};


int main () {
    Derived_not_using_this<void>().bar();
    Derived_using_this<void>().bar();
}

输出：

::foo()
Base<T>::foo()

非模板的示例程序集：

使用 this：

pushq   %rbp
movq    %rsp, %rbp
subq    $16, %rsp
movq    %rdi, -8(%rbp)
movq    -8(%rbp), %rax
movl    (%rax), %eax
movl    %eax, %esi
movl    $.LC0, %edi
movl    $0, %eax
call    printf
leave
ret

不使用 this：

pushq   %rbp
movq    %rsp, %rbp
subq    $16, %rsp
movq    %rdi, -8(%rbp)
movq    -8(%rbp), %rax
movl    (%rax), %eax
movl    %eax, %esi
movl    $.LC0, %edi
movl    $0, %eax
call    printf
leave
ret

验证自己：

test.cc：

#include <stdio.h> // Don't use this. I just did so for nicer assembly.

class Foo {
public:
    Foo () : i(0) {}

    void with_this() const { printf ("%d", this->i); }
    void without_this() const { printf ("%d", i); }
private:
    int i;
};


int main () {
    Foo f;
    f.with_this();
    f.without_this();
}

运行 g++ -S test.cc。您将看到一个名为 test.s 的文件，您可以在其中搜索函数名称。

Answer 3

当涉及模板时，此变体会产生语法差异。然而，它在语义上是相同的； this-> 变体只是让您更清楚地知道您正在访问当前对象并避免潜在的冲突。

Answer 4

void setX(double x)
{
    this->x = x;
}

如果成员变量 x 会被参数 x 遮盖，则明确需要 this-> 以确保您分配给正确的多变的。否则不需要。

但我不建议您将参数命名为与成员变量相同的名称。您给出的第一个示例的陷阱较少。

Answer 5

它们之间没有区别。

Answer 6

尽管您的代码可以工作，但它是糟糕的代码，并且可能会让某些人感到困惑。

最好给“setX()”参数一个不同的名称。

例如

void setX(double new_x)
{
   x = new_x;
}

Answer 7

没关系。我使用的代码约定规定所有私有变量都应通过 this 访问，以使代码更具可读性。但除了可读性之外，我认为没有任何区别。