Guava 是 Google 开发的一个 Java 核心库，它提供了一系列工具类，用于简化 Java 编程中的常见任务。以下是 Preconditions 和 Verify 两个工具类的使用示例：

Preconditions 类

Preconditions 类提供了一组静态方法，用于在代码中插入检查，确保方法的前提条件得到满足。如果条件不满足，它会抛出 IllegalArgumentException 或其他类型的异常。

import com.google.common.base.Preconditions;

public class Example {
    public static void main(String[] args) {
        // 检查对象非空
        String str = "Hello, Guava!";
        Preconditions.checkNotNull(str, "The string should not be null.");

        // 检查条件
        Preconditions.checkArgument(str.length() > 0, "The string should not be empty.");
        
        // 检查状态
        boolean isTrue = true;
        Preconditions.checkState(isTrue, "This should be true.");
    }
}

Verify 类

Guava 提供了 Verify 工具类的第三方库是 truth。以下是 truth 库中的 Verify 类的使用示例：

首先，您需要添加 truth 库到您的项目中。如果您使用 Maven，可以在 pom.xml 文件中添加以下依赖：

<dependency>
    <groupId>com.google.truth</groupId>
    <artifactId>truth</artifactId>
    <version>1.1.3</version>
    <scope>test</scope>
</dependency>

然后，您可以使用 Verify 类来验证对象状态：

import com.google.common.truth.Truth;
import com.google.common.truth.Verify;

public class Example {
    public static void main(String[] args) {
        Verify.verify("Hello, Guava!").isNotNull();
        Verify.verify("Hello, Guava!").isNotEmpty();
    }
}

请注意，Verify 类主要用于测试中，而不是在生产代码中。它提供了一种简洁的方式来验证测试中的条件和状态。在生产代码中，您通常会使用 Preconditions 或其他异常处理机制来确保代码的正确性。