언어 사양에 설명 된대로 C # 유형 추론을 이해하는 데 문제가 있습니다. C # 언어 사양 섹션 §7.5.2에서 타입 추론을 설명합니다. 내가 이해하지 못하는 세부 사항이 있습니다. 다음 경우를 고려하십시오. // declaration void Method(T obj, Func func); // call Method("obj", s => (object) s); Microsoft 및 Mono C # 컴파일러 모두 T=를 올바르게 추론 object하지만 사양의 알고리즘에 대한 이해는 T=를 생성 string하고 실패합니다. 내가 이해하는 방법은 다음과 같습니다. 첫 번째 단계 Ei가 익명 함수 인 경우 Ei에서 Ti로 명시적인 매개 변수 유형 유추 (§7.5.2.7)가 수행됩니다. ⇒ 람다 표현식에는 명시..