Don't copy the argument in SafeMatcherCast because it's not safe.

This commit is contained in:
kosak 2013-12-03 01:43:07 +00:00
parent 88080ee943
commit 5f2a6ca4fd
2 changed files with 28 additions and 5 deletions

View File

@ -489,7 +489,7 @@ namespace internal {
template <typename T, typename M> template <typename T, typename M>
class MatcherCastImpl { class MatcherCastImpl {
public: public:
static Matcher<T> Cast(M polymorphic_matcher_or_value) { static Matcher<T> Cast(const M& polymorphic_matcher_or_value) {
// M can be a polymorhic matcher, in which case we want to use // M can be a polymorhic matcher, in which case we want to use
// its conversion operator to create Matcher<T>. Or it can be a value // its conversion operator to create Matcher<T>. Or it can be a value
// that should be passed to the Matcher<T>'s constructor. // that should be passed to the Matcher<T>'s constructor.
@ -510,14 +510,14 @@ class MatcherCastImpl {
} }
private: private:
static Matcher<T> CastImpl(M value, BooleanConstant<false>) { static Matcher<T> CastImpl(const M& value, BooleanConstant<false>) {
// M can't be implicitly converted to Matcher<T>, so M isn't a polymorphic // M can't be implicitly converted to Matcher<T>, so M isn't a polymorphic
// matcher. It must be a value then. Use direct initialization to create // matcher. It must be a value then. Use direct initialization to create
// a matcher. // a matcher.
return Matcher<T>(ImplicitCast_<T>(value)); return Matcher<T>(ImplicitCast_<T>(value));
} }
static Matcher<T> CastImpl(M polymorphic_matcher_or_value, static Matcher<T> CastImpl(const M& polymorphic_matcher_or_value,
BooleanConstant<true>) { BooleanConstant<true>) {
// M is implicitly convertible to Matcher<T>, which means that either // M is implicitly convertible to Matcher<T>, which means that either
// M is a polymorhpic matcher or Matcher<T> has an implicit constructor // M is a polymorhpic matcher or Matcher<T> has an implicit constructor
@ -582,7 +582,7 @@ class MatcherCastImpl<T, Matcher<T> > {
// matcher m and returns a Matcher<T>. It compiles only when T can be // matcher m and returns a Matcher<T>. It compiles only when T can be
// statically converted to the argument type of m. // statically converted to the argument type of m.
template <typename T, typename M> template <typename T, typename M>
inline Matcher<T> MatcherCast(M matcher) { inline Matcher<T> MatcherCast(const M& matcher) {
return internal::MatcherCastImpl<T, M>::Cast(matcher); return internal::MatcherCastImpl<T, M>::Cast(matcher);
} }
@ -599,7 +599,7 @@ class SafeMatcherCastImpl {
// This overload handles polymorphic matchers and values only since // This overload handles polymorphic matchers and values only since
// monomorphic matchers are handled by the next one. // monomorphic matchers are handled by the next one.
template <typename M> template <typename M>
static inline Matcher<T> Cast(M polymorphic_matcher_or_value) { static inline Matcher<T> Cast(const M& polymorphic_matcher_or_value) {
return internal::MatcherCastImpl<T, M>::Cast(polymorphic_matcher_or_value); return internal::MatcherCastImpl<T, M>::Cast(polymorphic_matcher_or_value);
} }

View File

@ -636,6 +636,22 @@ TEST(MatcherCastTest, FromConvertibleFromAny) {
EXPECT_FALSE(m.Matches(ConvertibleFromAny(2))); EXPECT_FALSE(m.Matches(ConvertibleFromAny(2)));
} }
struct IntReferenceWrapper {
IntReferenceWrapper(const int& a_value) : value(&a_value) {}
const int* value;
};
bool operator==(const IntReferenceWrapper& a, const IntReferenceWrapper& b) {
return a.value == b.value;
}
TEST(MatcherCastTest, ValueIsNotCopied) {
int n = 42;
Matcher<IntReferenceWrapper> m = MatcherCast<IntReferenceWrapper>(n);
// Verify that the matcher holds a reference to n, not to its temporary copy.
EXPECT_TRUE(m.Matches(n));
}
class Base {}; class Base {};
class Derived : public Base {}; class Derived : public Base {};
@ -724,6 +740,13 @@ TEST(SafeMatcherCastTest, FromConvertibleFromAny) {
EXPECT_FALSE(m.Matches(ConvertibleFromAny(2))); EXPECT_FALSE(m.Matches(ConvertibleFromAny(2)));
} }
TEST(SafeMatcherCastTest, ValueIsNotCopied) {
int n = 42;
Matcher<IntReferenceWrapper> m = SafeMatcherCast<IntReferenceWrapper>(n);
// Verify that the matcher holds a reference to n, not to its temporary copy.
EXPECT_TRUE(m.Matches(n));
}
// Tests that A<T>() matches any value of type T. // Tests that A<T>() matches any value of type T.
TEST(ATest, MatchesAnyValue) { TEST(ATest, MatchesAnyValue) {
// Tests a matcher for a value type. // Tests a matcher for a value type.