2

私のプロジェクトでは、boost-variant徹底的に使用しています。したがって、私の単体テストでは、バリアントのコンテンツをT特定のコンテンツを持つ特定のものと照合する必要がありますt

cmpVariantそのため、この唯一の目的と単体テストから混乱を取り除くために関数を考案しました。

場合によっては、型Tに が装備されていないため、ユーザーはEqualityCompare 要件( https://en.cppreference.com/w/cpp/named_req/EqualityComparable )operator==を満たす関数を渡す可能性があります。

あいまいな理由で、次のコードはコンパイルに失敗します。マッチング機能がないってこと?

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!
}
4

2 に答える 2