重载 C++ 时运行特定代码运营商

Question

我有一个类，我们称之为 Foo，它包含以下 3 个方法（重载 左关联 < 二元运算符）：

... operator<(A a) { return *this; }
... operator<(B b) { return *this; }
... operator<(C c) { return *this; }

A、B、C 类不是以任何方式相关（如果是的话，有什么关系）。

现在在我的程序中我只有以下两种情况：

A a = new A();
B b = new B();
C c = new C();

(First Case): new Foo() < a < b;

或者

(Second Case): new Foo() < a < b < c;

每当我有第一种情况（以 b 结尾）时，我想在阅读后执行函数 run() （我知道） b 实例。所以我的想法是，我将在 Foo 类中添加以下代码：

... operator<(B b)
{
    run();
}

现在，当我获得第一种情况的代码时，将执行 run() 。

问题是，当我有类似于第二种情况的代码时（以 c 结尾）。 我想再次执行 run() 函数，但直到我知道 c 是什么。 因此，如果我有前面的代码 run() 将在执行 时被调用b 这不是我想要的，因为我还不知道c。 如果我在 operator<(C c) 中添加 run()，我将调用 run() 两次。

简而言之，我想要完成的是当第一种情况在 operator<(B b) 处调用 run() 时，当我有第二种情况时仅调用 run在操作符<(C c)处。

关于如何解决这个问题有什么想法（如果可以的话）？

Answer 1

您可以创建单独的代理对象返回类型，因此当您为该代理对象定义运算符时，您知道在它之前有哪些类型。

Answer 2

class PreFoo {
public:
    PreFoo() { ... }
    PreFoo & operator<<(A a) { ...; return *this; }
    PreFoo & operator<<(B b) { ...; return *this; }
    PreFoo & operator<<(C c) { ...; return *this; }

    int aa, bb, cc; // save your information
};

PreFoo MakeFoo() { return PreFoo(); }

class Foo {
public:
    Foo(const PreFoo & pre) { run(); } // implicit conversion

    void run() {} // your run!!
};


void g() {
  A a; B b; C c;
  // implicit conversion at the end
  Foo foo1 = MakeFoo() << a << b;
  Foo foo2 = PreFoo() << a << b << c;
}

Answer 3

您必须先创建一个语法树，然后对其进行评估。因此，您正在创建一种 DSL（领域特定语言）。

读这个
http: //codeidol.com/cpp/cpp-template-metaprogramming/Domain-Specific-Embedded-Languages/-10.5.-Blitz-and-Expression-Templates/

或者您可以使用 boost::proto