C# 字符串的类型？是 TypeKind.Class

Question

重新表述问题:我有一个等式比较器，其通用类型约束为 class

public class ReferenceEqualityComparer<T> : IEqualityComparer<T> where T : class
{
    public static ReferenceEqualityComparer<T> Default => new();

    public bool Equals(T? x, T? y) => ReferenceEquals(x, y);

    public int GetHashCode(T? obj) => RuntimeHelpers.GetHashCode(obj);
}

上课时我们说

public class A
{
   public string? P1{get; set;}
}

由代码生成器使用

[Generator]
public class MyCodeGenerator : ISourceGenerator
{
}

NetAnalyzer 表示 string? 有一个 TypeKind 类

但是当我这样做时，

#nullable enable        
[TestMethod]
public void RefTest()
{
    string? s1 = "adsad";
    string? s3 = s1;
    Assert.IsTrue(ReferenceEqualityComparer<string?>.Default.Equals(s1, s3));
}
#nullable restore

它说string?与“class”约束不匹配。即使分析器告诉我它是一个类，我是否在这里遗漏了一些东西？或者我误解了这个概念？

原问题:根据Nullable的描述从 Microsoft 文档来看，它们被归类为 structs，但为什么 CodeAnalyzer 告诉我 string 的 TypeKind？ 是 TypeKind.Class？

这里有一些上下文，在我正在编写的库中，对源生成(C# 9 源生成器)的类进行了分析，这本质上是使用 .NetAnalyzer。将检查类的每个属性是否将其类型视为类。事实证明 string? 被视为一个类。

Answer 1

There is C# 中可空类的特定约束，因此从编译时约束的角度来看，SomeRefType? 与 T:class 不匹配，但会匹配 T:class? .

where T : class The type argument must be a reference type. This constraint applies also to any class, interface, delegate, or array type. In a nullable context in C# 8.0 or later, T must be a non-nullable reference type.

where T : class? The type argument must be a reference type, either nullable or non-nullable. This constraint applies also to any class, interface, delegate, or array type.

因此，在可为 null 的上下文中，您可能需要使用第二个:

public class ReferenceEqualityComparer<T> : IEqualityComparer<T> where T : class?

这不会对 string? 和 string 发出任何警告。