Question

我有一个模板化的类Matrix：

    template<typename T>
    class Matrix {
        //blah-blah-blah
        }

以及以下运算符：

template<typename T>
bool operator==(const Matrixes::Matrix<T> &lhs, const Matrixes::Matrix<T> &rhs) {
    if (lhs.get_cols()!=rhs.get_cols() || lhs.get_rows()!=rhs.get_rows()){
        return false;
    }
    for (int r = 0; r < lhs.get_rows(); ++r) {
        for (int c = 0; c < lhs.get_cols(); ++c) {
            if (lhs.get(r, c) != rhs.get(r, c)) {
                return false;
            }
        }

    }
    return true;
}

上述运算符在Matrixes命名空间之外定义。

我有一些测试（我正在使用Google测试框架）。但是，如果我写这样的话：

TEST(MatrixOperations, MatrixMultiplicationSimple) {
    Matrixes::Primitives<int>::VectorMatrix vec1{{{8, 3, 5, 3, 8}, {5, 2, 0, 5, 8}, {0, 3, 8, 8, 1}, {3, 0, 0, 5, 0}, {2, 7, 5, 9, 0}}};
    Matrixes::Primitives<int>::VectorMatrix vec2{{{3, 1, 7, 2, 9}, {4, 6, 2, 4, 5}, {2, 5, 9, 4, 6}, {5, 3, 3, 1, 2}, {1, 8, 2, 6, 8}}};
    Matrixes::Matrix<int> vec1m{vec1};
    Matrixes::Matrix<int> vec2m{vec2};
    Matrixes::Matrix<int> matrix_out_ref{{{69, 124, 132, 99, 187}, {56, 96, 70, 71, 129}, {69, 90, 104, 58, 87}, {34, 18, 36, 11, 37}, {89, 96, 100, 61, 101}}};
    Matrixes::Matrix<int> matrix_out_fact = vec1m * vec2m;
    bool t = matrix_out_fact == matrix_out_ref;
    EXPECT_EQ(t, true);
}

一切正常。请注意，我在此处“手动”使用operator==：

 bool t = matrix_out_fact == matrix_out_ref;
 EXPECT_EQ(t, true);

但是，如果我不是写这两行，而是写：

EXPECT_EQ(matrix_ou_fact, matrix_out_ref);

我收到编译错误：

/usr/local/include/gtest/gtest.h:1522:11: error: no match for ‘operator==’ (operand types are ‘const Matrixes::Matrix<int>’ and ‘const Matrixes::Matrix<int>’)
   if (lhs == rhs) {

为什么gtest无法“看到” operator==的定义？

谢谢

Answer 1

EXPECT_EQ中的比较发生在与您的立即测试用例不同的范围内。它查找需要通过argument dependent lookup（ADL）调用的运算符。因为您的运算符函数与类不在同一个名称空间中，所以ADL不会选择它。

它可以在立即测试用例中使用，因为您可能以适当的顺序包含了适当的标头，因此查找运算符不依赖ADL。但是Gtest框架的实现必须依赖ADL。

因此修复很容易。将您的自定义运算符移到Matrixes命名空间中。它是您类的公共接口的一部分，因此它仍然属于同一名称空间。

为什么gtest看不到==的定义？

1 个答案: