C# - 제네릭 타입/메서드에서 사용 시 경우에 따라 CS8377 컴파일 에러
예를 들어 다음의 코드를 컴파일하면,
using System.Buffers;
class Program
{
static void Main(string[] args) { }
static void TestMethod<T>(T item)
{
SequenceReader<T> reader = new SequenceReader<T>();
}
}
이런 컴파일 오류가 발생합니다.
Error CS8377 The type 'T' must be a non-nullable value type, along with all fields at any level of nesting, in order to use it as parameter 'T' in the generic type or method 'SequenceReader<T>'
그러고 보니 CS8377 오류에 대해서는 전에도 한 번 다룬 적이 있습니다.
C# 7.3 - unmanaged(blittable) 제네릭 제약
; https://www.sysnet.pe.kr/2/0/11558
{
System.String txt = "TEST";
// 컴파일 에러 - Error CS8377 The type 'string' must be a non-nullable value type, along with all fields at any level of nesting, in order to use it as parameter 'T' in the generic type or method 'CallGenerics.AcceptBlittable<T>(T)'
CallGenerics.AcceptBlittable(txt);
}
class CallGenerics
{
public static void AcceptBlittable<T>(T item) where T : unmanaged
{
}
}
단지, 이번에는 제네릭 메서드 내에 형식 매개변수로 연결한 것이어서 약간 더 혼란을 주었던 것뿐입니다. 어쨌든 중요한 것은 non-nullable 타입이어야 한다고 오류 메시지에서 알려 주고 있으므로 결국 unmanaged 제약을 걸어주면 됩니다.
static void TestMethod<T>(T item) where T : unmanaged
{
SequenceReader<T> reader = new SequenceReader<T>();
}
참고로, 위의 SequenceReader 사용 예제는 저렇게 해도 다음과 같은 컴파일 오류가 발생합니다.
Error CS0314 The type 'T' cannot be used as type parameter 'T' in the generic type or method 'SequenceReader<T>'. There is no boxing conversion or type parameter conversion from 'T' to 'System.IEquatable<T>'.
그래도 이번에는 CS8377 오류보다 직접적인 원인을 제시하고 있는데요, 따라서 System.IEquatable<T> 제약을 추가하면 됩니다.
static void TestMethod<T>(T item) where T : unmanaged, IEquatable<T>
{
SequenceReader<T> reader = new SequenceReader<T>();
}
실제로 역어셈블을 통해
SequenceReader 타입을 보면 간단하게 모든 제약을 구할 수 있습니다.
// 문서에서는 "public struct SequenceReader<T> where T : struct"라고 나옵니다.
public ref struct SequenceReader<T> where T : unmanaged, IEquatable<T>
{
// ...[생략]...
}
그러니까, 결국 제네릭 타입/메서드를 구현하는 경우 내부에 품은 제네릭 타입/메서드의 제약을 그대로 이어받아야 하는 것입니다.
[이 글에 대해서 여러분들과 의견을 공유하고 싶습니다. 틀리거나 미흡한 부분 또는 의문 사항이 있으시면 언제든 댓글 남겨주십시오.]