“不支持多态关键字函数的推断”
不支持多态关键字函数的推断是指在某些编程语言中，编译器或解释器无法自动推断多态函数的类型。多态关键字函数是指具有不同参数类型的函数，可以根据传入参数的类型来选择不同的实现。然而，某些编程语言可能不支持自动推断多态函数的类型，需要显式地指定参数类型。
这种情况下，开发者需要手动指定多态函数的参数类型，以确保编译器或解释器能够正确地选择函数的实现。这样做可能会增加代码的复杂性和冗余性，因为需要为每个参数类型都编写一个函数实现。
尽管不支持多态关键字函数的推断可能会增加开发的工作量和代码的复杂性，但也有一些优势和应用场景。首先，显式指定参数类型可以提高代码的可读性和可维护性，因为开发者可以清楚地知道函数的参数类型。其次，对于一些特定的场景，显式指定参数类型可以提高代码的性能，因为编译器或解释器可以根据参数类型进行优化。
在腾讯云的云计算平台中，虽然无法直接推荐相关产品，但可以通过腾讯云提供的云计算服务来支持开发工程师在云计算领域的工作。腾讯云提供了丰富的云计算产品和解决方案，包括云服务器、云数据库、云存储、人工智能服务等，可以满足开发工程师在前端开发、后端开发、数据库、服务器运维、人工智能等方面的需求。
更多关于腾讯云云计算产品的详细信息和介绍，可以参考腾讯云官方网站的相关页面：https://cloud.tencent.com/product
相关·内容
1回答
下面的代码生成标题错误： (: f (∀ (a) (-> [#:x a] (U Integer a))))
(f #:x 3) 好的，但是(f #:x (cast 3 Integer))仍然会产生同样的错误。在哪里是类型变量，其实例化的值球拍试图推断，即我需要显式指定其值的类型变量？注意:我尝试强制转换(cast (f #:x (cast 3 Integer)) Integer)，但DrRacket只突出显示了内部(f ...)表单
浏览 11提问于2020-07-12得票数 0
回答已采纳
1回答
我想从传递给函数的this关键字中推断当前类的类型。由于某种原因，当我将this作为参数传递给函数时，TypeScript推断类型参数T是this而不是当前的类类型。
下面是我想要做的一个例子。我希望B和C类都有一个类型为number的field，但是C类中的field在传递this作为参数时是GenericArguments<this>。当手动指定类型时，一切正常(B类示例)，但是从t
浏览 20提问于2019-11-19得票数 1
回答已采纳
3回答
OCaml中的弱多态性
、、、
我对OCaml中的弱多态性感到有点困惑。请看下面的片段，其中我定义了一个函数remember let cache = ref None in | Some y -> y;; | Some y -
浏览 3提问于2013-07-29得票数 7
回答已采纳
考虑以下示例： f x = xGHC推断f :: a -> a f x = const x g现在GHC推断出f多态递归 size Leaf = 0
size(Bin _ t) = 1 + 2
浏览 18提问于2014-06-08得票数 18
回答已采纳
1回答
我有一个处理大量计算的大型let块，我试图将它分解成较小的块，将其分解为函数。我需要将一个在开放对象上操作的函数传递给这些组件，并遇到以下简化代码中最好表达的烦恼： constraint 'a = < bar: string option;correctly inferred type of < bar : 'a; .. > -> < bar : 'a; qux : &#
浏览 1提问于2016-05-11得票数 3
回答已采纳
2回答
实际上，我正在从事我的第一个VBA项目。(来自C++)1 -我读了很多文章/论坛，解释了VBA不是面向对象编程(OOP)语言，不支持多态性。
其中一些人提出了使用关键字实现的解决办法。2 -我还发现了一些像这样的网页，这些网页解释了如何使用Inherits、重写、等关键字在VBA中执行OOP和多态。
浏览 6提问于2015-08-06得票数 52
回答已采纳
这是来自微控制器维基的解释。RTTI或Run-Time-Type-Information也被禁用。但是，这并不是完全禁止多态性，因为仍然支持虚拟函数和虚拟继承。例如，不支持多态类型之间的dyna
浏览 2提问于2014-01-30得票数 2
1回答
我试图为多态列表编写一个反向函数，如下所示。impl_rec acc = function | x::xs -> impl_rec (x::acc) xs 编译器推断出impl_rec acc = function | x::xs -> impl_rec (x::acc) xs 下面的代码可以推断多态类型OCaml
浏览 5提问于2022-06-25得票数 2
回答已采纳
2回答
数值型文字具有多态类型：3 :: (Num t) => tx = 3x :: Integerf x = 3f :: (Num t1) => t -> t1x :: Num a => a
x
浏览 1提问于2010-11-15得票数 22
回答已采纳
2回答
我希望实现一个简单的错误返回类型，即一个变体，其中一个表示错误，另一个表示成功计算的结果。对于该任务，我希望创建如下所示的错误构造器：#include <string>}
const
浏览 5提问于2017-09-08得票数 1
回答已采纳
2回答
我只是为了确保没有人会从我的非多态类中派生，所以我使用了以下语法：{ ~Foo(); // not virtual
};是否允许对非多态类使用关键字final来防止从类派生？<
浏览 4提问于2015-01-12得票数 3
回答已采纳
我注意到ReasonML中的类型推理机制有一个非常奇怪的行为。我有一份包含识别功能的记录。当我直接使用记录实例时，编译器不会抱怨。但是，当我将记录传递给另一个函数并试图调用identity函数时，类型推断会发出抱怨： // idFn can take any type.我需要什么使类型推理高兴地接受任何类型的论点？
浏览 0提问于2019-02-05得票数 1
回答已采纳
1回答
标准ML没有多态递归。将递归添加到模块语言中，可以将多态递归作为特例进行恢复，并使用内函子的不动点。* ('a * 'a) S.seq
end
众所周知，多态递归使得类型推断不可判定然而，函子定义已经包含了部分类型信息，即其参数的签名。这些信息是否足以使类型推断再次可判定？
浏览 2提问于2016-06-25得票数 2
回答已采纳
1回答
虚拟常数函数是如何实现的？
、、、、
从C++2a开始，虚拟函数现在就可以被使用了。但据我所知，您仍然不能在constexpr上下文中调用任意函数指针。}
因此，考虑到在编译时不能调用函数指针，并且在编译器没有足够的信息来静态推断调用哪个
浏览 0提问于2019-05-03得票数 3
回答已采纳
1回答
我花了大量的时间来查看looking，而且我还没有找到对多态递归的一个很好的解释！我理解基本的递归结构：myFunction [] = []多态递归是什么样子的？它的好处/用途是什么？
浏览 4提问于2016-10-25得票数 4
回答已采纳
1回答
这是我尝试流类型的一个简明示例。考虑一下这个函数。auth,} => async (...args) => { return exec(...args)我想从流输入这个函数中得到的东西...* auth和exec都是异步函数，具有相同的输入(可以是任意数量的输入)* auth是一个无效函数(返回Promise，因为它是异步的)* creat
浏览 0提问于2019-06-07得票数 0
2回答
我读到过一些在行业中使用ML的人的轶事，他们说经常会遇到类型推断的限制，并且不得不在他们的程序中使用显式的类型注释。谁能给出明确的例子，说明ML的类型推断在哪里遇到问题，并解释一下限制是否与不可判定有关？
浏览 0提问于2012-10-26得票数 2
回答已采纳
我有一个有两个泛型类型的函数，In和Out In extends Record<string, any> = {},
只指定In：createTa
浏览 3提问于2020-02-24得票数 19
回答已采纳
5回答
为什么我们看不到C类语言允许返回类型中具有多态性的可调用项呢？我可以看到额外的类型推断将是一个障碍，但是我们有一个功能齐全的类型推理系统(用于不同级别的“工作”)的。编辑：的返回类型多态性--我的意思是只在返回类型中重载函数签名。例如，C++和Java只允许形式参数类型中的重载，而不允许返回类型中的重载。
浏览 9提问于2008-10-30得票数 12
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
实时音视频
即时通信 IM
对象存储活动推荐
腾讯云开发者
