c# – 值类型是否包含引用类型？

我明白,使用值类型超过引用类型的决定应该基于语义,而不是性能.我不明白为什么价值类型可以合法地包含引用类型的成员？这是由于几个原因：

对于一个,我们不应该构建一个要求构造函数的结构体.

public struct MyStruct
{
    public Person p;
    // public Person p = new Person(); // error: cannot have instance field initializers in structs

    MyStruct(Person p)
    {
        p = new Person();
    }
}

二,由于价值类型语义：

MyStruct someVariable;
someVariable.p.Age = 2; // NullReferenceException

编译器不允许我在声明中初始化Person.我必须把它移到构造函数,依靠调用者,或者期待一个NullReferenceException.这些情况都不理想.

.NET框架是否有值类型中的引用类型的例子？我们该怎么做(如果有的话)？

值类型的实例不包含引用类型的实例.引用类型的对象位于托管堆上,值类型对象可能包含对该对象的引用.这样的参考具有固定的大小.这是很常见的,例如每次在结构体中使用字符串时.

但是,是的,您不能保证在struct中初始化引用类型的字段,因为您无法定义一个无参数的构造函数(如果用除C#之外的语言定义它也不能保证被调用).

你说你应该“不建立一个需要一个构造函数的结构体”.我说不.因为值类型几乎总是不可变的,所以你必须使用一个构造函数(很可能通过一个工厂到一个私有构造函数).否则它永远不会有任何有趣的内容.

使用构造函数.构造函数很好.

如果您不想传入Person的实例来初始化p,则可以通过属性使用延迟初始化. (因为很明显,公共场所p只是为了示范,对不对？)

public struct MyStruct
{
    public MyStruct(Person p)
    {
        this.p = p;
    }

    private Person p;

    public Person Person
    {
        get
        {
            if (p == null)
            {
                p = new Person(…); // see comment below about struct immutability
            }
            return p;
        }
    }

    // ^ in most other cases, this would be a typical use case for Lazy<T>;
    //   but due to structs' default constructor, we *always* need the null check.
}