为何C#结构体成员方法无法返回字段引用，非成员方法却可以？

先来看第一种场景：当你尝试在结构体的实例方法里返回实例字段的readonly ref时，编译器会直接抛出错误：

struct Foo {
    internal int _x;
    public ref readonly int MemberGetX() => ref _x;
    // ^^^
    // Error CS8170: Struct members cannot return 'this' or other instance members by reference
}

对应的错误提示是 CS8170: Struct members cannot return 'this' or other instance members by reference。

但如果换成用扩展方法实现完全相同的逻辑，代码却能正常编译运行：

static class FooExtensions {
    public static ref readonly int ExtensionGetX( this in Foo foo ) {
        return ref foo._x;
    }
}

关于第一种场景被禁止的原因已有相关讨论，但很多人会疑惑：为什么扩展方法就能绕过这个限制？

更新：包含可修改引用的完整示例 #

下面是去掉readonly的完整代码，对比了无法编译的实例方法、可行的扩展方法，以及普通静态方法的用法：

struct Foo {
    internal int _x;

    // 无法编译，触发CS8170错误
    // public ref int GetXRefMember() => ref _x;

    public int X => _x;
}

static class FooExtensions {
    public static ref int GetXRefExtension( this ref Foo foo ) {
        return ref foo._x;
    }

    public static ref int GetXRef( ref Foo foo ) {
        return ref foo._x;
    }
}

class Program {
    static void Main( string[] args ) {
        var f = new Foo();
        Console.WriteLine( f.X );

        f.GetXRefExtension() = 123;
        Console.WriteLine( f.X );

        // 不用扩展方法也能实现，但调用者必须显式指定ref
        FooExtensions.GetXRef( ref f ) = 999;
        Console.WriteLine( f.X );

        /* 输出：
         * 0
         * 123
         * 999
         */
    }
}

这里还有个有意思的细节：扩展方法会隐式处理ref传递，而普通静态方法要求调用者显式写ref——这是C#语法层面的设计，目的是兼顾便捷性和代码清晰度，避免开发者误操作。

为什么扩展方法被允许？ #

核心原因在于结构体实例方法和扩展方法的调用语义本质不同：

• 结构体的实例方法默认会接收this的拷贝（除非标记为ref struct或者方法用ref修饰this），如果允许返回实例字段的引用，很可能会返回一个指向临时拷贝的引用，后续操作会导致不可预期的行为甚至内存问题。C#编译器直接禁止这种情况，是从根源上避免潜在bug。
• 而扩展方法的this参数是显式声明的（比如this in Foo foo或this ref Foo foo），开发者可以明确控制参数的传递方式：
  • 如果用in修饰，会传递只读的引用，编译器会确保你不会修改这个引用指向的内容；
  • 如果用ref修饰，会传递可修改的引用，调用者也能通过语法（比如扩展方法调用时的隐式ref，或者普通静态方法的显式ref）明确感知到这个操作会影响原始结构体实例。

简单来说，扩展方法把结构体的引用传递控制权交给了开发者，而编译器只需要确保你显式声明了传递方式，就不会像实例方法那样存在“隐式拷贝导致引用失效”的风险，因此允许这种写法。

内容的提问来源于stack exchange，提问作者tg73