C # 또는 VB.NET에서 할 수없는 MSIL에서 무엇을 할 수 있습니까? [닫은]

.NET 언어로 작성된 모든 코드는 MSIL로 컴파일되지만 MSIL 만 직접 사용할 수있는 특정 작업 / 작업이 있습니까?

MSIL에서 C #, VB.NET, F #, j # 또는 기타 .NET 언어보다 쉽게 ​​수행 할 수있는 작업을 살펴 ​​보겠습니다.

지금까지 우리는 이것을 가지고 있습니다 :

1. 꼬리 재귀
2. 일반 공분산
3. 반환 유형 만 다른 과부하
4. 액세스 수정 자 무시
5. System.Object에서 상속 할 수없는 클래스가 있습니다.
6. 필터링 된 예외 (vb.net에서 수행 가능)
7. 현재 정적 클래스 유형의 가상 메소드를 호출합니다.
8. 박스형 버전의 값 유형에 대한 핸들을 가져옵니다.
9. 시도 / 결함을 수행하십시오.
10. 금지 된 이름 사용.
11. 값 유형에 대한 고유 한 매개 변수없는 생성자를 정의하십시오 .
12. raise요소를 사용하여 이벤트를 정의하십시오 .
13. CLR에서는 허용하지만 C #에서는 허용하지 않는 일부 변환이 있습니다.
14. 로 main()방법을 만들지 마십시오 .entrypoint.
15. 기본 int및 기본 unsigned int유형으로 직접 작업하십시오.
16. 과도 포인터로 재생
17. MethodBodyItem의 emitbyte 지시어
18. 비 System.Exception 유형을 던지고 잡습니다.
19. 상속 열거 형 (확인되지 ​​않음)
20. 바이트 배열을 (4 배 더 작은) 정수 배열로 취급 할 수 있습니다.
21. 필드 / 방법 / 속성 / 이벤트는 모두 같은 이름 (확인되지 ​​않음)을 가질 수 있습니다.
22. 자체 catch 블록에서 try 블록으로 다시 분기 할 수 있습니다.
23. famandassem 액세스 지정자에 액세스 할 수 있습니다 ( protected internalfam 또는 assem 임 )
24. <Module>전역 함수 또는 모듈 이니셜 라이저를 정의 하기 위해 클래스에 직접 액세스합니다 .

MSIL은 다음과 같은 이유로 인해 반환 유형 만 다른 과부하를 허용합니다.

call void [mscorlib]System.Console::Write(string)

또는

callvirt int32 ...

C # 및 VB를 포함한 대부분의 .Net 언어는 MSIL 코드의 꼬리 재귀 기능을 사용하지 않습니다.

테일 재귀는 기능적 언어에서 일반적인 최적화입니다. 메소드 B가 호출되면 메소드 A의 스택이 할당 해제 될 수 있도록 메소드 B의 값을 리턴하여 메소드 A가 종료 될 때 발생합니다.

MSIL 코드는 꼬리 재귀를 명시 적으로 지원하며 일부 알고리즘의 경우 중요한 최적화가 될 수 있습니다. 그러나 C # 및 VB는이를 수행하기위한 지시 사항을 생성하지 않으므로 수동으로 (또는 F # 또는 다른 언어를 사용하여) 수행해야합니다.

C #에서 tail-recursion을 수동으로 구현하는 방법의 예는 다음과 같습니다.

private static int RecursiveMethod(int myParameter)
{
    // Body of recursive method
    if (BaseCase(details))
        return result;
    // ...

    return RecursiveMethod(modifiedParameter);
}

// Is transformed into:

private static int RecursiveMethod(int myParameter)
{
    while (true)
    {
        // Body of recursive method
        if (BaseCase(details))
            return result;
        // ...

        myParameter = modifiedParameter;
    }
}

하드웨어 스택에서 힙 할당 스택 데이터 구조로 로컬 데이터를 이동하여 재귀를 제거하는 것이 일반적입니다. 위와 같이 tail-call 재귀 제거에서 스택이 완전히 제거됩니다. 이는 상당히 좋은 최적화입니다. 또한 반환 값은 긴 콜 체인을 걸을 필요는 없지만 직접 반환됩니다.

그러나 CIL은이 기능을 언어의 일부로 제공하지만 C # 또는 VB에서는 수동으로 구현해야합니다. (지터는 또한이 최적화를 자체적으로 자유롭게 만들 수 있지만, 그것은 완전히 다른 문제입니다.)

MSIL에는 System.Object에서 상속 할 수없는 클래스가있을 수 있습니다.

샘플 코드 : ilasm.exe로 컴파일 업데이트 : "/ NOAUTOINHERIT"를 사용하여 어셈블러가 자동 상속되지 않도록해야합니다.

// Metadata version: v2.0.50215
.assembly extern mscorlib
{
  .publickeytoken = (B7 7A 5C 56 19 34 E0 89 )                         // .z\V.4..
  .ver 2:0:0:0
}
.assembly sample
{
  .custom instance void [mscorlib]System.Runtime.CompilerServices.CompilationRelaxationsAttribute::.ctor(int32) = ( 01 00 08 00 00 00 00 00 ) 
  .hash algorithm 0x00008004
  .ver 0:0:0:0
}
.module sample.exe
// MVID: {A224F460-A049-4A03-9E71-80A36DBBBCD3}
.imagebase 0x00400000
.file alignment 0x00000200
.stackreserve 0x00100000
.subsystem 0x0003       // WINDOWS_CUI
.corflags 0x00000001    //  ILONLY
// Image base: 0x02F20000


// =============== CLASS MEMBERS DECLARATION ===================

.class public auto ansi beforefieldinit Hello
{
  .method public hidebysig static void  Main(string[] args) cil managed
  {
    .entrypoint
    // Code size       13 (0xd)
    .maxstack  8
    IL_0000:  nop
    IL_0001:  ldstr      "Hello World!"
    IL_0006:  call       void [mscorlib]System.Console::WriteLine(string)
    IL_000b:  nop
    IL_000c:  ret
  } // end of method Hello::Main
} // end of class Hello

protected및 internal수정자를 결합 할 수 있습니다. C #에서 protected internal멤버 를 작성 하면 어셈블리 및 파생 클래스에서 액세스 할 수 있습니다. 비아 MSIL 당신은 어셈블리에서 파생 된 클래스에서 액세스 할 수있는 멤버 얻을 수 있습니다 만 . (나는 그것이 매우 유용 할 수 있다고 생각합니다!)

오, 나는 당시에 이것을 발견하지 못했습니다. jon-skeet 태그를 추가하면 더 가능성이 높지만 자주 확인하지는 않습니다.

이미 좋은 답변을 얻은 것 같습니다. 게다가:

• C #에서는 박스형 버전의 값 형식을 처리 할 수 ​​없습니다. C ++ / CLI에서 가능
• C #에서는 시도 / 결함을 수행 할 수 없습니다 ( "결함"은 "모든 것을 잡아서 블록 끝에서 다시 던지다"또는 "마지막이지만 실패한 경우에만"과 같습니다)
• C #에서는 금지하지만 법적 IL에는 많은 이름이 있습니다.
• IL을 사용하면 값 형식에 대한 고유 한 매개 변수없는 생성자 를 정의 할 수 있습니다 .
• C #에서 "raise"요소를 사용하여 이벤트를 정의 할 수 없습니다. (VB에서는 이 사용자 정의 이벤트에 있지만 "기본"이벤트 하나를 포함하지 않습니다.)
• 일부 변환은 CLR에서는 허용되지만 C #에서는 허용되지 않습니다. 당신을 통해 갈 경우 objectC #에서 이러한 작업 가끔 것이다. 예를 들어 uint [] / int [] SO 질문 을 참조하십시오 .

다른 것을 생각하면 여기에 추가하겠습니다 ...

CLR은 이미 일반 공 / 반공 차를 지원하지만 C #은 4.0까지이 기능을 제공하지 않습니다.

• C # 4.0 기능
• 공분산

IL에서는에서 파생 된 형식뿐만 아니라 모든 형식을 던지고 잡을 수 있습니다 System.Exception.

IL은 가상 메소드 호출 call과 callvirt가상 메소드 호출을 구분 합니다. 전자를 사용하면 동적 클래스 유형의 가상 함수 대신 현재 정적 클래스 유형 의 가상 메소드를 강제로 호출 할 수 있습니다 .

C #은이 작업을 수행 할 방법이 없습니다.

abstract class Foo {
    public void F() {
        Console.WriteLine(ToString()); // Always a virtual call!
    }

    public override string ToString() { System.Diagnostics.Debug.Assert(false); }
};

sealed class Bar : Foo {
    public override string ToString() { return "I'm called!"; }
}

VB는 IL과 같이 MyClass.Method()구문 을 사용하여 비가 상 호출을 발행 할 수 있습니다 . 위의 내용은입니다 MyClass.ToString().

try / catch에서는 자체 catch 블록에서 try 블록을 다시 입력 할 수 있습니다. 그래서 당신은 이것을 할 수 있습니다 :

.try {
    // ...

  MidTry:
    // ...

    leave.s RestOfMethod
}
catch [mscorlib]System.Exception {
    leave.s MidTry  // branching back into try block!
}

RestOfMethod:
    // ...

AFAIK C # 또는 VB에서는이 작업을 수행 할 수 없습니다

IL 및 VB.NET을 사용하면 예외를 포착 할 때 필터를 추가 할 수 있지만 C # v3은이 기능을 지원하지 않습니다.

이 VB.NET 예제가에서 가져 http://blogs.msdn.com/clrteam/archive/2009/02/05/catch-rethrow-and-filters-why-you-should-care.aspx (음 When ShouldCatch(ex) = True의를 캐치 조항) :

Try
   Foo()
Catch ex As CustomBaseException When ShouldCatch(ex)
   Console.WriteLine("Caught exception!")
End Try

내가 아는 한 C #에서 직접 모듈 이니셜 라이저 (전체 모듈의 정적 생성자)를 만들 수있는 방법이 없습니다.

http://blogs.msdn.com/junfeng/archive/2005/11/19/494914.aspx

Native types
네이티브 int 및 네이티브 unsigned int 유형으로 직접 작업 할 수 있습니다 (c #에서는 동일하지 않은 IntPtr에서만 작업 할 수 있습니다).

Transient Pointers
관리되는 유형에 대한 포인터 인 임시 포인터를 사용하여 재생할 수 있지만 관리되는 힙에 없기 때문에 메모리에서 이동하지 않아야합니다. 관리되지 않는 코드를 엉망으로 만들지 않고 어떻게 이것을 유용하게 사용할 수 있는지는 확실하지 않지만 stackalloc과 같은 것들을 통해서만 다른 언어에 직접 노출되지는 않습니다.

<Module>
원한다면 수업에 엉망이 될 수 있습니다 (IL이 필요하지 않은 채 반영 하여이 작업을 수행 할 수 있습니다)

.emitbyte

15.4.1.1 .emitbyte 지시어 MethodBodyItem :: =… | .emitbyte Int32이 지시문은 부호가없는 8 비트 값이 지시문이 나타나는 지점에서 메소드의 CIL 스트림으로 직접 방출되도록합니다. [참고 : .emitbyte 지시문은 테스트 생성에 사용됩니다. 정기적 인 프로그램 생성에는 필요하지 않습니다. 끝 참고]

.entrypoint
이것에 대해 좀 더 융통성이 있습니다. 예를 들어 Main이라고 불리는 메소드에 적용 할 수 있습니다.

스펙을 읽으 십시오. 몇 가지 더 찾을 것입니다.

C #에서 허용하지 않는 메서드 재정의 공 / 대비 분산을 해킹 할 수 있습니다 (일반 분산과 동일하지 않습니다!). 나는이 구현에 대한 자세한 정보를 가지고 여기 , 및 부품 (1) 과 (2)

나는 내가 계속 원했던 것은 (전적으로 잘못된 이유로) Enums의 상속이라고 생각합니다. SMIL에서하는 것이 어렵지 않은 것처럼 보이지만 (Enum은 클래스이므로) C # 구문에서 원하는 것이 아닙니다.

몇 가지 더 있습니다 :

1. 델리게이트에 추가 인스턴스 메소드를 가질 수 있습니다.
2. 대리인은 인터페이스를 구현할 수 있습니다.
3. 델리게이트 및 인터페이스에 정적 멤버를 가질 수 있습니다.

20) 바이트 배열을 (4 배 더 작은) 정수 배열로 취급 할 수 있습니다.

CLR xor 함수는 int에서 작동하고 바이트 스트림에서 XOR을 수행해야했기 때문에 최근에 빠른 XOR 구현을 위해 이것을 사용했습니다.

결과 코드는 C # (각 바이트에서 XOR 수행)에서 수행하는 것보다 ~ 10 배 빠릅니다.

===

다른 사람이 부풀어 올 수 있다면 질문을 편집하고 # 20으로 목록에 추가 할 수있는 충분한 스택 오버 스트리트 거리 개가 없습니다. ;-)

난 독자가 사용하는 것-필드 / 방법 / 속성 / 이벤트는 모두 같은 이름을 가질 수 있습니다.

열거 형 상속은 실제로 불가능합니다.

Enum 클래스에서 상속 할 수 있습니다. 그러나 결과는 특히 Enum처럼 행동하지 않습니다. 그것은 가치 유형처럼 행동하는 것이 아니라 일반 클래스처럼 행동합니다. 이상한 것은 IsEnum : True, IsValueType : True, IsClass : False입니다.

그러나 사람이나 런타임 자체를 혼동하지 않는 한 특별히 유용하지는 않습니다.

IL의 System.Multicast 델리게이트에서 클래스를 파생시킬 수도 있지만 C #에서는이 작업을 수행 할 수 없습니다.

// 다음 클래스 정의는 유효하지 않습니다.

공개 클래스 YourCustomDelegate : 멀티 캐스트 Delegate {}

IL에서 모듈 수준 (일명 글로벌) 메서드를 정의 할 수도 있고 C #과는 달리 적어도 하나의 유형에 연결된 경우에만 메서드를 정의 할 수 있습니다.