組み込み標準演算子の関数ポインタを取得することは可能ですか?

はじめに

関数ポインタは、特定の関数を参照する方法を提供します演算子関数。ただし、組み込みの標準演算子の場合、このアプローチは簡単ではない可能性があります。この記事では、この制限の背後にある理由を詳しく掘り下げ、同様の機能を実現するための代替ソリューションを検討します。

関数ポインタが組み込み演算子に使用できない理由

C 標準 (13.6/) に準拠1) の場合、組み込み演算子は通常の演算子関数ではないため、組み込み演算子を指す関数ポインターを持つことができません。これらは、他の目的を果たさず、オーバーロードの解決にのみ参加します。

代替: 関数オブジェクトの使用

この制限を克服するために、C 標準では、組み込み関数と同様の機能を提供する関数オブジェクトが導入されています。テンプレート化されたオブジェクトを介した演算子。たとえば、比較の場合、equal_to、greater、less_equal などの関数オブジェクトが定義されます。これらのオブジェクトは、関数ポインターの引数として使用できます。

Example

提供されたコード スニペットの目的は、テンプレート クラス内の 2 つの整数を比較することです。関数オブジェクト手法を使用すると、次のように実現できます。

class MyAction {
  bool operator()() {
    if (fnCompare_(arg0_, arg1_)) {
      // do this
    } else {
      // do s.th. else
    }
  }
};

ここで、 fnCompare_ は比較を実行するための std::equal_to のような関数オブジェクトにすることができます。

標準クラス型演算子

関数オブジェクトに加えて、標準ライブラリ演算子も関数ポインターとして使用できます。ただし、テンプレートのそれぞれのインスタンスを参照する必要があります。例:

std::basic_string a("test"), b("test2");
std::cout >(a, b, &std::operator );

結論

関数ポインタは、ビルドされた関数には直接使用できません。標準演算子では、関数オブジェクトと標準クラス型演算子によって提供される代替ソリューションにより、同等の機能が可能になります。これらの代替により、特定の標準演算子を関数ポインターとして使用できるようになり、組み込み演算子による制限に対処できます。