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); 
} 

が、これは関数のリファクタリングではなく、意味的に類似したコードへのポートであることを私には思えます。私はあなたの例がそこに含まれていると思います

：C＃のジェネリックとC++テンプレートの違いについては、この記事で

Answer 1

あいにくの.NETジェネリック型のみを受け入れることができます。 C++テンプレートは、より多くのコードに展開されるマクロであるため、コンパイラによって定数式と見なされる他の値をとります。

これは、コードをメソッド呼び出しに変えるというあなたの考えが最善の策であることを意味します。あなたは、このように、テンプレートに似た移植されたコードを維持するメソッド呼び出しは、（あなたの例以下）.Valueのプロパティを持つ型を返す作ることができます：

return Factorial(N-1).Value; 

Answer 2

ルック。

MSDN Link

Answer 3

短い答えはCで行うことができますすべてではない、ということです++テンプレートはC＃のジェネリックで行うことができます。非型の値を受け入れるテンプレートの場合、それぞれの状況を処理しなければならず、ケースバイケースで適切に因数分解する必要があります。

Answer 4

これは私が考える可能性が限り近い：

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にそれを制限することはできませんです。これはバイト、Int16およびInt32で動作します。 Int64の小さな値についても。

Answer 5

以下の例では、テンプレートはタイプではなく値を受け入れているようです。

これはあなたの最大の問題ではありません。実際には、これは理論的には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. 

は、これらの数字の操作を実装するには、読者への課題として残されています。