jjzjj

c++ - "Ambiguous conversion sequence"- 这个概念的目的是什么？

coder 2024-02-05 原文

在 N4659 16.3.3.1 隐式转换序列中说

10 If several different sequences of conversions exist that each convert the argument to the parameter type, the implicit conversion sequence associated with the parameter is defined to be the unique conversion sequence designated the ambiguous conversion sequence. For the purpose of ranking implicit conversion sequences as described in 16.3.3.2, the ambiguous conversion sequence is treated as a user-defined conversion sequence that is indistinguishable from any other user-defined conversion sequence [Note: This rule prevents a function from becoming non-viable because of an ambiguous conversion sequence for one of its parameters.] If a function that uses the ambiguous conversion sequence is selected as the best viable function, the call will be ill-formed because the conversion of one of the arguments in the call is ambiguous.

(当前稿对应章节为12.3.3.1)

这条规则的预期目的是什么？它引入了模糊转换序列的概念？

文本中提供的注释指出，此规则的目的是“防止函数变得不可行，因为其参数之一的转换序列不明确”。嗯……这到底指的是什么？ preceding 中定义了可行函数 的概念文档的各个部分。它根本不依赖于转换的歧义(每个参数的转换必须存在，但它们不必是明确的)。并且似乎没有规定 可行 功能以后会以某种方式“变得不可行”(既不是因为某些歧义，也不是因为其他任何原因)。列举了可行的功能，它们根据 certain rules 相互竞争成为“最佳”。如果只有一个“赢家”，则决议成功。在此过程中，可行的功能绝不会(或需要)变成不可行的功能。

上述段落中提供的示例不是很有启发性(即不清楚上述规则在该示例中扮演什么角色)。

这个问题最初是在这个简单的例子中出现的

struct S
{
  operator int() const { return 0; };
  operator long() const { return 0; };
};

void foo(int) {}

int main()
{
  S s;
  foo(s);
}

让我们在这里机械地应用上述规则。 foo 是一个可行的函数。从参数类型S到参数类型int有两种隐式转换序列:S -> int 和S -> long ->整数。这意味着根据上述规则，我们必须将它们“打包”成一个不明确的转换序列。然后我们得出结论，foo 是最佳可行函数。然后我们发现它使用了我们的不明确的转换序列。因此，根据上述规则，代码格式错误。

这似乎没有意义。这里的自然期望是应该选择 S -> int 转换，因为它的排名高于 S -> long -> int 转换。我知道的所有编译器都遵循“自然”重载决议。

那么，我误会了什么？

最佳答案

为了可行，必须有一个 implicit conversion sequence .

标准本可以允许多个隐式转换序列，但这可能会使用于确定选择哪个重载的措辞更加复杂。

因此，标准最终为每个参数定义了一个且恰好一个隐式转换序列。在有歧义的情况下，它使用的是歧义转换序列。

一旦做到这一点，它就不再需要处理一个参数到一个参数的多个转换序列的可能性。

想象一下，如果我们用 C++ 编写它。我们可能有几种类型:

namespace conversion_sequences {
  struct standard;
  struct user_defined;
  struct ellipsis;
}

其中每个都有很多东西(此处跳过)。

由于每个转换序列都是以上之一，我们定义:

  using any_kind = std::variant< standard, user_defined, ellipsis >;

现在，我们遇到了一个给定的参数和参数有多个转换序列的情况。此时我们有两个选择。

我们可以传递一个 using any_kinds = std::vector<any_kind>对于给定的参数、参数对，并确保处理选择转换序列的所有逻辑都处理此 vector ...

或者我们可以注意到，对 1 个或多个条目 vector 的处理从不查看 vector 中的元素，它被处理得完全像一种 user_defined。转换序列，直到最后我们产生一个错误。

存储额外的状态并拥有额外的逻辑是一件痛苦的事情。我们知道我们不需要那个状态，我们也不需要代码来处理 vector 。所以我们只定义一个子类型conversion_sequence::user_defined ，并且找到首选重载后的代码会检查所选择的结果重载是否会产生错误。

虽然 C++ 标准并非(总是)在 C++ 中实现，并且措辞不必与其实现具有 1:1 的关系，但编写健壮的标准文档是一种编码，并且一些相同的关注点申请。

关于c++ - "Ambiguous conversion sequence"- 这个概念的目的是什么？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/57169812/

ampconversioncodesequencec++language-lawyerimplicit-conversionoverload-resolutionconversion-operator

有关c++ - "Ambiguous conversion sequence"- 这个概念的目的是什么？的更多相关文章

  1. ruby - 为什么我可以在 Ruby 中使用 Object#send 访问私有(private)/ protected 方法？ - 2

    类classAprivatedeffooputs:fooendpublicdefbarputs:barendprivatedefzimputs:zimendprotecteddefdibputs:dibendendA的实例a=A.new测试a.foorescueputs:faila.barrescueputs:faila.zimrescueputs:faila.dibrescueputs:faila.gazrescueputs:fail测试输出failbarfailfailfail.发送测试[:foo,:bar,:zim,:dib,:gaz].each{|m|a.send(m)resc

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

  3. 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""-

  4. ruby-on-rails - Rails - 子类化模型的设计模式是什么？ - 2

    我有一个模型:classItem项目有一个属性“商店”基于存储的值，我希望Item对象对特定方法具有不同的行为。Rails中是否有针对此的通用设计模式？如果方法中没有大的if-else语句，这是如何干净利落地完成的？ 最佳答案 通常通过Single-TableInheritance. 关于ruby-on-rails-Rails-子类化模型的设计模式是什么？，我们在StackOverflow上找到一个类似的问题： https://stackoverflow.co

  5. ruby - 什么是填充的 Base64 编码字符串以及如何在 ruby​​ 中生成它们？ - 2

    我正在使用的第三方API的文档状态:"[O]urAPIonlyacceptspaddedBase64encodedstrings."什么是“填充的Base64编码字符串”以及如何在Ruby中生成它们。下面的代码是我第一次尝试创建转换为Base64的JSON格式数据。xa=Base64.encode64(a.to_json) 最佳答案 他们说的padding其实就是Base64本身的一部分。它是末尾的“=”和“==”。Base64将3个字节的数据包编码为4个编码字符。所以如果你的输入数据有长度n和n%3=1=>"=="末尾用于填充n%

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

  7. ruby - 为什么 4.1%2 使用 Ruby 返回 0.0999999999999996？但是 4.2%2==0.2 - 2

    为什么4.1%2返回0.0999999999999996？但是4.2%2==0.2。 最佳答案 参见此处:WhatEveryProgrammerShouldKnowAboutFloating-PointArithmetic实数是无限的。计算机使用的位数有限(今天是32位、64位)。因此计算机进行的浮点运算不能代表所有的实数。0.1是这些数字之一。请注意，这不是与Ruby相关的问题，而是与所有编程语言相关的问题，因为它来自计算机表示实数的方式。 关于ruby-为什么4.1%2使用Ruby返

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

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

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

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

  10. ruby - ruby 中的 TOPLEVEL_BINDING 是什么？ - 2

    它不等于主线程的binding，这个toplevel作用域是什么？此作用域与主线程中的binding有何不同？>ruby-e'putsTOPLEVEL_BINDING===binding'false 最佳答案 事实是，TOPLEVEL_BINDING始终引用Binding的预定义全局实例，而Kernel#binding创建的新实例>Binding每次封装当前执行上下文。在顶层，它们都包含相同的绑定(bind)，但它们不是同一个对象，您无法使用==或===测试它们的绑定(bind)相等性。putsTOPLEVEL_BINDINGput

随机推荐