草庐IT

c++ - 具有两个参数包的函数模板重载决议

coder 2023-11-15 原文

考虑以下代码:

#include<iostream>

template<class..., class... T>
int f(T...) { return 1; }

template<class... T>
int f(T...) { return 2; }

int main()
{
    std::cout << f(1);
}

它在 gcc 8.2 上编译并打印 1，但在 clang 7 上编译失败，因为调用 f(1) 不明确。

如果调用被 f() 替换，两个编译器都无法编译，声称调用不明确。

如果参数包 class...T 被替换为简单参数 class T(并且 T... 替换为 T), 两个编译器也声称有歧义。

第一个例子中哪个编译器符合标准？我想这归结为函数模板的特定部分排序规则，或者以这种方式使用双参数包是否已经不正确？

编辑:

我的理解是双包本身不是格式错误的，因为如果第二个包可以从函数参数中推导出来，我阅读的 [temp.param] 17.1/15 似乎明确允许这样做，这似乎是case 因为 T... 函数参数包。

也可以明确指定第一个参数包的参数，但不是第二个参数包，因此(在模板参数推导之后)至少一个参数包为空的情况并不总是如此。我不确定这是否会使程序格式错误，因为我不知道如何阅读，例如[temp.res] 17.7/8.3 在这种情况下。

gcc 和 clang 似乎都适用于双参数包本身，例如当移除第二个函数模板重载时，两个编译器都打印 1。但这可能是格式错误，无需诊断。

此外，我假设通过类模板参数推导，一个可变参数类模板可以定义一个可变参数构造函数模板，这意味着构造函数候选类似于我的双参数包示例，据我所知，相同的重载决议和模板论证推导发生在这种情况下。这个问题是由这样一个设置的另一个问题引起的:Variadic class template deduction fails with gcc 8.2, compiles with clang and msvc 另请参阅相关讨论:Deduction guides and variadic class templates with variadic template constructors - mismatched argument pack lengths

现在我也找到了问题的答案Deduction guide and variadic templates我认为这意味着 gcc 是错误的并且调用应该被认为是模棱两可的，但我想让它验证这是否以同样的方式适用于此。我也欢迎提供更详细的推理，因为函数模板偏序规则对我来说似乎很不清楚。

最佳答案

这里有两个问题。

首先，[temp.deduct.partial]/12 (我也引用了这个例子，因为它与你的相似)说:

In most cases, deduction fails if not all template parameters have values, but for partial ordering purposes a template parameter may remain without a value provided it is not used in the types being used for partial ordering. [ Note: A template parameter used in a non-deduced context is considered used. — end note ] [ Example:

template <class T> T f(int);            // #1
template <class T, class U> T f(U);     // #2
void g() {
  f<int>(1);                            // calls #1
}

— end example ]

根据 [temp.deduct.partial]/3，用于部分排序的类型是 T... :

The types used to determine the ordering depend on the context in which the partial ordering is done:

  • In the context of a function call, the types used are those function parameter types for which the function call has arguments.

  • ...

所以第一个未命名的模板参数包class...不影响偏序的结果。由于这两个函数模板没有其他区别，因此两者都不比另一个更专业，从而导致调用不明确。

这可能与bug 49505有关海湾合作委员会。

其次，即使第二个函数模板不存在，调用仍然应该是错误格式的。根据[temp.arg.explicit]/3 :

... A trailing template parameter pack not otherwise deduced will be deduced to an empty sequence of template arguments ...

只有trailing模板参数包可以推断为空包，而第一个未命名的模板参数包class...不是trailing 模板参数包。

GCC ( bug 69623 ) 和 Clang ( bug 26435 ) 都有针对此问题的错误。

关于c++ - 具有两个参数包的函数模板重载决议，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/53358165/

决议ampcodetemplatenoreferrerc++language-lawyeroverload-resolutiontemplate-argument-deduction

有关c++ - 具有两个参数包的函数模板重载决议的更多相关文章

  1. ruby - 具有身份验证的私有(private) Ruby Gem 服务器 - 2

    我想安装一个带有一些身份验证的私有(private)Rubygem服务器。我希望能够使用公共(public)Ubuntu服务器托管内部gem。我读到了http://docs.rubygems.org/read/chapter/18.但是那个没有身份验证-如我所见。然后我读到了https://github.com/cwninja/geminabox.但是当我使用基本身份验证(他们在他们的Wiki中有)时，它会提示从我的服务器获取源。所以。如何制作带有身份验证的私有(private)Rubygem服务器？这是不可能的吗？谢谢。编辑:Geminabox问题。我尝试“捆绑”以安装新的gem..

  2. ruby-on-rails - 如何在 ruby​​ 中使用两个参数异步运行 exe？ - 2

    exe应该在我打开页面时运行。异步进程需要运行。有什么方法可以在ruby​​中使用两个参数异步运行exe吗？我已经尝试过ruby​​命令-system()、exec()但它正在等待过程完成。我需要用参数启动exe，无需等待进程完成是否有任何ruby​​gems会支持我的问题？ 最佳答案 您可以使用Process.spawn和Process.wait2:pid=Process.spawn'your.exe','--option'#Later...pid,status=Process.wait2pid您的程序将作为解释器的子进程执行。除

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

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

  4. ruby - 通过 erb 模板输出 ruby​​ 数组 - 2

    我正在使用puppet为ruby​​程序提供一组常量。我需要提供一组主机名，我的程序将对其进行迭代。在我之前使用的bash脚本中，我只是将它作为一个puppet变量hosts=>"host1,host2"我将其提供给bash脚本作为HOSTS=显然这对ruby​​不太适用——我需要它的格式hosts=["host1","host2"]自从phosts和putsmy_array.inspect提供输出["host1","host2"]我希望使用其中之一。不幸的是，我终其一生都无法弄清楚如何让它发挥作用。我尝试了以下各项:我发现某处他们指出我需要在函数调用前放置“function_”……这

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

  6. ruby - 如何在 Ruby 中拆分参数字符串 Bash 样式？ - 2

    我正在为一个项目制作一个简单的shell，我希望像在Bash中一样解析参数字符串。foobar"helloworld"fooz应该变成:["foo","bar","helloworld","fooz"]等等。到目前为止，我一直在使用CSV::parse_line，将列分隔符设置为""和.compact输出。问题是我现在必须选择是要支持单引号还是双引号。CSV不支持超过一个分隔符。Python有一个名为shlex的模块:>>>shlex.split("Test'helloworld'foo")['Test','helloworld','foo']>>>shlex.split('Test"

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

  8. ruby - 检查方法参数的类型 - 2

    我不确定传递给方法的对象的类型是否正确。我可能会将一个字符串传递给一个只能处理整数的函数。某种运行时保证怎么样？我看不到比以下更好的选择:defsomeFixNumMangler(input)raise"wrongtype:integerrequired"unlessinput.class==FixNumother_stuffend有更好的选择吗？ 最佳答案 使用Kernel#Integer在使用之前转换输入的方法。当无法以任何合理的方式将输入转换为整数时，它将引发ArgumentError。defmy_method(number)

  9. ruby-on-rails - 在默认方法参数中使用 .reverse_merge 或 .merge - 2

    两者都可以defsetup(options={})options.reverse_merge:size=>25,:velocity=>10end和defsetup(options={}){:size=>25,:velocity=>10}.merge(options)end在方法的参数中分配默认值。问题是:哪个更好？您更愿意使用哪一个？在性能、代码可读性或其他方面有什么不同吗？编辑:我无意中添加了bang(!)...并不是要询问nobang方法与bang方法之间的区别 最佳答案 我倾向于使用reverse_merge方法:option

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

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

随机推荐