如何从 C++ 代码中删除此汇编代码？

Question

我的环境是 Visual Studio 2008。

我有 3 个不同的库。概括起来，它们的行为等价如下。

库 1 - 提供要注册的功能

class FunctionRegistry
{
   typedef std::list<int> TListInt;
   TListInt m_Params;
   void * m_FPtr;
public:
   FunctionRegistry(void * fptr):m_FPtr(fptr){}
   FunctionRegistry& Insert(int value){m_Params.push_back(value); return *this;}
   void Call();
};

void FunctionRegistry::Call()
{
    /*this is the area I want to get rid of */
    TListInt::iterator ite = m_Params.begin();
    while (ite != m_Params.end());
    {
       __asm push *ite;//I want to remvoe this assmebly code somehow
       ++ite;//Edited after initial post
    }

    ((void(*)())m_FPtr)();

    ite = m_Params.begin();
    while (ite != m_Params.end());
    {
        int i = 0;
        __asm pop i;//I want to remvoe this assmebly code somehow
        ++ite;//Edited after initial post
    }
    /*end of area to get rid of*/
}

Library 2 - 定义一组函数，如

void foo(int i, int j)
{
    std::cout << "foo int int " << i << " " << j << std::endl;
}

void bar(int i)
{
    std::cout << "bar int " << i << std::endl;
}

void biz()
{
    std::cout << "biz" << std::endl;
}

FunctionRegistry fRegFoo((void*)&foo);
fRegFoo.Insert(10).Insert(20);

FunctionRegistry fRegBar((void*)&bar);
fRegBar.Insert(10);

FunctionRegistry fRegBiz((void*)&biz);

库 3 - 这是上述两个库的用户，示例用法如下，

fRegFoo.Call();
fRegBar.Call();
fRegBiz.Call();

这是一个遗留代码，我现在正试图摆脱上述汇编代码。我可以轻松更改（通过一些 API 更改）我的库 1 来满足我的需要。但是我的问题是，由于库在大量用户中的大量分布，要求他们根据库 1 的 API 更改来更改他们的用例（这里是库 3）应该是我最后的选择。

现在，我正在寻求您的帮助，有没有什么方法可以使用任何可能的技术来更改我的 library 1 内部结构，而无需更改其 API 以消除此汇编代码？

如果您认为不更改任何 API 就无法实现，请建议对库 3 的代码更改最少的方法。

Answer 1

如果您的最终用户只能调用“库 3”中定义的 API，那么答案显然是肯定的。这个 API 的表面积很小，在没有任何汇编语言的情况下重新实现它是微不足道的。这将需要对 Lib 2 和 Lib 1 进行更改。

天真的实现将是一组具有静态Call 函数的类。还有很多其他选择。

但问题是：我们还没有看到您必须展示的所有内容。如果库 3 中提供的 API 很丰富，并且/或者如果它有漏洞，那么答案可能是从“轻松愉快”到“放弃并找到另一份工作”。您的来电。

---

注意：此答案基于您所说的：API Lib 3 不得更改，但其他一切都可以。相反，如果您需要一个解决方案，其中 Lib 2 和 Lib 3 都未更改，并且只有 Lib 1 中的汇编代码可以更改，请编辑您的问题以解释这一点。

如果是这样，则有两种选择：要么符合标准，要么依赖于实现定义的行为。 [如果是 Windows/VS，生活可能会更轻松，但我在 20 年前就做了这件事，只是为了让它可以移植到多种 Unix 上。绝对可以做到的。]

Answer 2

这摆脱了 asm push & pop 但你最终可能会得到一个大的 switch 语句，最大为 256 case-statements。 （可以使用宏来生成案例陈述吗？）

void FunctionRegistry::Call()
{
    typedef void (*_F)(...);
    _F f = (_F)m_FPtr;

    auto p=*m_Params.begin();
    switch(m_Params.size())
    {
        case 0: f();break;
        case 1: f(p); break;
        case 2: f(p, p+1); break;
        //...
        //case 256: f( ...please get therapy... ); break
    }
}

Answer 3

不是 100% 肯定，但看起来您将值 ite 推送到堆栈，然后稍后将其弹出到 i。如果这就是您所做的一切，请考虑将 asm push/pop 替换为 std::stack。比如：

#include <stack>
//...
void FunctionRegistry::Call()
{
    std::stack<TListInt::value_type> astack;
    TListInt::iterator ite = m_Params.begin();
    while (ite != m_Params.end());
    {
       astack.push(*ite);
       ++ite;//Edited after initial post
    }

    ((void(*)())m_FPtr)();

    ite = m_Params.begin();
    while (ite != m_Params.end());
    {
        int i = astack.pop();
        ++ite;//Edited after initial post
    }
}

Answer 4

你看过 boost::bind 吗？ 像这样：

#include <boost/bind/bind.hpp>
class FunctionRegistry
{
  typedef void tProcedure (void);

  private:
    const tProcedure proc;

  public:
    explicit FunctionRegistry( tProcedure proc ) : proc(proc) {}
    void Call() const { proc(); }

};

const FunctionRegistry fRegFoo( boost::bind( foo, 10, 20 ) );