대표

Question

내 질문이 비슷한 비트입니다. 예를 들어, 코드 : there isn't implicit convertion from Action<int> to Foo1. 그러나이 normaly이 같은 일 때문에

class Program 
{ 
    private delegate void Foo1(int x); 
    private delegate void Foo2(int x); 


    static void Main(string[] args) 
    { 
     Foo1 foo1 = Console.WriteLine; 
     Foo2 foo2 = Console.WriteLine; 

     Call(foo1); 

     Call2(foo2); 
    } 

    static void Call(Action<int> action) 
    { 
     action(10); 
    } 

    static void Call2(Foo1 action) 
    { 
     action(10); 
    } 
} 

는 컴파일되지 않습니다. 따라서이 이름은 별칭이 아니며 실제 이름이 아님을 의미합니다. 그래서 별칭처럼 생각하는 것이 좋습니다. 그래서이 경우에 우리는 delegate, that get one int value and returns nothing의 3 개의 별칭을 가지고 있습니다. 그리고이 대의원은 완전히 상호 교환 할 수 있습니다. 그러나 우리는 그것을 가지고 있지 않습니다. 그래서 질문은 : 왜? 서명을 통해 동일한 것이므로 구현이 없으므로 동일한 서명을 가진 대리인이 여러 별칭과 동일하고 동일합니다 ...

C# 결함이 있습니까? 아니면 이유가 있습니까? 나에 관해서는, 나는 어떤 것도 보지 못한다.

Answer 1

두 가지 유형 사이에 암시 적 변환이 없다는 것을 같은 이유로 두 대표 사이에 암시 적 변환이 없습니다 : 두 개의 클래스가 같은 필드를 가지고 있기 때문에

public sealed class Foo1 
{ 
    public string Value { get; set; } 
} 

public sealed class Foo2 
{ 
    public string Value { get; set; } 
} 

그냥 당신이 할 수 있어야한다는 것을 의미하지 않습니다는 하나를 다른 것처럼 취급합니다. 동일한 논리가 델리게이트에도 적용됩니다 (유형이기도 함).

해당 유형의 생성에 의미 론적 의미가 적용됩니다. 누군가 Foo1을 만든 경우 Foo2이 아닌 Foo1이되기를 원합니다. 그들이 Foo1을 사용하려고하지 않을 경우 Foo2이 예상됩니다. 유형이 비슷하게 보일지라도이 두 유형 간에는 의미상의 차이가 있습니다. 프로그래머가 컴파일러가 알지 못하는 것을 아는 경우 명시 적 변환을 사용하여 수행중인 작업을 알 수 있음을 나타낼 수 있습니다.

가 (이전 단락은 의도적으로 대표단에 동일하게 적용하도록 작성하고, 클래스가 내가 위에서 제공되었다.)