C#中string与string?的区别：添加问号的实际作用是什么？

问题背景 #

既然 string 这类引用类型本身就能赋值为 null，那声明变量时加问号（string?）到底有什么用？比如下面两段代码：

string test = null;
string? test = null;

在 Visual Studio 里，第二行不会触发空值警告。我们都知道值类型里 int 和 int? 的区别是前者不能赋值 null，后者可以——加问号是把它变成可空值类型。但 string 本身就可空，难道加问号只是告诉编译器「我知道这变量可能为空，接受相关风险」？

核心作用：明确空值意图，配合编译器空值分析 #

没错，对于引用类型来说，string? 本质上是给编译器的一个「意图声明」，而非改变变量本身的可空性：

• 不带 ? 的 string：在启用空值分析的项目里，编译器会默认认为这个变量「应该非空」，如果你给它赋值 null，或者没做空值检查就直接使用它，就会触发警告——这是编译器在帮你提前规避意外的空引用异常。
• 带 ? 的 string?：相当于你明确告诉编译器「我清楚这个变量可能为空，后续会自己处理空值情况」，所以编译器不会对它的赋值或直接使用（比如调用方法）触发不必要的空值警告。

这是 C# 8.0 引入的**可空引用类型（Nullable Reference Types）**特性的一部分，核心目的是通过静态分析提前揪出潜在的空引用问题。和值类型的可空修饰符逻辑不同：值类型加?是真的改变了存储结构（用Nullable<T>包装），而引用类型加?只是给编译器加了个「提示标签」，用来明确你对变量空值状态的预期。

举个实际例子，在启用空值分析的项目里：

string name = null; // 触发警告：将 null 赋值给非可空引用类型
Console.WriteLine(name.Length); // 触发警告：可能出现空引用异常

但改成 string? name = null; 后，这两处警告都会消失，因为编译器知道你已经认可了空值的可能性，会把空值处理的责任交给你。

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