可以根据算子生成模板吗？ [复制]

Question

我想知道是否可以使用模板为操作员创建通用代码。考虑一个简化的示例，该示例演示了我正在尝试做的事情。

template<operator O>
int do_thing(int a, int b) {
  return a O b;
}

int main() {
  // expected to return 10
  int foo = do_thing<operator+>(7, 3);

  // expected to return 4
  int bar = do_thing<operator->(7, 3);

  return 0;
}

我能表达出这样的话吗？我有几个相同的功能，除非它们之间有一个不同的操作，我觉得必须有一种方法可以更清晰地表达。

Answer 1

你不能使用“operator+”作为模板参数，但你可以这样做：

#include <iostream>

// do_thing
template<typename operator_t, typename type_t>
auto do_thing(const type_t& a, const type_t& b)
{
    // create temp inst
    return operator_t::op(a, b);
}

// template for operator
template<typename type_t>
struct plus_t
{
    static auto op(const type_t& a, const type_t& b)
    {
        return a + b;
    }
};

int main()
{
    // specialize operator for int
    using plus = plus_t<int>;

    // do your thing
    auto value = do_thing<plus>(2, 3);
    std::cout << "result of do_thing<plus>(2,3) = " << value << "\n";

    return 0;
}