比较变体内容的函数无法编译

Posted

技术标签:

【中文标题】比较变体内容的函数无法编译【英文标题】:Function to compare contents of variant fails to compile 【发布时间】:2018-12-28 12:39:48 【问题描述】:

在我的项目中,我用尽了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!

【问题讨论】:

你应该在这里发布错误信息。 @VTT:不幸的是,错误消息是德语,很难翻译。也许包含实时代码更合适? @Aleph0 你在使用 MSVC 吗?您也可以安装英语语言包以获取英语消息,如果需要暂时切换到(或永久,我总是认为英语错误消息优于德语等价物......)。 @Aconcagua:我会试试,但需要一段时间。 即使有错误ID也比没有好。 【参考方案1】:

编译器无法将 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 在 cmets 中建议的改进是使用 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 及其通常不必要的开销。

【讨论】:

非常感谢您的解决方案。通过将 lambda 显式转换为 std::function,我还找到了一个可能的原因。也感谢您的详尽解释。 您可以使用std::equal_to 而不是定义仅与== 比较的lambda。 您的解决方案很有效,而且很棒。我需要一些时间来消化它。也不知道std::equal_to @DanielLangr 感谢您的提示,我会调整答案。【参考方案2】:

接受比较器参数的方式会导致推导有问题,因此您可能希望将比较器更改为模板参数(可能避免构造重 std::function 对象):

template<typename T> class t_EquilityComparator

    public: bool operator ()(const T& u, const T& v) const  return u == v; 
;

template<typename V, typename T, typename Comparator = t_EquilityComparator<T>>
bool cmpVariant(
    const V& variant,
    const T& t,
    const Comparator & equiv = Comparator)

    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 equiv = [](const double& x, const double& y)  return x == y; ;
    cmpVariant(number, 3.2, equiv); // This line fails to compile! Why?

online compiler

【讨论】:

也谢谢。太糟糕了,只能将一种解决方案标记为最佳。把它交给 lubgr,因为他快几秒钟。 :-(

以上是关于比较变体内容的函数无法编译的主要内容,如果未能解决你的问题,请参考以下文章

在编译时从变体中获取类型

无法在 MSVC 19.28 上编译变体访问者访问

VBA:只有在公共对象模块中定义的用户定义类型才能被强制转换为变体或从变体强制转换或传递给后期绑定函数

如何根据构建变体使用 gradle 不同依赖模块的依赖项进行编译?

Boost mpl::list 变体序列化 check_const_loading() 编译错误

如何在包含类型的变体上使用比较运算符?