Generics 및 "이항 연산자의 매개 변수 중 하나가 포함 유형이어야합니다."오류

Question

이진 연산자를 선언 할 때 적어도 하나의 피연산자 유형이 포함 유형이어야합니다. 이것은 일반적으로 좋은 디자인 결정이라고 들립니다. 그러나 다음 코드가이 오류를 일으킬 것으로 예상하지 않았습니다.

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

이 연산자의 문제점은 무엇입니까? 왜이 경우 C#의 연산자 오버로딩 제한에 해당합니까? 이런 종류의 선언을 허용하는 것이 위험할까요?

Answer 1

포함 유형이 Exp<T>이므로 Exp<int>이 아닙니다. 여기에서하려고하는 것은 전문화 aaa C++이며 C#에서는 불가능합니다.

Answer 2

사용자가 유형이 Exp<T>이고 연산자의 매개 변수가 Exp<T>이 아니며 모두 Exp<int>입니다.

여기에 제안 된 방법으로 this article을 읽으십시오.