c++ - 比较变体内容的函数编译失败
问题描述
在我的项目中,我正在boost-variant
详尽地使用。因此,对于我的单元测试,我需要根据T
具有特定内容的特定内容检查变体的内容t
。
所以我cmpVariant
为了这个唯一目的而设计了这个功能,并从我的单元测试中消除混乱。
在某些情况下,该类型T
没有配备operator==
,因此用户可能会传递满足EqualityCompare 要求的函数( https://en.cppreference.com/w/cpp/named_req/EqualityComparable )
现在由于一些模糊的原因,以下代码无法编译。它说,没有匹配的功能?
Clang 6.0.1 编译器错误
prog.cc:22:5: error: no matching function for call to 'cmpVariant'
cmpVariant(number, 3.2, lambdaEquiv); // Fails!
^~~~~~~~~~
prog.cc:6:6: note: candidate template ignored: could not match 'function<bool (const type-parameter-0-1 &, const type-parameter-0-1 &)>' against '(lambda at prog.cc:19:24)'
bool cmpVariant(
^
1 error generated.
有谁知道为什么?
代码
#include <iostream>
#include <boost/variant.hpp>
#include <functional>
template<typename V, typename T>
bool cmpVariant(
const V& variant,
const T& t,
const std::function<bool(const T& u, const T& v)>& equiv = [](const T& u, const T& v) {return u == v; })
{
if (variant.type() != typeid(t)) return false;
auto v = boost::get<T>(variant);
return equiv(v, t);
}
int main(int, char**) {
boost::variant<double, int> number{ 3.2 };
cmpVariant(number, 3.2);
auto lambdaEquiv = [](const double& x, const double& y) { return x == y; };
std::function<bool(const double&, const double&)> equiv = lambdaEquiv;
cmpVariant(number, 3.2, equiv); // Works!
cmpVariant(number, 3.2, lambdaEquiv); // Fails!
}
解决方案
编译器无法将 lambda 匹配到函数参数类型。您可以通过显式实例化函数调用来解决此问题:
cmpVariant<boost::variant<double, int>, double>(number, 3.2, equiv);
这显然有点罗嗦,所以这是另一种可能将你的函数声明更改为
template<typename V, typename T, typename Fct = std::function<bool(const T& u, const T& v)>>
bool cmpVariant(
const V& variant,
const T& t,
Fct&& f = [](const T& u, const T& v) {return u == v; })
{ /* Same as before. */ }
可以这样称呼
cmpVariant(number, 3.2, equiv); // Type deduction works now.
@DanielLangr 在评论中建议的改进是使用std::equal_to
.
template<typename V, typename T, typename Fct = std::equal_to<T>>
bool cmpVariant(
const V& variant,
const T& t,
Fct&& f = std::equal_to<T>{})
{ /* Again, same as before. */ }
这里的一个优点是摆脱了std::function
它通常是不必要的开销。
推荐阅读
- python - Python pyodbc 使用 SQL Server 身份验证连接到 Sql Server
- java - Spring Batch 远程分区
- java - ScheduledExecutorService 任务将被多线程执行
- c - 如何在不知道数据类型的情况下写入 void 指针?
- r - 在 ggplot 中添加一条穿过预先指定点的指数线
- sql - 如何使用条件执行窗口分区 (Oracle)
- google-apps-script - 突然之间,这个功能存在多年的 Google 表格出现了错误。他们最近有改变吗?
- ruby-on-rails - 如何用表单建立多对多关系的记录?
- c# - C# 加密 XML 并防止其被反汇编
- c - 如何在 C99 中遍历 char*?