C++ typedef 重命名函数

Question

我希望能够typedef 函数，以便能够将模板元编程用作函数选择器（如下例所示）。我也尝试将函数作为模板参数传递。在这两种情况下都会出现错误，因为函数不是types。我知道如果它们是函子，这些方法中的任何一种都可以工作，但我希望能够有一个通用的解决方案。

是否有“typedef 函数”的实际方法，但名称不同，我只是不知道？

编辑：

此时我的用例是我希望能够在使用 boost::property_tree::xml_parser::read_xml 和 boost::property_tree::json_parser::read_json 之间进行选择。但不仅限于这种情况，使用成员函数、函数指针或std::function 将需要找到所有确切的函数定义并将其复制到正确创建一个选择器。

描述用例的更一般的方法是使用typedef double my_float，以便以后只需一次编辑即可更改所有代码。或者，更高级的是，typedef 可以在元程序选择器中定义。

void foo1() { /*do stuff*/ }
void foo2() { /*do other stuff*/ }

template <bool SELECT>
struct Selector {
    typedef foo1 foo;
};

template <>
struct Selector<false> {
    typedef foo2 foo;
};

Answer 1

另外几个解决方案：

1) C++03解决方案：常量静态函数指针作为类模板的成员

typedef void (*Foo)();

template <bool>
struct Selector
{
    static const Foo foo;
};

template <bool select>
const Foo Selector<select>::foo = foo1;

template <>
const Foo Selector<false>::foo = foo2;

// ...

Selector<true>::foo();
Selector<false>::foo();

Live example.

2) C++11解决方案：常量静态auto类模板成员

template <bool>
struct Selector
{
    static constexpr auto foo = foo1;
};

template <>
struct Selector<false>
{
    static constexpr auto foo = foo2;
};

// ...

Selector<true>::foo();
Selector<false>::foo();

Live example.

3) C++14解决方案：auto变量模板

template <bool>
constexpr auto foo = nullptr;

template <>
constexpr auto foo<true> = foo1;

template <>
constexpr auto foo<false> = foo2;

// ...

foo<true>();
foo<false>();

Live example.

Answer 2

我假设您的目标只是根据一些bool 选择函数。您可以使用成员函数轻松做到这一点：

template <bool select>
struct selector {
    void operator () () {foo1();}
};

template <>
struct selector <false> {
    void operator () () {foo2();}
};

您当然可以使用int 参数和相同的技术在两个以上的函数之间切换。然后，您可以将此struct 作为参数传递给任何期望与foo1 具有相同签名的函数的函数。 (Live)

Answer 3

你可以：

1)使用成员函数

void foo1() { std::cout << "foo1\n"; }
void foo2() { std::cout << "foo2\n"; }

template <bool SELECT>
struct Selector {
    void foo() { foo1(); };
};

template <>
struct Selector<false> {
    void foo() { foo2(); };
};

int main() {

  Selector<true> s1t;
  Selector<false> s1f;

  s1t.foo();
  s1f.foo();
}

2) 使用通用函数包装器，例如std::function：

void foo1() { std::cout << "foo1\n"; }
void foo2() { std::cout << "foo2\n"; }

template <bool SELECT>
struct Selector2 {
    std::function<void(void)> foo = foo1;
};

template <>
struct Selector2<false> {
    std::function<void(void)> foo = foo2;
};

int main() {

  Selector2<true> s2t;
  Selector2<false> s2f;

  s2t.foo();
  s2f.foo();

  return 0;
}

Live demo