草庐IT

c++ - extern "C"、重载和函数指针可能存在歧义

coder 2023-11-13 原文

正常的功能，可以写

extern "C" int Frotz(int);  // in a header

int Frotz(int x) { return x; }

然而，对于函数指针，这似乎在编译器之间实现不一致。

extern "C" int Klutz(int (*)(int), int);

int Klutz(int (*fptr)(int), int x) { return (*fptr)(x); }

在声明中，参数也是extern "C"。在定义中，大多数编译器似乎都匹配这些函数，并使 Klutz 成为 extern "C" 函数。然而，Sun 和 Cray 编译器将这些函数解释为不同的，产生了重载的 int Klutz(int (*fptr)(int), int x)，随后会产生链接时错误。

尽管 C++98 和 C++11 的第 7.5.5 节保证了 Frotz 的解释，但我无法判断标准是否对 extern "C" 有歧义code> 匹配应该发生在检查重载之前或之后。

上面的 Klutz 应该生成错位 (C++) 符号还是 extern "C" 符号？

编辑 1

我可以使用 typedef 来消除具有 C 或 C++ ABI 的函数指针的歧义，但我感兴趣的是此处的代码 (a) 是否将 Klutz 定义为具有 C++ 链接，(b)将其定义为具有 C 链接，或者 (c) 根据标准是不明确的，以便编译器可以自由选择如何解释它。

编辑 2

这似乎是一个已知问题，至少对于那些具有可搜索错误跟踪器的编译器而言。在我的测试中，GCC、Clang、Intel、MSVC、IBM XL、PathScale、PGI 和 Open64 都无法区分除语言链接外相同的函数类型，正如标准明确要求的那样(参见第 7.5.1 节，引用于接受的答案)。解决这个问题会破坏很多现有代码并需要更改 ABI。我不知道有任何编译器实际上对 C 与 C++ 语言链接使用不同的调用约定。

  • GCC bug :“找到要求从下一个标准中删除此功能的理由有点相关；-)”……“我们甚至可能决定使用官方 WONTFIX。”

  • Clang bug :“我害怕实际执行这条规则，因为正确地执行它意味着使语言链接成为规范类型的一部分，这将破坏大量代码。”

最佳答案

不保证 C ABI 和 C++ ABI 相同。因此，extern "C" 函数指针与 C++ 函数指针是不同的类型。你需要这样的东西:

extern "C" {
    typedef int (*KlutzFuncType)(int);
    int Klutz (KlutzFuncType, int);
}

int Klutz (KlutzFuncType fptr, int x) { return (*fptr)(x); }

这个问题有一些讨论here .

我只有一份 draft .来自 7.5p1:

Two function types with different language linkages are distinct types even if they are otherwise identical.

我对此的解读是，第一个 Klutz 的第一个参数与第二个 Klutz 的第一个参数具有不同的类型，因此第二个 Klutz 应该有 C++ 链接。

有一些 C++ 实现不考虑函数类型的语言链接，尽管标准是这样说的。在下面的代码片段中，KlutzCxxFuncType 指的是具有 C++ 链接的函数，而 KlutzCFuncType 指的是具有 C 链接的函数。

typedef int (*KlutzCxxFuncType)(int);

extern "C" {
    typedef int (*KlutzCFuncType)(int);
    int Klutz (KlutzCFuncType, int);
}

int Klutz (KlutzCxxFuncType fptr, int x) { return (*fptr)(x); }
int Klutz (KlutzCFuncType fptr, int x) { return (*fptr)(x); }

不根据语言链接区分函数类型的编译器将在这段代码上产生重定义错误。例如，g++ 4.7.2 将发出:

prog.cpp: In function ‘int Klutz(KlutzCFuncType, int)’:
prog.cpp:9:5: error: redefinition of ‘int Klutz(KlutzCFuncType, int)’
prog.cpp:8:5: error: ‘int Klutz(KlutzCxxFuncType, int)’ previously defined here

关于c++ - extern "C"、重载和函数指针可能存在歧义，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/15536488/

ampexterncodeintC++c++standards

有关c++ - extern "C"、重载和函数指针可能存在歧义的更多相关文章

  1. ruby-on-rails - rails : "missing partial" when calling 'render' in RSpec test - 2

    我正在尝试测试是否存在表单。我是Rails新手。我的new.html.erb_spec.rb文件的内容是:require'spec_helper'describe"messages/new.html.erb"doit"shouldrendertheform"dorender'/messages/new.html.erb'reponse.shouldhave_form_putting_to(@message)with_submit_buttonendendView本身，new.html.erb，有代码:当我运行rspec时，它失败了:1)messages/new.html.erbshou

  2. ruby-on-rails - 由于 "wkhtmltopdf"，PDFKIT 显然无法正常工作 - 2

    我在从html页面生成PDF时遇到问题。我正在使用PDFkit。在安装它的过程中，我注意到我需要wkhtmltopdf。所以我也安装了它。我做了PDFkit的文档所说的一切......现在我在尝试加载PDF时遇到了这个错误。这里是错误:commandfailed:"/usr/local/bin/wkhtmltopdf""--margin-right""0.75in""--page-size""Letter""--margin-top""0.75in""--margin-bottom""0.75in""--encoding""UTF-8""--margin-left""0.75in""-

  3. ruby - 如何以所有可能的方式将字符串拆分为长度最多为 3 的连续子字符串？ - 2

    我试图获取一个长度在1到10之间的字符串，并输出将字符串分解为大小为1、2或3的连续子字符串的所有可能方式。例如:输入:123456将整数分割成单个字符，然后继续查找组合。该代码将返回以下所有数组。[1,2,3,4,5,6][12,3,4,5,6][1,23,4,5,6][1,2,34,5,6][1,2,3,45,6][1,2,3,4,56][12,34,5,6][12,3,45,6][12,3,4,56][1,23,45,6][1,2,34,56][1,23,4,56][12,34,56][123,4,5,6][1,234,5,6][1,2,345,6][1,2,3,456][123

  4. ruby - 检查 "command"的输出应该包含 NilClass 的意外崩溃 - 2

    为了将Cucumber用于命令行脚本，我按照提供的说明安装了arubagem。它在我的Gemfile中，我可以验证是否安装了正确的版本并且我已经包含了require'aruba/cucumber'在'features/env.rb'中为了确保它能正常工作，我写了以下场景:@announceScenario:Testingcucumber/arubaGivenablankslateThentheoutputfrom"ls-la"shouldcontain"drw"假设事情应该失败。它确实失败了，但失败的原因是错误的:@announceScenario:Testingcucumber/ar

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

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

  6. 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

  7. ruby-on-rails - 迷你测试错误 : "NameError: uninitialized constant" - 2

    我遵循MichaelHartl的“RubyonRails教程:学习Web开发”，并创建了检查用户名和电子邮件长度有效性的测试(名称最多50个字符，电子邮件最多255个字符)。test/helpers/application_helper_test.rb的内容是:require'test_helper'classApplicationHelperTest在运行bundleexecraketest时，所有测试都通过了，但我看到以下消息在最后被标记为错误:ERROR["test_full_title_helper",ApplicationHelperTest,1.820016791]test

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

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

  9. ruby-on-rails - 相关表上的范围为 "WHERE ... LIKE" - 2

    我正在尝试从Postgresql表(table1)中获取数据，该表由另一个相关表(property)的字段(table2)过滤。在纯SQL中，我会这样编写查询:SELECT*FROMtable1JOINtable2USING(table2_id)WHEREtable2.propertyLIKE'query%'这工作正常:scope:my_scope,->(query){includes(:table2).where("table2.property":query)}但我真正需要的是使用LIKE运算符进行过滤，而不是严格相等。然而，这是行不通的:scope:my_scope,->(que

  10. 使用 ACL 调用 upload_file 时出现 Ruby S3 "Access Denied"错误 - 2

    我正在尝试编写一个将文件上传到AWS并公开该文件的Ruby脚本。我做了以下事情:s3=Aws::S3::Resource.new(credentials:Aws::Credentials.new(KEY,SECRET),region:'us-west-2')obj=s3.bucket('stg-db').object('key')obj.upload_file(filename)这似乎工作正常，除了该文件不是公开可用的，而且我无法获得它的公共(public)URL。但是当我登录到S3时，我可以正常查看我的文件。为了使其公开可用，我将最后一行更改为obj.upload_file(file

随机推荐