Typescript类型推断在条件类型中不起作用
是因为条件类型是一种特殊的类型，它依赖于条件表达式的结果来确定最终的类型。由于条件类型的计算是在编译时进行的，而类型推断是在编译器根据变量的使用上下文推断出变量类型时进行的，所以类型推断在条件类型中不起作用。
条件类型是Typescript中的高级类型特性，它允许我们根据条件来选择不同的类型。在条件类型中，我们可以使用条件表达式来判断某个类型是否满足特定的条件，然后根据条件的结果来确定最终的类型。
例如，我们可以定义一个条件类型来判断某个类型是否为数组类型：
type IsArray<T> = T extends Array<any> ? true : false;在上面的例子中，如果类型T是数组类型，则条件表达式T extends Array<any>的结果为true，否则为false。根据条件表达式的结果，我们可以确定最终的类型为true或false。
然而，由于类型推断是根据变量的使用上下文进行的，它无法在条件类型中进行推断。这是因为条件类型的计算是在编译时进行的，而类型推断是在编译器根据变量的使用上下文推断出变量类型时进行的。因此，类型推断无法在条件类型中起作用。
对于这种情况，我们可以通过显式地指定类型来解决。例如，我们可以使用类型断言来告诉编译器某个变量的类型：
const myArray = [1, 2, 3] as Array<number>;在上面的例子中，我们使用类型断言as Array<number>来告诉编译器myArray是一个数字数组类型。这样，编译器就不会再尝试推断myArray的类型了。
总结起来，Typescript类型推断在条件类型中不起作用是因为条件类型的计算是在编译时进行的，而类型推断是在编译器根据变量的使用上下文推断出变量类型时进行的。为了解决这个问题，我们可以通过显式地指定类型来解决。
相关·内容
在4.9份声明中，他们描述了现在的。于是，我把他们的例子带到操场上，对它进行了修补。我发现typeof和in的不可能情况正在缩小到never，而不是生成警告或错误：
// Should be illegal but doesn't error out...?
if (typeof packageJSON.name === "string" && typeof packageJSON.name === "number") {
我认为TypeScript可以推断packageJSON.name是一个字符串，这意味着不可能检查packageJS
浏览 6提问于2022-10-07得票数 0
回答已采纳
可以推断出TypeScript中类的构造函数类型吗？我试过了，但似乎不起作用： type Constructor<K> = K extends { new: infer T } ? T : any;
浏览 12提问于2019-04-26得票数 4
为什么Typescript人员要创建infer关键字？根据的说法，这是一个如何使用它的示例：
type ReturnType<T> = T extends (...args: any[]) => infer R ? R : any;
我不明白为什么需要这样做。为什么不能这样：
type ReturnType<T> = T extends (...args: any[]) => R ? R : any;
为什么这个不起作用？为什么infer关键字是必需的？
浏览 2提问于2020-02-05得票数 68
回答已采纳
目前我正在学习TypeScript，我有一个问题：“属性‘值’在‘T’类型中不存在。”
这是我的密码：
type ParseType = <T>(value: T, opts: any, useRounding: boolean) => number;
const parse: ParseType = function(value, opts: any, useRounding): number {
//...
if (isNumber || value instanceof currency) {
v = (isNumber ? value : value.value)
浏览 2提问于2020-06-22得票数 0
我正在尝试编写一个简单的函数，它返回一个defaultValue，如果是value === undefined。
其功能非常简单：
const defaultIfUndefined = (value, defaultValue) => {
return value === undefined ? defaultValue : value;
}
但是类型/类型推断不起作用。
函数应该简单地将undefined 从.类型中删除。
我尝试了几种不同的方法，但总有一些错误。
1.
const defaultIfUndefined = <T>(value: T, default
浏览 0提问于2019-01-11得票数 2
回答已采纳
1回答
我想学习使用条件类型试图推断签名中类型的类型的算法。
示例1:这里的正确地推断了T为number
type Args<T> = { value: T }
function foo<T>(args: Args<T>) { return args; }
// correctly inferred as foo<number>
foo({ value: 123 });
示例2:条件类型和推断unknown
type StringOrNever<T> = T extends string ? string : never;
type Ar
浏览 1提问于2022-08-29得票数 1
回答已采纳
在TypeScript中的接口声明中可以有一个条件吗？我正在寻找的是一种方式，根据第一个键的值，第二个键可以是这些值。
示例(不起作用)：
interface getSublistValue {
/** The internal ID of the sublist. */
sublistId: 'item' | 'partners';
/** The internal ID of a sublist field. */
if (this.sublistId === 'item') {
field
浏览 4提问于2017-05-27得票数 10
回答已采纳
我正在向react函数组件传递一个prop，它可以是字符串或对象，下面是一个例子。它不需要打字就能工作。但是，当我添加typescript时，它似乎不理解属性(例如下面的helpMessage )既可以是字符串也可以是对象。
我得到这个错误TS2339: Property 'message' does not exist on type 'string | HelpMessage'. Property 'message' does not exist on type 'string'.
import React, { FC
浏览 22提问于2021-05-21得票数 0
1回答
我试图在我的node-ipc项目中使用TypeScript，并坚持为类成员获取正确的类型：
import { IPC } from 'node-ipc';
class IpcImpl extends IIpc {
ipcSocketPath?: string;
ipc?: any; // What the type should be here?
setupIpc(ipcSocketPath: string) {
this.ipcSocketPath = ipcSocketPath;
this.ipc = new
浏览 1提问于2019-02-07得票数 3
回答已采纳
我希望在TypeScript中为节点树建模，其中一些是“元素”节点，一些是“文本”节点(就像DOM中的节点一样)。这可以表示为： type Text = { text: string }
type Element = { children: Node[] }
type Node = Element | Text 然后，我尝试编写一个TypeScript实用程序，它可以获取树中出现的任何潜在后代节点的类型。我可以这样写： type Descendants<N extends Node> = N extends { children: Array<infer T> }
浏览 31提问于2021-04-03得票数 2
回答已采纳
我正在寻找与Typescript中的Function.prototype.call等价的单参数类型安全。
这不起作用，因为F缺少适当的约束(可能)：
function call<F,A>(f: F, arg: A) {
return f(arg);
}
因此，Typescript会抱怨“此表达式不可调用。类型‘未知’没有调用签名。”
如何使F可调用？如何管理call使其返回类型为F
浏览 6提问于2020-06-06得票数 2
回答已采纳
如何在TypeScript 2.9.2中推断T的类型：
type Class<T extends object> = new(...args: any[]) => T
type Conditional<T> = T extends number ? Class<Number> : T extends string ? Class<String> : never
function<T>(conditional: Conditional<T>) {}
f(Number) // I want to infer T here
浏览 0提问于2018-07-10得票数 1
回答已采纳
我试图提取一个通用的字符串文字类型，但是typescript推断只返回类型字符串。
所以从技术上讲，一旦字符串文字类型传递给函数，我们就不能再提取它了。
type Key<T extends string> = { key: T };
declare function getKey<T extends string>(key: T): Key<T>;
let someKey = getKey('check');
declare function updateWithKey<T, K extends string>(key:
浏览 3提问于2019-03-28得票数 0
回答已采纳
我有一个简单的对象，有两个字段name和age，最初它们被定义为未定义的，稍后在代码中将赋值 const s={
name:undefined,
age:undefined
}
s.name="Test" //error 当我尝试为我的属性赋值时，它会出现typescript错误 Type '"Test"' is not assignable to type 'undefined'. 有人能解释为什么我在typescript中遇到这个错误以及如何修复它吗？
浏览 31提问于2021-07-30得票数 2
回答已采纳
我预期这个but函数会出现错误(返回一个对象，其中需要数组)，但是TypeScript没有引发错误：
function foo(bar: boolean, baz: any): string[] {
return bar ? baz : {};
}
似乎只有当其他三元分支返回any 1时才会发生这种情况。不管any是什么，TypeScript不应该在另一个分支上检测错误吗？
我知道baz不应该被输入为any。此示例来自于一个实际项目，该项目不完全遵循这样的最佳实践。而且，编写此代码时不存在unknown。
浏览 1提问于2018-09-19得票数 4
回答已采纳
在Typescript中是否有一种方法来声明一个变量，这个变量可以是Int16Array或Uint16Array，仅此而已？
浏览 1提问于2015-06-04得票数 2
回答已采纳
2回答
此类型的目的是允许用户传递数据、颜色、hasColor或数据、info、hasInfo。没有任何其他的组合。
type Props = {
data: string;
} & (
| {
info?: string;
hasInfo?: boolean;
color?: never;
hasColor?: never;
}
| {
info?: never;
hasInfo?: never;
color?: string;
hasColor?: boolean;
浏览 9提问于2022-09-25得票数 1
回答已采纳
2回答
关于TypeScript，我收到了一个非常奇怪的错误，告诉我字符串文字不匹配。(TypeScript v1.8)
import { Component } from "react";
import {
StyleSheet,
Text,
View
} from "react-native";
const styles = StyleSheet.create({
container: {
flex: 1,
justifyContent: "center",
alignItems: "center&#
浏览 2提问于2016-06-19得票数 8
我正在使用来自react-query的useQuery钩子，当我试图在查询函数中访问我的键时，也就是useQuery的第二个参数，我遇到了一个关于typescript的问题，它抱怨这个语句 const postId = queryKey[1].id as any 那 Property 'id' does not exist on type 'string | { id: string | undefined; comments: boolean; }'.
Property 'id' does not exist on type 's
浏览 34提问于2021-08-30得票数 2
回答已采纳
如何在TypeScript中循环遍历元组数组？例如：
for (const [x, y] of [['a', 1], ['b', 2]]) {
y + 1;
}
投诉：
error TS2365: Operator '+' cannot be applied to types 'string | number' and '1'.
如果我理解正确，TypeScript会推断出循环表达式的类型为(string | number)[][]，这就是为什么循环变量y具有类型string | number，尽管实际上它只能
浏览 123提问于2019-08-17得票数 4
回答已采纳
1回答
我想用TypeScript编写一种小型语言，并为它定义基本数据类型：
type BasicDataType = {
kind: 'text'
} | {
kind: 'number'
};
然后我定义了一个泛型类型来表示它的实例：
type BasicInstance<B extends BasicDataType> = B extends { kind: 'number' } ?
number
: B extends { kind: 'text' } ?
string
浏览 1提问于2021-03-06得票数 2
回答已采纳
首先，我对TypeScript非常熟悉。在许多方面，Flow看起来与TS非常相似，但我最近偶然发现了一个星号(*)类型。起初，我以为它是"any“的同义词，但现在，在阅读了一些流的发行说明之后，我发现它不是。我浏览了所有的官方文档，却找不到"*“的任何用法。
那么，它是什么，什么时候使用它？但是，在TypeScript中，什么是与之直接等价的呢？
浏览 4提问于2017-05-22得票数 28
回答已采纳
在TypeScript中，我可以做以下两件事：
type ToolboxSpaceType = 'screw'|'hammer'|'screwdriver'; // 1
ProxyProperties = ['screw', 'hammer', 'screwdriver']; // 2
class Toolbox {
[key: ToolboxSpaceType]: ToolboxSpace;
}
let proxyHandler = {
get(target: Toolbox, p
浏览 0提问于2017-09-20得票数 3
我正在尝试在ReactJs (使用TypeScript)中使用map更新项目列表中的项目。但是找不到问题。
const [orderList, setOrderList] = useState([])
..。
setOrderList( orderList.map( order:any => {
if( order.id == orderId)
return {...order, review_id:1}
return order
}))
显示以下typescript提示：
Argument of type 'any[]' is not
浏览 0提问于2021-02-28得票数 0
根据TypeScript handbook的说法，在函数类型声明中存在类型推断。但是当我在函数声明中引入泛型类型时，类型推断不知何故不起作用。我必须显式地编写该类型。当存在泛型类型时，为什么类型推断不起作用？ const fn1: (x: number, y: number) => number = (x, y) => {
// working
return x + y;
}
const fn2: <T>(x: number, y: number) => Promise<T> = <T>(x, y) => {
// no
浏览 12提问于2020-09-25得票数 0
我通常有以下代码：
class Foo {
foo: SomeType[];
doSomething() {
const a = this.foo = [];
}
}
在这种情况下，a将是any[]或never[] (取决于环境)，而不是SomeType[]。如果我对那些暗示noImplicitAny的代码指定any[]，编译器将抛出一个错误。
我知道下面的强制转换解决了问题，但是为什么TypeScript不能从this.foo推断类型
const a: SomeType[] = this.foo = []; // Have to re
浏览 5提问于2021-10-23得票数 2
回答已采纳
我在typescript (3.9.5)中有以下内容： const height: number = $(window).height(); 此操作失败，出现以下错误： TS2322: Type 'number | undefined' is not assignable to type 'number'. 我正在使用以下相关包： "jquery": "^3.4.1",
"@types/jquery": "^3.5.0" 在typescript中处理这个问题的正确方法是什么？
浏览 16提问于2020-06-25得票数 0
回答已采纳
在下面的代码中，TypeScript不认为customMessage是undefined，className不是undefined
export default class ClassRequiredInitializationHasNotBeenExecutedError extends Error {
public static readonly NAME: string = "ClassRequiredInitializationHasNotBeenExecutedError";
public constructor(
parametersObje
浏览 2提问于2021-01-23得票数 2
回答已采纳
请考虑下面的示例TypeScript代码
const p = new Promise((resolve, reject) => {resolve([47, undefined])})
const asy = async () => {const [a, b] = await p; console.log(a, b)}
asy()
当我在没有检查类型的情况下在node中运行它时，它运行良好并打印47 undefined。但是，VS代码中的打字机用以下错误强调[a, b]：Type 'unknown' must have a '[Symbol.iterator]
浏览 4提问于2020-01-23得票数 1
回答已采纳
我读过关于typescript如何扩展的文章，但我仍然不确定是怎么回事
type Def = {
'T': { status: 5, data: {r: 'm'}},
}
function route<S extends keyof Def>
(route: S, handler: () => Promise<Def[S]>) { }
route('T', async function () {
return { status: 5, data: {r: 'm'} };
});
这
浏览 0提问于2018-07-21得票数 2
1回答
我编写了一个特殊的函数，我无法正确地输入(这是预料中的，因为我是TypeScript初学者，甚至是一个类型的初学者)。以下是功能：
const withLayout = (LayoutComponent, layoutProps = {}) => (WrappedComponent) => {
return function WithLayout(props) {
return (
<LayoutComponent {...layoutProps}>
<WrappedComponent {...props} />
浏览 2提问于2021-03-15得票数 0
回答已采纳
当我尝试在expo react native中推送通知时出现错误。我正在使用TypeScript
这是我的代码:在数据和源错误出现：“属性‘源’不存在于类型‘{}’。”另外，对于数据“属性' data‘在类型'{}’上不存在。问题是什么?我将数据”作为any“，但仍然不起作用。”
<Text>Origin: {(this.state.notification.origin)}</Text>
<Text>Data: {JSON.stringify(this.state.notification.data)}</Text
浏览 0提问于2021-03-09得票数 0
我已经开始学习Typescript，我试图创建一个不同类型的值的映射，但它不起作用。我尝试在定义Map时直接提供string和number作为选项，但它抛出错误，我们无法将number映射到string const testMap: Map<string,string|number> = new Map([["a", "test1"],["b","test2"],["c",1]]); 请提出建议。 Playground
浏览 22提问于2021-11-21得票数 1
回答已采纳
问题：
当我忘记向T类型的对象添加嵌套字段时，以及在使用对象扩展构造所述对象时，为什么不接收编译时错误？
示例：
interface User {
userId: number;
profile: {
username: string
}
}
function updateUsername(user: User): User {
return {
...user,
profile: {
// Error (as expected)
}
}
}
function updateUsernameGeneric<T extend
浏览 4提问于2021-03-08得票数 7
在TypeScript中，我们使用上下文类型，当泛型类型未定义时，TypeScript将尝试从返回值推断正确的类型。
在大多数情况下，它可以正常工作。但有时会变得很奇怪。在我的示例中，当函数参数未定义时，有时不使用泛型默认类型，也不需要它。
示例&
type State = { count: number }
declare function simple<T = State>(second?: T): T;
const { count: countA } = simple()
// in 4.0+ => countA: number
// in 3.9 =&
浏览 3提问于2021-03-05得票数 4
1回答
以下typescript代码导致错误(typescript v3.8.3)。为什么？ class A {
public foobar: 'foo' | 'bar' = 'bar';
}
class B extends A {
public foobar = 'foo'; // --> Type 'string' is not assignable to type '"foo" | "bar"'
} 游乐场：https://www.types
浏览 13提问于2020-04-12得票数 0
该规范没有详细说明类型断言操作符在TypeScript中的哪些方面可能会有帮助。在我的代码中我不需要它。所以我很好奇它应该解决什么样的问题。有什么想法吗？
浏览 1提问于2013-10-19得票数 9
我想了解为什么TypeScript不能推断以下函数的返回类型(虽然它能够在if-else语句中进行区分)：
function calc (arg: number|string) {
if (typeof arg === 'number') {
// here typescript knows arg is number type
return arg
} else if (typeof arg === 'string') {
// here typescript knows arg is string type
retu
浏览 5提问于2020-08-28得票数 2
回答已采纳
TypeScript可以推断函数的返回类型，在我看来，这是非常简洁的。
那么，如果没有为函数指定显式返回类型，为什么eslint (默认配置)会给出警告呢？
浏览 1提问于2021-09-07得票数 1
我有这个typescript代码，使用的泛型过去在typescript 2.3下工作，但现在在typescript 2.4.1的更严格的类型强制下中断。
我写了这个最小的代码片段来演示这个问题：
class A {}
class B extends A {}
function helloA(clazz: typeof A) {}
helloA(B); // fine
class C<T> {
private c: T;
};
class D extends C<string> {}
function helloC(clazz: typeof C) {}
hel
浏览 12提问于2017-07-31得票数 2
回答已采纳
我在操场上创建了TypeScript：
interface Test{
a: string
b: string
}
const object: Test = {
a: 'b',
b: 'c',
}
function testIt(): Test[] {
const data = [{b: '2', c: '3'}]
const prices: Test[] = data.length ? data.map((item) => {
return {
浏览 1提问于2018-12-13得票数 8
回答已采纳
1回答
所以我有泛型对象的数组，想要迭代，但是typescript不允许。下面是一些示例代码。任何关于如何解决这个问题的建议。
type someGeneric<T> = { item: T };
type stringGeneric = someGeneric<string>;
type numberGeneric = someGeneric<number>;
type someFunction = <T>(generic: someGeneric<T>) => T;
const someFunction: someFunct
浏览 2提问于2018-11-16得票数 3
我正在尝试对Typescript使用函数arr.indexOf： const index: number = batches.indexOf((batch: BatchType) => (batch.id === selectedBatchId)) BatchType的类型如下： export default interface BatchType {
id: number,
month: number,
year: number
} batches来自上下文，没有类型： const initState = {
dance: {
id: '',
浏览 73提问于2020-03-17得票数 0
回答已采纳
我有一个Inner<T>接口，它封装一个泛型类型的值：
interface Inner<T> {
v: T;
}
该接口有不同的实现：
class SomeInner<T> implements Inner<T> {
constructor(public v: T) {}
some = true;
}
class SomeOtherInner<T> implements Inner<T> {
constructor(public v: T) {}
someOther = true;
浏览 3提问于2022-01-07得票数 0
回答已采纳
像这样一个简单的构造：
type Test<Source extends string[]> =
Source extends [infer Head, ...infer Tail] ? `${Head}${Head}` : never;
Typescript抱怨${Head}${Head}内部的字符串插值：Type `'Head'` is not assignable to type 'string | number | bigint | boolean'. Type 'Head' is not assignable to
浏览 13提问于2021-03-10得票数 3
回答已采纳
我有一个PersonTypes对象数组，并且只想在forEach循环中使用partial of键。在typescript中提供类型的哪种编码更精确、更正确？我可以做像people.forEach((person: Pick<PersonTypes, 'name' | 'gender'>、people.forEach((person: PersonTypes) =>{或people.forEach((person: any) =>{这样的事情，在typescript中编写代码的正确方式是什么
export type PersonTypes
浏览 27提问于2020-04-14得票数 5
回答已采纳
我使用TypeScript输入以下内容： const k = {
container: {
width: '100%',
},
} 当我使用智能感知时，TypeScript发现我的对象k有一个名为container的属性似乎很酷。它工作得很好。现在，我想限制属性的值，所以我声明了一个接口： interface StyleSet {
[key: string]: React.CSSProperties
} 现在我将类型添加到前面的对象中，所以我们有： const k: StyleSet = {
container: {
width: '10
浏览 48提问于2020-09-17得票数 0
为什么Typescript (v3.7.2)不能静态分析对象中可选属性的嵌套对象赋值？
例如：
interface Foo {
bar?: {
baz: string;
}
}
const foo: Foo = {
bar: {
baz: 'foobar',
},
};
// Object is possibly 'undefined'.ts(2532)
const baz1 = foo.bar.baz;
foo.bar = { baz: 'foobar'};
// No error
const baz2
浏览 23提问于2019-12-03得票数 1
TypeScript tsc -d“声明”的"compilerOptions“生成相应的'.d.ts‘文件。
例如，来自：
tmp.ts
const log = (m: unknown) => {
console.log((m));
return m;
};
它产生：
tmp.js
const log = (m) => {
console.log((m));
return m;
};
以及：
tmp.d.ts
declare const log: (m: unknown) => unknown;
我认为这非常有趣，因为它将Ty
浏览 1提问于2018-07-31得票数 1
我试图利用命名元组(在本例中为AnniversaryPropertyConfig__)来描述以下简化代码中的函数参数。
interface AnniversaryParameters {
value?: 'date-and-or-time' | 'text';
altid?: number | string;
calscale?: 'gregorian';
}
type AnniversaryPropertyConfig = [value: string, parameters?: AnniversaryParamete
浏览 11提问于2022-01-23得票数 2
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
实时音视频
对象存储
即时通信 IM活动推荐
腾讯云开发者
