jjzjj

c++ - 指向函数和 ODR 的指针

coder 2023-11-16 原文

关于 ODR 的问题太多，但我找不到我要找的东西，如果重复或标题不合适，我们深表歉意。

考虑以下几点:

struct t {t(*id)();};

template<typename T>
t type() {return {type<T>};}

这是对我尝试定义 unique identifier per type 的过度简化。 ，希望在不同的编译单元中保持唯一。

特别是给定一个具体类型 T喜欢std::string ，并假设两个不同的编译单元在头文件中包含上述代码，我想表达

type<T>().id

在两个单元中采用相同的值(类型为 t(*)() )，因此用作类型 T 的唯一标识符.

值为函数地址 type<T> ，所以问题是是否有一个独特的功能type<T>在程序中由 one-definition rule 保证. iso 3.2/3 说

Every program shall contain exactly one definition of every non-inline function or variable that is odr-used in that program.

哪里是 3.2/2

A non-overloaded function whose name appears as a potentially-evaluated expression or [...], is odr-used, unless [...]

我假设一个函数是非内联的，如果它的地址被占用(尽管我在标准中找不到)。

iso 3.2/5 列出了一些异常(exception)情况，但唯一对函数的引用是

inline function with external linkage, [...], non-static function template, [...], member function of a class template, or template specialization for which some template parameters are not specified [...]

这里似乎都不是这种情况。

一个可验证的例子需要多个文件。事实上，Dieter Lücking 给出了一个声称失败的例子，尽管在我的情况下它不会失败(我不将其视为任何形式的“保证”)。

那么，这是否可行？

最佳答案

所以 3.2/5 实际上似乎是一个非常强大的支持。首先请注意，定义是源代码构造，而不是目标代码构造，尽管显然两者之间存在非常密切的关系。 3.2/5 说非静态函数模板有多个定义是可以的，而且在这种情况下它必须表现得好像只有一个定义。如果一个函数在不同的翻译单元中有不同的地址，那么它的行为就好像只有一个定义，至少在我看来是这样。

这尤其正确，因为函数指针可以作为非类型模板参数传递。这些参数必须是常量，并且对于所有翻译单元都必须相同。例如，字符串文字不能恰好是这样的参数，因为它的地址因翻译单元而异。

是否满足所有要求将完全取决于多个定义的上下文，因为它们处理名称解析等事情。但是，它们都是“常规”要求属于“当然”类型。例如，违反它会是这样的:

文件1.cpp

static int i;

// This is your template.
template <typename T>
void foo() {
    i; // Matches the above i.
}

文件2.cpp

static int i;

// This is your template. You are normally allowed to have multiple
// identical definitions of it.
template <typename T>
void foo() {
    // Oops, matches a different entity. You didn't satisfy the requirements.
    // All bets are off.
    i;    
}

我知道在 Linux 中通过弱符号支持多重定义。事实上，在 Linux 上，Lucking 示例之所以失败，正是因为如此。我对他要求平台的回答发表了评论。在链接时，链接器将丢弃除一个之外的所有弱符号实例。显然，如果实例实际上不相同，那将很糟糕。但是 3.2/5 中的那些要求旨在确保实例实际上都是相同的，因此链接器只能保留一个。

附录:Dieter Lucking 现在说他遇到了编译问题，而事实上他并没有失败。不过，如果熟悉 Windows DLL 内部结构的人可以在这里评论 Visual Studio 如何处理这个问题，那就太好了。

关于c++ - 指向函数和 ODR 的指针，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/23437965/

amp43codetemplatesectionc++c++11function-pointersfunction-templatesone-definition-rule

有关c++ - 指向函数和 ODR 的指针的更多相关文章

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

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

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

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

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

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

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

  5. ruby - 在 Ruby 中按名称传递函数 - 2

    如何在Ruby中按名称传递函数？(我使用Ruby才几个小时，所以我还在想办法。)nums=[1,2,3,4]#Thisworks,butismoreverbosethanI'dlikenums.eachdo|i|putsiend#InJS,Icouldjustdosomethinglike:#nums.forEach(console.log)#InF#,itwouldbesomethinglike:#List.iternums(printf"%A")#InRuby,IwishIcoulddosomethinglike:nums.eachputs在Ruby中能不能做到类似的简洁？我可以只

  6. ruby - 使用 `+=` 和 `send` 方法 - 2

    如何将send与+=一起使用？a=20;a.send"+=",10undefinedmethod`+='for20:Fixnuma=20;a+=10=>30 最佳答案 恐怕你不能。+=不是方法，而是语法糖。参见http://www.ruby-doc.org/docs/ProgrammingRuby/html/tut_expressions.html它说Incommonwithmanyotherlanguages,Rubyhasasyntacticshortcut:a=a+2maybewrittenasa+=2.你能做的最好的事情是:

  7. C51单片机——实现用独立按键控制LED亮灭（调用函数篇） - 2

    说在前面这部分我本来是合为一篇来写的，因为目的是一样的，都是通过独立按键来控制LED闪灭本质上是起到开关的作用，即调用函数和中断函数。但是写一篇太累了，我还是决定分为两篇写，这篇是调用函数篇。在本篇中你主要看到这些东西！！！1.调用函数的方法（主要讲语法和格式）2.独立按键如何控制LED亮灭3.程序中的一些细节（软件消抖等）1.调用函数的方法思路还是比较清晰地，就是通过按下按键来控制LED闪灭，即每按下一次，LED取反一次。重要的是，把按键与LED联系在一起。我打算用K1来作为开关，看了一下开发板原理图，K1连接的是单片机的P31口，当按下K1时，P31是与GND相连的，也就是说，当我按下去时

  8. ruby-on-rails - 将字符串转换为 ruby​​-on-rails 中的函数 - 2

    我需要一个通过输入字符串进行计算的方法，像这样function="(a/b)*100"a=25b=50function.something>>50有什么方法吗？ 最佳答案 您可以使用instance_eval:function="(a/b)*100"a=25.0b=50instance_evalfunction#=>50.0请注意，使用eval本质上是不安全的，尤其是当您使用外部输入时，因为它可能包含注入(inject)的恶意代码。另请注意，a设置为25.0而不是25，因为如果它是整数a/b将导致0(整数)。

  9. ruby - 如何计算 Liquid 中的变量 +1 - 2

    我对如何计算通过{%assignvar=0%}赋值的变量加一完全感到困惑。这应该是最简单的任务。到目前为止，这是我尝试过的:{%assignamount=0%}{%forvariantinproduct.variants%}{%assignamount=amount+1%}{%endfor%}Amount:{{amount}}结果总是0。也许我忽略了一些明显的东西。也许有更好的方法。我想要存档的只是获取运行的迭代次数。 最佳答案 因为{{incrementamount}}将输出您的变量值并且不会影响{%assign%}定义的变量，我

  10. ruby - 在 ruby​​ 中使用 .try 函数和 .map 函数 - 2

    我需要从json记录中获取一些值并像下面这样提取curr_json_doc['title']['genre'].map{|s|s['name']}.join(',')但对于某些记录，curr_json_doc['title']['genre']可以为空。所以我想对map和join()使用try函数。我试过如下curr_json_doc['title']['genre'].try(:map,{|s|s['name']}).try(:join,(','))但是没用。 最佳答案 你没有正确传递block。block被传递给参数括号外的方法

随机推荐