java generic - 메서드는 다른 메서드와 동일한 삭제 기능을 가지고 있습니다.




create parameter (6)

이것은 Java 제네릭이 유형 지우기 로 구현 되었기 때문입니다.

당신의 메소드는 컴파일 타임에 다음과 같이 변환 될 것입니다 :

메소드의 해석은 컴파일시에 발생 해, 형태 파라미터는 고려하지 않는다. ( 에릭슨의 대답 참조 )

void add(Set ii);
void add(Set ss);

두 메소드 모두 유형 매개 변수가없는 동일한 서명을 가지므로 오류가 발생합니다.

같은 클래스에있는 두 가지 방법을 사용하는 것이 합법적이지 않은 이유는 무엇입니까?

class Test{
   void add(Set<Integer> ii){}
   void add(Set<String> ss){}
}

compilation error

메소드 add (Set)는 Test 유형의 다른 메소드와 동일한 삭제 add (Set)를가집니다.

나는 그것을 해결할 수 있지만, 왜 javac이 이것을 좋아하지 않는지 궁금해하고있었습니다.

나는 많은 경우에있어서 그 두 가지 방법의 논리가 매우 유사하고 단일 한 것으로 대체 될 수 있음을 볼 수있다.

public void add(Set<?> set){}

방법이 있지만 항상 그런 것은 아닙니다.

이러한 인수를 사용하는 constructors 가 두 개인 경우에는 constructors 중 하나의 이름을 변경할 수 없기 때문에이 작업은 번거롭다.


컴파일러가 Set (Integer)를 Set (Object)로 Java 바이트 코드로 변환 할 수 있습니다. 이 경우 Set (Integer)는 구문 검사를 위해 컴파일 단계에서만 사용됩니다.


이 규칙은 원시 형식을 사용하는 레거시 코드의 충돌을 방지하기위한 것입니다.

JLS에서 그려지 는 이유에 대한 설명입니다 . generics가 Java에 도입되기 전에 다음과 같은 코드를 작성했다고 가정 해보십시오.

class CollectionConverter {
  List toList(Collection c) {...}
}

당신은 내 수업을 다음과 같이 확장합니다.

class Overrider extends CollectionConverter{
  List toList(Collection c) {...}
}

generics가 소개 된 후 필자는 라이브러리를 업데이트하기로 결정했습니다.

class CollectionConverter {
  <T> List<T> toList(Collection<T> c) {...}
}

업데이트를 할 준비가되지 않았으므로 Overrider 클래스 만 남겨 둡니다. toList() 메서드를 올바르게 재정의하기 위해 언어 설계자는 원시 형식이 모든 생성 형식에 대해 "대체 정의 동등"이라고 결정했습니다. 즉, 메소드 서명이 더 이상 내 수퍼 클래스의 서명과 공식적으로 동일하지는 않지만 여전히 메소드가 대체됩니다.

이제 시간이 지남에 따라 수업을 업데이트 할 준비가되었다고 판단됩니다. 그러나 조금 toList() 하고 기존의 원시 toList() 메서드를 편집하는 대신 다음과 같은 새 메서드를 추가 합니다.

class Overrider extends CollectionConverter {
  @Override
  List toList(Collection c) {...}
  @Override
  <T> List<T> toList(Collection<T> c) {...}
}

raw 형의 오버라이드 (override) 등가성 때문에, 양쪽 모두의 메소드는 toList(Collection<T>) 메소드를 오버라이드 toList(Collection<T>) override)하기위한 유효한 형식에 있습니다. 물론 컴파일러는 단일 메서드를 해결해야합니다. 이 모호성을 없애기 위해 클래스는 override-equivalent 인 여러 메소드, 즉 지우기 후에 동일한 매개 변수 유형을 가진 여러 메소드를 가질 수 없습니다.

핵심은 원시 형식을 사용하여 이전 코드와의 호환성을 유지하도록 설계된 언어 규칙이라는 것입니다. 유형 매개 변수를 지우면 제한 사항이 아닙니다. 메소드 해석이 컴파일 타임에 발생하기 때문에 메소드 식별자에 제네릭 형식을 추가하는 것으로 충분했을 것입니다.


Java 제네릭은 형식 지우기를 사용합니다. 꺾쇠 괄호 ( <Integer><String> )의 비트가 제거되므로 동일한 서명 (오류에 표시되는 add(Set) 이있는 두 개의 메서드가 표시됩니다. 런타임에서 각 경우에 사용할 것을 알 수 없으므로 허용되지 않습니다.

자바가 제네릭을 다룰 수 있다면, 당신은 이것을 할 수 있지만, 지금은 그렇지 않을 것입니다.


void add(Set ii){} 와 같은 형식이없는 단일 메서드 정의

선택에 따라 메소드를 호출하는 동안 유형을 언급 할 수 있습니다. 모든 유형의 세트에서 작동합니다.


이 기능은 마침내 C # 7.3에서 지원됩니다!

다음 스 니펫 ( dotnet 샘플 )은 사용법을 보여줍니다.

public static Dictionary<int, string> EnumNamedValues<T>() where T : System.Enum
{
    var result = new Dictionary<int, string>();
    var values = Enum.GetValues(typeof(T));

    foreach (int item in values)
        result.Add(item, Enum.GetName(typeof(T), item));
    return result;
}

C # 프로젝트의 언어 버전을 버전 7.3으로 설정하십시오.

원문 아래의 답변 :

나는 게임에 늦었지만 어떻게 할 수 있는지보기 위해 도전으로 생각했다. C # (또는 VB.NET에서는 가능하지 않지만 F #에서는 아래로 스크롤) 이 가능 하지만 MSIL 에서는 가능합니다 . 나는이 작은 .... 것을 썼다.

// license: http://www.apache.org/licenses/LICENSE-2.0.html
.assembly MyThing{}
.class public abstract sealed MyThing.Thing
       extends [mscorlib]System.Object
{
  .method public static !!T  GetEnumFromString<valuetype .ctor ([mscorlib]System.Enum) T>(string strValue,
                                                                                          !!T defaultValue) cil managed
  {
    .maxstack  2
    .locals init ([0] !!T temp,
                  [1] !!T return_value,
                  [2] class [mscorlib]System.Collections.IEnumerator enumerator,
                  [3] class [mscorlib]System.IDisposable disposer)
    // if(string.IsNullOrEmpty(strValue)) return defaultValue;
    ldarg strValue
    call bool [mscorlib]System.String::IsNullOrEmpty(string)
    brfalse.s HASVALUE
    br RETURNDEF         // return default it empty

    // foreach (T item in Enum.GetValues(typeof(T)))
  HASVALUE:
    // Enum.GetValues.GetEnumerator()
    ldtoken !!T
    call class [mscorlib]System.Type [mscorlib]System.Type::GetTypeFromHandle(valuetype [mscorlib]System.RuntimeTypeHandle)
    call class [mscorlib]System.Array [mscorlib]System.Enum::GetValues(class [mscorlib]System.Type)
    callvirt instance class [mscorlib]System.Collections.IEnumerator [mscorlib]System.Array::GetEnumerator() 
    stloc enumerator
    .try
    {
      CONDITION:
        ldloc enumerator
        callvirt instance bool [mscorlib]System.Collections.IEnumerator::MoveNext()
        brfalse.s LEAVE

      STATEMENTS:
        // T item = (T)Enumerator.Current
        ldloc enumerator
        callvirt instance object [mscorlib]System.Collections.IEnumerator::get_Current()
        unbox.any !!T
        stloc temp
        ldloca.s temp
        constrained. !!T

        // if (item.ToString().ToLower().Equals(value.Trim().ToLower())) return item;
        callvirt instance string [mscorlib]System.Object::ToString()
        callvirt instance string [mscorlib]System.String::ToLower()
        ldarg strValue
        callvirt instance string [mscorlib]System.String::Trim()
        callvirt instance string [mscorlib]System.String::ToLower()
        callvirt instance bool [mscorlib]System.String::Equals(string)
        brfalse.s CONDITION
        ldloc temp
        stloc return_value
        leave.s RETURNVAL

      LEAVE:
        leave.s RETURNDEF
    }
    finally
    {
        // ArrayList's Enumerator may or may not inherit from IDisposable
        ldloc enumerator
        isinst [mscorlib]System.IDisposable
        stloc.s disposer
        ldloc.s disposer
        ldnull
        ceq
        brtrue.s LEAVEFINALLY
        ldloc.s disposer
        callvirt instance void [mscorlib]System.IDisposable::Dispose()
      LEAVEFINALLY:
        endfinally
    }

  RETURNDEF:
    ldarg defaultValue
    stloc return_value

  RETURNVAL:
    ldloc return_value
    ret
  }
} 

유효한 C # 인 경우 다음과 같은 함수를 생성합니다.

T GetEnumFromString<T>(string valueString, T defaultValue) where T : Enum

다음 C # 코드를 사용합니다.

using MyThing;
// stuff...
private enum MyEnum { Yes, No, Okay }
static void Main(string[] args)
{
    Thing.GetEnumFromString("No", MyEnum.Yes); // returns MyEnum.No
    Thing.GetEnumFromString("Invalid", MyEnum.Okay);  // returns MyEnum.Okay
    Thing.GetEnumFromString("AnotherInvalid", 0); // compiler error, not an Enum
}

불행히도 이것은 C # 대신 MSIL로 작성된이 코드 부분을 System.Enum 의해 제약 할 수있는 유일한 부가적인 이점이 있음을 의미 System.Enum . 별도의 어셈블리로 컴파일되기 때문에 일종의 허풍입니다. 그러나 그런 식으로 배포해야한다는 의미는 아닙니다.

.assembly MyThing{} 을 제거하고 다음과 같이 ilasm을 호출합니다.

ilasm.exe /DLL /OUTPUT=MyThing.netmodule

어셈블리 대신 netmodule을 얻습니다.

불행하게도, VS2010 (그리고 이전 버전에서는 분명히)은 netmodule 레퍼런스 추가를 지원하지 않습니다. 따라서 디버깅 할 때 두 개의 별도 어셈블리에 두어야합니다. 어셈블리의 일부로 추가 할 수있는 유일한 방법은 /addmodule:{files} 명령 줄 인수를 사용하여 csc.exe를 직접 실행하는 것입니다. MSBuild 스크립트에서는 그리 고통스럽지 않습니다. 물론, 용감하거나 바보 같은 사람이라면 매번 수동으로 csc를 실행할 수 있습니다. 또한 여러 어셈블리가 액세스해야하기 때문에 더욱 복잡해집니다.

그래서 .Net에서 할 수 있습니다. 여분의 노력을 기울일만한 가치가 있습니까? 음, 그걸 결정하게 내버려 두 겠네.

대안으로 F # 솔루션

추가 크레딧 : enum 에 대한 일반적인 제한은 MSIL : F # 외에 적어도 하나의 다른 .NET 언어에서 가능하다는 것이 밝혀졌습니다.

type MyThing =
    static member GetEnumFromString<'T when 'T :> Enum> str defaultValue: 'T =
        /// protect for null (only required in interop with C#)
        let str = if isNull str then String.Empty else str

        Enum.GetValues(typedefof<'T>)
        |> Seq.cast<_>
        |> Seq.tryFind(fun v -> String.Compare(v.ToString(), str.Trim(), true) = 0)
        |> function Some x -> x | None -> defaultValue

이 도구는 Visual Studio IDE를 완벽하게 지원하는 잘 알려진 언어이므로 유지 관리가 더 쉽지만 솔루션에 별도의 프로젝트가 필요합니다. 그러나, 그것은 자연스럽게 상당히 다른 IL을 생성합니다 (코드 매우 다릅니다) 그리고 다른 외부 라이브러리와 마찬가지로 FSharp.Core 라이브러리에 의존합니다.이 라이브러리는 FSharp.Core 일부가되어야합니다.

여기서는 (MSIL 솔루션과 기본적으로) 동일한 방법으로 사용할 수 있으며, 동의어가있는 구조체에서 올바르게 실패했음을 보여줍니다.

// works, result is inferred to have type StringComparison
var result = MyThing.GetEnumFromString("OrdinalIgnoreCase", StringComparison.Ordinal);
// type restriction is recognized by C#, this fails at compile time
var result = MyThing.GetEnumFromString("OrdinalIgnoreCase", 42);




java generics