C类语言中的返回类型多态

原文

为什么我们看不到类似C语言的允许在返回类型中具有多态的callable？我可以看到额外的类型推断将是一个障碍,但是我们有 plenty of languages具有完整的类型推理系统(适用于不同级别的“工作”).

编辑：通过返回类型多态性我的意思是仅在返回类型中重载函数签名.例如,C和Java只允许在形式参数的类型中重载,而不是返回类型.

解决方法

如果通过“返回类型多态”,您的意思是基于返回值类型重载,我不知道其他语言,但对于C这里的答案(几乎来自马的嘴)：

函数返回类型不会在重载分辨率中起作用,因为Stroustrup(我假设来自其他C架构师的输入)要求重载分辨率为“上下文独立”.请参见“C编程语言第三版”中的7.4.1 – “重载和返回类型”.

The reason is to keep resolution for
an individual operator or function
call context-independent.

他们希望它仅仅基于如何调用重载,而不是如何使用结果(如果使用的话).实际上,在不使用结果的情况下调用许多函数,或者将结果用作较大表达式的一部分.我确定的一个因素是,当他们决定这一点时,如果返回类型是分辨率的一部分,那么将会有很多调用重载的函数需要用复杂的规则来解决,或者必须让编译器抛出调用不明确的错误.

而且,主知道,C重载分辨率足够复杂,因为它是…

C类语言中的返回类型多态的更多相关文章

  1. ios – Swift：方法重载只在返回类型上有所不同

    我一直在看Swift类,其中定义了两种方法,它们的返回类型不同.我不习惯使用允许这种语言的语言,所以我去寻找描述它如何在Swift中工作的文档.我在任何地方都找不到任何东西.我本来期望在Swift书中有关于它的整个部分.这记录在哪里？

  2. iOS中的继承,多态,封装？

    什么是iOS中的完全遗传,多态和封装？iOS使用所有这些功能？

  3. Swift 运算符重载

    但是现在还有另外一个Swift的特性，你应该知道并且会爱上它，它就是运算符重载。例如：我们在SwiftSpriteKitutilitylibrary代码中使用运算符重载去讲多个CGPoints对象相加，例如下面代码：1234letpt1=CGPointletpt2=CGPointletpt3=pt1+pt2letpt4=pt3*100方便吧？当一个人查看你的代码，他们希望操作符的默认行为，这时候运算符重载会使他们迷惑。幸运的是Swift让你能够定义属于你自己的自定义的运算符。

  4. Swift函数重载

    1、函数重载的概念函数的重载指的是多个函数享有相同的名字都是有不同的参数或返回值类型不同，它们互相成为重载关系，2、与其它语言的不同Swift函数的参数类型包含了参数列表类型和返回值类型，例如(Double,Double)->Double是由2个Double类型参数列表和Double类型的返回值类型构成，也就是说Swift中函数名相同，参数列表不同或者返回值类型不同的函数都可以构成重载，而在C++

  5. Swift学习笔记(十二)构造过程

    默认构造器Swift将为所有属性已提供默认值的且自身没有定义任何构造器的结构体或基类，提供一个默认的构造器。构造器的继承和重载跟Objective-C中的子类不同，Swift中的子类不会默认继承父类的构造器。Swift的这种机制可以防止一个父类的简单构造器被一个更专业的子类继承，并被错误的用来创建子类的实例。

  6. swift 重载 泛式 inout的使用

    swift重载泛式inout的使用函数func关键字->表示返回值信息等等那我们接下来利用函数做几件事情-a比较两个数字的大小-b比较两个字符串-c既能比较字符串，又能比较数字a情况b情况c情况特殊之处就在于这个Equatableinout总之1.swift中重载传递的参数类型不同也可以重载2.范式可以更好的兼容数据类型，利于不同类型数据的比较3.inout可以再一个没有返回值的函数修改该函数的形

  7. Swift 3.构造函数-重载构造函数

    ViewController.swiftPerson.swiftStudent.swift

  8. Swift协议

    这意味着协议可以作为函数的参数类型或者返回值类型。之前的例子中，单一的接口是PersonProtocol协议，而多种类型是遵守该协议的任何类型。当使用协议来获取实例时，只能使用定义在该协议中的属性与方法。在Swift中，is关键字用来检查实例是否是特定类型，as关键字用来将实例看作特定类型。

  9. Swift重载和自定义运算符

    最近一直边忙毕设边学Swift，终于看完了官方的教程，在iBooks上做了一些笔记，感觉Swift是一门大杂烩类型的语言，我会记录一些我自认为以前遇到较少或者需要重点记忆的语法特性，在此作为分享，这次是运算符的重载，几乎每门语言都有，只是语法不一样罢了。运算符重载在Swift的官方文档中运算符重载叫做运算符函数，顾名思义就是对已经有的运算符覆盖定义自己的函数实现。三元运算符（a？

  10. swift学习笔记之运算符重载

随机推荐

  1. 从C到C#的zlib(如何将byte []转换为流并将流转换为byte [])

    我的任务是使用zlib解压缩数据包(已接收),然后使用算法从数据中生成图片好消息是我在C中有代码,但任务是在C#中完成C我正在尝试使用zlib.NET,但所有演示都有该代码进行解压缩(C#)我的问题：我不想在解压缩后保存文件,因为我必须使用C代码中显示的算法.如何将byte[]数组转换为类似于C#zlib代码中的流来解压缩数据然后如何将流转换回字节数组？

  2. 为什么C标准使用不确定的变量未定义？

    垃圾价值存储在哪里,为什么目的？解决方法由于效率原因,C选择不将变量初始化为某些自动值.为了初始化这些数据,必须添加指令.以下是一个例子：产生：虽然这段代码：产生：你可以看到,一个完整的额外的指令用来移动1到x.这对于嵌入式系统来说至关重要.

  3. 如何使用命名管道从c调用WCF方法？

    更新：通过协议here,我无法弄清楚未知的信封记录.我在网上找不到任何例子.原版的：我有以下WCF服务我输出添加5行,所以我知道服务器是否处理了请求与否.我有一个.NET客户端,我曾经测试这一切,一切正常工作预期.现在我想为这个做一个非托管的C客户端.我想出了如何得到管道的名称,并写信给它.我从here下载了协议我可以写信给管道,但我看不懂.每当我尝试读取它,我得到一个ERROR_broKEN_P

  4. “这”是否保证指向C中的对象的开始？

    我想使用fwrite将一个对象写入顺序文件.班级就像当我将一个对象写入文件时.我正在游荡,我可以使用fwrite(this,sizeof(int),2,fo)写入前两个整数.问题是：这是否保证指向对象数据的开始,即使对象的最开始可能存在虚拟表.所以上面的操作是安全的.解决方法这提供了对象的地址,这不一定是第一个成员的地址.唯一的例外是所谓的标准布局类型.从C11标准：(9.2/20)Apointe

  5. c – 编译单元之间共享的全局const对象

    当我声明并初始化一个const对象时.两个cpp文件包含此标头.和当我构建解决方案时,没有链接错误,你会得到什么如果g_Const是一个非const基本类型！PrintInUnit1()和PrintInUnit2()表明在两个编译单元中有两个独立的“g_Const”具有不同的地址,为什么？

  6. 什么是C名称查找在这里？ (&GCC对吗？)

    为什么在第三个变体找到func,但是在实例化的时候,原始变体中不合格查找找不到func？解决方法一般规则是,任何不在模板定义上下文中的内容只能通过ADL来获取.换句话说,正常的不合格查找仅在模板定义上下文中执行.因为在定义中间语句时没有声明func,并且func不在与ns::type相关联的命名空间中,所以代码形式不正确.

  7. c – 在输出参数中使用auto

    有没有办法在这种情况下使用auto关键字：当然,不可能知道什么类型的.因此,解决方案应该是以某种方式将它们合并为一个句子.这可用吗？解决方法看起来您希望默认初始化给定函数期望作为参数的类型的对象.您无法使用auto执行此操作,但您可以编写一个特征来提取函数所需的类型,然后使用它来声明您的变量：然后你就像这样使用它：当然,只要你重载函数,这一切都会失败.

  8. 在C中说“推动一切浮动”的确定性方式

    鉴于我更喜欢将程序中的数字保留为int或任何内容,那么使用这些数字的浮点数等效的任意算术最方便的方法是什么？说,我有我想写通过将转换放在解析的运算符树叶中,无需将表达式转化为混乱是否可以使用C风格的宏？应该用新的类和重载操作符完成吗？解决方法这是一个非常复杂的表达.更好地给它一个名字：现在当您使用整数参数调用它时,由于参数的类型为double,因此使用常规的算术转换将参数转换为double用C11lambda……

  9. objective-c – 如何获取未知大小的NSArray的第一个X元素？

    在objectiveC中,我有一个NSArray,我们称之为NSArray*largeArray,我想要获得一个新的NSArray*smallArray,只有第一个x对象…

  10. c – Setprecision是混乱

    我只是想问一下setprecision,因为我有点困惑.这里是代码：其中x=以下：方程的左边是x的值.1.105=1.10应为1.111.115=1.11应为1.121.125=1.12应为1.131.135=1.14是正确的1.145=1.15也正确但如果x是：2.115=2.12是正确的2.125=2.12应为2.13所以为什么在一定的价值是正确的,但有时是错误的？请启发我谢谢解决方法没有理由期望使用浮点系统可以正确地表示您的帖子中的任何常量.因此,一旦将它们存储在一个双变量中,那么你所拥有的确切的一

返回
顶部