ジェネリックと "バイナリ演算子のパラメータの1つは、格納する型でなければなりません"エラー

Question

バイナリ演算子を宣言するとき、少なくとも1つの演算子型が包含型でなければなりません。これは一般的に良い設計の決定と言えます。しかし、次のコードでこのエラーが発生するとは思わなかった：

public class Exp<T> 
{ 
    public static Exp<int> operator +(Exp<int> first, Exp<int> second) 
    { 
     return null; 
    } 
} 

この演算子の問題点は何ですか？なぜこのケースがC＃の演算子オーバーロード制限に該当するのですか？この種の宣言を許可するのは危険ですか？

Answer 1

含有タイプがExp<T>であるため、Exp<int>ではありません。あなたがここでやろうとしているのは、特殊化la C++です。これはC＃では不可能です。

Answer 2

あなたはタイプExp<T>のクラスに属しており、オペレーターのパラメーターのいずれもExp<T>ではありません。それらはどちらもExp<int>です。

this articleを参考にしてください。