函数类型不能有类型参数
是指在某些编程语言中，函数类型不能接受类型参数作为其参数或返回类型的一部分。
在静态类型语言中，函数类型通常由参数类型和返回类型组成。例如，一个接受整数参数并返回布尔值的函数类型可以表示为 (int) -> bool。然而，函数类型本身不能接受类型参数。
这意味着函数类型不能像泛型类型那样具有参数化的类型。泛型类型允许在定义时指定类型参数，以便在使用时可以使用不同的类型。但是，函数类型只能表示具体的参数类型和返回类型，而不能表示参数化的类型。
函数类型不能有类型参数的限制可能会影响某些编程模式和设计模式的实现。例如，如果想要定义一个通用的高阶函数，该函数接受一个函数作为参数并返回一个新的函数，这个新的函数的类型可能依赖于传递的函数的类型参数。在函数类型不能有类型参数的情况下，可能需要使用其他的方式来实现这种通用性。
总结起来，函数类型不能有类型参数意味着函数类型本身不能接受类型参数作为其参数或返回类型的一部分。这是某些编程语言中的限制，需要在设计和实现函数相关的代码时注意这一点。
（注：本回答中没有提及云计算相关内容，因为函数类型不能有类型参数与云计算领域没有直接关联。）
相关·内容
2回答
我有一个返回Future[Unit]的方法，所以当我调用whenReady时
这两个选项有效：whenReady(doItAsync())(_ => {})和whenReady(doItAsync()) { _ => }
但事实并非如此：whenReady(doItAsync())(() => {})
在本例中，不是Unit 类型的和空参数列表等效的？。
浏览 4提问于2017-12-04得票数 1
回答已采纳
2回答
与Unit对比中的Void
f#、functional-programming、void、unit-type
我想要了解这两个编程概念之间的区别。第一个表示缺少数据类型，而后者表示类型存在，但没有信息。此外，我认识到单元来自函数式编程的理论基础，但我仍然不能理解单元原语的可用性(例如，在F#程序中)。
浏览 2提问于2009-12-14得票数 8
回答已采纳
用榆树语，我很难解释我的问题.在榆树中的这些片段中:我理解下面的签名
update : Msg -> Model -> Model
其中的参数/输出由箭头分隔，但如何读取/查找以下内容：
Sub Msg
Program Never Model Msg
在：
main : Program Never Model Msg
main =
program
{ init = init
, view = view
, update = update
, subscriptions = subscriptions
浏览 4提问于2016-11-17得票数 8
回答已采纳
2回答
类型化语言中为什么需要不变性、协方差和逆变？
static-typing、invariants
好吧，不太确定我是不是对的。
我最近才了解到，为了能够在C#中将该接口作为参数传递，我需要有反变体接口，而这个特性仅在.NET 4.0中添加。
因此很明显，您不能执行这个协变或不变接口是有原因的，它可能与传入、获取泛型类有关。
我不太清楚这里的限制是什么，并且知道我已经看到了在什么地方可以使用Contravariant接口，而其他人却不能使用，在哪里可以使用协变量(什么时候可以使用协变量？)
这都是出于好奇(我对围绕某些语言的编程概念非常感兴趣)。我想看看(链接将很好)一些例子，为什么有必要使用这些特性，如果你允许协变/不变量进入反变体场景，反之亦然，在哪里每一个发光。
浏览 0提问于2012-05-21得票数 7
回答已采纳
3回答
泛型非静态方法的用例是什么？
java、generics
让非静态方法泛型而不让类本身泛型的有效用例是什么？
示例：
public class A {
<T> T someMethod(T param) {
//use case?
}
}
如上所示，类不是参数化的，但方法是参数化的。什么时候可以使用这样的结构？
请注意，以上代码只是一个示例。我可以接受所有的返回类型或参数。我只对泛型非静态方法的有效用例感兴趣。
浏览 1提问于2019-12-19得票数 2
1回答
实现基本接口问题
c#、generics、interface
我在一个基础库项目中定义了以下接口：
public interface IWorkContext {
T User<T>() where T : IUser;
// Note this method is kind of a shortcut so i don't
// have to keep passing in T
IUser User();
}
public interface IUser {
int Id { get; }
string UserName { get; }
}
现在，我有了另一个项目，它使用下面的
浏览 8提问于2012-09-11得票数 3
回答已采纳
3回答
F#中的泛型函数
generics、f#、automatic-generalization
我仍然在试图弄清楚F#是如何泛化(或不泛化)函数和类型的，有一个案例困扰着我：
let min(a, b) = if a < b then a else b
let add(a, b) = a + b
let minInt = min(3, 4)
let minFloat = min(3.0, 4.0) // works!
let addInt = add(3, 5)
let addFloat = add(3.0, 5.0) // error: This expression was expected to have type
浏览 0提问于2012-05-15得票数 9
回答已采纳
1回答
任何只支持泛型而不支持OOP的编程语言？
java、c++、object-oriented、generics、generic-programming
我正在写一篇关于OOP和Stepanov创建的泛型编程之间的紧张关系的论文。他对OOP进行了广泛的批评，并说与普通编程相比，OOP在技术上是有缺陷的。
现在我知道我们有很多支持OOP专用语言的编程语言，并且没有通用的支持，比如Google，这是一种现代语言，他们选择不实现泛型，因为它们的复杂性。我知道我们有很多支持Generics和OOP的语言，例如C++和Stepanov的著名的STL库。
我的问题是:我们是否有任何现代的编程语言或者完全不支持OOP的泛型？
编辑:我想补充一下，我试着四处看看，似乎找不到很多东西，所以我想我会在这里问。
补充一下，当我提到泛型和面向对象的编程时，我指的是：
浏览 0提问于2013-12-15得票数 3
回答已采纳
2回答
多堆继承和不同类型的方法。这些方法和继承意味着什么？
oop、c#-4.0、methods、multiple-inheritance、xero-api
嗨，我需要一些帮助来理解这些代码。这些来自Xero Api，不幸的是没有评论，所以我很难理解下面的代码。
public abstract class XeroReadEndpoint<T, TResult, TResponse> : IXeroReadEndpoint<T, TResult, TResponse>
where T : XeroReadEndpoint<T, TResult, TResponse>
where TResponse : IXeroResponse<TR
浏览 0提问于2016-07-19得票数 1
3回答
为什么泛型类型不能有显式布局？
c#、.net、generics、clr、unsafe
如果尝试使用[(.Explicit)]属性创建一个泛型结构，则使用该结构在运行时生成异常：
System.TypeLoadException:无法从程序集'bar‘加载类型'foo’，因为泛型类型不能具有显式布局。
我一直很难找到任何证据证明这种限制是存在的。文档强烈地暗示它是被允许和支持的。有人知道为什么这是不允许的吗？我想不出为什么泛型类型会降低它的可验证性。我觉得这是他们根本不想实现的边缘情况。
下面是关于为什么显式泛型布局有用的：
public struct TaggedUnion<T1,T2>
{
public TaggedUnion(T1
浏览 4提问于2014-11-04得票数 11
回答已采纳
4回答
如何命名使用属性的类？
c#、class、interface、marker-interfaces
我正在编写自定义属性，而不是标记接口
public class FooAssignableAttribute : Attribute
{
...
}
[FooAssignable]
public class Foo
{
...
}
我不能编写这样的字典吗？
Dictionary<string, FooAssignable> dictionary;
为了避免使用标记接口，我尝试使用自定义属性。为什么我不能写上面的代码？
浏览 28提问于2012-01-28得票数 1
回答已采纳
1回答
F#中的显式递归
f#、recursion、type-systems
受启发
在F#?中是可能的显式递归。
type 'a Mu = In of 'a Mu 'a
let unIn (In x) = x
这段代码不幸地给出了"Type参数不能用作类型构造函数。
备注:例如，在论文中使用了这个结构。
使用示例(取自)：
type ('a, 'b) ListX =
| Nil
| Cons of 'a * 'b
type 'a List = ListX Mu
浏览 2提问于2009-08-10得票数 7
回答已采纳
2回答
在接口中使用通用方法是没有意义的？
java、generics、interface
我正在编写一个小的函数式编程代码。我有一个接口，还有一个类，它的函数将该接口实现为param。
public interface Statement
{
T executeTStatement();
}
public class StatementExecutor
{
public static<T> T executeStatement(Statement statement)
{
T result;
try
{
.
浏览 2提问于2014-01-08得票数 0
回答已采纳
3回答
泛型在颤动飞镖中的应用
dart、flutter
有人能解释一下<MyApp>的用法吗？
MyAppState是State类的扩展，但是MyApp是什么呢？
我知道php中的面向对象编程，但不能理解这一点。
class MyApp extends StatefulWidget{
@override
MyAppState createState() => new MyAppState();
}
class MyAppState extends State<MyApp>{
@override
Widget build(BuildContext context) {
return new S
浏览 1提问于2018-11-19得票数 9
1回答
关于回忆录实施的两个问题
.net、vb.net、function、memoization
我有这样一门课：
Public NotInheritable Class F
Private Sub New()
End Sub
Public Shared Function Mize(Of TResult)(ByVal f As System.Func(Of TResult)) As System.Func(Of TResult)
Dim is_new = True
Dim result As TResult
Return Function()
If is_new Then
浏览 5提问于2011-05-07得票数 2
回答已采纳
4回答
Java中的泛型方法，语法
java、generics
第6行发生了什么？<C extends Cat>是useMe的返回类型，对吗？<? super Dog>是做什么的？
2. class Animal { }
3. class Dog extends Animal { }
4. class Cat extends Animal { }
5. public class Mixer<A extends Animal> {
6. public <C extends Cat> Mixer<? super Dog> useMe(A a, C c) {
7. //Some code
8. } }
浏览 1提问于2012-01-22得票数 2
回答已采纳
1回答
Kotlin:覆盖(并指定)通用接口函数
function、kotlin、generics、interface、overriding
我希望使用将由它们的实现类指定的泛型接口，所有这些都很好，例如：
interface Remove <E> { fun remove(entity: E) }
class MyHandler : Remove <MyClass> {
override fun remove(entity: MyClass) { */do stuff/* }
}
但是，我有一种情况(到目前为止，还期望有更多的机会)，我希望函数本身是通用的。编写接口一点问题都没有：
interface FindByID <E> { fun <K : Serializable>
浏览 2提问于2020-10-19得票数 2
回答已采纳
1回答
使用参数对函数进行类型推断
typescript
最近我一直在使用泛型类型，在编写一个函数时，我必须使用函数中的一个参数来确定返回类型。
为了给出一个大致的想法，以下是我想要做的事情：
const getString = () => 'string';
const getNumber = () => 9999;
const getNumberOrString =
<
T extends 'number' | 'string',
ReturnType extends T extends 'number' ? number
浏览 3提问于2021-01-18得票数 0
回答已采纳
5回答
WCF。服务通用方法
c#、wcf、generics
如何在wcf服务中使用通用方法？
我写了这段代码：
[OperationContract]
void AddItem<T>(T item);
但我收到以下错误：
类型'T‘不能作为架构类型导出，因为它是一个开放的泛型类型。只有当泛型类型的所有泛型参数类型都是实际类型时，才能导出泛型类型。
浏览 0提问于2010-05-25得票数 17
回答已采纳
4回答
如何在运行时获取泛型类型？
java、generics、reflection
这是我的代码: ExecutorImp扩展了AbstractExecutor，后者提取其实现者的相同执行逻辑( ExecutorImp是一种情况)，当调用ExecutorImp的execute()方法时，它将调用其超类型中的方法，但超类型( AbstractExcutor)应该知道绑定到实现者的另一个类(在本例中，它是User类)：
import java.lang.reflect.InvocationTargetException;
import java.util.ArrayList;
abstract class AbstractExecutor<E> {
publ
浏览 5提问于2010-10-15得票数 12
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
活动推荐
腾讯云开发者
