草庐IT

c++ - *函数签名*(作为反对类型)的*唯一*目的是在潜在的重载集中定义重复项——还是有其他目的？

coder 2024-02-04 原文

与Why does casting a function to a function type that is identical except for return type fail?相关，我想更全面地理解函数的类型和函数的签名之间的区别。

例如，在处理函数指针时，通常必须考虑函数的类型，函数的类型包括该函数的返回类型。

但是，正如 Mike Seymour 在对上述问题的回答中指出的那样，函数的签名 不同于函数的类型。签名当然用于消除潜在重载函数之间的歧义(注意函数的返回类型在识别唯一函数中不起作用)。但是，我现在想了解函数签名与函数类型的相关性和重要性。我突然想到，C++ 中函数签名的唯一目的是在重载解析期间识别重载候选者和/或重载集中的唯一函数。

我说的对吗？重载决议是 C++ 中函数签名的唯一目的吗？或者除了(或仅间接相关)重载决议之外，函数签名还有其他用途/应用吗？

附录 为了清楚起见，请注意我特别试图理解函数签名和函数<的目的之间的区别强>类型。即，我知道函数指针的使用和编译器/链接器对调用约定的实现都需要函数类型。但是，调用约定仅在重载解析完成后才相关。我在这里特别要问的是，函数 signature(与 type 相对)的唯一目的是否是为了重载解析。

最佳答案

Am I correct?

就我而言，还有其他目的。考虑到 C 也有函数签名但没有重载。

除了重载之外，函数签名的基本目的是符合 calling convention特定平台的。

当函数接受参数并返回值时，编译器需要知道参数的类型和大小，以便将它们正确地传递给函数。通常，函数参数被压入堆栈(尽管这不是通用规则，尤其是在 64 位体系结构系统上)。考虑以下情况。如果你调用这样的函数

foo(42);

编译器如何知道它必须传递给函数的整数值的大小是多少？数字 42 可以使用各种位宽表示，例如 1、2、4(甚至 8)字节整数:

00101010
0000000000101010
00000000000000000000000000101010

现在，如果函数没有签名表明，例如，参数是一个 char(即 1 个字节)，或者一个 short (可能是 2 个字节)或 int，可能是 4 个字节，则编译器无法确定正确的大小。这意味着如果它向堆栈推送任意数量的字节，但函数需要另一个大小，则会发生堆栈损坏。

另一个很好的例子是返回结构(struct)。通常，原始返回值(如整数和 float )在寄存器中返回；这通常是 x86 上的 EAX 寄存器。但是，如果要编写一个返回结构的函数怎么办？如果结构的整体大小太大以至于无法放入寄存器，则编译器必须生成将返回值压入堆栈的代码，而不是将其分配给寄存器。所以如果一个函数定义为

int foo()
{
    return 1337;
}

或作为

struct bar {
    int a;
    char b[16];
    float x;
};

struct bar foo()
{
    struct bar ret;
    ret.a = 0;
    memcpy(&ret.b, "abcdefghijklmno", sizeof(ret.b));
    ret.x = 3.1415927;
    return ret;
}

将生成不同的程序集(和机器代码)- 第一个返回整数的函数将使用 EAX 寄存器来存储返回值，但第二个调用将必须 使用堆栈。

关于c++ - *函数签名*(作为反对类型)的*唯一*目的是在潜在的重载集中定义重复项——还是有其他目的？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/13687607/

mdashampcode的sectionc++overloading

有关c++ - *函数签名*(作为反对类型)的*唯一*目的是在潜在的重载集中定义重复项——还是有其他目的？的更多相关文章

  1. ruby - 其他文件中的 Rake 任务 - 2

    我试图在一个项目中使用rake，如果我把所有东西都放到Rakefile中，它会很大并且很难读取/找到东西，所以我试着将每个命名空间放在lib/rake中它自己的文件中，我添加了这个到我的rake文件的顶部:Dir['#{File.dirname(__FILE__)}/lib/rake/*.rake'].map{|f|requiref}它加载文件没问题，但没有任务。我现在只有一个.rake文件作为测试，名为“servers.rake”，它看起来像这样:namespace:serverdotask:testdoputs"test"endend所以当我运行rakeserver:testid时

  2. ruby - 如何将脚本文件的末尾读取为数据文件(Perl 或任何其他语言) - 2

    我正在寻找执行以下操作的正确语法(在Perl、Shell或Ruby中):#variabletoaccessthedatalinesappendedasafileEND_OF_SCRIPT_MARKERrawdatastartshereanditcontinues. 最佳答案 Perl用__DATA__做这个:#!/usr/bin/perlusestrict;usewarnings;while(){print;}__DATA__Texttoprintgoeshere 关于ruby-如何将脚

  3. ruby-on-rails - 如何优雅地重启 thin + nginx？ - 2

    我的瘦服务器配置了nginx，我的ROR应用程序正在它们上运行。在我发布代码更新时运行thinrestart会给我的应用程序带来一些停机时间。我试图弄清楚如何优雅地重启正在运行的Thin实例，但找不到好的解决方案。有没有人能做到这一点？ 最佳答案 #Restartjustthethinserverdescribedbythatconfigsudothin-C/etc/thin/mysite.ymlrestartNginx将继续运行并代理请求。如果您将Nginx设置为使用多个上游服务器，例如server{listen80;server

  4. ruby - RSpec - 使用测试替身作为 block 参数 - 2

    我有一些Ruby代码，如下所示:Something.createdo|x|x.foo=barend我想编写一个测试，它使用double代替block参数x，这样我就可以调用:x_double.should_receive(:foo).with("whatever").这可能吗？ 最佳答案 specify'something'dox=doublex.should_receive(:foo=).with("whatever")Something.should_receive(:create).and_yield(x)#callthere

  5. ruby - 在没有 sass 引擎的情况下使用 sass 颜色函数 - 2

    我想在一个没有Sass引擎的类中使用Sass颜色函数。我已经在项目中使用了sassgem，所以我认为搭载会像以下一样简单:classRectangleincludeSass::Script::FunctionsdefcolorSass::Script::Color.new([0x82,0x39,0x06])enddefrender#hamlengineexecutedwithcontextofself#sothatwithintemlateicouldcall#%stop{offset:'0%',stop:{color:lighten(color)}}endend更新:参见上面的#re

  6. ruby-on-rails - 在 ruby​​ 中使用 gsub 函数替换单词 - 2

    我正在尝试用ruby​​中的gsub函数替换字符串中的某些单词，但有时效果很好，在某些情况下会出现此错误？这种格式有什么问题吗NoMethodError(undefinedmethod`gsub!'fornil:NilClass):模型.rbclassTest"replacethisID1",WAY=>"replacethisID2andID3",DELTA=>"replacethisID4"}end另一个模型.rbclassCheck 最佳答案 啊，我找到了!gsub!是一个非常奇怪的方法。首先，它替换了字符串，所以它实际上修改了

  7. ruby - 在 Ruby 中有条件地定义函数 - 2

    我有一些代码在几个不同的位置之一运行:作为具有调试输出的命令行工具，作为不接受任何输出的更大程序的一部分，以及在Rails环境中。有时我需要根据代码的位置对代码进行细微的更改，我意识到以下样式似乎可行:print"Testingnestedfunctionsdefined\n"CLI=trueifCLIdeftest_printprint"CommandLineVersion\n"endelsedeftest_printprint"ReleaseVersion\n"endendtest_print()这导致:TestingnestedfunctionsdefinedCommandLin

  8. ruby - 字符串文字中的转义状态作为 `String#tr` 的参数 - 2

    对于作为String#tr参数的单引号字符串文字中反斜杠的转义状态，我觉得有些神秘。你能解释一下下面三个例子之间的对比吗？我特别不明白第二个。为了避免复杂化，我在这里使用了'd'，在双引号中转义时不会改变含义("\d"="d")。'\\'.tr('\\','x')#=>"x"'\\'.tr('\\d','x')#=>"\\"'\\'.tr('\\\d','x')#=>"x" 最佳答案 在tr中转义tr的第一个参数非常类似于正则表达式中的括号字符分组。您可以在表达式的开头使用^来否定匹配(替换任何不匹配的内容)并使用例如a-f来匹配一

  9. ruby - 调用其他方法的 TDD 方法的正确方法 - 2

    我需要一些关于TDD概念的帮助。假设我有以下代码defexecute(command)casecommandwhen"c"create_new_characterwhen"i"display_inventoryendenddefcreate_new_character#dostufftocreatenewcharacterenddefdisplay_inventory#dostufftodisplayinventoryend现在我不确定要为什么编写单元测试。如果我为execute方法编写单元测试，那不是几乎涵盖了我对create_new_character和display_invent

  10. java - 我的模型类或其他类中应该有逻辑吗 - 2

    我只想对我一直在思考的这个问题有其他意见，例如我有classuser_controller和classuserclassUserattr_accessor:name,:usernameendclassUserController//dosomethingaboutanythingaboutusersend问题是我的User类中是否应该有逻辑user=User.newuser.do_something(user1)oritshouldbeuser_controller=UserController.newuser_controller.do_something(user1,user2)我

随机推荐