通过条件类型上的泛型传递联合将赋值any而不是联合
，是指在 TypeScript 中使用条件类型和泛型来实现根据条件选择不同的类型，并将其赋值给一个变量，而不是使用联合类型。
在 TypeScript 中，条件类型可以根据一个条件表达式的结果来选择两种不同的类型。泛型则允许我们在定义函数、类或接口时使用参数化类型，以增加代码的灵活性和重用性。
当我们想要根据条件选择不同的类型，并将其赋值给一个变量时，可以使用条件类型上的泛型。通过将泛型参数设置为联合类型，然后在条件类型中使用该泛型参数，我们可以根据条件选择不同的类型，并将其赋值给变量。
下面是一个示例：
type IsString<T> = T extends string ? true : false;
function processValue<T>(value: T): IsString<T> extends true ? string : any {
if (typeof value === 'string') {
return value;
}
return any;
}
const result = processValue('Hello'); // result 的类型为 string在上面的示例中，我们定义了一个条件类型 IsString<T>，它根据泛型参数 T 是否为 string 类型来选择返回 true 或 false。然后，我们定义了一个函数 processValue，它接受一个参数 value，并根据 IsString<T> 的结果选择返回 string 或 any 类型。最后，我们调用 processValue 函数，并将 'Hello' 作为参数传递给它，得到的 result 变量的类型为 string。
这种通过条件类型上的泛型传递联合将赋值 any 而不是联合的技巧可以在某些情况下提供更精确的类型推断和类型安全性。
腾讯云相关产品和产品介绍链接地址：
- 腾讯云产品总览
- 云服务器 CVM
- 云数据库 MySQL
- 云原生容器服务 TKE
- 人工智能平台 AI Lab
- 物联网开发平台 IoT Explorer
- 移动应用开发平台 MTA
- 对象存储 COS
- 区块链服务 BaaS
- 腾讯云元宇宙 请注意，以上链接仅供参考，具体产品选择应根据实际需求进行评估。
相关·内容
1回答
是什么使编译器为这两种映射类型返回不同的结果：
type NonNullableObj1<O> = {[Key in keyof O] : O[Key] extends null ? never : O[Key]}
type NotNull<T> = T extends null ? never : T;
type NonNullableObj2<T> = {[P in keyof T]: NotNull<T[P]>}
type Nullable = {prop: string | null};
type ResultOf1 = NonN
浏览 5提问于2022-09-07得票数 0
回答已采纳
1回答
不知道我想要什么typescript功能，但我想我需要一个通用的(如果那是一个typescript功能)。下面是我的要求。
下面是我到目前为止所知道的。
interface Event {
type: string;
}
type EventType<T extends Event> = T['type'];
type EventHandler<T extends Event> = (event:T): void;
// so far so good
type EventTypeAndHandlerTuple <T extends Event
浏览 0提问于2021-02-13得票数 1
我使用下面的代码来跟踪异步请求状态。它使用_type作为鉴别器，也使用status。 在下面的代码中，我定义了两个AsyncStatus类型：LoginAsyncStatus和SearchAsyncStatus。它们在_type和success value方面有所不同。 问题是，TypeScript似乎错误地缩小了受歧视的联合的类型。 export type AsyncStatus<BrandT extends string, T = undefined> =
| { id: string; _type: BrandT; error?: never; state: "
浏览 20提问于2019-06-02得票数 0
我正在使用来学习TypeScript中的类型关系。
定义了类型函数IsAssignableTo
type IsAssignableTo<A, B> = A extends B ? true : false
我得到了想要的结果
type MyGoodType1 = IsAssignableTo<42, Object> // MyGoodType1 === true
type MyGoodType2 = IsAssignableTo<42, object> // MyGoodType2 === false
type MyG
浏览 4提问于2021-07-29得票数 1
回答已采纳
1回答
有一个接口：
interface BaseConfig<T = number> {
doSomething(value: T): void;
}
有一个函数在参数处接受此接口：
function test(config: BaseConfig<number> | BaseConfig<string>) {}
问:为什么value是any？我希望是string | number。
test({
doSomething(value) {} // <-- value is any
});
注意:如果不是在参数处使用泛型，而是在响应处使用泛型-一切都
浏览 19提问于2020-05-12得票数 1
这与我在Redux Saga生成器上遇到的一个问题有关。他们对call的定义之一是(不包括实现)： // this is taken from redux saga and cannot be changed
function call<Fn extends (...args: any[]) => any>(
fn: Fn,
...args: Parameters<Fn>
): CallEffect<SagaReturnType<Fn>> { ... } 我试着这样叫它： function test<F extends (a
浏览 23提问于2021-08-25得票数 0
当与extends关键字组合时，索引访问类型是如何工作的？
我无法解释为什么遵循false的结果
type Test<T extends readonly any[]> = T[number] extends true ? true: false
type R = Test<[true,true,false]>
结果：
false
浏览 4提问于2022-11-20得票数 1
回答已采纳
我希望能够在一个结构的两个字段之间强制执行相似，但在一个映射或切片中也有几个这样的结构。
下面是我的问题的一个简化示例：
package main
type foo[T any] struct {
f func() T
v T
}
type bar struct {
x []*foo[any]
}
func baz[T any](b *bar, f func() T) {
b.x = append(b.x, &foo[any]{f: f})
}
func main() {
var b bar
baz(&b, func()
浏览 4提问于2022-04-19得票数 0
回答已采纳
type A = [any] extends [never] ? true : false // false
type B = any extends never ? true : false //boolean
这让我想知道，为什么‘任何扩展’返回一个联合类型？
这就是文件所解释的：
When conditional types act on a generic type, they become distributive when given a union type.，但我没有应用联合类型
这也很奇怪：
type IsNever<T> = T extends never ?
浏览 0提问于2021-08-23得票数 1
回答已采纳
为什么下面的TypeScript代码无效？
type A = { kind: "a" }
type B = { kind: "b" }
const a = (a: A): void => undefined
const b = (b: B): void => undefined
const c = <C extends A | B>(c: C): void => (c.kind == "a" ? a(c) : b(c))
看来TypeScript无法理解在c.kind == "a"之后，c是一个A
浏览 0提问于2018-09-18得票数 2
回答已采纳
1回答
谈话很便宜，显示密码！顺便说一下，我正在测试的ts的版本是4.6.4
type ITypeA = ((args: { A: any }) => any) | ((args: { B: any }) => any);
type Test<T> = T extends (args: infer A) => any ? A : never;
// type Result1 = {
// A: any;
// } | {
// B: any;
// }
type Result1 = Test<ITypeA>;
// type Result
浏览 2提问于2022-05-26得票数 2
回答已采纳
由于类型记录的类型删除(类型注释、接口、类型和泛型类型参数都被编译器删除)，因此很难对某些类型约束进行建模。下面是我试图建立模型的例子，以及到目前为止我所取得的成就。
参数必须是类型本身，而不是类型的实例或文字
这可以通过引入Type<T>来解决，如下所示.
type Type<T = any> = {
new(...args: any[]): T;
readonly prototype: T;
readonly name: string;
}
我们现在可以定义一个函数，它将参数约束为类型，而不是类型的实例或文字.
function fn(p:
浏览 4提问于2020-05-13得票数 1
回答已采纳
是否有任何方法检查某一类型是否包括“未定义”类型？
type a = boolean | undefined;
type v = a extends undefined ? 'yes' : 'no'
我试过了，但不起作用。
浏览 4提问于2021-09-13得票数 2
回答已采纳
1回答
在不明确定义工会的每个成员的情况下，是否有任何方法可以根据联合中的键获取特定的联合类型的成员？
type Thing = {
type: "person",
data: {
name: "John"
}
} | {
type: "building",
data: {
address: "111 Main Street"
}
}
type Person = Thing["where 'type' = 'person'"];
浏览 3提问于2021-11-29得票数 0
回答已采纳
编辑:更新的、最小的示例(希望如此)：
将其全部分解，我想我的好奇心的核心是为什么这不起作用，并导致以下两个错误：
interface Implicit {
someNumber?: number | { value: number }
someString?: string | { value: string }
}
interface Explicit {
someNumber?: { value: number }
someString?: { value: string }
}
const impl:Implicit = {
someNumber: 123,
浏览 3提问于2022-05-18得票数 2
回答已采纳
1回答
问题
如何推断泛型类的泛型需求(扩展部分中的内容)？
解释
// UserGivenClassThatCouldHaveAnyGeneric
class A<T extends string> {
constructor(a: T) {}
}
我如何推断泛型T必须扩展string。我需要有条件的陈述中的这些信息。
我试过以下几种方法
type E<W> = any extends A<infer T> ? W extends T ? A<W> : void : void
当给定E不扩展T所需的内容时，W应该是无效的，但是当它扩展时，它应该是A
浏览 5提问于2020-04-08得票数 0
回答已采纳
我有一个对象，其中一个属性的类型依赖于另一个属性的类型。例如： // The item types
enum ItemType { APPLE, SANDWICH }
// Map of a given item type to it's options
type ItemTypeToOptionsMap = {
[ItemType.APPLE]: { ripeness: string }
[ItemType.SANDWICH: { filling: string }
}
// The item type in question
type Item<T extend
浏览 18提问于2020-06-26得票数 2
回答已采纳
1回答
跟踪泛型函数类型
、、
我正在实现一个类型记录函数，它接受一个单参数函数，并输出一个稍微修改过的版本，其中参数被包装在一个对象中。
我不知道如何跟踪原始函数的泛型：
// ts v4.5.5
type FnType<Arg, Ret> = (arg: Arg) => Ret
type Wrapped<VFn extends FnType<any, any>> = (wrap: {
_: VFn extends FnType<infer A, any> ? A : never
}) => VFn exte
浏览 5提问于2022-03-06得票数 1
回答已采纳
,是什么意思？它和|一样吗?它可以是第一种类型，也可以是任何类型？
CustomFieldValue<Sometype, any>
浏览 4提问于2020-03-20得票数 2
回答已采纳
我正在学习ts-工具箱库的源代码。我经常遇到这样的表达O extends unknown。在我看来，它没有增加任何功能。
所以我想知道，这是做什么的？
/**
* @hidden
*/
export type _UnionOf<O extends object> =
O[keyof O]
/**
* Transform an [[Object]] into an [[Union]]
* @param O to transform
* @returns [[Any]]
* @example
* ```ts
* ```
*/
export type Unio
浏览 7提问于2021-09-13得票数 3
回答已采纳
根据打字稿官方的部分，我想得到一个自定义的类型如下。
// This is typescript official example of documentation
declare function f<T extends boolean>(x: T): T extends true ? string : number;
let x = f(Math.random() < 0.5) // Type is 'string | number'
// This is what I do
declare function foo<Q, T extends bo
浏览 3提问于2020-02-25得票数 1
回答已采纳
我有一个基类ApiModel： class ApiModel {
static async fetch (params = {}, Model = this, apiPath = this.apiPath): Promise<any[] | PaginatedResponse> {
let { data } = await axios.get(apiPath, { params })
return Model.transformResponse(data)
}
} 以及从它继承的模型： class User extends ApiM
浏览 22提问于2019-01-04得票数 1
回答已采纳
2回答
故障理解类型索引
、、
我很难理解以下类型定义：
type MergeHandlersReturnType<H extends Record<string, any>> = {
[K in keyof H]: ReturnType<H[K]>
}[keyof H]
使用类似的类型对上面的定义进行分解，我不明白为什么下面给出编译器错误
interface R1 extends Record<string, any> {
"key1": () => 0|1
}
const v1: R1 = {
"key1": () =&g
浏览 7提问于2022-05-05得票数 1
回答已采纳
3回答
我有一个实用程序函数来检查变量是否为null或未定义，如果输入变量通过检查，我希望TypeScript缩小它的范围，例如：
public init(input?: string): void {
function isSpecified(input: any): boolean {
return (typeof input !== "undefined") && (input !== null);
}
if (isSpecified(input)) {
let copiedString: string =
浏览 3提问于2017-10-25得票数 2
回答已采纳
type AMessage = { type: 'a'; optionalNumber?: number; };
type BMessage = { type: 'b'; optionalString?: string; };
type Message = AMessage | BMessage;
function exchangeMessage<T extends Message>(message: T): Required<T> {
return null as any;
}
const message1 = exchange
浏览 8提问于2022-07-09得票数 1
回答已采纳
我看到了摘录的代码
type x = 'abc' | 'def' | 32;
type x2 = Extract<x, number>;
// ^? type x2: 32
提取代码是type Extract<T, U> = T extends U ? T : never
但如果我这样做，它就永远不会回来了
type x2 = x extends number ? x : never;
// ^? type x2: never
我无法理解这里的概念，当T extends U为真时，它返回T，在上面的例子中，T是x，如果条件是真，它不应该返
浏览 3提问于2022-11-09得票数 2
1回答
是否可以创建包含受歧视的联合中所有可能的键的类型(而不是仅包含共享的键)？
如果我有一个受歧视的工会，例如：
type Form =
| { name?: string }
| { name?: string; query: string };
type Keys = keyof Form;
目前，Keys解析为"name"，因为这是唯一的共享密钥，但是我希望它解析为"name" | "query" (作为所有可能的键的超集)。
浏览 4提问于2022-04-02得票数 1
回答已采纳
我想创建一个包装任意函数的函数，但对参数和结果保持相同的类型。例如，这将包装一个函数--但是类型将变成any // Note that the returned wrappedFn takes the same arguments as fn, and returns
// a value of the same type as the one returned by fn.
function myWrapper(fn: (...args: any[]) => any): (...args: any[]) => any {
return function wrappedFn(
浏览 16提问于2021-01-30得票数 0
回答已采纳
1回答
我在我的项目中使用react-select。
App.tsx
import "./styles.css";
import React, { useState } from "react";
import Select, { components, OptionProps } from "react-select";
const options = [
{
label: "label 1",
value: "value 1",
dialCode: "dialCode 1&#
浏览 11提问于2022-09-18得票数 0
回答已采纳
我有一个像这样的函数：
function getFirstDefined(...values: any) {
for (let value of values) {
if (!!value) {
return value;
}
}
return undefined;
}
它基本上是在参数列表中获取第一个未定义的值并返回它。
问题是，我必须向它添加类型，并且我希望它有一个基于传递给方法的参数类型的动态联合类型。
例如：
const var1: string = "Hello world!";
cons
浏览 8提问于2022-03-29得票数 0
回答已采纳
1回答
假设有一些类具有一个重要的泛型变量T，而另一个类有两个字段，一个是包装的，另一个不是：
class Wrapper<V> {
constructor(public value: V) {
}
clone(): Wrapper<V> {
return new Wrapper(this.value);
}
}
class SomeClass {
value1 = new Wrapper(1);
value2 = 2;
}
然后，我们需要一个方法wrapperValue，当给定对象(obj)和字段名(name
浏览 1提问于2022-04-29得票数 4
回答已采纳
给定data参数值等于T[dataKey]的IColumn接口
interface IColumn<T> {
dataKey: keyof T;
process?(data, record: T, index: number): any;
}
如何在IColumn实现中推断data的类型？
interface IImg {
img: string;
}
const columns: IColumn<IImg>[] = [{
dataKey: "img",
process(data) { // data is of
浏览 0提问于2020-01-15得票数 2
1回答
我想要定义一个XSD，它允许一个元素就其属性值之一拥有特定的子元素。此属性值使用多个xsd:enumeration定义。
以下是我的XML的实现方式：
<root>
<Conversion type="Phys" />
<Conversion type="Fact">
<Factor>13</Factor>
<Offset>37</Offset>
</Conversion>
<Conversion
浏览 1提问于2016-06-03得票数 1
回答已采纳
你能告诉我为什么下面的U和W类型是不同的吗？天真地说，您会认为它们是相同的:毕竟，我只是机械地将Weird定义中出现的类型参数T替换为应用了Weird的具体类型。
type Weird< T > = T extends undefined ? never : T;
type X = number | undefined;
type U = X extends undefined ? never : X; // U is number | undefined
type W = Weird< X >; // W is number
环境:我使用的是TS3.7.5，
浏览 13提问于2020-05-17得票数 0
回答已采纳
2回答
我正在尝试重构一个从应用程序到库的角度管道。管道引用特定类型，但我希望将其转换为使用泛型类型，同时保持其当前类型的安全性。
管道：
import { Pipe, PipeTransform } from ...
import { MyCustomTypeOne } from ...
import { MyCustomTypeTwo } from ...
import { MyCustomService } from ...
@Pipe({ name: 'customPipe' })
export class CustomPipe implements Pi
浏览 5提问于2020-02-28得票数 2
回答已采纳
我已经阅读了几个类似的主题，但它们都是关于一些特定的情况，我在一个最简单的可能的情况下得到了这个错误。这个错误的要点是什么?如何解决它？ type SomeInterface = {
prop1: number
prop2: boolean
}
const testFn = (obj: SomeInterface, key: keyof SomeInterface, value: any) => {
obj[key] = value
}
浏览 650提问于2020-12-26得票数 1
回答已采纳
我试图更好地理解extends关键字在TypeScript中及其潜在的应用。
我遇到的一件事是两个内置的实用程序，Extract和Exclude，它们同时利用了extends和条件类型。
/**
* Exclude from T those types that are assignable to U
*/
type Exclude<T, U> = T extends U ? never : T;
/**
* Extract from T those types that are assignable to U
*/
type Extract<T, U> = T
浏览 0提问于2021-10-24得票数 1
回答已采纳
我有一个函数图，带有不同的签名 const allMyFunctions = {
f1: () => Promise.resolve(1),
f2: (a: number) => a
}; 还有一个抽象类，它用这些函数来做一些事情： abstract class MyClass {
protected abstract decorateMethod(...args: any[]): any;
decorateAll() {
return Object.keys(allMyFunctions)
.reduce((acc, key) =>
浏览 45提问于2019-06-06得票数 0
我正在创建一个反应应用程序，也使用类型记录。我想要一个globalState，它有几个属性。我还需要使用useReducer。我为action的reducer函数创建了一个接口。该接口接受一个参数N，它将是动作的name。现在，我希望根据传递的data参数设置N类型。
我几乎用三元操作符创建了它。
export interface IGlobalState {
loading: boolean;
userData: IUserData;
}
interface IUserData {
loggedIn: boolean;
name: string;
}
type Gl
浏览 3提问于2020-01-08得票数 1
export interface IOptionsPropsExtra extends IOptionsProps<IOptionListBelowProps> { delete: any}
export const SelectedChoiceItem: (optionProps: IOptionsPropsExtra<IOptionListBelowProps>) => React.ReactElement<any> =
(optionProps: IOptionsPropsExtra<IOptionListBelowProps&g
浏览 10提问于2020-03-17得票数 2
回答已采纳
下面的代码为什么默默地假定fooValues是any。是否有可能避免这种隐式any。我尝试了"noImplicitAny“tsconfig选项，但这似乎没有帮助。
type Record1 = Record<string, { a: 1 }>
type Record2 = Record<string, { b: 1 }>
const foo: Record1 | Record2 = {}
const bar: Record1 = {}
// Why is `fooValues` any[]???
const fooValues = Object.values
浏览 4提问于2020-11-09得票数 1
回答已采纳
请参阅
条件类型，其中选中的类型是裸类型参数.
谷歌帮不上忙，或者说答案是给C#的，我不知道。在打字文档中也找不到这个词。从上下文中获得意义也很难.
顺便说一句，我知道什么是“类型参数”。但是“裸体”是什么意思呢？
浏览 1提问于2018-08-02得票数 32
回答已采纳
我想构建一个如下所示的API：
export function GET({response}) {
return response
.match("text/html", "<p>Hello world</p>"),
.match("text/plain", "Hello world"),
.match("application/json", '{"message": "Hello world"}');
}
浏览 1提问于2022-07-25得票数 0
回答已采纳
我希望动态地将list中的键和值映射到obj中。但是，TS给出了一条错误消息：
Type 'string | number' is not assignable to type 'never'
我不知道是怎么回事。下面是代码片段：
interface T {
// uncomment the next line makes the error go away
// [k: string]: any
a: string;
b?: string;
c?: number;
}
const obj: T = {
a: &
浏览 1提问于2019-12-14得票数 5
回答已采纳
有没有可能有这样的东西？
export abstract class FilterBoxElement {
abstract getEntities: any;
}
export interface FilterBoxControlSuggestions extends FilterBoxElement {
getEntities: // some implementation with different parameters
}
export interface FilterBoxControlDropDown extends FilterBoxElement {
浏览 13提问于2017-01-12得票数 4
回答已采纳
我对Swift中新的any语法在新的Xcode测试版中看到的一个错误感到有点困惑。
我有一个接受any Hashable的视图，我试图将它传递给一个接受Hashable参数的参数。但是，我从Xcode：Type 'any Hashable' cannot conform to 'Hashable'获得了这个错误。我不明白为什么要这样做，因为我认为any Hashable本质上是一种类型擦除的哈斯德，对吗？
下面是一个完整的代码示例来说明我正在尝试的内容：
struct AwesomeNavigationLink: View {
var itemToLin
浏览 11提问于2022-07-08得票数 2
以下面这个有意简化的代码示例为例(我的实际用例更为复杂，但问题归结为： type TArbitraryUnion = "a" | "b";
type TObjectWithGeneric<T> = {
prop: T;
};
type TTypeWithConditional<T> = T extends string
? TObjectWithGeneric<T>
: never;
type TTypeWithoutConditional<T> = TObjectWithGener
浏览 17提问于2021-06-17得票数 1
回答已采纳
2回答
我在组合类型记录的类型和条件类型时遇到了一些问题。考虑：
export interface IThisThing {
someProp: number;
}
export function isIThisThing(type: any): type is IThisThing {
return !!type.someProp;
}
export interface IThatThing {
someOtherProp: string;
}
export function isIThatThing(type: any): type is IThatThing {
浏览 0提问于2018-11-27得票数 6
回答已采纳
2回答
我在用打字稿写我的棱镜应用程序。为了避免冗余，我想要完成某种类型的泛型处理。我就是从这里来的：
class BaseProvider {
api_url = 'http://localhost:80/api/FILL_OUT_PATH/:id';
$get($resource){
var provider = $resource(this.api_url, {}, {
update: {
method: 'PUT'
}
});
浏览 9提问于2014-08-08得票数 2
我很难理解Html msg类型到底是什么，或者它是如何被使用的。我在VirtualDom.elm中找到了这一行代码，Html msg似乎是它的别名：
type Node msg = Node
这看起来像一个泛型的联合类型，它有一个类型参数msg和一个不包含其他信息的简单情况。我想知道：
div函数如何构造这些对象之一？
像这样的对象是如何被使用的？
这样的东西怎么会被使用呢？
用户是否有任何价值来定义这样的类型，或者Html msg只是支持Elm编译器/运行时的神奇类型？
浏览 4提问于2016-07-25得票数 17
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
实时音视频
即时通信 IM
对象存储活动推荐
腾讯云开发者
