使用运算符！否定一个重载的布尔谓词

Question

上下文：仅限 C++03 + 授权使用 boost

我想提出与中相同的问题

How to negate a predicate function using operator ! in C++?

...但带有一个重载的布尔谓词，即：

struct MyPredicate
{
    bool operator()(T1) const;
    bool operator()(T2) const;
};

显然，MyPredicate 不能从 std::unary_function 派生，因为不可能定义单个 argument_type。

目的是使用MyPredicate 作为range adaptors 的参数，语法如下：

using boost::for_each;
using boost::adaptors::filtered;

list<T1> list1;
list<T2> list2;

for_each(list1 | filtered(!MyPredicate()), doThis);
for_each(list2 | filtered(!MyPredicate()), doThat);

当然，任何涉及明确消歧的解决方案在这里都不感兴趣。

提前谢谢你。

[接受的解决方案]

我正在使用 Angew 解决方案的略微修改版本：

template <class Predicate>
struct Not
{
  Predicate pred;

  Not(Predicate pred) : pred(pred) {}

  template <class tArg>
  bool operator() (const tArg &arg) const
  { return !pred(arg); }
};

template <class Pred>
inline Not<Pred> operator! (const Pred &pred)
{
  return Not<Pred>(pred);
}

template <class Pred>
Pred operator! (const Not<Pred> &pred)
{
  return pred.pred;
}

注意运算符 && 和 ||同样可以从这个技巧中受益。

Answer 1

你其实可以从std::unary_function派生：

template<typename T>
struct MyPredicate : std::unary_function<T, bool>
{
    bool operator()(T) const;
};

Answer 2

你可以这样做：

struct MyPredicate
{
  bool positive;
  MyPredicate() : positive(true) {}

  bool operator() (T1) const {
    return original_return_value == positive;
  }
  bool operator() (T2) const {
    return original_return_value == positive;
  }
};

inline MyPredicate operator! (MyPredicate p) {
  p.positive = !p.positive;
  return p;
}

---

为了解决您忘记使用positive 的问题，您可以尝试使用包装类的替代方法。

template <class Predicate>
struct NegatablePredicate
{
  Predicate pred;
  bool positive;

  NegatablePredicate(Predicate pred, bool positive) : pred(pred), positive(positive) {}

  template <class tArg>
  bool operator() (const tArg &arg) const
  { return pred(arg) == positive; }
};

template <class Pred>
inline NegatablePredicate<Pred> operator! (const Pred &pred)
{
  return NegatablePredicate<Pred>(pred, false);
}

您还可以添加重载以进行优化：

template <class Pred>
inline NegatablePredicate<Pred> operator! (const NegatablePredicate<Pred> &pred)
{
  return NegatablePredicate<Pred>(pred.pred, !pred.positive);
}

要解决模板operator! 的广泛范围可能存在的问题，您可以使用boost::enable_if 魔术。