Encoding does not ignore undefined values about typebox HOT 2 CLOSED

@ayazhafiz Hi,

Yeah, this is expected behavior (at least under the current design). Transforms work by using a 2-phase approach that will Map() and Check() in different orders depending on if you call Decode() or Encode() (and where Map() means running your Transform callback)

Decode() -> Check() -> Map()

Encode() -> Map() -> Check()

These phases are run after one another as distinct stages. TypeBox tries to avoid calls to Check() during the Map() phases and vice versa (so it's difficult to detect an invalid value during the Map() phase). Instead, it just trusts the user is submitting the correct value or it will throw either a TransformEncodeError for Map() or TransformEncodeCheckError for Check().

ExactOptionalPropertyTypes

So just on the following line...

const x: O = { a: undefined }; // this should be an error

Just keep in mind that { a: undefined } is actually an invalid value despite the type being optional. The type + optional means "the "a" key can be omitted, but if specified, it must be Date". TypeScript is a bit loose by default when it comes to this, but does provide the exactOptionalPropertyTypes configuration that will catch these kind of errors. Quick example at the link below with the option enabled.

TypeScript Link Here

import { Type, StaticDecode } from '@sinclair/typebox'

const TDate = Type.Transform(Type.String())
  .Decode((value) => new Date(value))
  .Encode((value) => value.toISOString());

const TO = Type.Object({ a: Type.Optional(TDate) })

type O = StaticDecode<typeof TO>;

const x: O = { a: undefined }; // caught with TS exactOptionalPropertyTypes: true

So, just mentioning this as it can have some consequences with respect to implementing Transforms (and looks to be the source of this issue). The best practice for writing Transforms is to try and write them defensively and to be a bit mindful about some of the nuance of end user TS configurations. For local codebases, you can switch on the exactOptionalPropertyTypes to catch this kind of error early. If you decide to do this, TypeBox provides a configuration option to get things lining up at runtime.

https://github.com/sinclairzx81/typebox?tab=readme-ov-file#policies

import { TypeSystemPolicy } from '@sinclair/typebox/system'

// Disallow undefined values for optional properties (default is false)
//
// const A: { x?: number } = { x: undefined } - disallowed when enabled

TypeSystemPolicy.ExactOptionalPropertyTypes = true

Hope this helps!
S

from typebox.

@ayazhafiz Heya,

Might close off this issue as things are generally working as expected. If you have any follow up questions though, feel free to ping on this thread.

All the best!
S

from typebox.