为什么我不能调用带有联合类型参数的泛型函数？
在泛型函数中，当参数具有联合类型时，我们无法直接调用该泛型函数的原因是泛型的类型推断机制无法确定参数的确切类型。泛型函数的目的是为了处理多种类型的参数，但当参数具有联合类型时，类型推断无法确定参数的具体类型，因此无法确定泛型函数应该使用哪种类型进行处理。
为了解决这个问题，我们可以使用类型断言来明确指定参数的类型，从而调用泛型函数。类型断言可以将参数的类型强制转换为联合类型中的某个具体类型，使得类型推断能够正常工作。
以下是一个示例代码：
function myGenericFunction<T>(param: T): void {
// 泛型函数的实现
}
// 调用泛型函数，参数为联合类型
const myParam: string | number = "hello";
myGenericFunction(myParam as string); // 使用类型断言指定参数类型为 string在上述示例中，我们使用类型断言将参数 myParam 的类型指定为 string，从而可以成功调用泛型函数 myGenericFunction。
需要注意的是，类型断言可能会导致类型不安全，因此在使用时需要谨慎。如果无法确定参数的具体类型，可以考虑重构代码，避免使用带有联合类型参数的泛型函数。
相关·内容
1回答
为什么在TypeScript类型中别名不适用于泛型函数？例如，这里TS没有将相同类型定义为泛型。
type Identical = <T>(v: T) => T;
const identical: Identical<string> = (v) => v
我知道正确的变体是：
type Identical<T> = (v: T) => T;
但是为什么第一个示例不能工作，以及哪种类型的T
浏览 0提问于2019-11-08得票数 4
回答已采纳
我用两种方式编写了带有类型记录的函数，一种是使用泛型，另一种是使用联合类型。我想知道这两种方式完全一样吗？
export type StopDefaultEventsType =
| React.MouseEvent<HTMLElement, MouseEvent>
| React.DragEvent<HTMLElement>;
// using generic
const stopDefaultEvents = <T extends StopDefaultEventsType>(event: T): void => {
ev
浏览 0提问于2022-02-23得票数 0
我有以下代码：
trait Bar {
fn baz(&self, arg: impl AsRef<str>)
where
Self: Sized;
}
struct Foo;
impl Bar for Foo {
fn baz(&self, arg: impl AsRef<str>) {}
}
fn main() {
let boxed: Box<dyn Bar> = Box::new(Foo);
boxed.baz();
}
导致此错误：
error: the `baz` m
浏览 0提问于2018-08-13得票数 8
回答已采纳
1回答
当我尝试以下语法时，我有编译错误，但我不明白为什么它不能工作： interface Param<O> {
obj: O;
}
interface Dico {
[key: string]: <O>(param: Param<O>) => Param<O>;
}
var x: Dico = {
fnString: (param: Param<string>) => { return param; },
fnNumber: (param: Param<number>) =>
浏览 9提问于2019-02-24得票数 0
回答已采纳
我有一个类型，它是一个通用接口与2个泛型的结合。其中一个是枚举，另一个是每个枚举值不同。
调用函数时，TS根据函数调用中的枚举值正确识别数据类型，但不理解返回值应与该对象的属性之一相同
代码：
interface Base<D = any, T = string> {
data: D;
type: T;
}
enum BaseTypes {
foo,
bar,
boo,
}
type BaseSet = Base<number, BaseTypes.foo> | Base<string, BaseTypes.bar> | Base&l
浏览 2提问于2021-03-03得票数 0
1回答
我有不同类型的视图，这些视图在拥有哪些属性以及可以更改哪些属性方面有所不同。我尝试创建一个updateView函数，其中传入视图和一些更改，合并，然后在后端更新视图。该函数应该根据传入的视图类型限制传入的更改，但这不能正常工作。我在下面发布了一个例子。 如何更改UpdateView接口以正确限制可以传入的更改？ interface BaseView {
immutableProp?: string;
mutableProp?: string;
name: string;
isCustom: boolean;
}
interface StandardView
浏览 16提问于2019-06-13得票数 0
回答已采纳
3回答
type FuncGenericReturn = <T>() => T;
const funcReturnsNumber: FuncGenericReturn = (): number => 1;
()
获取此错误：
输入'number‘不能指定键入'T’。‘'number’可以分配给'T‘类型的约束，但是'T’可以用约束‘{}’的不同子类型实例化。(2322) input.ts(1，26)：期望的类型来自此签名的返回类型。
我希望打字本能自动推断T为数字，只需使用它。为什么要抱怨？写这样的东西的正确方法是什么？谢谢。
浏览 11提问于2020-02-11得票数 11
下面是一个小代码示例(附带注意:我正在运行类型记录v3.8.3)：
interface IOptions<T> {
arg: T;
}
interface IExtraOptions extends IOptions<number> {
arg2: string;
}
type Func = <T, OptionsT extends IOptions<T>>(options: OptionsT) => T;
const f: Func = (options: IExtraOptions): number => {
r
浏览 5提问于2020-06-22得票数 1
回答已采纳
2回答
我用Swift语言编写了协议和他的实现：
protocol P {
}
struct A: P {
}
协议用作某些函数的泛型类型：
func foo<T: P>(param: T) {
}
func foo() {
foo(param: A())
}
直到现在，一切都正常运转。但是，我想将A()设置为给定函数的默认参数：
func foo<T: P>(param: T = A()) {
}
不幸的是，有以下错误：
类型'A‘的默认参数值不能转换为'T’类型。
或
func foo<T: P>(param: T = A()
浏览 3提问于2016-07-12得票数 8
回答已采纳
2回答
我无法理解为什么不能用Kotlin仿制药的子类型。
假设以下简单的场景
class Student : Person()
open class Person
这行得通
fun personOrStudent : Person{
return Student()
}
但这不是
fun <Item:Person> personOrStudent() : Item {
return Student()
}
我不明白为什么。返回类型项不是作为Person的子类型键入的吗？我相信语法清楚地传达了该项目将是一个子类型的人。
但我收到了一个编译时的错误，说预期是人，而不是学生。
这与协方差/反方
浏览 3提问于2022-03-19得票数 0
回答已采纳
我不明白为什么有时打字本不能推断出一般类型的const。
这就是一个例子：
type OneTwoThree = 1 | 2 | 3;
type MyType<num extends OneTwoThree> = {
n: num;
}
const first: MyType = { // <-- Generic type 'MyType' requires 1 type argument(s).(2314)
n: 2,
};
const second: MyType<3> = {
n: 3,
};
为什么打字稿不能推
浏览 14提问于2022-09-29得票数 1
回答已采纳
下面的代码为什么默默地假定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
回答已采纳
1回答
我想传递一个泛型，这样我就可以预先键入返回的类.
public createVehicle<O extends AbstractVehicle>(
type: string
): O {
switch (type) {
case "Car":
return new Car(param1, param2);
case OfferType.Sale:
return new Bike(param3, param4)
default:
throw new Error("Vehicle typ
浏览 4提问于2022-05-04得票数 0
考虑下面的代码，我创建了一个类，它的构造函数接收带有泛型类型的参数，用于定义第二个参数所接收的参数的类型，在回调函数的参数下面是MouseEvent，因为第一个参数的值：
class MyClass<T extends keyof HTMLElementEventMap>{
constructor(tagName: T, lister: (ev: HTMLElementEventMap[T]) => any) { }
}
new MyClass("click", ev => { })
// ^^ (param
浏览 4提问于2021-02-01得票数 0
回答已采纳
2回答
假设我们有这样的代码：
interface Vehicle {
bicycle(): string;
car(wheel: number): void;
bus(passanger: number): {
name: string;
age: number;
}[];
}
type Mapper<K extends keyof Vehicle> = (funcName: K, callback: Vehicle[K]) => void;
interface MapperB {
<K extend
浏览 4提问于2020-11-30得票数 2
回答已采纳
假设我有这样的代码：
interface A {
type: 'a',
value : number
}
interface B {
type: 'b',
value: string
}
type AB = A | B;
const db: Record<string, AB> = {
param1: { type: 'a', value: 1234 }
};
我有这样的代码(过于简化)，效果很好。
function processParameter(parameter: string, expectedType
浏览 5提问于2022-03-24得票数 2
回答已采纳
给定一个类型化泛型函数，我想为该函数创建一个泛型别名，但似乎不能。换句话说，这是行不通的：
// foo.tsx
function foo<T>(arg: T): T {
return arg
}
type FooT = typeof foo // works, but alias isn't generic: <T>(arg: T) => T
type FooParametersT = Parameters<typeof foo> // sure: [unknown]
type FooReturnT = ReturnType<
浏览 3提问于2020-07-03得票数 24
回答已采纳
我正在尝试创建一个顶级函数： Iterable<E> mapEnumerated<T>(Iterable<T> iterable, E Function<E>(int, T) fn) sync* {
var index = 0;
for (final item in iterable) {
yield fn(index++, item);
}
} 但是，它报告错误消息：The name 'E' isn't a type so it can't be used as a type argumen
浏览 21提问于2019-05-13得票数 3
回答已采纳
1回答
考虑account类：
(defclass account ()
((name :initarg :name :reader name)
(balance :initarg :balance :initform 0.00 :accessor balance)
(interest-rate :allocation :class :initform 0.06
:reader interest-rate)))
对于这个类，我们定义了一个方法withdraw：
(defmethod withdraw ((acct account) amt)
(i
浏览 2提问于2017-06-18得票数 0
回答已采纳
我不明白为什么TypeScript不允许这样做：
type aToB = <A, B> (a:A) => B;
const id : aToB = x => x;
我得到了错误:A类型不能分配给B类型。
但是类型定义type aToB = <A, B> (a:A) => B并没有以任何方式表示，A必须不同于B。
至少在数学中，像f: A -> B这样的函数签名并不要求A与B不同。像f: Nat -> Nat这样的函数将是f: A -> B的合法实例。
TypeScript就是这样奇怪吗?还是我遗漏了一些显而易见的东西？
浏览 0提问于2018-11-06得票数 2
回答已采纳
4回答
我对以下代码有问题：
func generic1<T>(name : String){
}
func generic2<T>(name : String){
generic1<T>(name)
}
编译器错误的generic1(名称)结果“无法显式指定泛型函数”
有什么方法可以避免这个错误吗？我不能更改generic1函数的签名，因此它应该是(String) ->空
浏览 33提问于2015-01-15得票数 103
我刚接触过Rust，在一个通用函数中我有一个奇怪的行为，还有一些关于它的问题。我理解结果，但我不知道这是否正常：
trait A {
fn a() {
println!("Oh Noooo...");
}
fn b();
}
struct SA {}
impl SA {
fn a() {
println!("sa");
}
fn b() {
println!("b");
}
}
impl A for SA {
fn b() {
浏览 2提问于2022-09-26得票数 2
回答已采纳
type Greeting = { name: "Hello" } | { name: "Hi!" };
export function foo(name_of_greeting: Greeting["name"]): Greeting {
return { name: name_of_greeting };
}
export function bar<N extends Greeting["name"]>(name_of_greeting: N): Greeting {
return { name: na
浏览 0提问于2019-09-04得票数 3
回答已采纳
// Welcome to the TypeScript Playground, this is a website
type Constructor<T> = new (...args: any[]) => T;
class ServiceChecklistResponse {
}
class AnotherModel {
}
abstract class AbstractView {
getJsonDataModelRef<T>() : Constructor<T> | null
{
return nul
浏览 10提问于2022-11-04得票数 1
回答已采纳
1回答
泛型函数语法有什么区别：
type Identity<T> = (t: T) => T
和
type Identity = <T>(t: T) => T
浏览 2提问于2022-05-17得票数 4
回答已采纳
1回答
在STL中的许多地方和其他地方，您可以看到这样的代码：
template <typename Func>
void foo(Func f)
{
// ...
f();
}
即可调用参数f是通过值(的副本)传递的。为什么这似乎比键入Func&、const Func&或Func&&类型的参数更可取
浏览 2提问于2014-12-23得票数 2
一些TypeScript大师能帮我弄清楚为什么在redux4.0中创建存储增强器的代码会给我带来类型错误吗？
最小的回购是。它正在创建一个无所事事的商店。克隆后，通过运行yarn安装依赖项。若要查看错误，请运行yarn run compile。
相关文件是
import {
StoreEnhancer,
StoreEnhancerStoreCreator,
Reducer,
DeepPartial,
AnyAction,
} from 'redux';
interface RootState {
someKey: string;
}
export
浏览 0提问于2018-05-21得票数 9
我有一个通用函数如下：
public static T Function<T>(Argument arg)
{
//DO FUNCTION STUFF
}
我想使用从FieldInfo.FieldType获得的类型来调用这个函数，如下所示：
Function<someFieldInfo.FieldType>(arg);
但是，这是不允许的。这两种情况都不是：
Function<typeof(SomeType)>(arg);
我不是C#专家，所以如果这是个愚蠢的问题，我可以原谅。但为什么这不起作用？我如何绕过它来获得类似的功能呢？
浏览 6提问于2017-06-24得票数 1
回答已采纳
我无法理解TypeScript文档中的以下段落：
泛型函数的类型与非泛型函数的类型类似，类型参数列在前面，类似于函数声明：
function identity<T>(arg: T): T {
return arg;
}
let myIdentity: <T>(arg: T) => T = identity;
最后一行是做什么的，为什么要用它？
据我所知，myIdentity是一个获取标识函数类型的变量？如果是这样，为什么我需要定义这样一个变量呢？函数identity已经声明了我所期望的返回类型。
浏览 13提问于2018-01-24得票数 15
回答已采纳
我正在尝试使用创建一个HashMap，它在名为data的Vec中保持最大的运行(连续重复元素的数量)。
例如，如果我们有[1,1,3,1,1]，那么我们应该得到类似于{1: 2}的HashMap
然而，我似乎不明白为什么编译器会抱怨
Compiling playground v0.0.1 (/playground)
error: expected one of `!`, `.`, `::`, `;`, `?`, `else`, `{`, or an operator, found `,`
--> src/main.rs:7:39
|
7 | let mut counts
浏览 6提问于2022-06-12得票数 0
回答已采纳
2回答
我正在尝试为TypeScript中的异步测试创建一个模拟函数。我的函数接收一些数据，并在允诺解决时返回。
我知道我可以这样打字：
type Options<T> = {
data: T;
};
export const mockApiCall = async <T>({ data }: Options<T>): Promise<{ data: T }> => {
return new Promise((resolve) => {
setTimeout(() => resolve({ data }), 100);
浏览 6提问于2022-01-12得票数 0
回答已采纳
1回答
因此，我正在学习Swift，重点是模式匹配和泛型。我在以下代码中遇到了一个问题：
indirect enum MyList<A> {
case Cons(A, MyList<A>)
case Nil
}
func length<A>(_ list: MyList<A>) -> Int {
switch list {
case .Nil:
return 0
case .Cons(_, let b):
return 1 + length( b)
}
}
print(length( MyLi
浏览 0提问于2020-12-12得票数 0
2回答
我如何使用朱莉娅中的variant (在C++中)这样的东西？
在C++中，我可以这样做
variant<int, float> value;
对于函数的参数，我如何在Julia中做同样的事情？
function func(??)
# something
end
如果它不能传达我想做的事情，很抱歉。
浏览 2提问于2022-01-04得票数 5
回答已采纳
像这样创建选择器：
import { createSelector } from 'reselect';
export interface Node {
nodeId: number
nodeName: string
}
export type NodeState = {
nodes: Node[];
text: string;
};
const nodeListState = (state) => state.nodeList;
const byKey = (key: keyof NodeState) => createSelecto
浏览 36提问于2021-02-25得票数 1
回答已采纳
1回答
最小工作实例：
type FuncType<T> = (a: T) => T;
let f1: FuncType<T>; // does not compile
let f2: <T>(a: T) => T; // compiles
问题是，FuncType不是由我定义的，而是来自一个库。它也比上面的例子复杂得多。我希望使用从库导出的模板类型，而不是自己重新声明它(就像我注释f2时那样)。
有可能吗？如果没有，你知道为什么吗？
谢谢你的意见，我找不到关于这个话题的任何东西。
浏览 0提问于2021-04-09得票数 2
回答已采纳
1回答
我有一个函数，负责在应用程序中发出HTTP请求。基本上，它设置了所有所需的标题、超时等等.等等。然后，当请求完成时，我运行两个函数(由开发人员提供)：whenSuccess/whenError (取决于调用的结果)和whenComplete (不管调用的结果如何)。我希望最后一个能够接收whenSuccess函数的结果。
我将doRequest函数声明为
private func doRequest<S>(whenSuccess: (_ json: JSON?)->(S?),
whenError: (_ description:
浏览 2提问于2017-01-10得票数 15
回答已采纳
我在EcmaScript规范中看到某些方法是“通用的”。这是什么意思？
这是否意味着在调用函数时，这些方法对绑定到this值的对象做了很少或根本没有假设？
浏览 0提问于2015-04-23得票数 2
回答已采纳
2回答
为了减少样板，我将某种泛型函数接口声明为类型。然后我想声明一个这种类型的const。那么，为什么typescript假设foo声明是合法的，而bar不是呢？这些声明实际上不是相同的吗？typescript缺少简单的功能，还是我遗漏了一些细节？如果我不想显式重复FunctionType接口，有什么解决方法吗？
type FunctionType<TValue> = (value: TValue) => void;
const foo = <TValue>(value: TValue): void => {
}
//const bar: FunctionTy
浏览 1提问于2018-07-06得票数 30
回答已采纳
type Tuple = [];
const tup: Tuple = [
((a, b) = {
// a: number; tup 2th item
// b: boolean; tup 3th item
}),
1,
false,
// more item enble.
];
第一个项目是一个函数，参数类型是tulpe的其余部分。
我尝试定义元组，但代码错误“类型别名' Tuple‘循环引用自身”。
type Tuple = [(...args: any) => void, ...Parameters<Tuple[0]>
浏览 9提问于2022-11-25得票数 1
2回答
在类型记录中将类型作为参数传递
、、、、
我编写了一个自定义钩子，以帮助我避免重复某些提取调用的代码。看起来是这样的：
export const useCustomQuery = ({ endpoint, body, dataPoint }: args) => {
const [data, setData] = useState()
useEffect(() => {
fetch(`http://localhost:4000/${endpoint}`, {
method: 'POST',
headers: { 'Cont
浏览 14提问于2022-01-12得票数 0
1回答
我想要创建一个函数，它可以根据集合名称来操作嵌套记录的值。在我的示例代码中，没有达到值类型：
type Player = { name:string }
type Point = { x:number, y:number }
const collections = {
players: {} as Record<string, Player>,
positions: {} as Record<string, Point>,
}
type Collections = typeof collections;
function handleEntit
浏览 3提问于2022-11-28得票数 1
回答已采纳
2回答
响应泛型useFetch状态
、、、、
我正在尝试编写一个定制钩子useFetch，它对不同的数据提出许多请求。
问题是我不能正确地键入我的约会对象，我有这样的状态。
interface IState<T> {
data: T | T[]
loading: boolean,
error: boolean,
}
初始状态
const initialState = {
data: [],
loading: false,
error: false,
}
useEffect
useEffect(() => {
setData((prevState) => ({..
浏览 3提问于2022-08-06得票数 2
1回答
当向交集类型添加属性时，我面临一个奇怪的问题，泛型参数丢失。考虑到以下各点：
type Service = Record<string, any>;
type Dependencies = Record<string, Service>;
type Parameters = Record<string, any>;
type HandlerFunction<D, P, R> = (d: D, p: P) => R;
type ServiceInitializer<D extends Dependencies, S = any>
浏览 1提问于2020-11-21得票数 1
回答已采纳
假设我有一个用于分析对象的接口：
type Analytics = {
identify: () => void;
page: (title: string) => void;
track: (eventName: string, props: object) => void;
}
我想要实现某种队列，在我们能够执行这些操作之前收集所有的操作。队列如下：
const queue = [
['identify'],
['page', 'some title'],
['trac
浏览 2提问于2021-04-29得票数 1
回答已采纳
1回答
我构建了一个简单的函数，给出一个列表，返回一个列表，在这个列表中，输入中一个元素的连续出现被减少为一个。
let rec reduce l =
match l with
| [] -> []
| [x] -> [x]
| x::(y::_ as xs) -> if x = y then
reduce xs
else
x::(reduce xs)
#
浏览 4提问于2017-11-23得票数 1
回答已采纳
6回答
下面的代码来自Effective一书：
Set<Integer> integers = ... ;
Set<Double> doubles = ... ;
Set<Number> numbers = union(integers, doubles);
这段代码没有编译，作者建议通过告诉编译器确切的类型来解决这个问题，如下所示：
Set<Number> numbers = Union.<Number>union(integers, doubles)
如果联合的签名如下所示，为什么之前的程序不能编译?还有，这个特殊的变通习惯用法叫什么？
浏览 40提问于2013-02-27得票数 1
回答已采纳
1回答
给定一种通用类型：
export interface Mappable<Type, Src> {
map: <T = Type, D = Src>(f: (a: Src) => D) => T;
}
export type ComposeMapper<T extends Mappable<A, B>, A, B> = (f: (a: B) => B, m: T) => T;
为什么我不能在这样的声明中使用它：
// Error: '(' expected
let _cm: <T extends
浏览 1提问于2017-10-18得票数 0
回答已采纳
下面是一个非常基本的设置，其中我有一个类App来处理HTTP请求(假设是这样的，HTTP服务器的代码如下所示)。
interface CallbackError {
error: string;
}
type HandlerCallback = <T>(payload?: CallbackError | T) => void;
type Handler = (callback: HandlerCallback) => void;
// omitted code here is a server that calls handleRequest on a re
浏览 3提问于2019-12-29得票数 1
回答已采纳
F#允许您让编译器计算出类型参数应该是什么。 let foo = [| 1 |]
let bar = Array.head<_> foo (您实际上永远不会这样做，您会丢弃参数，但这只是说明性的)。 在C#中有没有等同的东西？ 问题是……我有接受30个类型参数的F#代码，从F#调用这段代码是微不足道的，编译器只是解决它(如果它不能，那么指定1个参数并通配符将很好地提示编译器做什么)，从C#调用这段代码是可怕的，因为你必须费力地计算出参数(如果你完全省略它们，它顽固地拒绝推断它们)。 附注： 即使是像让集成开发环境在F#代码中显式地指定这些参数，然后可以大量粘贴到C#代码中这样的讨
浏览 11提问于2020-10-18得票数 2
回答已采纳
我正在读"Practical Common Lisp“，我想知道Common Lisp是否像Ruby一样支持Duck类型？
在Ruby中，可以在对象上调用方法，而不管是什么类，只要它实现了具有调用者假定的名称和参数列表的方法。
克洛斯呢？是否可以在不考虑对象的类的情况下调用对象上的方法，只需假设一个泛型函数就可以处理它。也许不需要鸭子类型，因为CLOS不遵循消息传递哲学，方法也不绑定到类。
浏览 0提问于2012-02-18得票数 4
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
实时音视频
对象存储
即时通信 IM活动推荐
腾讯云开发者
