jjzjj

使用 shared_ptr 到 const T 的 C++ 模板实例化

coder 2024-02-17 原文

假设我有一个类

template <typename T>
class A {
 public:
  template <typename V>
    void f(std::tr1::shared_ptr<const std::vector<V> > v1, 
           std::tr1::shared_ptr<const std::vector<float> > v2) {}
};

以下不编译:

 A<string> a;
  std::tr1::shared_ptr<std::vector<float> > v1(new std::vector<float>());
  std::tr1::shared_ptr<std::vector<float> > v2(new std::vector<float>());
  a.f(v1, v2);

编译错误是:

error: no matching function for call to 'A<std::basic_string<char, std::char_traits<char>, std::allocator<char> > >::f(std::tr1::shared_ptr<std::vector<float, std::allocator<float> > >&, std::tr1::shared_ptr<std::vector<float, std::allocator<float> > >&)'

编译器无法生成 std::tr1::shared_ptr<std::vector<float> >进入 std::tr1::shared_ptr<const std::vector<float> >对于第一个参数。然而它可以用于第二个(非模板参数)。

一个解决方案是更改对 f() 的调用，这样调用它 f<float>(...) .
另一种解决方案是将 v1 声明为 const vector<float>. 的 shared_ptr

  1. 为什么模板实例化在这里表现如此不同？
  2. 我对 shared_ptr<const T> 的理解作为方法的参数是该方法不能更改 shared_ptr 的内容指向。如果我们改变 shared_ptr s 到原始指针和 v1 , v2作为指向 vectors 的原始指针，那么代码将编译正常。关于什么 shared_ptr这会破坏模板推导吗？

最佳答案

相关类型？

如您所知，T*和 const T*是相关类型。从第一个到第二个有一个标准转换(资格转换)。

首先，你必须意识到 A<T>和 A<const T>不是一般的相关类型。这些类型可以有不同的大小、表示和用途。可以定义一个，但不能定义另一个。

特别是，A<const T>不是 const 限定 A<T> ，所以两者之间没有限定转换，C++ 不够灵活，无法声明用户定义的限定转换。 (用户不能声明任何标准转换，只能声明用户定义的转换 - 用户定义的转换不是标准转换。)

因此，用户定义类型与基本类型根本不同:它们不能像基本类型那样相关。

shared_ptr<>

shared_ptr<>旨在形成一系列兼容类型:shared_ptr<T>可隐式转换为 shared_ptr<U>比较 T*可隐式转换为 U* .特别是，shared_ptr<T>可隐式转换为 shared_ptr<const T> .它也可以隐式转换为 shared_ptr<void> , 所以同理。

因为类型 shared_ptr<const T>和 shared_ptr<T>没有任何特殊方式相关，从 shared_ptr<T> 的转换至 shared_ptr<const T>与shared_ptr<T>没有区别至 shared_ptr<void> .这只是两种不同的转换，但在任何情况下都不能被视为“首选”，这与 T* 的转换不同。至 const T* (排名 = 完全匹配)优于从 T* 的转换至 void* (排名 = 转化)。

函数模板

在推导的模板函数参数上允许一些标准转换:

  • 资格转换
  • 一些指针转换:派生到基数
  • ...

但正如我们所见，shared_ptr<> 之间不存在此类转换类型。

这意味着即使允许编译器为模板参数枚举所有可能的类型来转换函数模板

template <typename V>
void f (shared_ptr<const T> v1);

进入无限的函数原型(prototype)集:

for every type T,
such that shared_ptr<const T> can be instantiated:
f (shared_ptr<const T>)

除非你有完全匹配，否则你将无法调用函数:给定声明

struct Base {};
struct Derived : Base {};

shared_ptr<Derived> d;

在f的集合中原型(prototype)，有:

f (shared_ptr<const Base>)
f (shared_ptr<const Derived>)

因此请调用 f (d)将是模棱两可的，因为这两个候选者都涉及不同的用户定义的转换。

关于使用 shared_ptr 到 const T 的 C++ 模板实例化，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/5600150/

shared_ptrampcodesharedc++constantsshared-ptrimplicit-conversiontemplate-argument-deduction

有关使用 shared_ptr 到 const T 的 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 - 使用 RubyZip 生成 ZIP 文件时设置压缩级别 - 2

    我有一个Ruby程序，它使用rubyzip压缩XML文件的目录树。gem。我的问题是文件开始变得很重，我想提高压缩级别，因为压缩时间不是问题。我在rubyzipdocumentation中找不到一种为创建的ZIP文件指定压缩级别的方法。有人知道如何更改此设置吗？是否有另一个允许指定压缩级别的Ruby库？ 最佳答案 这是我通过查看ruby​​zip内部创建的代码。level=Zlib::BEST_COMPRESSIONZip::ZipOutputStream.open(zip_file)do|zip|Dir.glob("**/*")d

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

  4. ruby-on-rails - 使用 Ruby on Rails 进行自动化测试 - 最佳实践 - 2

    很好奇，就使用ruby​​onrails自动化单元测试而言，你们正在做什么？您是否创建了一个脚本来在cron中运行rake作业并将结果邮寄给您？git中的预提交Hook？只是手动调用？我完全理解测试，但想知道在错误发生之前捕获错误的最佳实践是什么。让我们理所当然地认为测试本身是完美无缺的，并且可以正常工作。下一步是什么以确保他们在正确的时间将可能有害的结果传达给您？ 最佳答案 不确定您到底想听什么，但是有几个级别的自动代码库控制:在处理某项功能时，您可以使用类似autotest的内容获得关于哪些有效，哪些无效的即时反馈。要确保您的提

  5. ruby-on-rails - rails : keeping DRY with ActiveRecord models that share similar complex attributes - 2

    这似乎应该有一个直截了当的答案，但在Google上花了很多时间，所以我找不到它。这可能是缺少正确关键字的情况。在我的RoR应用程序中，我有几个模型共享一种特定类型的字符串属性，该属性具有特殊验证和其他功能。我能想到的最接近的类似示例是表示URL的字符串。这会导致模型中出现大量重复(甚至单元测试中会出现更多重复)，但我不确定如何让它更DRY。我能想到几个可能的方向...按照“validates_url_format_of”插件，但这只会让验证干给这个特殊的字符串它自己的模型，但这看起来很像重溶液为这个特殊的字符串创建一个ruby​​类，但是我如何得到ActiveRecord关联这个类模型

  6. ruby - 在 Ruby 中使用匿名模块 - 2

    假设我做了一个模块如下:m=Module.newdoclassCendend三个问题:除了对m的引用之外，还有什么方法可以访问C和m中的其他内容？我可以在创建匿名模块后为其命名吗(就像我输入“module...”一样)？如何在使用完匿名模块后将其删除，使其定义的常量不再存在？ 最佳答案 三个答案:是的，使用ObjectSpace.此代码使c引用你的类(class)C不引用m:c=nilObjectSpace.each_object{|obj|c=objif(Class===objandobj.name=~/::C$/)}当然这取决于

  7. ruby - 使用 ruby​​ 和 savon 的 SOAP 服务 - 2

    我正在尝试使用ruby​​和Savon来使用网络服务。测试服务为http://www.webservicex.net/WS/WSDetails.aspx?WSID=9&CATID=2require'rubygems'require'savon'client=Savon::Client.new"http://www.webservicex.net/stockquote.asmx?WSDL"client.get_quotedo|soap|soap.body={:symbol=>"AAPL"}end返回SOAP异常。检查soap信封，在我看来soap请求没有正确的命名空间。任何人都可以建议我

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

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

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

  10. ruby - 使用 ruby​​ 将 HTML 转换为纯文本并维护结构/格式 - 2

    我想将html转换为纯文本。不过，我不想只删除标签，我想智能地保留尽可能多的格式。为插入换行符标签，检测段落并格式化它们等。输入非常简单，通常是格式良好的html(不是整个文档，只是一堆内容，通常没有anchor或图像)。我可以将几个正则表达式放在一起，让我达到80%，但我认为可能有一些现有的解决方案更智能。 最佳答案 首先，不要尝试为此使用正则表达式。很有可能你会想出一个脆弱/脆弱的解决方案，它会随着HTML的变化而崩溃，或者很难管理和维护。您可以使用Nokogiri快速解析HTML并提取文本:require'nokogiri'h

随机推荐