참고 : 아래 답변은 C # 6 이전에 오래 전에 작성 되었습니다. 이 기능 은 C # 6에 추가되지 않았습니다 .

편집 : Grauenwolf의 CLR에 대한 통찰력으로 인해 아래 답변을 편집했습니다.

CLR을 사용하면 값 형식에 매개 변수가없는 생성자가있을 수 있지만 C #에는 없습니다. 나는 이것이 생성자가 그렇지 않을 때 호출 될 것이라는 기대를 불러 일으킬 것이라고 생각합니다. 예를 들어 다음을 고려하십시오.

MyStruct[] foo = new MyStruct[1000];

CLR은 적절한 메모리를 할당하고 모두 제로화하여이 작업을 매우 효율적으로 수행 할 수 있습니다. MyStruct 생성자를 1000 번 실행해야한다면 효율성이 훨씬 떨어집니다. (사실, 그것은하지 않습니다 – 당신이 경우에 할 매개 변수없는 생성자가 당신이 배열을 만들 때이 실행되지 않습니다, 또는 초기화되지 않은 인스턴스 변수가있을 때.)

C #의 기본 규칙은 “모든 유형의 기본값은 초기화에 의존 할 수 없습니다”입니다. 이제 그들은 할 수 있었다 매개 변수가없는 생성자를 정의 할 수 있습니다,하지만 생성자는 모든 경우에 수행 될 필요는 없다 -하지만 더 혼란을 주도했을 것이다. (또는 적어도 논쟁의 여지가 있다고 생각합니다.)

편집 : 귀하의 예를 사용하기 위해 누군가가했을 때 어떻게되고 싶습니까?

Rational[] fractions = new Rational[1000];

생성자를 1000 번 실행해야합니까?

• 그렇지 않다면, 1000 개의 유효하지 않은 합리적 결과를 얻게됩니다
• 그렇다면 배열을 실제 값으로 채우려 고하면 많은 작업을 낭비했을 것입니다.

편집 : (질문이 조금 더 있습니다) 매개 변수가없는 생성자는 컴파일러에 의해 생성되지 않습니다. 이 밝혀 있지만,이 – 값 유형은 멀리 CLR에 관한 한 같은 생성자를 할 필요는 없습니다 수 는 일리노이을 작성하는 경우. new Guid()C #에서 ” ” 를 작성할 때 일반 생성자를 호출하면 얻을 수있는 것과 다른 IL을 방출합니다. 해당 측면에 대한 자세한 내용은 이 SO 질문 을 참조하십시오 .

나는 의심 매개 변수가없는 생성자와 프레임 워크의 모든 값 유형이 아니라는 것을. 의심 할 여지없이 NDepend가 충분히 훌륭하게 요구했는지 말해 줄 수 있습니다 … C #이 금지한다는 사실은 아마도 그것이 나쁜 생각이라고 생각하기에 충분히 큰 힌트 일 것입니다.

답변

MyClass m;
MyStruct m2;

public static Rational One => new Rational(0, 1); 

var rat = Rational.One;

public struct Tempo
{
    const double DefaultBpm = 120;
    private double _bpm; // this field must not be modified other than with its property.

    public double BeatsPerMinute
    {
        get => _bpm + DefaultBpm;
        set => _bpm = value - DefaultBpm;
    }
}

public struct Difficaulty
{
    Easy,
    Medium,
    Hard
}

public struct Level
{
    const Difficaulty DefaultLevel = Difficaulty.Medium;
    private Difficaulty _level; // this field must not be modified other than with its property.

    public Difficaulty Difficaulty
    {
        get => _level + DefaultLevel;
        set => _level = value - DefaultLevel;
    }
}