.NET에서 왜 JIT 시간이 아닌 컴파일 타임에 상수가 계산됩니까?

Question

정적 클래스에서 공개 상수의 값을 변경 한 다음 어셈블리의 이전 복사본을 새로 컴파일 된 버전으로 바꾼 경우 약간 놀랍습니다. 놀랍게도 어셈블리를 참조한 기존 프로그램이 상수의 새로운 값을 선택하지 못했습니다. 즉, 실행 파일을 다시 컴파일하지 않고 대신 해당 어셈블리를 교체했습니다.

내 실험에 대한 자세한 설명은 내가이 동작에 의해 매우 놀랄로 인정한다 How constant is a constant?

이다. 무슨 일이 벌어지는 지 이해하지만 이해가 안됩니다 이유는입니다. 컴파일 타임이 아닌 JIT 시간에 상수를 선택할 수없는 특별한 기술적 인 이유가 있습니까? 그 일을하는 것이 일을 망칠 수있는 경우가 있습니까?

Answer 1

상수는 상수입니다. 전체 시간은 입니다.. 상수는 pi의 값, 또는 선두 원자의 양성자 수 같은 것들입니다.

상수가 변경되면 은 실제로 상수가 아닙니다.; 대신 읽기 전용 필드를 사용하십시오.

또한 프레임 워크 디자인 가이드 라인을 참조하는 상태 : 변경하지 않습니다 상수에 대한

를 사용하여 일정 필드. 컴파일러는 const 필드의 값을 호출 코드에 직접 굽습니다. 따라서 호환성을 손상시킬 위험없이 const 값을 변경할 수 없습니다.

본질적으로 정수에 의존하는 모든 것을 다시 컴파일하지 않고 상수를 변경하면 메서드의 서명을 변경하는 것만 큼 모든 비트가 달라집니다. 컴파일러는 종속 어셈블리를 컴파일 할 때 참조 된 어셈블리의 메타 데이터에 대한 모든 종류의 가정에 "가정합니다". 을으로 변경하면 작업을 계속 유지할 수 있습니다.

Answer 2

"상수"를 선언하는 세 번째 방법은 public static 속성입니다.

public static string ConstString {get{return "First test";}} 

이것은 읽기 전용 필드의 버전 의미를 가지고 있지만, 지터 게터를 인라인 경우에는 JIT 시간 일정해진다. 그리고 const과 달리 사용자 정의 유형에 사용할 수 있습니다.

각 속성 액세스에 새 인스턴스를 할당하지 않으려 고하므로 value-types 및 string에는 정적 속성을 사용하는 것이 좋지만 사용자 정의 클래스에는 사용하지 않는 것이 좋습니다.

public struct FixedPoint 
{ 
    private int raw; 
    private const fracDigits=16; 

    private FixedPoint(int raw) 
    { 
    this.raw=raw; 
    } 

    public static FixedPoint Zero{get{return new FixedPoint();}} 
    public static FixedPoint One{get{return new FixedPoint(1<<fracDigits);}} 
    public static FixedPoint MaxValue{get{return new FixedPoint(int.MaxValue);}} 
}