草庐IT

c++ - 用户定义的推导指南是否涉及模板模板参数作为指南标准的模板

coder 2023-11-13 原文

背景

昨天我问了一个关于 guarantees of deduction guides usage in case of template template parameters 的问题.当 Barry 将他的答案更改为确认代码符合标准时，我真的很惊讶。我的惊讶实际上并不是来自模板模板参数可以应用推导指南，而是更多来自符合此合规性的标准部分，即[temp.param]/3。 :

A type-parameter whose identifier does not follow an ellipsis defines its identifier to be a typedef-name (if declared without template) or template-name (if declared with template) in the scope of the template declaration.

这个加上[temp.deduct.guide]/1和 simple-template-id 的规则将允许人们创建一个接受任何模板的通用演绎指南。

例子

#include <string>

template <class T>
struct Foo {
   Foo(T) { }
};

template <template <class> class TT>
TT(const char *) -> TT<std::string>;

int main() {
    Foo foo("abc");
}

问题

代码导致gcc因内部错误而崩溃并导致编译错误 clang .坦率地说，我不是说代码实际上应该在 C++ 中允许，但认为当前的措辞确实使它符合要求。我是否遗漏了一些禁止代码的重要规则？

最佳答案

你的例子

冒着犯错的风险，我会引用一个现已删除的答案

If I'm not mistaken this goes afoul of [temp.deduct.guide]p3:

The simple-template-id shall name a class template specialization.

TT<std::string>没有命名类模板特化，并且您的代码格式错误。

[temp.spec]p4 中也有这个:

A specialization is a class, function, or class member that is either instantiated or explicitly specialized.

TT技术上是一个模板类型参数。和构造 TT<std::string>是类型相关的类型名称。如果演绎指南是一个实际的函数模板并且我们将其实例化，TT<std::string>可以实例化为 class-name 引用类模板特化。也可以引用int如果TT被实例化以引用适当定义的别名模板。但按原样，在推导指南声明中，它还没有命名类模板特化。

[temp.res]p8.5.5 有一条规则说

Otherwise, no diagnostic shall be issued for a template for which a valid specialization can be generated.

那么，演绎指南的特化是否会发生？我反对不。首先，它不是可以实例化的“模板化实体”(c.f. [temp]p8)。专门用于类模板参数推导的是一组基于推导指南形成的模板，而不是指南本身。参见 [over.match.class.deduct]p1.4

[...] For each deduction-guide, a function or function template with the following properties [is formed]: [...]

正是那些在重载解析过程中进一步专门化的函数模板。推导指南本身从来都不是特化的，因此，我们可以生成一条诊断消息，用于违反推导指南中的 simple-template-id 未命名类模板特化的规则。

通过别名模板命名(Richard 的示例)

理查德举了一个不同的例子

template<typename T> class X { T t; };
template<typename T> using Y = X<T*>;
template<typename T> Y(T) -> Y<T>;

在这种情况下，它更复杂，我认为这可能是措辞允许的，如 Y<T>实际上是一个类模板特化。在应用重写规则后，您现在可以争论它是否实际上命名特化或只是表示它。 IMO，它允许争论的事实似乎足以保证缺陷报告。

关于c++ - 用户定义的推导指南是否涉及模板模板参数作为指南标准的模板，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/46624005/

指南amptemplatecodeblockquotec++language-lawyerc++17template-templatestemplate-argument-deduction

有关c++ - 用户定义的推导指南是否涉及模板模板参数作为指南标准的模板的更多相关文章

  1. ruby - Facter::Util::Uptime:Module 的未定义方法 get_uptime (NoMethodError) - 2

    我正在尝试设置一个puppet节点，但ruby​​gems似乎不正常。如果我通过它自己的二进制文件(/usr/lib/ruby/gems/1.8/gems/facter-1.5.8/bin/facter)在cli上运行facter，它工作正常，但如果我通过由ruby​​gems(/usr/bin/facter)安装的二进制文件，它抛出:/usr/lib/ruby/1.8/facter/uptime.rb:11:undefinedmethod`get_uptime'forFacter::Util::Uptime:Module(NoMethodError)from/usr/lib/ruby

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

  3. ruby-on-rails - Rails 3.2.1 中 ActionMailer 中的未定义方法 'default_content_type=' - 2

    我在我的项目中添加了一个系统来重置用户密码并通过电子邮件将密码发送给他，以防他忘记密码。昨天它运行良好(当我实现它时)。当我今天尝试启动服务器时，出现以下错误。=>BootingWEBrick=>Rails3.2.1applicationstartingindevelopmentonhttp://0.0.0.0:3000=>Callwith-dtodetach=>Ctrl-CtoshutdownserverExiting/Users/vinayshenoy/.rvm/gems/ruby-1.9.3-p0/gems/actionmailer-3.2.1/lib/action_mailer

  4. 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您的程序将作为解释器的子进程执行。除

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

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

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

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

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

  8. ruby-on-rails - form_for 中不在模型中的自定义字段 - 2

    我想向我的Controller传递一个参数，它是一个简单的复选框，但我不知道如何在模型的form_for中引入它，这是我的观点:{:id=>'go_finance'}do|f|%>Transferirde:para:Entrada:"input",:placeholder=>"Quantofoiganho?"%>Saída:"output",:placeholder=>"Quantofoigasto?"%>Nota:我想做一个额外的复选框，但我该怎么做，模型中没有一个对象，而是一个要检查的对象，以便在Controller中创建一个ifelse，如果没有检查，请帮助我，非常感谢,谢谢

  9. ruby - 主要 :Object when running build from sublime 的未定义方法 `require_relative' - 2

    我已经从我的命令行中获得了一切，所以我可以运行rubymyfile并且它可以正常工作。但是当我尝试从sublime中运行它时，我得到了undefinedmethod`require_relative'formain:Object有人知道我的sublime设置中缺少什么吗？我正在使用OSX并安装了rvm。 最佳答案 或者，您可以只使用“require”，它应该可以正常工作。我认为“require_relative”仅适用于ruby​​1.9+ 关于ruby-主要:Objectwhenrun

  10. ruby - 检查数组是否在增加 - 2

    这个问题在这里已经有了答案:Checktoseeifanarrayisalreadysorted?(8个答案)关闭9年前。我只是想知道是否有办法检查数组是否在增加？这是我的解决方案，但我正在寻找更漂亮的方法:n=-1@arr.flatten.each{|e|returnfalseife

随机推荐