黑C + +铝

我同意“非用不可”的说法。不必要地用它修饰代码并不是一个好主意，因为当你忘记这样做时，编译器不会警告你。这可能会给那些期待它一直在那里的人带来困惑，也就是说，他们必须考虑它。

那么，你什么时候会使用它呢?我只是看了一些随机的代码，并找到了这些例子(我不判断这些是好事还是坏事):

将“yourself”传递给一个函数。 将“你自己”分配给一个指针或类似的东西。 铸造，即上/下铸造(安全或其他)，铸造constness等。 编译器强制消歧。

这个关键字在c#中有几种用法。

限定由相似名称隐藏的成员 将对象本身作为参数传递给其他方法 使对象从方法中返回自身 声明索引器 声明扩展方法 在构造函数之间传递参数 在内部重新分配值类型(struct)值。 在当前实例上调用扩展方法 转换为另一种类型 到同一类中定义的链构造函数

可以通过在作用域中不使用相同名称的成员变量和局部变量来避免第一种用法，例如通过遵循通用命名约定并使用属性(Pascal大小写)而不是字段(驼峰大小写)来避免与局部变量冲突(也是驼峰大小写)。在c# 3.0中，可以使用自动实现的属性轻松地将字段转换为属性。

我倾向于用_来强调字段，所以真的不需要使用这个。r#也倾向于将它们重构掉……

我使用它的时候，在一个函数中，接受了对同一类型对象的引用，我想完全清楚我引用的是哪个对象，在哪里。

例如

class AABB
{
  // ... members
  bool intersects( AABB other )
  {
    return other.left() < this->right() &&
           this->left() < other.right() &&

           // +y increases going down
           other.top() < this->bottom() &&
           this->top() < other.bottom() ;
  }
} ;

(vs)

class AABB
{
  bool intersects( AABB other )
  {
    return other.left() < right() &&
           left() < other.right() &&

           // +y increases going down
           other.top() < bottom() &&
           top() < other.bottom() ;
  }
} ;

AABB的right()指的是哪一个?这增加了一点澄清。

我只在需要的时候使用它，除了对称操作，由于单参数多态性不得不把它放在一边的方法中:

boolean sameValue (SomeNum other) {
   return this.importantValue == other.importantValue;
} 

c++中还有一种用法没有提到，那就是不引用自己的对象，也不从接收到的变量中消除成员的歧义。

您可以使用它在从其他模板继承的模板类中将非依赖名称转换为依赖参数的名称。

template <typename T>
struct base {
   void f() {}
};

template <typename T>
struct derived : public base<T>
{
   void test() {
      //f(); // [1] error
      base<T>::f(); // quite verbose if there is more than one argument, but valid
      this->f(); // f is now an argument dependent symbol
   }
}

模板是用两遍机制编译的。在第一次传递过程中，只解析和检查非参数相关的名称，而仅检查相关名称的一致性，而不实际替换模板参数。

At that step, without actually substituting the type, the compiler has almost no information of what base<T> could be (note that specialization of the base template can turn it into completely different types, even undefined types), so it just assumes that it is a type. At this stage the non-dependent call f that seems just natural to the programmer is a symbol that the compiler must find as a member of derived or in enclosing namespaces --which does not happen in the example-- and it will complain.

解决方法是将非相关名称f转换为相关名称。这可以通过几种方式来实现，通过显式地声明它实现的类型(base<T>::f——添加base<T>使符号依赖于T，编译器只会假设它存在，并在参数替换后推迟第二次传递的实际检查。

第二种方法，如果你从有多个参数或长名称的模板继承，那就排序得更好，就是在符号前添加一个this->。因为你实现的模板类确实依赖于一个实参(它继承自base<T>) this->是实参依赖的，并且我们得到了相同的结果:this->f在模板形参替换之后的第二轮被检查。