I have an array of given union type, then wants to check if a string from a superset of the union type is contained in the array (runtime check):
const validOptions: ("foo" | "bar")[] = ["foo", "bar"]
type IArrType = typeof validOptions[number]
const key: IArrType | "alien" = "alien" // Rather: some random function
const isKeyInArr = validOptions.indexOf(key) > -1 // Error: "alien" is not assignable to "foo" | "bar"
// Fix 1:
const isKeyValidCast = validOptions.indexOf(<IArrType>key) > -1
// Fix 2:
const isKeyValidExplicit =
key === "alien" ? false : validOptions.indexOf(key) > -1 // OK: type guard magic
Fix 1 is OK but not very elegant. Fix 2 fools the compiler but is misleading and inefficient runtime. In my case the "alien" string type is just a placeholder for any string not in the union type.
Is there any ways this can be compiled without casting or explicit tests? Can the expression be negated so that we get this "type guard" to work?
BTW: This very cool answer show how to construct a typed tuple from a list of values: Typescript derive union type from tuple/array values
The accepted answer uses type assertions/casting but from the comments it appears the OP went with a solution using find
that works differently. I prefer that solution also, so here's how that can work:
const configKeys = ['foo', 'bar'] as const;
type ConfigKey = typeof configKeys[number]; // "foo" | "bar"
// Return a typed ConfigKey from a string read at runtime (or throw if invalid).
function getTypedConfigKey(maybeConfigKey: string): ConfigKey {
const configKey = configKeys.find((validKey) => validKey === maybeConfigKey);
if (configKey) {
return configKey;
}
throw new Error(`String "${maybeConfigKey}" is not a valid config key.`);
}
Note that this can guarantee that a string is a valid ConfigKey
both at runtime and compile time.
The biggest problem is how to handle all possible values that are not ConfigurationKeys
without explicitly checking each one. I named them Configuration as it's very common scenario.
You can hide logic behind your own guard function that tells compiler: I can handle type checks, trust me. It's recognized by value is ConfigurationKeys
return type.
Code example (live):
type ConfigurationKeys = "foo" | "bar";
function isConfiguration(value: string): value is ConfigurationKeys {
const allowedKeys: string[] = ["foo", "bar"];
return allowedKeys.indexOf(value) !== -1;
}
const key: string = "alien" // Rather: some random function
if (isConfiguration(key)) {
// key => ConfigurationKeys
} else {
// key => string
}
I found writing own guard functions as very clean solution to work with Union types. Sometimes type casting is still needed, but here you hide casting and logic within single piece of code.
Reference:
If you love us? You can donate to us via Paypal or buy me a coffee so we can maintain and grow! Thank you!
Donate Us With