TS错误地推断交叉点类型
是指在TypeScript中，类型推断错误地将交叉点（Intersection）的类型判断为其他类型。交叉点类型是指将多个类型合并为一个类型的操作，使用"&"符号表示。
在TS中，类型推断是根据变量的使用上下文来确定变量的类型。然而，当涉及到交叉点类型时，类型推断可能会出现错误。这可能是因为交叉点类型的定义比较复杂，涉及到多个类型的组合，导致类型推断的不准确。
为了解决这个问题，可以使用类型断言（Type Assertion）来明确告诉TS变量的类型，或者显式地给变量指定类型注解。这样可以避免类型推断错误地将交叉点类型判断为其他类型。
以下是一个示例：
interface A {
propA: string;
}
interface B {
propB: number;
}
const obj: A & B = {
propA: "Hello",
propB: 123,
};
// 错误的类型推断
const propA: string = obj; // 错误，obj被错误地推断为string类型
// 解决方法一：类型断言
const propA1: string = (obj as A).propA; // 正确，使用类型断言明确指定obj为A类型
// 解决方法二：类型注解
const propA2: string = obj.propA; // 正确，使用类型注解明确指定propA的类型为string在上述示例中，obj被定义为A和B的交叉点类型。由于类型推断的错误，TS错误地将obj推断为string类型，导致propA的类型错误。通过使用类型断言或类型注解，我们可以解决这个问题，确保变量的类型正确。
在腾讯云的产品中，与交叉点类型相关的产品和服务可能包括云函数（SCF）、云开发（CloudBase）、API网关（API Gateway）等。这些产品可以帮助开发者在云计算环境中构建和部署应用程序，并提供了丰富的功能和工具来支持前端开发、后端开发、数据库、服务器运维等方面的需求。
更多关于腾讯云产品的信息，可以参考腾讯云官方网站：腾讯云。
相关·内容
假设我有一个如下所示的方法：
public <T extends Supplier<Collection<String>> & Serializable> void doSomething(T supplier){
new ArrayList<String>().stream().collect(Collectors.toCollection(supplier));
}
为什么会这样呢
doSomething(() -> new ArrayList<>());
会引发问题，但是
doSomething((Supp
浏览 1提问于2017-03-30得票数 3
我觉得在上试试会更清楚
function identity<T extends (...args: any[]) => any>(fn: T): T {
return fn;
}
function fn(args: {
cb: (foo: number) => void,
}) {}
fn({
cb: identity((foo /* infers number */) => {}),
});
function fn2(args: {
cb?: (foo: number) => void,
}) {}
fn2({
cb: iden
浏览 0提问于2021-04-03得票数 7
我有这个：
const getDefaultState = () => ({
mainNotifMessage: '(unknown message)',
notifDetails: '(unknown notification details)',
severity: 'info' as 'info' | 'error' | 'warning' | 'success' | undefined,
snackBarOpen: true,
foo: Date.n
浏览 2提问于2020-02-27得票数 2
1回答
我对打字还是很在行的。我在试着让服务生在我的服务器上工作。我有这段代码，这给了我错误。
const bb = busboy({ headers: req.headers });
const uploads = {};
const tmpdir = os.tmpdir();
const fields = {}
bb.on("field", (fieldname, val) => {
fields[fieldname] = val
console.log(`Processed field ${fieldname}: ${val}.`);
浏览 8提问于2022-10-15得票数 0
回答已采纳
我有下面的tsconfig.json
{
"compilerOptions": {
"allowJs": true,
"allowSyntheticDefaultImports": true,
"baseUrl": "src",
"isolatedModules": true,
"jsx": "preserve",
"esModuleInterop": true,
"forceCons
浏览 0提问于2019-05-21得票数 1
回答已采纳
我用jsconfig.json编写JS，以便提供额外的TS类型检查。
问题是TS语言服务器似乎不够聪明，也不具备处理这种情况的能力。我得到以下错误：
Types of property 'mode' are incompatible.
Type 'string' is not assignable to type '"production" | "development"'.
关于下列代码：
return {
...
mode: isProd ? 'production' :
浏览 2提问于2022-01-29得票数 0
回答已采纳
这种类型在中进行检查，但在v3.1.6上失败：
function head([a]) {
return a;
}
const x: number[] = [[1], [2]].map(head)
错误信息：
server/src/mock-resolvers/mock-data.ts(549,36): error TS2345: Argument of type '([a]: [any]) => any' is not assignable to parameter of type '(value: number[], index: number, arra
浏览 0提问于2018-11-13得票数 0
回答已采纳
我收到一个奇怪的TypeScript错误。
我有下面的例子：
interface Foo {
prop: 0 | 1 | 2;
}
class Bar implements Foo {
prop = 1;
}
我得到了一个错误：
src/example.ts:6:3 - error TS2416: Property 'prop' in type 'Bar' is not assignable to the same property in base type 'Foo'.
Type 'number' is not a
浏览 1提问于2019-05-29得票数 5
这与具有严格的空检查的typescript有关。假设你有一个接口，比如：
interface Name {
firstName?: string;
lastName?: string;
}
这样就有了一个Name[]数组。
我如何过滤这个数组，让typescript知道firstName的存在？例如：
names.filter(name => !!name.firstName).map(name => {
// inside here, typescript still thinks name.firstName is possibly undefined
// b
浏览 11提问于2019-08-18得票数 2
我有以下代码；
App.tsx
export default function App() {
const [canvasRef, canvasWidth, canvasHeight] = useCanvas();
return (
<div>
<canvas
ref={canvasRef}
/>
</div>
)
}
useCanvas.ts
import { useRef, useEffect } from "react";
const canvasWidth = 12
浏览 5提问于2020-07-27得票数 0
回答已采纳
1回答
为什么我不能用实现多个接口/类的泛型来声明一个字段？
class MyClass {
private Class<? extends Enum<?> & Foo> bar;
//..
}
interface Foo {
// ...
}
public enum A implements Foo {
// ...
}
编译器错误：Syntax error on token &
浏览 0提问于2014-10-17得票数 0
1回答
我想为方法参数创建一个类型，它接受接口属性的名称或空字符串。下面是我得到的信息： type KeyofOrEmpty<T> = keyof T | '';
type CollapsibleKey<T,K extends KeyofOrEmpty<T>> = K extends '' ? T : T[K]; 这似乎做了我想要做的事情，除了在T[K]，TS编译器抱怨说K不能用来索引T。这是有道理的，因为'‘不是一个有效的索引，但是三元条件已经处理了这种情况。我想要的只是一个让它快乐的强制转换，但是任何像T[<ke
浏览 9提问于2021-09-25得票数 1
回答已采纳
请考虑下面的示例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
回答已采纳
在我的文件中，我有以下区别对待的联合类型
interface SlackStageQuery {
stage: 'slack';
}
interface GithubStageQuery {
stage: 'github';
id: string;
}
interface SuccessStageQuery {
stage: 'success';
name: string;
link: string;
}
type StageQuery = SlackStageQuery | GithubStageQuery | S
浏览 15提问于2021-04-12得票数 1
2回答
我试图通过添加额外的方法来增加承诺，如TypeScript文档- 所描述的那样。
它在测试1中运行良好，但出于某种原因，它破坏了测试2中使用构造函数创建的承诺的类型推断。TypeScript停止将类型推断为Promise<boolean>，而将其推断为Promise<{}>。如果删除增强，则正确推断使用构造函数创建的Promise的泛型类型。
知道为什么会发生这种情况，以及如何解决吗？
下面是我试图做的一个简单的例子：
// src/test.ts
// augmentation
interface Promise<T> {
myCustomMet
浏览 5提问于2017-02-23得票数 1
回答已采纳
2回答
为什么泛型列表的声明会有差异？
、、、、
我想分解两个列表:第一个是整数列表。我将其定义为：
List<Integer> ints= Arrays.asList(1,2,3);
它工作得很好。
第二个是对象列表。我声明如下：
List<Object> objs= Arrays.asList(1,2.13,"three");
但是我一写它就在eclipse中给出一个错误。错误是：
Multiple markers at this line
- Type mismatch: cannot convert from List<Object&Comparable<?>
浏览 0提问于2012-03-30得票数 15
回答已采纳
for await (account of accounts) { ... }会发出一个错误："error TS2552:找不到名称'account‘。您的意思是’accounts‘吗？“谢谢。
浏览 52提问于2021-07-13得票数 1
回答已采纳
我在React函数组件中有一个函数，它在普通的JavaScript中是有效的语法(当然，没有类型定义)，但是在TypeScript中它有问题。这就是我们讨论的函数： const getSelection = (id: number, selection: string) => {
setAnswers((answers) => {
const result = [...answers];
result[id] = selection; // The error is here
return result;
});
};
浏览 391提问于2020-08-25得票数 0
回答已采纳
请帮助我理解TS的狭窄类型。是一个简单的foo函数，它在任意数组上都有forEach迭代器。很明显，console.log将在执行此代码后记录false，但TS坚持认为这是true，这是错误的。
我的期望是，如果TS由于可能的异步性而无法处理forEach或类似的函数，那么它应该建议boolean。这种情况真的让我很沮丧，也降低了我的工作效率，因为我需要重新检查每件事情10次，以证明TS是错误的，我的代码是正确的。
function foo() {
let canActivate = true;
['foo'].forEach(() => {
canAc
浏览 3提问于2020-08-03得票数 2
回答已采纳
由于遗留原因，我不得不使用Java 7和Guava重新实现我的一些Java 8代码。原始代码如下所示：
someMethodReturningSetofListofStrings().stream()
.forEach((List<String> ts) -> ts.stream()
.forEach(...);
对于番石榴，我将使用类，下面是我的尝试：
Fu
浏览 2提问于2015-06-30得票数 1
回答已采纳
我在TypeScript和Emotion.css的react上遇到了一个奇怪的问题 下面的代码运行良好： import styled from '@emotion/styled-base';
const Layout = styled('div')([
{
height: 48,
color: 'white',
background: Brand01,
width: 142,
padding: '12px 16px',
tex
浏览 22提问于2019-06-19得票数 1
回答已采纳
尽管定义了索引，但我还是想弄清楚TS为什么给了我一个错误。我确实看到slot在unEquip()中被视为字符串，但我不知道如何键入它，也不知道为什么TS不能推断类型。
错误：
元素具有“任意”类型，因为“string”类型的表达式不能用于索引类型。
下面是代码：
type Slot = 'head' | 'body' | 'hands' | 'feet' | 'accessory' | 'mainHand' | 'offHand'
const itemSlots: {
浏览 3提问于2021-03-05得票数 0
这是我的tsconfig.json：
{
"compilerOptions": {
"strict": true,
"target": "es6",
"module": "commonjs",
"noImplicitAny": true,
"removeComments": true,
"preserveConstEnums": true,
"sourceMap": true
浏览 1提问于2018-10-16得票数 0
回答已采纳
我正在尝试实现一种形式的。在大多数情况下，我似乎正确地理解了事物。然而，当我尝试将letrec引入到我的语法中时，我遇到了一些问题。我认为更容易完成这个小代码示例：
首先是一个小小的前奏曲：
{-# LANGUAGE GADTs #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE TypeOperators #-}
import Control.Applicative
infixr 8
浏览 3提问于2014-12-29得票数 8
回答已采纳
所以，我有一个组件：
type TypeofArray<
ArrayTypeInstance
> = ArrayTypeInstance extends (infer ElementType)[] ? ElementType : never;
type Property = {
dataId: number;
address: string;
price?: number;
transactionType: string;
bedrooms?: number;
coverImageUrl?: string;
modi
浏览 0提问于2019-05-28得票数 1
回答已采纳
为了提高可读性，我简化了代码。
interface OwnProps<T extends ElementType> {
as?: T;
}
type Props<T extends ElementType> = OwnProps<T> & ComponentPropsWithoutRef<T>;
const Component = <T extends ElementType = 'button'>({as, ...rest}: Props<T>) => {
const T
浏览 6提问于2022-05-25得票数 2
在flow中，我通常使用以下内容 type A = {|
a: string
|} // in another file, import type A
type B = {|
...A,
b: string,
|} 但当我在typescripts中执行类似操作时，它会给我‘`Member 'A’隐式地具有'any‘type.ts(7008) type A = {
a: string
} // in another file, import type A
type B = {
...A,
b: string,
} 我能做些什么来纠正这个错误呢？谢谢。
浏览 37提问于2021-10-14得票数 1
类型记录中的下列代码在最后一行出现赋值错误
interface T {id: string}
let ts: Array<T> = []
let tMap: Map<string, T> =
new Map (
ts.map(t => [t.id, t])
)
javascript环境中的类似代码可以工作。看不出我做错了什么
浏览 0提问于2018-11-04得票数 2
回答已采纳
我有以下(简化型)： interface RequestActionMeta<Data, TransformedData> {
getData?: (data: Data, currentData: TransformedData) => TransformedData;
}
interface RequestAction<Data = any, TransformedData = Data> {
type: string;
request: any | any[];
meta?: RequestActionMeta<Data, Tran
浏览 19提问于2021-03-24得票数 1
回答已采纳
在我的角项目中，我尝试用空数组初始化BehaviorSubject属性：
export class Buffer {
$items: BehaviorSubject<Array<Item>>; // or <Item[]>
private _items: Array<Item>; // or Item[]
constructor(settings: Settings) {
this.$items = new BehaviorSubject([]);
}
}
类型记录编译器引发以下错误：
错误TS2322:键入“Beh
浏览 0提问于2018-08-21得票数 7
回答已采纳
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
想象一下这个接口：
interface IUser {
id: string;
name: string;
age: number;
}
我们可以有这样的功能：
const fetchUser1 = (userId: string): IUser => {
return {
id: userId,
name: 'John',
age: 32,
};
}
此函数不能返回不在IUser接口中的属性。
因此，如果我们尝试返回一个新属性，例如，city
const fetchUser2 = (userId: string): IUs
浏览 1提问于2020-06-25得票数 2
let a : any;
let m = new Map<any, any>(Object.keys(a).map(prop => ([prop.x, prop.y])));
使用esnext目标产生错误
文件：'file:///c%3A/GIT/MainLine/members/src/tasks/list/decTest2.ts‘严重性：“错误”消息：“类型'any’的参数不能分配给'Iterable<any，any>‘类型的参数。属性'Symbol.iterator‘的类型是不兼容的。类型'() => Iter
浏览 5提问于2017-05-25得票数 5
回答已采纳
我是一个错误，而建设角应用程序。
HTML模板
<mat-form-field *ngIf="requested">
<input
matInput
(input)="sendingAccesscode($event)"
placeholder="{{ 'CODE_LABEL' | i18next }}"
name="accesscode"
formControlName="accesscode"
浏览 9提问于2022-08-12得票数 2
回答已采纳
2回答
因此，我在我的项目中使用ngx图表，目前，我陷入了一个看似枯燥的错误，在我的打字代码的末端。我对下列数据进行了测试，目前正在按预期工作：
export var productSalesMulti = [
{
name: 'Cotação',
series: [
{
name: '0',
value: 10,
},
{
name: '1',
value: 20,
},
{
name: '2',
value: 30,
浏览 5提问于2022-08-18得票数 0
回答已采纳
2回答
这里有一些示例代码：
interface Foo {
bar: string;
buz: string;
}
const fooList: Foo[] = [
{ bar: '1', buz: '1' },
{ bar: '2', buz: '2' }
];
const newList: Foo[] = fooList.map((foo: Foo) => ({
bar: foo.bar,
}));
正如预期的那样，这里将出现一个错误Property 'buz' is m
浏览 0提问于2018-10-26得票数 0
回答已采纳
1回答
我正在尝试对req, res参数使用DefintelyTyped、和类型。但是，这不能编译：
const express = require('express');
const app = express();
app.get('/', (req:Request, res:Response) => {
res.send('Hello Express Lovers!');
});
app.listen(3000, () => console.log('server started'));
错误是：
浏览 26提问于2019-10-26得票数 2
回答已采纳
示例：
function useCallback(fn) {
return fn;
}
type ApiData = {
'/user': { user: any },
'/post': { post: any },
};
function useApi<Path extends keyof ApiData>(
path: Path,
opts: {
cb?: (data: ApiData[Path]) => void,
},
) {}
useApi('/user', { cb: ({ us
浏览 3提问于2020-11-06得票数 0
我试图编写一个函数来返回一个对象中的值数组。
let obj = {
a: 1,
b: 2,
c: 3,
}
const r = Object.keys(obj).map((key) => {
let val = obj[key]
return val
})
在这里，TS编译器显示了一个错误，它说
元素隐式具有“任意”类型，因为“string”类型的表达式不能用于索引类型{ a: number；b: number；c: number；}“。在类型'{ a: number；b: number；c: number；}'.ts(7053)上没有发现具有“s
浏览 1提问于2020-08-03得票数 1
TypeScript是否应该根据分配给它的内容隐式地键入变量？我得到了这个奇怪的差异--如果我通过赋值隐式键入变量并调用不存在的方法，TS不会抛出错误，如果这发生在类的内部，但是如果发生在类之外，则抛出一个错误：
class Bar {
constructor() {
//do nothing;
}
}
class Foo {
bar1;
bar2: Bar;
constructor() {
//do nothing;
this.bar1 = new Bar();
this.bar1.
浏览 1提问于2014-03-25得票数 2
回答已采纳
1回答
我要使用自定义钩子功能。
自定义钩子代码
import { useState, useCallback, useEffect } from 'react';
import { apiClient } from './apiClient';
export default (api: string) => {
const [data, setData] = useState();
const getData = useCallback(async () => {
try {
const response = await a
浏览 6提问于2021-07-08得票数 0
我正在尝试创建一个装饰器，它的行为类似于redux的connect装饰器:在修饰组件中注入一些额外的道具。我对它的打字有点麻烦
extra.d.ts
export interface ExtraProps {
extra: string;
}
// problem must be with this. Intent is to "add" the "extra" prop
// and not require it when the user actually renders it.
export function extra<P>(): (
浏览 1提问于2018-06-26得票数 0
回答已采纳
请考虑下面的简短程序。
#include <iostream>
template< typename ... Ts >
class foobar
{
static_assert( sizeof...(Ts) > 0 );
};
template< typename ... Ts >
std::ostream& operator<<( std::ostream& o, const foobar< Ts... >& )
{
return o;
}
int main(void)
{
浏览 4提问于2022-05-10得票数 19
1回答
我不确定这是不是TS中的bug，或者是他们认为是不支持的特性。MVE：
interface ColumnOptions<R> {
valueFormatter(params: R): string;
valueGetter(params: string): R;
}
const getColumn = function<R>(options: ColumnOptions<R>) {};
getColumn({
valueFormatter: params => 'hello',
valueGetter: params
浏览 2提问于2020-04-23得票数 0
我正在试用TypeScript和Sencha ExtJS：
/// <reference path="../ExtJS.d.ts" />
Ext.define("CompanyGridPanel", <Ext.grid.IPanel>{
extend: "Ext.grid.Panel",
config: {
companyStore: null
},
initComponent: function () {
this.myFunction(10, 52)
浏览 3提问于2014-02-12得票数 0
我的问题是基于这个
假设我们有下一个代码：
const myFn = <T,>(p: {
a: (n: number) => T,
b: (o: T) => void,
}) => {
// ...
}
myFn({
a: () => ({ n: 0 }), // Parameter of a is ignored
b: o => { o.n }, // Works!
})
myFn({
a: i => ({ n: 0 }), // Parameter i is used
b: o => { o.n },
浏览 1提问于2021-01-03得票数 2
回答已采纳
最近我们的生产系统出了问题。我们可以而且应该做很多事情来减轻这种情况，但这种情况永远不会少发生。
打字+示例代码
interface StatisticObject {
Value: number,
someData: string
}
function somePromise(): Promise<{data: {Statistics: StatisticObject[] | undefined}}> {
return Promise.resolve({data: {Statistics: undefined}})
}
我们在生产中有这个代码
somePr
浏览 4提问于2020-10-27得票数 1
回答已采纳
在我将ngrx从v12升级到v13之后，我在使用store.select(selector)时遇到了这样的错误 TS2769: No overload matches this call. Overload 1 of 9, '(mapFn: (state: AppState) => Project[]): Observable<Project[]>', gave the following error. Argument of type 'MemoizedSelectorWithProps<Object, unknown, Proj
浏览 46提问于2021-11-20得票数 0
对于我来说，TS经常失败，因为它所推断的类型与我所期望的不同。我可以强制输入变量，但我更愿意弄清楚为什么TS没有正确地推断类型。
有没有一种方法可以打印TS认为变量是的类型？
例如：
const obj = [
{ a: 'foo' },
{ b: 'bar' },
];
printTsType(obj[0].a);
我希望这是字面的'foo'，但我认为TS只是推断string。
浏览 2提问于2020-06-17得票数 4
3回答
public class X {
Object o = (I & J) () -> {};
}
interface I {
public void foo();
}
interface J {
public void foo();
public void bar();
}
Oracle编译器抛出错误：
X.java:2: error: incompatible types: INT#1 is not a functional interface
Object o = (I & J) () -> {};
浏览 0提问于2014-07-11得票数 5
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
即时通信 IM
实时音视频活动推荐
腾讯云开发者
