C++0x 中的 C# 风格 Action、Func等

Question

C# 具有通用函数类型，例如 Action 或 Func

随着 C++0x 的出现， 拥有模板 typedef 和可变模板参数，看起来这应该是可能的。

对我来说，显而易见的解决方案是这样的：

template <typename T>
using Action<T> = void (*)(T);

但是，这不适合函子或 C++0x lambda，除此之外，编译时不会出现错误“expected unqualified-id before 'using' “

我的下一次尝试可能是使用 boost::function：

template <typename T>
using Action<T> = boost::function<void (T)>;

出于同样的原因，这也无法编译。

我唯一的其他想法是 STL 样式模板参数：

template <typename T, typename Action>
void foo(T value, Action f) {
    f(value);
}

但这并没有提供强类型解决方案，并且仅在模板化函数内部相关。

现在，我将第一个承认我不是我所认为的 C++ 奇才，所以很可能有一个我没有看到的明显解决方案。

C++ 中是否可以有 C# 风格的泛型函数类型？

Answer 1

我认为语法应该是这样的：

template <typename T>
using Action = void (*)(T);

但我也无法编译它（g++ v4.3.2）。

一般STL风格的函数模板在严格意义上并不是强类型的，但它是类型安全的，因为编译器将确保仅针对满足函数所有要求的类型来实例化模板。具体来说，如果 Action 无法使用 T 类型的一个参数调用，则会出现编译器错误。这是一种非常灵活的方法，因为 Action 是否实例化为一个函数或某个实现 operator() 的类并不重要。

对于缺少模板化 typedef 的旧的非 C++0x 解决方法是使用带有嵌套 typedef 的模板化结构：

template <typename T>
struct Action {
   typedef boost::function<void (T)> type;
};

template <typename T>
void foo(T value, typename Action<T>::type f) {
    f(value);
}

Answer 2

Gcc 尚不支持模板别名（请参阅此处），而且我不支持确定是否考虑可变参数模板别名。我认为其他编译器尚未支持此功能。

我将只使用 std::function 或 std::function 而不是 Action 或 Func。

当然，您可以从 std::function 定义可变参数模板类 Action 或 Func 但我没有看到好处。

Answer 3

我不认为泛型函数类型是直观的 C​​++，因为 C++ 模板的工作方式与泛型不同。

C++ 方法是使用函数对象 - 任何可以放在 () 之后的东西，这对编译器来说是有意义的。这可以是函数指针、带有operator() 的类等等。这是可行的，因为 C++ 模板就像花哨的宏，只要代码对替换的类型有意义，就可以了。

C# 泛型不是这样工作的 - 它们的限制性更强，可能是为了改进错误消息（因为 C++ 模板错误在输出中是出了名的冗长）。我对 C# 泛型了解不多，但我认为它们依赖于更像回调的东西，因此函数泛型很有用。