可变参数模板的代码大小问题

Question

我正在创建一个同时处理许多不同用户定义类型的算法。假设这些类型中的每一个都具有func1 和func2，这将是MyAlgorithm 的接口。我可以使用可变参数模板来做到这一点：

template <typename... Args>
class MyAlgorithm{
    // interact with Args using func1 and func2
};

我现在可以像 MyAlgorithm<A, B, C, D, E, F, G> 一样实例化 MyAlgorithm。这可行，但是，我觉得对于我的应用程序，这可能会导致MyAlgorithm 的专业化过多。在实践中，MyAlgorithm 可能首先被实例化，例如MyAlgorithm<A, B, B , A, C, D>，然后是MyAlgorithm<A, A, C, D>，然后是MyAlgorithm<C, F D>，以此类推。

不幸的是，模板会针对Args 的每个组合进行实例化。例如，这会在在线设置中产生问题。 MyAlgorithm 可以在批量实时输入数据上运行（MyAlgorithm 的本质是它在批量而不是单个输入上运行）。将解析实时输入数据并调用正确的 MyAlgorithm 特化。在这种情况下，用户需要在编译后的代码中创建所有可能的 MyAlgorithm 特化。

MyAlgorithm<A>;
MyAlgorithm<B>;
MyAlgorithm<C>;
MyAlgorithm<A, A>;
MyAlgorithm<A, B>;
MyAlgorithm<A, C>;
MyAlgorithm<B, A>;
...

我有一个可能会有所帮助的想法，但我并没有完全正确。代替 MyAlgorithm 获取模板参数，它将处理专门用于 A, B, Cs 的模板 Proxy 类。

// no template 
class MyAlgorithm{
    // interact with Proxy using func1proxy and func2proxy
    std::vector<Proxy> Args;
};

template<typename T>
class Proxy{
    // define func1proxy and func2proxy using Arg's func1 and func2
    std::unique_ptr<T> Arg; // only member
};

当然这不起作用，因为每个Proxy 特化都是不同的类，所以MyAlgorithm 仍然需要是模板类（而std::vector<Proxy> Args 不能存在）。

有我想做的设计模式吗？是否有减少类实例化数量的设计模式？

一些注意事项：

MyAlgorithm 对所有模板参数一视同仁。该算法在每个模板参数上递归调用func1 和func2。

class MyAlgorithm{
    template<typname T, typename... Args>
    void CallFunc1s(T first, Args... rest){
        T.func1();
        SomeFunction(rest);
    }
};

Answer 1

类型擦除一个由func1/func2调用的类型T。

struct proxy_ref{
  void* pdata=0;
  void(*pfunc1)(void*)=0;
  void(*pfunc2)(void*)=0;
  template<class T>
  proxy_ref(T&& t):
    pdata((void*)std::addressof(t)),
    pfunc1([](void*pvoid){
      ((T*)pvoid)->func1();
    }),
    pfunc2([](void*pvoid){
      ((T*)pvoid)->func2();
    })
  {}
  void func1(){ pfunc1(pvoid); }
  void func2(){ pfunc2(pvoid); }
};

现在获取proxy_refs 的向量并调用func1 和func2。

您的特定问题可能涉及更复杂的签名，甚至是值类型而不是 ref 类型。

存在类型擦除无法解决的像您这样的问题，但尝试这是第一步。