c#编译时提高兼容性_幻像类型提高了编译时的安全性

c#编译时提高兼容性

介绍

使用幻像类型是一种非常简单的技术，可用于提高代码的编译时安全性。有很多潜在的用例，其复杂性程度各不相同，但是即使幻像类型的轻量级使用也可以显着提高编译时的安全性。幻像类型只是带有未使用类型参数的参数化类型。例如：

public class MyPhantomType<T> {public String sayHello() {return 'hello';}// other methods/fields that never refer to T
}

该示例类的类型参数为T，但实际上从未在代码中使用。乍一看，这似乎没有什么用，但事实并非如此！幻像类型的所有对象实例都带有类型信息，因此该技术可用于“标记”带有一些可在编译时检查的额外信息的值。当然，我们可以通过编写不带泛型的代码来随时逃避键入操作，但是应该不惜一切代价避免这种情况。某些语言（例如Scala）完全不允许删除类型参数，因此使用Scala时，您将始终必须完全保留类型信息。

示例用例和实现

幻像类型最简单，最有用的用例之一是数据库ID。如果我们有一个典型的三层（数据，服务，Web）Java Web应用程序，则可以通过在架构的“端点”以外的任何地方用幻像类型替换原始id来获得大量的编译时安全性。因此，数据层会将原始ID放入数据库查询中，而Web层可能会从外部资源（例如HTTP参数）获取原始ID，但是否则，我们始终会处理幻像类型。在此示例中，我假设数据库ID类型始终为64位长数字。首先，我们需要将由所有“实体类”实现的标记器接口，该接口应受幻像类型id机制支持：

public interface Entity {Long getId();
}

该标记接口的唯一目的是将我们的幻像型id限制为一组标记的类，并提供将在实现中使用的getId方法。实际的幻像类型是单个id值的不可变容器。 type参数表示id的“目标类型”，这使得可以以编译时安全的方式在不同实体的id值之间进行区分。我喜欢将此类称为Ref（参考的简写），但这只是个人选择。

@Value
@RequiredArgsConstructor(AccessLevel.PRIVATE)
public final class Ref<T extends Entity> implements Serializable {public final long id;  public static <T extends Entity> Ref<T> of(T value) {return new Ref<T>(value.getId());}public static <T extends Entity> Ref<T> of(long id, Class<T> clazz) {return new Ref<T>(id);}@Overridepublic String toString() {return String.valueOf(id);}}

此示例类使用Project Lombok中的@Value和@RequiredArgsConstructor批注。如果您不使用Lombok，请手动添加构造函数，getter，equals和hashCode实现（或在下面查找完整的实现）。请注意，类型参数T永远不会在任何地方使用。这也意味着您在运行时无法知道Ref的类型，但这通常不是必需的。

使用示例实现

现在，我们将在可能的情况下将原始ID替换为Refs。例如，我们可以有一个将用户添加到组中的服务级别方法：

void addUserToGroup(long userId, long groupId);
// without parameter names
void addUserToGroup(long, long);// VSvoid addUserToGroup(Ref<User> userRef, Ref<Group> groupRef);
// without parameter names
void addUserToGroup(Ref<User>, Ref<Group>);

现在，当我们要调用此方法时，将始终需要Ref对象而不是原始的long值。在此示例中，有两种获取参考值的方法。

如果您有实际对象的实例，请调用Ref.of（object）。这是除Web以外的其他层中最常见的方法
如果您有原始ID，并且知道目标类型，请调用Ref.of（id，TargetType.class）。如果原始ID来自外部，则通常在Web层中需要这样做

为了从Ref中提取原始ID值，您可以阅读该字段或使用吸气剂。通常仅在数据库查询构建之前才需要这样做。

总结思想

为了了解裁判的好处，请尝试考虑以下情况：

如果您在采用不同类型ID的方法调用中更改参数顺序，会发生什么情况？（例如我们的addUserToGroup）
如果更改数据库ID的类型（例如Integer-> Long或Long-> UUID）会发生什么？
如果您经常具有与id相同类型但不是id的方法参数，那么您将有多大可能出现运行时错误？例如，如果您具有整数ID，并且在同一方法中混合了ID和某种列表索引

在所有这些情况下，使用Refs都可以确保在代码不正确的地方出现编译时错误。在典型的代码库中，这是不费吹灰之力的巨大胜利。编译时的安全性降低了重构的成本和难度，这使得维护代码库变得非常容易和安全。

数据库ID只是幻像类型的简单示例。其他典型用例包括某种状态机（例如，Order <InProcess>，Order <Completed>与仅Order对象），以及某种类型的值单位信息（例如，LongNumber <Weight>，LongNumber <Temperature>与longs）。

Ref <T>实现（无Lombok）

public final class Ref<T extends Entity> implements Serializable {public final long id;public static <T extends Entity> Ref<T> of(T value) {return new Ref<T>(value.getId());}public static <T extends Entity> Ref<T> of(long id, Class<T> clazz) {return new Ref<T>(id);}@Overridepublic String toString() {return String.valueOf(id);}private Ref(long id) {this.id = id;}public long getId() {return this.id;}@Overridepublic int hashCode() {return (int) (id ^ (id >>> 32));}@Overridepublic boolean equals(Object o) {if (this == o)return true;if (o == null || o.getClass() != this.getClass())return false;Ref<?> other = (Ref<?>) o;return other.id == this.id;}
}

参考： Gekkio的技术博客博客中的JCG合作伙伴 Joonas Javanainen提出了幻像类型，提高了编译时安全性。