如何让Kotlin识别UUID.randomUUID()返回非空UUID类型？

Great question! I’ve dealt with this exact Java interop quirk before—platform types like UUID! can be annoying when you know for sure the value will never be null. Here are your best options:

• Explicitly declare the variable type (quickest for one-off calls)
  Instead of letting Kotlin infer the platform type, just specify UUID as the type when you assign the result:

  val myUuid: UUID = UUID.randomUUID()
  

  Kotlin will accept this because it knows UUID.randomUUID() never actually returns null, even though the Java method doesn’t have nullability annotations. No !! needed here.

• Create a simple wrapper function (cleanest for repeated use)
  If you call this method a lot, wrap it in a top-level or extension function that explicitly returns a non-null UUID:

  // Put this in a utility file, e.g., UuidUtils.kt
  fun randomUUID(): UUID = UUID.randomUUID()
  

  Now every time you call randomUUID(), you get a guaranteed non-null UUID without any extra syntax. This is my go-to solution for common Java interop methods like this.

• Use Kotlin Contracts (experimental, for advanced cases)
  If you want to avoid a wrapper but still hint to the compiler that the result is non-null, you can use experimental contracts. Note that this requires enabling experimental APIs:

  import kotlin.contracts.ExperimentalContracts
  import kotlin.contracts.contract
  
  @OptIn(ExperimentalContracts::class)
  fun safeRandomUUID(): UUID {
      contract {
          returnsNotNull()
      }
      return UUID.randomUUID()
  }
  

  This tells the compiler that this function will never return null, so it treats the result as non-null. Just keep in mind that contracts are experimental and might change in future Kotlin versions.

The root issue here is that Java’s UUID.randomUUID() doesn’t have nullability annotations, so Kotlin treats it as a platform type (UUID!)—meaning it could be null or non-null. But since we know from the Java docs that this method always returns a valid UUID, we can use these tricks to skip the !! boilerplate.

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