结构体中使用可空值类型成员：内存层面有哪些影响？

一、可空值类型的额外标记字节会不会引发问题？ #

首先明确：可空值类型（比如int?）本质是泛型结构体Nullable<T>，内部包含T Value和bool HasValue两个成员，本身属于值类型范畴。作为struct的成员时，它完全遵循值类型的内存布局规则，不会产生底层内存问题。

对于你提到的“作为访问索引的可空int”——只要在使用前先判断HasValue（比如if (myStruct.Index.HasValue)），就不会有异常。如果直接使用未赋值的可空int当索引，不管它是否在struct中，都会抛出InvalidOperationException，这是逻辑层面的问题，而非底层内存导致的。

另外，包含可空成员的struct字节大小依然是确定且一致的：每个可空成员会占用sizeof(T) + sizeof(bool)的空间（编译器会自动处理内存对齐的 padding 问题），整个struct的内存大小固定，和仅包含普通值类型成员的struct没有本质区别。

二、结构体赋值时，可空成员的行为 #

当执行structB = structA这类赋值操作时，可空成员会被完整复制，和普通值类型成员的行为完全一致，不会出现类似引用类型“指向同一内存对象”的情况。

举个实际示例：

public struct MyStruct
{
    public int? Index;
}

// 使用场景
MyStruct structA = new MyStruct { Index = 5 };
MyStruct structB = structA;
structB.Index = 10;

// 此时structA.Index仍为5，structB.Index为10，二者完全独立

因为可空值类型是值类型，赋值时会复制它的所有内部成员（Value和HasValue），所以两个struct的可空成员是互相独立的副本，修改其中一个不会影响另一个。

补充：结构体中引用类型的区别 #

顺便提一句你之前提到的struct包含引用类型的情况：引用类型的实例存储在堆上，struct里仅保存指向实例的引用（指针）。所以赋值struct时，复制的是这个引用，此时两个struct的引用类型成员会指向同一个堆对象。但可空值类型是纯值类型，完全不存在这个问题。

内容的提问来源于stack exchange，提问作者Spring E. Thing