如何正确定义f-bound多态类型的存在词
F-bound多态类型是一种类型系统中的概念，用于描述一个类型要求其子类型实现某些方法或属性的能力。它是一种限制类型参数的方式，使得类型参数只能是其自身或其子类型。
具体来说，F-bound多态类型要求一个泛型类型参数T必须实现某个接口或继承某个类，并且该接口或类中的某些方法或属性的参数或返回类型必须是T类型。这样，当我们在定义一个使用了F-bound多态类型的类或方法时，我们可以确保传入的类型参数满足特定的条件。
F-bound多态类型的存在词可以分为以下几个方面：
- 概念：F-bound多态类型是一种限制类型参数的方式，要求类型参数必须实现特定接口或继承特定类，并且满足特定的方法或属性要求。
- 分类：F-bound多态类型可以分为两种类型：自身F-bound和递归F-bound。自身F-bound要求类型参数必须是其自身或其子类型，递归F-bound要求类型参数必须是实现了特定接口或继承了特定类的子类型。
- 优势：F-bound多态类型可以在编译时强制类型参数满足特定的条件，提高代码的类型安全性和可维护性。它可以帮助开发人员避免一些常见的错误，并提供更好的代码提示和自动补全功能。
- 应用场景：F-bound多态类型在许多领域都有广泛的应用，特别是在框架和库的设计中。它可以用于定义抽象基类或接口，并要求子类或实现类满足特定的方法或属性要求。这样可以确保代码的一致性和可扩展性。
- 腾讯云相关产品和产品介绍链接地址：在腾讯云的产品中，与F-bound多态类型相关的产品和服务可能包括云函数（https://cloud.tencent.com/product/scf）和云开发（https://cloud.tencent.com/product/tcb）。这些产品可以帮助开发人员在云计算环境中构建和部署应用程序，并提供了丰富的功能和工具来支持各种开发需求。
总结：F-bound多态类型是一种限制类型参数的方式，要求类型参数必须实现特定接口或继承特定类，并满足特定的方法或属性要求。它可以提高代码的类型安全性和可维护性，广泛应用于框架和库的设计中。在腾讯云的产品中，云函数和云开发可能与F-bound多态类型相关。
相关·内容
下面不是polymorphic (括号中)这个词吗，在§1.3.7动态类型中缺少
示例:如果静态类型为“指向B类的指针”的指针(8.3.1) p指向从B派生的(polymorphic)类D的对象，则表达式*p的动态类型为“D”。引用(8.3.2)被类似地对待。-end实例
浏览 3提问于2015-07-28得票数 3
回答已采纳
5回答
我试图从几篇在线文章和关于Covariance的问题中找出Contravariance和这两个词的确切含义，从我所能理解的方面来看，它只是(多态性的另一个词)。
我的上述说法正确吗？还是我弄错了？
浏览 8提问于2009-07-03得票数 44
回答已采纳
1回答
在阅读关于和的文档时，
我没有看到任何提到的地方。
我试图理解“类型擦除”的概念，因为它适用于C++。
说“任意”类型在存储其值时使用“类型擦除”是正确的吗？
说它在存储值时使用“多态”是正确的吗？
“类型擦除”是一种“多态”吗？
维基百科在上的文章也没有提到“类型擦除”。
它提到了“子类型”。“类型擦除”是一种“子类型”吗？
如果这个问题似乎指向不同的方向，我很抱歉。
总之，
“类型擦除”、“多形性”和“子类型”是如何与关系到C++?中的任何类型的。
浏览 2提问于2016-05-14得票数 1
什么是Smalltalk中的“无界动态多态性”？有人能举个例子吗？
在这个C++模板中提到了它:完整的指南，第238页。
浏览 7提问于2012-02-15得票数 2
回答已采纳
4回答
用类型同义词定义实例
、、、、
很抱歉，如果这个问题已经被问了很多次了--我很难把问题到底是什么，所以我不知道该找什么。
基本上，我已经定义了一个类，它的定义如下：
class (MonadIO m) => Logger m where ...
然后我有一个类型(我想说类型同义词，但我不确定这是否是正确的‘术语’)：
type ResourceOpT r m a = StateT (ResourceCache r) m a
为什么这个实例是完全有效的：
instance (MonadIO m) => Logger ( StateT s m )
但不是这个(我想第一个更抽象/更好，但我试图理解为什么)：
ins
浏览 5提问于2021-04-07得票数 4
回答已采纳
2回答
在Torgersen等人2005年的文件中，第2节和第3节的第一段使用了“类型参数”一词。然后，第3.1节第一句引入了“类型变量”一词。考虑到讨论它的背景和谷歌信息的缺乏，我只能推测“类型变量”被专门用来指通配符。我敢肯定，这是导致Java通配符实现的“突破性”文件。
编辑:非常感谢deduper为编辑我的问题所付出的努力！
浏览 2提问于2020-03-29得票数 2
回答已采纳
1回答
我刚从java开始。只是为了确保我能正确地解释这一点，并理解术语。看起来，子类型多态性将由两个组件组成，多态对象和多态方法。
我的问题是，所以Animal a = new Dog();将是多态对象，而重写多态方法的方法是多态方法吗？
浏览 3提问于2016-10-05得票数 1
回答已采纳
2回答
divide_list :: Int -> [Int] -> [Int] -> [Int] -> ([Int], [Int])
divide_list n [] l r = (l,r)
divide_list n (h:t) l r =
if h <= n
then divide_list n t (h:l) r
else divide_list n t l (h:r)
如您所见，我的函数接受Int列表。如何修改此代码以获得更通用的类型？我的意思是，例如字符串列表等。
浏览 5提问于2016-03-02得票数 1
回答已采纳
3回答
我试图找出类型类的用途，如果不使用类型类，还有什么。
类型类是定义多态函数的一种方法吗？
类型类是定义多态函数的唯一方法吗？例如：
class Eq a where
(==), (/=) :: a -> a -> Bool
x /= y = not (x == y)
instance Eq Bool where
False == False = True
True == True = True
_ == _ = False
我可以在不使用类型类==的情况下为Bool (和其他类型)定义Bool和Eq
浏览 4提问于2019-07-18得票数 3
回答已采纳
5回答
我从Haskell开始。我有这样一种情况，使用以下类型的同义词比较方便：
type Adult = Int
type Youth = Int
然而，我不能重载Adult和Youth上的函数，即使它们是不同类型的同义词，因此必须有两个独立的函数版本，例如。doSomethingForAdult和doSomethingForYouth，所以接下来我尝试
data Person = Adult Int | Youth Int
然后，我可以进行模式匹配并使用单一版本的函数，但是我不能在函数声明中使用Adult和Youth作为类型，这很方便。有没有折中的办法？我看过Either，但从教程中的描述来看，这
浏览 7提问于2011-07-13得票数 4
data MoneyAmount = Amount Float Currency
deriving (Show, Eq)
data Currency = EUR | GBP | USD | CHF
deriving (Show, Eq)
type Account = (Integer, MoneyAmount)
putAmount :: MoneyAmount -> Account -> Account
putAmount mon acc = undefined
我需要写一个函数，将钱添加到帐户(如果添加的钱在帐户中是错误的货币，则显示错误)。
我
浏览 0提问于2015-03-25得票数 3
2回答
我一直在工作，在这个给出的例子，以创造镜头。
如本文所述，我创建了Lens，下面是我的代码：
{-# LANGUAGE TemplateHaskell #-}
import Control.Lens
type Degrees = Double
type Latitude = Degrees
type Longitude = Degrees
data Meetup = Meetup { _name :: String, _location :: (Latitude, Longitude) }
makeLenses ''Meetup
meetupLat = location.
浏览 3提问于2014-04-14得票数 10
回答已采纳
我需要检查一下(麻烦)。
在我刚刚写的一篇文章( )中，我声明我对Scala的信念是，你不能指定一个带参数的函数，而这个函数本身就是一个带有未绑定类型参数的函数。我编辑了这个问题，试图简化这个例子。
下面的代码通过引入一个模仿Scala Function1特征的特征GenericFn来工作，只是它在函数中有一个自由类型的参数：
object TypeExample {
trait NumberBase {
def result:String
}
class A extends NumberBase {
def result =
浏览 2提问于2010-06-16得票数 8
我想知道关于Isabelle/HOL子类型的信息。在我对上一个SO问题的部分回答中，我解释了一下为什么它对我很重要：
基本上，我只有一种类型，所以如果我可以通过子类型来利用HOL类型的功能，这对我可能会很有用。
我已经在Isabelle文档、Web和Isabelle邮件列表中进行了搜索。使用了单词"subtype“，虽然不是很多，而且它似乎不是Isabelle词汇表中非常重要的部分。
在某种程度上，我只是想知道如何正确使用“子类型”这个词。我不想在Isabelle中称某个东西为子类型，而不是子类型。
根据Wiki的说法，子类型是特定于语言的：
重要的最后一部分；请输入命令
有人能给
浏览 3提问于2013-04-26得票数 8
回答已采纳
我意识到一种语言比另一种语言更容易/更难，但我只对与类型相关的特性感兴趣，它们在一种语言中是可能的，在另一种语言中是不可能的/不相关的。更具体地说，让我们忽略Haskell类型扩展，因为有太多的扩展可以做各种各样的疯狂/酷的事情。
浏览 0提问于2012-10-08得票数 66
回答已采纳
2回答
我需要合成一个使用者和一个管道，这样使用者的输出就可以输入管道。
我想可以用这样的组合器来解决这个问题：
Consumer i m r -> (r -> Producer o m r') -> Pipe i o m r'
或者这个：
Consumer i m i' -> Pipe i' o m r -> Pipe i o m r
或举升功能，如下所示：
Consumer i m r -> Pipe i o m r
或者像这样：
Consumer i m o -> Pipe i o m r
我试着做consumer >
浏览 3提问于2014-07-14得票数 4
回答已采纳
给定一个元组，其元素为A类型，另一种类型在A中参数化
trait Writer[-A] { def write(a: A): Unit }
case class Write[A](value: A, writer: Writer[A])
和一个使用网站：
trait Cache { def store[A](value: A, writer: Writer[A]): Unit }
为什么使用元组的提取器可以像预期的那样工作：
def test1(set: Set[Write[_]], cache: Cache): Unit =
set.foreach {
case Write(va
浏览 2提问于2012-03-07得票数 6
回答已采纳
1回答
我已经创建了一个C++类，它有一个公共成员，该成员是一个指向不相关类的指针。这就是它：
class ADS_1x15 : public Sensors {
public:
ADS_1x15(uint8_t addr = 0x48, adsGain_t gain = GAIN_TWOTHIRDS, String = "");
Adafruit_ADS1115* ads;
};
它是其他一些使用Adafruit做不同事情的类的基类，所以成员ads可以在任何后代类中使用。
有一个非常类似的Adafruit ADC叫做ADS1015，我希望我的类可以使用这两个ADC中的任何
浏览 2提问于2020-03-18得票数 0
我刚刚读到了，以及如何将它用于可扩展记录和多态变体。
然而，Ocaml对多态变体使用子类型。为什么？它是否比行多态性更强大？
浏览 2提问于2013-05-27得票数 6
回答已采纳
1回答
假设我们有代码(<: Monad[F]不像预期的那样工作)：
class External[F[_] <: Monad[F] : Concurrent](implicit proxy: Proxy[F]) { ... }
class Proxy[F[_] <: Monad[F]](implicit storage: Storage, async: Async[F]) {
def get(key: String): F[Option[Entry]] = {
async.blocking(storage.get(key))
}
}
我希望F[_]是一个Monad
浏览 1提问于2021-10-24得票数 2
回答已采纳
3回答
如前所述
在许多求职面试中，正确的答案是：“面向对象的四大支柱是什么？”是：
抽象化
封装
继承
多态
我不明白的是，遗传是如何不包含在多态性中的？
换句话说，如果不使用继承，如何使用多态性？
我所知道的使用多态性的唯一方法是
class A{
virtual void foo(){cout<<"A";}
void bar(){cout<<"A";}
};
class B : public A{
virtual foo(){cout<<"B";}
};
A*
浏览 5提问于2016-07-12得票数 3
回答已采纳
2回答
阅读堆叠溢出问题，一般的共识似乎是超载不是多态的一部分。
然而，我的OOP讲稿指出：
有四种多态性:参数化、包含性、胁迫性和过载性。
在注释中，它指的是具有不同参数的方法的重载，以及重载操作符，例如，ints和浮点数意义上的+。
维基百科还指出，“使用函数重载的许多语言都支持also多态性。”
因此，我不明白为什么人们会说这不是多态性的一部分，就像我认为的那样；对于一种方法，我们有不同的形式。
有人能详细说明吗？
谢谢。
浏览 4提问于2014-05-31得票数 1
回答已采纳
我正在通过一个教程‘专业ASP.NET MVC 3’由J加洛韦。在本教程中，Jon向我们展示了如何构建MVC音乐商店。
我正在创建CS类，以便首先使用EF代码对数据建模。
我所有的在书中的例子，public virtual int property {get; set; }是使用没有任何解释。虚拟这个词到处都是。
在网上的其他地方，我从未见过“虚拟”一词与任何形式的礼节联系在一起。
有谁能向我解释：
“虚拟”一词在这一特定上下文中的目的
是否有必要使用“虚拟”？
为什么有些人使用“虚拟”而另一些人不使用？
为什么有些人在定义外键时只使用“虚拟”？
“虚拟”一词的最佳实践用法
浏览 9提问于2012-10-01得票数 23
回答已采纳
最近，我在努力向我的一个同事解释某种方法的工作方式。这个问题与我不知道(可能存在的)某一术语有关。接受这样的一个功能：
function myFunct (arg) {
if (typeof arg == "number") {
// ...
}
if (typeof arg == "string") {
// ...
}
}
根据arg的数据类型，该方法会执行一些不同的操作。在不同的数据类型中接受其参数的函数的正确术语是什么？
浏览 3提问于2016-04-16得票数 2
回答已采纳
2回答
基于参数数的多态？
、、、
我听说根据参数类型改变函数的行为称为即席多态：
程序Adhoc；函数添加(x，y:整型)：整数；开始添加:= x+y end；函数添加(S，t: String)：String；开始添加:=连接(S，t)结束；开始写入(添加(1，2))；(*打印"3“*) Writeln(添加(‘Hello，'，’World！‘)；(*打印"Hello，World！*”*)结束。
根据传递给函数的参数数，是否有一个特定的术语来改变函数的行为？
例如，流行的JavaScript库jQuery有许多函数，它们根据传递的参数数量来执行不同的任务：
$(element).attr(attribu
浏览 0提问于2018-01-11得票数 2
我试图编译一个代码，但它给了我一个无意义的错误，我对oCaml非常陌生，所以我肯定会遗漏一些东西 以下是代码 let foo () =
if '\n' = '\n' then begin
print_endline "foo";
end 下面是我运行dune build时出现的错误 File "gkoeditor.ml", line 46, characters 7-11:
46 | if '\n' = '\n' then begin
浏览 12提问于2021-10-19得票数 1
回答已采纳
1回答
我正在寻找一种模式/解决方案，它允许我在一组不同的方法中调用一个方法作为运行时异常，而不需要使用反射。我最近意识到了抽象工厂模式。
在我看来，它非常类似于多态性，我认为这可能是一种多态情况，但没有超类GUIFactory，正如您在上面的链接示例中所看到的那样。我这个假设是正确的吗？
浏览 0提问于2011-11-29得票数 1
回答已采纳
我有两种类型的促销:一种是标准的促销，比如“买一送一”，另一种是针对即将到期的产品的短期促销。
这里对这两种类型进行了一些简化，但显示了字段：
case class ShortDatedPromo extends Promotion (val name, val startDate, val endDate, val wasPrice, val nowPrice, val productID)
case class RegularPromo extends Promotion (val name, val description, val terms, val productID, val
浏览 1提问于2014-03-17得票数 2
我正在研究"More Ocaml“一书的第11章，在其中，您尝试以各种方式实现一个集合。这段代码主要来自于这本书，但我已经将它更改为使用Core (和Core的列表)而不是stdlib。
open Core.Std;;
open Printf;;
module SetList :
sig
type 'a t;;
val set_of_list : 'a list -> 'a t;;
val list_of_set : 'a t -> 'a list;;
val insert : 'a -&
浏览 0提问于2015-04-13得票数 0
回答已采纳
有没有可能抛出bad_cast异常而不使任何层次结构或新类不同于C？main()不能编辑，唯一可以编辑的是C类。另外，我不能显式抛出bad_cast。
class C{
private:
...
public:
void f(){
...
}
};
int main () {
C c;
c.f();
}
提前感谢
浏览 2提问于2013-04-08得票数 1
回答已采纳
2回答
几天前我参加了C++考试，我得到了这个问题，我发现我不太清楚，问题是：
解释多态性、虚拟功能和覆盖等术语之间的差异。通过实例获取矩形和三角形的形状面积，编写两个不同的代码片段，说明多态性的实现以及多态和虚拟函数的实现。
给出两个代码段的输出示例。
根据绝对C++ 5 p669，多态性的定义是：
多态是指通过后期绑定机制将多个意义关联到一个函数名的能力。因此，多态、后期绑定和虚拟函数实际上都是同一个主题。
我可以从这个定义中了解到，如果不使用虚拟函数，就不存在多态性，不是吗？所以这个问题没有两种不同的代码片段实现，对吗？只有一个使用虚拟函数
我的问题是:这是一个有效的问题吗？
浏览 3提问于2016-01-29得票数 6
回答已采纳
让我们以法语和日语形容词作为简单例子。
法语形容词有性别(阳性或阴性)和数字(单数或复数)，而日语名词则没有。然而，日语形容词属于特殊的类，称为I-群或na-群.因此，理论上我们可以将其建模为简单(Java语法)：
class FrenchAdjective {
Gender gender; // enum
Plurality plurality; // enum
...
}
class JapaneseAdjective {
AdjectiveGroup adjectiveGroup; // enum
...
}
任何语言的所有形容词之间都可能有一些
浏览 0提问于2016-10-22得票数 3
回答已采纳
3回答
在Tcl中，变量和过程可以具有相同的名称...
举个例子，我可以
set container(alist) {}
proc container a {puts " do something"}
嗯..。tcl中还存在其他形式的多态性吗？我正在看一些代码，我看到了类似这样的东西。
浏览 1提问于2010-01-25得票数 2
3回答
据我所知，在编写函数或模块时不需要在源代码中编写类型注释的任何编程语言，如果代码块“类型正确”，编译器将推断类型并编译代码。还有更多吗？
有这样的语言吗？如果是，它的类型系统有什么限制吗？
更新1:为了让非常清楚，我问的是静态类型的、完全类型推断的编程语言，而不是动态类型的编程语言。
浏览 2提问于2012-05-05得票数 11
回答已采纳
我正在读这本书: Haskell表达式学校和第56页，在第5章的开头，我读了“多态数据类型”和“多态类型”这两个术语。
这两个术语是指同一个概念吗？
它们是同义词吗？
还是两者之间有什么区别？如果是什么？
浏览 2提问于2014-07-18得票数 8
回答已采纳
1回答
请考虑GHCi会话中的这个示例：
Prelude> :set -XRankNTypes
Prelude> let bar :: (forall a.[a]->[a]) -> [Int]; bar f = f [1,2,3]
这定义了一个秩-2类型的funcion bar .因此，类型推断不应该能够推断出正确的类型：
Prelude> let foo f = bar f
事实上，
<interactive>:7:17:
Couldn't match type `t' with `[a] -> [a]'
`t' i
浏览 0提问于2013-07-24得票数 4
回答已采纳
2回答
我以为我理解遗传和多态，但我被问到了这个问题，而在我的一生中，我无法弄清楚正确的答案是什么，或者他们想得到什么：
确定类层次结构中哪个方法应该执行的过程称为：
( a)继承
( b)多态
( c) is-a
( d)已-a
( e)父类
从每一个术语来看，它们似乎都不是正确的答案。
继承是在类自动获取父类中的公共变量和方法时进行的。所以这显然不是正确的答案。
多态允许我们编写一种方法来处理对象A，因此它将适用于所有扩展对象A的东西(或者继续扩展它，IE对象B扩展对象A，对象C扩展对象B等等)，所以这显然不是正确的答案！
是-A:这根本没有道理。Is-a只是用来声明一个类是它的父类的一个实例(狗
浏览 0提问于2014-04-14得票数 6
2回答
那么，如果我在整个应用程序中都有一个多态关联，有没有办法向其中添加方法？例如，如果:post、:photo和:user都与:rankable的多态关联关联在:rankable上，我是否可以在:rankable上创建方法，然后由:post、:photo或:user继承？我的猜测是，如果可能的话，这将需要我向应用程序添加一个可分级模型并在其中定义方法。这有可能吗？如果是这样，并且我需要创建一个模型是正确的，那么该模型将从哪个类继承，或者我将如何将其定义为多态关系？
浏览 1提问于2010-10-02得票数 1
回答已采纳
class A{
virtual void setEnable(bool enable) = 0;
};
class B : A{
B() {
setEnable(true);
}
~B() {
setEnable(false);
}
bool enable_ = false;
void setEnable(bool enable) override {
enable_ = enable;
}
};
我是否正确地理解了B :：setEnable函数只有在构造函数退出之后才会添加到vtable中，而这是未
浏览 1提问于2021-08-18得票数 1
回答已采纳
1回答
我很难理解为什么下面的代码会导致错误。如果将Foo的第二个字段更改为Int类型，则代码将无错误地运行。
Prelude> data Foo = Foo {foo_a :: Int, foo_b :: Float}
Prelude> let x = Foo 2 3.4
Prelude> unwords $ map (\fn -> (show . fn) x) [foo_a, foo_b]
<interactive>:4:46:
Couldn't match type `Float' with `Int'
Expecte
浏览 5提问于2015-08-14得票数 11
回答已采纳
我对这两种多态感到困惑，请给我简单的例子来帮助我，因为我对c++.Give来说是完全陌生的，只是一些基本的想法。
浏览 11提问于2015-06-07得票数 1
回答已采纳
因为在Java中不能选择多个返回值，所以我想知道如何设置我的方法以根据if else语句返回正确的值。我现在如何在每个if语句中返回它可能是不正确的，但我不确定是否有替代方法。我认为代码只是选择了第一个返回语句并结束了程序。有什么替代方案呢？谢谢
public int rockGame()
{
if (compChoice == 0)
{
txaResults.append("Rock vs Rock equals a tie! \n");
return res
浏览 0提问于2017-10-10得票数 0
11回答
解释多态性
、、、
什么是多态性？我不确定我的理解是否正确。
在Python作用域中，我从中得到的是我可以按如下方式定义参数：
def blah (x, y)
而不必指定类型，而不是像Java这样的另一种语言，它看起来更像是这样：
public void blah (int x, string y)
我说的对吗？
浏览 0提问于2010-07-24得票数 14
回答已采纳
2回答
如何用子类型来思考多态性
、、、、
Liskov替代原则规定：
超级类型的不变量必须保留在子类型中。
我对这个原则和多态性的交集特别感兴趣。特别是子类型多态，实际上，这似乎是参数多态和Haskell类型类的情况。
所以，我知道函数是子类型，当它们的参数是反变的，它们的返回类型是协变的。我们可以假设方法只是一个隐含的“自我”参数的函数。但是，这似乎意味着，如果子类覆盖父类的方法，则它不再是子类型，因为它的方法之一不再是子类型。
例如。以下列伪码为例：
class Parent:
count : int
increment : Parent -> ()
{
count += 1
浏览 3提问于2014-07-25得票数 3
回答已采纳
1回答
可能重复：
我知道什么是标记界面-一个没有方法的接口。示例:可序列化、远程、可克隆。
我想知道标记词的目的是什么。我的理解是：-
基本上，它只是从普通对象中识别特殊对象。与序列化的情况一样，需要序列化的对象必须实现可序列化的接口，而行下的writeObject()方法必须检查它是否是可序列化的实例。据我所知，这是writeObject使用接口可序列化(标记接口)的唯一目的。对吗？或者jvm在可串行化接口的基础上也提供了一些额外的功能？
类似的逻辑也适用于可克隆的接口。
现在让我们看看它是如何有用的。
假设在应用程序中，我们有1000个值，objects.We只想序列化100个特定对象。
浏览 0提问于2011-08-21得票数 13
回答已采纳
1回答
我有一个继承自A的类B。
class A
{
};
class B : public A
{
};
我有三个对象。
A* a = new A();
A* a2 = new B();
B* b = new B();
我想知道，如果检查A是A类型的对象，a2是B类型(不是A)的对象，b是B类型的对象。
我试过打字比较，但没有给出正确的答案。
cout << (typeid(*a) == typeid(A)) << endl; // -> 1
cout << (typeid(*a2) == typeid(A)) << endl; // ->
浏览 0提问于2013-06-20得票数 5
回答已采纳
在C++中，有两种类型的多态性：
对象多态性
功能多态性
函数多态性与方法或函数重载完全相同，也就是说，我们使用相同的方法名，具有不同的参数和返回类型。现在的问题是为什么我们在OOP中有一个花哨的名字多态性？
什么能明显区分多态和方法重载？有人能用情景来解释吗。谢谢
浏览 8提问于2012-09-22得票数 2
回答已采纳
2回答
短暂的搜索并没有帮助我找到答案，所以我开始怀疑它的存在。问题很简单。我想创建一个多态函数，如下所示：
f :: String -> String
f s = show (length s)
f :: Int -> String
f i = show i
对于不同的数据类型定义不同的函数是指。有可能吗？如果是，是如何实现的？
浏览 0提问于2012-09-15得票数 10
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
即时通信 IM
实时音视频活动推荐
腾讯云开发者
