在Unison中使用google test时，发现EXPECT_EQ在fail时，不能打印Unison Test Language中定义的派生类的对象。于是写了个纯C++的示例，发现在只定义基类的operator<<时，无法打印派生类对象。
于是在github上给googletest提交了一个issueUnable to print derived class while operator<< for base class defined #2435。
示例代码如下：
#include <iostream>
#include <string>
class B {
public:
B(std::string name = "class B") : name_(name) {}
bool operator==(const B& rhs) const { return name_ == rhs.Name(); }
std::string Name()const { return name_;}
private:
std::string name_;
};
class D : public B {
public:
D(std::string name = "class D") : B(name) {}
};
std::ostream& operator<<(std::ostream& os, const B& b) {
os << b.Name();
return os;
}
/* without this operator<< for D, EXPECT_EQ won't print D properly */
/*
std::ostream& operator<<(std::ostream& os, const D& b) {
os << b.Name();
return os;
}
*/
#include <gtest/gtest.h>
TEST(Print, PrintByCout) { std::cout << B() << std::endl << D() << std::endl; }
TEST(Print, PrintB) {
B obj1("b1");
B obj2("b2");
EXPECT_EQ(obj1, obj2);
}
TEST(Print, PrintD) {
D obj1("d1");
D obj2("d2");
EXPECT_EQ(obj1, obj2);
}
执行结果:
Running main() from ./googletest/googletest/src/gtest_main.cc
[==========] Running 3 tests from 1 test case.
[----------] Global test environment set-up.
[----------] 3 tests from Print
[ RUN ] Print.PrintByCout
class B
class D
[ OK ] Print.PrintByCout (0 ms)
[ RUN ] Print.PrintB
sample.cpp:39: Failure
Expected equality of these values:
obj1
Which is: b1
obj2
Which is: b2
[ FAILED ] Print.PrintB (0 ms)
[ RUN ] Print.PrintD
sample.cpp:45: Failure
Expected equality of these values:
obj1
Which is: 32-byte object <90-64 84-4C FF-7F 00-00 02-00 00-00 00-00 00-00 64-31 00-6E 39-56 00-00 E0-E1 75-6E 39-56 00-00>
obj2
Which is: 32-byte object <B0-64 84-4C FF-7F 00-00 02-00 00-00 00-00 00-00 64-32 00-4C FF-7F 00-00 40-7D D9-7F 87-7F 00-00>
[ FAILED ] Print.PrintD (0 ms)
[----------] 3 tests from Print (0 ms total)
[----------] Global test environment tear-down
[==========] 3 tests from 1 test case ran. (0 ms total)
[ PASSED ] 1 test.
[ FAILED ] 2 tests, listed below:
[ FAILED ] Print.PrintB
[ FAILED ] Print.PrintD
没想到很快就有人回复了，kuzkry通过一小段代码说明了原因：
#include <iostream>
struct B {};
struct D : B {};
template <typename T>
void foo(T) {
// This is something that works under the hood of GTest.
// I think we cannot change this as we don't know what types
// users will try to print.
std::cout << "Not what we wanted\n";
}
void foo(const B&) {
// This is what we want.
std::cout << "Good\n";
}
int main() {
foo(D{}); // oops, a function template is a better match
}
并且也还提供了解决办法：
/* template header */
template <typename T, typename = typename std::enable_if<std::is_base_of<B, T>::value>::type> // (C++11)
template <typename T, typename = std::enable_if_t<std::is_base_of<B, T>::value>> // (C++14)
template <typename T, typename = std::enable_if_t<std::is_base_of_v<B, T>>> // (C++17)
std::ostream& operator<<(std::ostream& os, const T& b) {
os << b.Name();
return os;
}
完美！
2019/09/03更新：
这是涉及函数模板的重载问题，《C++ Primer》第五版中有如下说明：
- 对于一个调用，其候选函数包括所有模板实参推断成功的函数模板实例。
- 候选的函数模板总是可行的，因为函数实参推断会排除任何不可行的模板。
- 与往常一样，可行函数（模板和非模板）按类型转换（如果对此调用需要的话）来排序。当然，可以用于函数模板调用的类型转换是非常有限的。
- 与往常一样，如果恰有一个函数提供比任何其他函数都更好的匹配，则选择此函数。但是，如果有多个函数提供同样好的匹配，则：
- 如果同样好的函数中只有一个是非模板函数，则选择此函数。
- 如果同样好的函数中没有非模板函数，而有多个函数模板，且其中一个比其他模板更特例化，则选择此模板。
- 否则，此调用有歧义。
原创文章，始发于https://alancprc.github.io/c++/2019/09/02/google-test-print-derived-class-object.html
原创文章，本文链接https://www.cnblogs.com/alancprc/p/google-test-print-derived-class-object.html
本作品采用知识共享署名-相同方式共享 4.0 国际许可协议进行许可。