将 C++ 移植到 C# - 模板

Question

我正在将 C++ 应用程序移植到 C#，并且已经跨模板运行。我已经阅读了一些关于这些的内容，并且我了解某些模板类似于 .Net 泛型。我阅读了这个案例的SO answer，它很好地总结了它。

但是，c++ 模板的某些用途似乎与泛型没有直接关系。在下面来自 Wikipedia 的 Template metaprogramming 文章的示例中，模板似乎接受了一个值，而不是一个类型。我不太确定这将如何移植到 C#？

template <int N>
struct Factorial 
{
    enum { value = N * Factorial<N - 1>::value };
};

template <>
struct Factorial<0> 
{
    enum { value = 1 };
};

// Factorial<4>::value == 24
// Factorial<0>::value == 1
void foo()
{
    int x = Factorial<4>::value; // == 24
    int y = Factorial<0>::value; // == 1
}

显然对于这个例子我可以做到：

public int Factorial(int N){
    if(N == 0) return 1;
    return Factorial(N - 1);
}

但在我看来，这似乎是对函数的重构，而不是对语义相似代码的移植。

Answer 1

不幸的是，.Net 泛型只能接受类型。 C++ 模板采用编译器认为是常量表达式的其他值，因为它们实际上只是扩展为更多代码的宏。

这意味着将代码转换为方法调用的想法是最好的选择。您可以使方法调用返回具有 .Value 属性的类型（按照您的示例），从而使移植的代码与模板相似：

return Factorial(N-1).Value;

Answer 2

在下面的例子中……模板似乎接受一个值，而不是一个类型。

这不是你最大的问题。事实上，这在 C# 中理论上可以通过使用 Church numeral 或依赖嵌套泛型类型的 Peano 表示来解决。¹

然而，你的问题是C#不允许模板特化。在您的示例中，模板专业化负责定义0 的阶乘为1，而不是与所有其他数字相同。 C# 不允许这样做。

因此无法在递归模板（通用）定义中指定基本情况，因此没有递归。 C# 泛型不是图灵完备的，而 C++ 模板是。

---

¹ 是这样的：

class Zero { }

class Successor<T> : Zero where T : Zero { }

// one:
Successor<Zero>
// two:
Successor<Successor<Zero>>
// etc.

对这些数字执行操作留给读者作为练习。

Answer 3

看这篇文章了解C#泛型和c++模板的区别：

我认为您的示例包含在其中。

MSDN Link

Answer 4

简短的回答是，并非所有可以在 C++ 模板中完成的事情都可以在 C# 泛型中完成。对于接受非类型值的模板，必须根据具体情况适当处理和重构每种情况。

Answer 5

这是我能想到的最接近的：

public class Factorial<T>
    where T : IConvertible 
    {
        public T GetFactorial(T t)
        {
            int int32 = Convert.ToInt32(t);
            if (int32 == 0)
                return (T) Convert.ChangeType( 1, typeof(T));
            return GetFactorial( (T) Convert.ChangeType(int32-1, typeof(T)) );
        }
    }

问题是您不能定义泛型并将其限制为ValueTypes。这适用于 byte、Int16 和 Int32。也适用于 Int64 的小值。