Question

我有这个模板方法：

template <class SomeLhs, class SomeRhs, 
          ResultType (SomeLhs::*callback)(SomeRhs&)>
void Add() {
  struct Local {
    static ResultType Trampoline(BaseLhs& lhs, BaseRhs& rhs) {
      return (static_cast<SomeLhs&>(lhs).*callback)(static_cast<SomeRhs&>(rhs));
    }
  };
  _back_end.template Add<SomeLhs,SomeRhs>(&Local::Trampoline);
}

目前我这样称呼它：

tracker.Add<Quad, Multi, &Quad::track>();
tracker.Add<Quad, Singl, &Quad::track>();
tracker.Add<Sext, Multi, &Sext::track>();
...

它工作正常，但我不想重复两次类SomeLhs的名称。有没有办法避免这种情况？

对于可能认识到它的人：是的，这与Alexandrescu的BasicFastDispatcher有关，特别是我正在编写一个前端来操作成员函数。

Answer 1

我不认为它不能特别改善，这是不幸的，因为我喜欢找到一种方法来做到这一点。

模板类型推导仅适用于函数模板参数，您需要在编译时传入非类型成员函数指针，以便将其视为名称而不是变量。这意味着必须指定所有的参数。

即。你可以这样做：

template <class SomeLhs, class SomeRhs>
void Add(ResultType (SomeLhs::*callback)(SomeRhs&)) {
  ...
}
// nice syntax:
tracker.Add(&Sext::track);
// But ugly for overloaded functions, a cast is needed.
// p.s. not sure this is exactly the right syntax without compiling it.
tracker.Add((ResultType (Quad::*)(Multi&) &Quad::track);

但是你有一个实际的指针，随后不能用作模板参数。

我认为你唯一可以做的就是使用一个宏，尽管如果它真的能改进这里的语法是有争议的。我想说这可能会增加不必要的混淆程度。

e.g。

#define TMFN_ARGS(C, M, P1) C, P1, &C::M
tracker.Add<TMFN_ARGS(Quad, track, Multi)>();

编辑：

但是，如果该函数的名称始终为“track”，则可以执行以下操作：

template <typename C, typename P1>
void AddTrack() {
   Add<C, P1, &C::track>();
}
tracker.AddTrack<Quad, Multi>();

这个模板语法可以改进吗？

1 个答案: