相关疑难解决方法(0)

为什么不能在`std :: reference_wrapper`s中推导出模板实例?

假设我有一些类型的对象T,我想把它放到一个引用包装器中:

int a = 5, b = 7;

std::reference_wrapper<int> p(a), q(b);   // or "auto p = std::ref(a)"
Run Code Online (Sandbox Code Playgroud)

现在我可以很容易地说if (p < q),因为引用包装器已转换为其包装类型.一切都很开心,我可以处理一组参考包装器,就像它们是原始对象一样.

(正如下面链接问题所示,这可以是生成现有集合的备用视图的有用方法,可以随意重新排列,而不会产生完整副本的成本,以及维护原始集合的更新完整性. )


但是,对于某些类,这不起作用:

std::string s1 = "hello", s2 = "world";

std::reference_wrapper<std::string> t1(s1), t2(s2);

return t1 < t2;  // ERROR
Run Code Online (Sandbox Code Playgroud)

我的解决方法是这个答案中定义一个谓词*; 但我的问题是:

为什么以及何时可以将运算符应用于引用包装器并透明地使用包装类型的运算符?为什么会失败std::string?它与std::string模板实例的事实有什么关系?

*)更新:根据答案,似乎使用std::less<T>()是一般解决方案.

c++ templates implicit-conversion reference-wrapper template-argument-deduction

17
推荐指数
2
解决办法
1061
查看次数