Is there an option to make spreading an object strict?

by

Interesting question. According to this issue, the result of the spread operator is intended to not trigger excess property checks.


// barObject has more props than Foo, but spread does not trigger excess property checks
const fooObject: Foo = { ...barObject };

// b is explicit property, so checks kicks in here
const foo: Foo = { ...bar, b: 2 }

There aren’t exact types for TypeScript currently, but you can create a simple type check to enforce strict object spread:

// returns T, if T and U match, else never
type ExactType<T, U> = T extends U ? U extends T ? T : never : never

const bar: Bar = { a: "a string", b: 1 };
const foo: Foo = { a: "foofoo" }

const fooMergeError: Foo = { ...bar as ExactType<typeof bar, Foo> }; // error
const fooMergeOK: Foo = { ...foo as ExactType<typeof foo, Foo> }; // OK

With a helper function, we can reduce redundancy a bit:

const enforceExactType = <E>() => <T>(t: ExactType<T, E>) => t

const fooMergeError2: Foo = { ...enforceExactType<Foo>()(bar) }; // error

Code sample

More Related Contents:

  1. How to define Typescript type as a dictionary of strings but with one numeric “id” property
  2. Expression ___ has changed after it was checked
  3. Could not find a declaration file for module ‘module-name’. ‘/path/to/module-name.js’ implicitly has an ‘any’ type
  4. How to suppress “error TS2533: Object is possibly ‘null’ or ‘undefined'”?
  5. Why does A | B allow a combination of both, and how can I prevent it?
  6. TypeScript conditional types – filter out readonly properties / pick only required properties
  7. Typescript: infer type of generic after optional first generic
  8. Typescript Discriminated Union allows invalid state
  9. Why can’t I return a generic ‘T’ to satisfy a Partial?
  10. Define global constants
  11. Parameters generic of overloaded function doesn’t contain all options
  12. What does ‘declare’ do in ‘export declare class Actions’?
  13. “parserOptions.project” has been set for @typescript-eslint/parser
  14. How to use namespaces with import in TypeScript
  15. Difference between type[] and [type] in typescript
  16. ES7 Object.entries() in TypeScript not working
  17. Extend (Update) third-party old type declaration interface with new one
  18. Why do subtypes need to be assigned to a variable before being used as a function argument?
  19. Typescript narrowing of keys in objects when passed to function
  20. ‘Property does not exist on type ‘never’
  21. What do square brackets mean where a field should be in typescript?
  22. Typescript type T or function () => T usage
  23. Flatten object with custom keys in Typescript
  24. TypeScript empty object for a typed variable
  25. Typescript: change function type so that it returns new value
  26. What does a TypeScript index signature actually mean?
  27. Why does a Typescript type conditional on `T extends undefined`, with T instantiated with `boolean`, resolve T to `never`?
  28. What exactly $event object do in Angular 2?
  29. new Typescript “satisfies” operator
  30. Narrowing a return type from a generic, discriminated union in TypeScript

Leave a Comment