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

Question

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

我想提出与

如何使用运算符否定谓词函数！在 C++ 中？

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

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

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

目的是用作范围适配器MyPredicate的参数，具有如下可读语法：

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

你可以这样做：

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魔法。

Answer 2

您实际上可以从std::unary_function：

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