为何Nullable<T>结构体可赋值null，自定义同结构结构体却不行？

这是个非常好的问题！核心原因在于**Nullable<T>（也就是我们常写的T?）是C#编译器和.NET运行时（CLR）专门做了特殊支持的“特权”值类型**，它的很多行为并不是普通结构体通过模仿成员就能复刻的。下面具体拆解：

1. 编译器层面的语法糖直接支持 #

当你写Nullable<int> i = null;时，C#编译器会自动把这段代码转换成：

Nullable<int> i = new Nullable<int>();

也就是直接创建一个HasValue为false的Nullable<T>空实例。这种把null赋值给Nullable<T>的写法，是编译器专门为它提供的语法糖——编译器知道Nullable<T>的设计意图，帮你做了自动转换。

而你的MyNullable<T>只是一个普通的自定义结构体，编译器没有为它做任何特殊处理，所以直接赋值null会报错：值类型本身不能被赋值为null。

2. CLR对装箱拆箱的特殊规则 #

除了语法糖，CLR也对Nullable<T>做了特殊处理：

• 当Nullable<T>的HasValue为false时，对它进行装箱操作，结果会直接变成null，而不是装箱成一个Nullable<T>的实例；
• 反过来，把null拆箱到Nullable<T>类型时，CLR会自动生成一个HasValue为false的Nullable<T>实例。

这种特殊的装箱拆箱逻辑，是CLR内置的，自定义结构体无法享受这个待遇。

3. 内置的转换与运算符支持 #

C#编译器还为Nullable<T>自动生成了很多便捷的转换和运算符重载：

• 从T到Nullable<T>的隐式转换（比如int x = 5; Nullable<int> i = x;）；
• 从Nullable<T>到T的显式转换（需要检查HasValue，否则抛出异常）；
• 重载了==和!=运算符，比如i == null会被编译成检查i.HasValue == false；
• 还有和其他Nullable<T>类型的比较逻辑等。

这些都是编译器为Nullable<T>量身定做的，你的自定义MyNullable<T>如果想要类似效果，必须手动实现所有的转换和运算符重载，即便如此，也没法完全复刻Nullable<T>的所有特殊行为。

想要自定义类型支持类似赋值null？试试手动实现转换 #

如果你想让MyNullable<T>也能支持MyNullable<int> i = null;的写法，可以手动实现一个从null到MyNullable<T>的隐式转换：

public struct MyNullable<T> where T : struct
{
    public bool HasValue { get; }
    public T Value { get; }

    public MyNullable(T value)
    {
        HasValue = true;
        Value = value;
    }

    // 实现从null到MyNullable<T>的隐式转换
    public static implicit operator MyNullable<T>(object? _)
    {
        return new MyNullable<T>();
    }

    // 可选：重载==运算符，支持和null比较
    public static bool operator ==(MyNullable<T> left, object? right)
    {
        if (right is null)
            return !left.HasValue;
        return false;
    }

    public static bool operator !=(MyNullable<T> left, object? right)
    {
        return !(left == right);
    }

    // 别忘了重写Equals和GetHashCode，符合值类型的规范
    public override bool Equals(object? obj)
    {
        if (obj is MyNullable<T> other)
        {
            if (!HasValue && !other.HasValue) return true;
            return HasValue && other.HasValue && Value.Equals(other.Value);
        }
        return false;
    }

    public override int GetHashCode()
    {
        return HasValue ? Value.GetHashCode() : 0;
    }
}

不过即便这样，它也只是“模拟”了Nullable<T>的部分行为，没法达到系统类型那种和编译器、CLR深度绑定的效果。

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