主页 / 问题 / 606849
Accepted
CSharpUser
Asked:2020-12-23 06:58:09 +0000 UTC2020-12-23 06:58:09 +0000 UTC

This 关键字及其在 Class\User 结构中的使用

  • 772

我注意到自定义结构和类中“ this ”关键字的语义完全不同。
例如，在结构中我们可以这样做： 

struct MyStruct
{
    int x,y;

    void Reset()
    {
        this = new MyStruct(); // удаляем предыдущую структуру и создаем новую О_О
    }
}

我想看看This关键字、结构和类之间的全部区别，并找出幕后发生的事情。

c#

2 个回答

  1. 我认为没有人会比语言规范更好地回答您。（顺便说一句，该规范位于您的计算机上，<Visual studio dir>\VC#\Specifications\1033\CSharp Language Specification.docx。）

    我将翻译第 7.6.7 节。

    this仅在非静态构造函数、方法或访问器的主体中允许通过访问 [这是一个 getter 或 setter - VladD ]。意思this是：

    • 当在非静态类构造函数中使用时，它被this视为一个. 该值的类型是发生使用的类的[实例]类型（参见§10.3.1），该值是对正在构造的对象的引用。
    • 当在非静态方法或访问器中使用时，它被this视为一个值。该值的类型是发生使用的类的 [实例] 类型（参见第 10.3.1 节），并且该值是对调用方法或访问器的对象的引用。
    • 当在非静态结构构造函数中使用时，它被this视为一个变量。这个变量的类型是使用发生的结构的[实例]类型（见§10.3.1），值代表正在构造的结构。this结构的 [instance] 构造函数中的变量的行为out与相同类型的 -parameter 完全相同；特别是，这意味着必须保证变量在任何构造函数执行路径上都被初始化。
    • 当在非静态方法或访问器中使用时，this它被视为变量。该变量的类型是使用发生的结构的[实例]类型（参见§10.3.1）。
      • 如果方法或访问器不是迭代器（参见第 10.14 节），则变量this表示调用方法或访问器的结构，其行为与ref该类型的 - 参数完全相同。
      • 如果方法或访问器是迭代器，则变量this代表调用方法或访问器的结构的副本，其行为与按值传递的相同类型的参数完全相同。

    （我通过删除primary-expression的提及来简化文本。）

    可以看出，对于类this来说是一个值，对于结构来说是一个变量。因此，对于结构，您可以分配此变量。

    • 5
  2. Best Answer

    最重要的区别是this结构类型的变量必须在结构的构造函数中显式分配。

    一个结构类型的变量，this 对于结构是一个结构类型的变量，如果它的每个字段都被显式赋值，则被认为是显式赋值的

    这对结构有何影响？

    这会影响设计师的工作。考虑以下结构声明示例

    struct EvenOdd
{
    int x, y;
    void make_even()
    {
        x &= ~0 << 1;
    }

    void make_odd()
    {
        y |= 1;
    }

    public EvenOdd( int x, int y )
    {
        this.x = x;
        make_even();
        this.y = y;
        make_odd();
    }
}

    对于这个结构声明，编译器会发出一条错误信息，

    错误 CS0188 在分配了所有字段之前无法使用该对象。

    因为在方法调用点make_even this还没有显式赋值，因为结构的数据成员y还没有被初始化。

    构造函数退出后，该变量this被认为是显式赋值的。

    您可以通过先调用默认构造函数来使先前的结构构造函数有效。

        public EvenOdd( int x, int y ) : this()
    {
        this.x = x;
        make_even();
        this.y = y;
        make_odd();
    }

    在这种情况下，在带参数的构造函数体内，变量this已经被显式赋值。

    如果把这个声明改成类声明，那么就不会有问题了this，它this不再是一个变量，而是一个值，这个类就能编译成功。

    class EvenOdd
{
    int x, y;
    void make_even()
    {
        x &= ~0 << 1;
    }

    void make_odd()
    {
        y |= 1;
    }

    public EvenOdd( int x, int y )
    {
        this.x = x;
        make_even();
        this.y = y;
        make_odd();
    }
}
    • 4

相关问题