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;
}

请注意运营商＆amp;＆amp;和||同样可以从这个技巧中受益。

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;
};

使用操作员！否定重载的布尔谓词

2 个答案: