草庐IT

c++ - C++如何考虑常量性，模板化性和泛型性来解析专用模板？

coder 2024-02-03 原文

我有以下代码，可能看起来有些费解，但来自真实代码:

#include <iostream>
using namespace std;

template <class Hrm, class A>
void foo(Hrm& h, A& a)
{
  cout << "generic" << endl;
}

template <template <bool> class Hrg>
void foo(Hrg<false>& h, int& a)
{
  cout << "specialized int" << endl;
}

template <template <bool> class Hrg>
void foo(Hrg<true>& h, const int& a)
{
  cout << "specialized const-int" << endl;
}

template <bool W>
struct what;

template<> struct what<true> { };
template<> struct what<false> { };


int main() {
  what<true> wt;
  what<false> wf; 

  int i = 5;
  const int& ri = i;

  foo(wt, i);  // 1) generic
  foo(wf, i);  // 2) specialized int
  foo(wt, ri); // 5) specialized const-int
  foo(wf, ri); // 6) generic
  return 0;
}

Ideone link。

我了解4:对于带有Hrg的错误const int，它没有专门的名称，因此将其称为通用版本。

我的问题是，为什么在其他情况下需要调用给定的函数？ 3似乎称为专用const版本，因为const int比A更“直接”匹配。我想知道为什么会更具体地发生。

而且，1和2呢？特别是， 1对我来说非常令人惊讶:为什么调用generic版本而不是专用的const-int？

附加说明:如果我将foo的两个特化更改为:
template <template <bool> class Hrg>
void _foo(Hrg<false>& h, int& a)
{
  cout << "specialized int" << endl;
}

template <template <bool> class Hrg>
void _foo(Hrg<true>& h, const int& a)
{
  cout << "specialized const-int" << endl;
}

template <class Hrg>
void foo(Hrg& h, int& a)
{
  return _foo(h, a);
}

template <class Hrg>
void foo(Hrg& h, const int& a)
{
  return _foo(h, a);
}

然后输出变为:
foo(wt, i);     // a) specialized const-int
foo(wf, i);     // b) specialized int
foo(wt, ri);    // c) specialized const-int
//foo(wf, ri);  // d) compilation error

对我来说，这是一个更加直观的结果。

最佳答案

解决过载的步骤如下:

  • 集合了一组候选函数。这组候选者由非模板功能和功能模板的专业组成。如果模板参数推导在功能模板上失败，则将其从候选集中静默删除。
  • 候选功能的子集被确定为可行。这意味着它具有的参数数量与参数数量兼容，并且每个参数都可以隐式转换为相应的参数类型。 (请注意，即使转换是模棱两可的，该函数仍然可行；但是在这种情况下，仍然可以选择该函数，然后您会收到编译错误)。
  • 比较可行的功能。对于给定的一对可行函数，从某种意义上讲，为了从给定参数初始化函数的参数需要较少的隐式转换，被认为比其他函数“更好”。请注意，给定两个功能，可能没有一个比另一个更好。通常，这些规则足以确定一个可行的功能要优于所有其他功能。该功能将赢得重载解决方案。
  • 如果有两个函数，并且两个函数都不比另一个更好，那么在某些情况下[1]应用平局决胜规则，该规则可能仍然确定一个函数比另一个更好。如果规则3无法确定两个可行功能中的哪一个更好，而只有一个是非模板，则非模板会更好；如果两者都是模板专长，但是其中一个是从比另一个更专业的模板生成的，那么该功能会更好。在决胜局之后，如果有一个最佳可行的功能(比其他所有功能都强)，那么该功能将赢得重载解决方案。如果歧义性仍然存在，则重载解析将失败并且该调用将是模棱两可的。

    • 重要的是要记住，步骤4是在步骤3之后执行的； “通用性”或“模板性”是，仅是一条平局规则。

    让我们在第一个代码块中查看所有示例。

    (1)第一次和第三次重载成功扣除；不能第二次推导Hrg。因此，候选人是第一名和第三名(规则1)。两者都是可行的(规则2)。第一个重载会将i绑定(bind)到int&，而第三个重载将i绑定(bind)到const int&。首选与cv资格较弱的引用文献相结合(规则3)。 (Barry从标准中得到了具体的报价。)第一个(通用)重载获胜。

    (2)不能为第三次重载推导Hrg，因此它不是候选值(规则1)。第一个和第二个是候选人，并且是可行的(规则2)。第一个和第二个重载都完全匹配，无需进行任何转换，并且按规则3不能区分。第二个重载是因为它更专业(规则4)。

    (5)对于第二个重载，Hrg的推导失败，因此它不是候选者，而第一个和第三个重载是(规则1)。请注意，对于第一个重载，A推导为const int，产生与第三个重载相同的签名。它们都是可行的(规则2)，在规则3的末尾是无法区分的。第三个重载是成功的，因为它更专业(规则4)。

    (6)对于第三个重载，Hrg的推导失败，因此它不是候选者，而第一个和第二个是(规则1)。第二次重载是不可行的(规则2)，因为int&无法绑定(bind)到ri，即const。第一个重载，即通用重载，是唯一可行的功能，因此胜出。

    我将重载分辨率留在第二个代码块中，作为读者的练习。

    [1]作为T.C.在评论中指出，这里有一个微妙之处。打破平局规则仅适用于对于给定的一对功能，为每对对应的参数均等地对从参数初始化参数所需的隐式转换序列进行排序的情况。如果第一个函数对一个参数的隐式转换顺序更好，而第二个函数对不同参数的隐式转换顺序更好，则不采用平局决胜规则，并且保持歧义。但是，在问题的示例中不会发生这种情况。

    关于c++ - C++如何考虑常量性，模板化性和泛型性来解析专用模板？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/30064094/

    amp43codelttemplatec++templatesoverloadingoverload-resolution

    有关c++ - C++如何考虑常量性，模板化性和泛型性来解析专用模板？的更多相关文章

    1. ruby - 如何使用 Nokogiri 的 xpath 和 at_xpath 方法 - 2

      我正在学习如何使用Nokogiri，根据这段代码我遇到了一些问题:require'rubygems'require'mechanize'post_agent=WWW::Mechanize.newpost_page=post_agent.get('http://www.vbulletin.org/forum/showthread.php?t=230708')puts"\nabsolutepathwithtbodygivesnil"putspost_page.parser.xpath('/html/body/div/div/div/div/div/table/tbody/tr/td/div

    2. ruby - 如何从 ruby​​ 中的字符串运行任意对象方法？ - 2

      总的来说，我对ruby​​还比较陌生，我正在为我正在创建的对象编写一些rspec测试用例。许多测试用例都非常基础，我只是想确保正确填充和返回值。我想知道是否有办法使用循环结构来执行此操作。不必为我要测试的每个方法都设置一个assertEquals。例如:describeitem,"TestingtheItem"doit"willhaveanullvaluetostart"doitem=Item.new#HereIcoulddotheitem.name.shouldbe_nil#thenIcoulddoitem.category.shouldbe_nilendend但我想要一些方法来使用

    3. Ruby 解析字符串 - 2

      我有一个字符串input="maybe(thisis|thatwas)some((nice|ugly)(day|night)|(strange(weather|time)))"Ruby中解析该字符串的最佳方法是什么？我的意思是脚本应该能够像这样构建句子:maybethisissomeuglynightmaybethatwassomenicenightmaybethiswassomestrangetime等等，你明白了......我应该一个字符一个字符地读取字符串并构建一个带有堆栈的状态机来存储括号值以供以后计算，还是有更好的方法？也许为此目的准备了一个开箱即用的库？

    4. python - 如何使用 Ruby 或 Python 创建一系列高音调和低音调的蜂鸣声？ - 2

      关闭。这个问题是opinion-based.它目前不接受答案。想要改进这个问题？更新问题，以便editingthispost可以用事实和引用来回答它.关闭4年前。Improvethisquestion我想在固定时间创建一系列低音和高音调的哔哔声。例如:在150毫秒时发出高音调的蜂鸣声在151毫秒时发出低音调的蜂鸣声200毫秒时发出低音调的蜂鸣声250毫秒的高音调蜂鸣声有没有办法在Ruby或Python中做到这一点？我真的不在乎输出编码是什么(.wav、.mp3、.ogg等等)，但我确实想创建一个输出文件。

    5. ruby-on-rails - 如何验证 update_all 是否实际在 Rails 中更新 - 2

      给定这段代码defcreate@upgrades=User.update_all(["role=?","upgraded"],:id=>params[:upgrade])redirect_toadmin_upgrades_path,:notice=>"Successfullyupgradeduser."end我如何在该操作中实际验证它们是否已保存或未重定向到适当的页面和消息？ 最佳答案 在Rails3中，update_all不返回任何有意义的信息，除了已更新的记录数(这可能取决于您的DBMS是否返回该信息)。http://ar.ru

    6. ruby-on-rails - 'compass watch' 是如何工作的/它是如何与 rails 一起使用的 - 2

      我在我的项目目录中完成了compasscreate.和compassinitrails。几个问题:我已将我的.sass文件放在public/stylesheets中。这是放置它们的正确位置吗？当我运行compasswatch时，它不会自动编译这些.sass文件。我必须手动指定文件:compasswatchpublic/stylesheets/myfile.sass等。如何让它自动运行？文件ie.css、print.css和screen.css已放在stylesheets/compiled。如何在编译后不让它们重新出现的情况下删除它们？我自己编译的.sass文件编译成compiled/t

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

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

    8. ruby-on-rails - 未初始化的常量 Psych::Syck (NameError) - 2

      在我的gem中，我需要yaml并且在我的本地计算机上运行良好。但是在将我的gem推送到ruby​​gems.org之后，当我尝试使用我的gem时，我收到一条错误消息=>"uninitializedconstantPsych::Syck(NameError)"谁能帮我解决这个问题？附言RubyVersion=>ruby1.9.2,GemVersion=>1.6.2,Bundlerversion=>1.0.15 最佳答案 经过几个小时的研究，我发现=>“YAML使用未维护的Syck库，而Psych使用现代的LibYAML”因此，为了解决

    9. ruby - 解析 RDFa、微数据等的最佳方式是什么，使用统一的模式/词汇(例如 schema.org)存储和显示信息 - 2

      我主要使用Ruby来执行此操作，但到目前为止我的攻击计划如下:使用gemsrdf、rdf-rdfa和rdf-microdata或mida来解析给定任何URI的数据。我认为最好映射到像schema.org这样的统一模式，例如使用这个yaml文件，它试图描述数据词汇表和opengraph到schema.org之间的转换:#SchemaXtoschema.orgconversion#data-vocabularyDV:name:namestreet-address:streetAddressregion:addressRegionlocality:addressLocalityphoto:i

    10. ruby - 如何指定 Rack 处理程序 - 2

      Rackup通过Rack的默认处理程序成功运行任何Rack应用程序。例如:classRackAppdefcall(environment)['200',{'Content-Type'=>'text/html'},["Helloworld"]]endendrunRackApp.new但是当最后一行更改为使用Rack的内置CGI处理程序时，rackup给出“NoMethodErrorat/undefinedmethod`call'fornil:NilClass”:Rack::Handler::CGI.runRackApp.newRack的其他内置处理程序也提出了同样的反对意见。例如Rack

    随机推荐