| Home | Libraries | People | FAQ | More

# Negators

functional.hpp ヘッダは C++ 標準 (§20.3.5) 由来のネゲータアダプタの両方の強化バー ジョンを提供する:

- `unary_negate`
- `binary_negate`

同様に対応するヘルパ関数も提供する。

- `not1`
- `not2`

このライブラリのネゲータは標準バージョンを二つの方法で改良する。

- 適合関数オブジェクトではなく関数を否定する時、それらは `ptr_fun` の必要を回避するために、function object traits を用いる。
- それらは引数や適合された関数に渡す引数を宣言する最上の方法を決するた め、Boost の call traits を用いる。(下記参照)

### Usage

使い型は標準ネゲータと同様である。例えば、

>     bool bad(const Foo &foo) { ... }
>     ...
>     std::vector<Foo> c;
>     ...
>     std::find_if(c.begin(), c.end(), boost::not1(bad));

### Argument Types

C++ 標準 (§20.3.5) は unary negate をこのように定義 している。(binary negate も似ている):

>     template <class Predicate>
>       class unary_negate
>         : public unary_function<typename Predicate::argument_type,bool> {
>     public:
>       explicit unary_negate(const Predicate& pred);
>       bool operator()(const typename Predicate::argument_type& x) const;
>     };

Predicate の `argument_type` が参照であった場合、 `operator()` の引数の型は参照の参照になることに注 意しなさい。これは、現在の C++ では非合法である。(ただし C++ 言語中核の問題点 106 番目 を参照せよ)。

しかしながら、もし代わりに `operator()` を Predicate の argument_type を変更せずにそのまま採用して定義すると、それ が値型であった場合不必要に非効率になってしまう。それは引数が二度コピーさ れることによる。一度は `unary_negate` の `operator()` を呼ぶ時、さらに適合された関数で `operator()` を呼ぶ時にもう一度である。

つまり`operator()` を宣言する望ましい方法は、 Predicate の `argument_type` が参照であるか否かに依 る。もしそれが参照であれば、単純に `argument_type` として宣言したいし、それが値であれば `const argument_type&` として宣言したいのである。

Boost の call_traits クラステンプレー トは `param_type` typedef を含んでいて、それは部分特 殊化版を用いて正確にこの判断をを行う。`operator()` を 以下のように宣言することによって。

>     bool operator()(typename call_traits<typename Predicate::argument_type>::param_type x) const

我々は望ましい結果を引き出した - 参照の参照を生み出すことなく、効率性 を得たのだ。実のところ、実際の宣言は関数オブジェクト特性を使うためもう少 し複雑である。しかし効果は同様である。

### Limitations

この関数オブジェクト特性の両方と call traits はこの改良を実現するため に使われる関数オブジェクト特性と call_traits の両方が部分特殊化版に頼って いるので、この改良は部分特殊化版の機能を持つコンパイラでのみ有効である。 そうでないコンパイラでは、このライブラリのネゲータは標準内のそれらと非常 に似た振るまいをする - 関数に適合するために `ptr_fun` が必要であるし、参照の参照は避けられないだ ろう。

Copyright © 2000 Cadenza New Zealand Ltd. Permission to copy, use, modify, sell and distribute this document is granted provided this copyright notice appears in all copies. This document is provided "as is" without express or implied warranty, and with no claim as to its suitability for any purpose.

Revised 28 June 2000

Japanese Translation Copyright (C) 2003 shinichiro.h <g940455@mail.ecc.u-tokyo.ac.jp>.

オリジナルの、及びこの著作権表示が全ての複製の中に現れる限り、この文書の 複製、利用、変更、販売そして配布を認める。このドキュメントは「あるがまま」 に提供されており、いかなる明示的、暗黙的保証も行わない。また、 いかなる目的に対しても、その利用が適していることを関知しない。