C# 结构体编译错误

Question

这是一个作业，我们不学习C#中的结构体（我现在正在学习）。所以我去msdn，但我没有找到我的程序的问题...... 是的，我无法将其完全翻译为我的母语，而且我不明白编译器的想法。

我作业的UML：（我们必须使用它） 接口：IComparable

• +分子{get;}:长
• +分母{get;}:长
• +有理数（分子：长整型，分母：长整型）
• +GCD(a:长, b:长):长
• +等于(r:理据):bool
• ...

我们不能实现其他方法或参数。

我用 Java 用类编写了这个作业，并且可以正常工作。

我有一个大问题，我不明白以下错误的含义：

错误 2 在控制返回给调用者之前，必须完全分配自动实现的属性“Rational.Rational.Denominator”的支持字段。考虑从构造函数初始值设定项调用默认构造函数。

错误 3 在控制返回给调用者之前，必须完全分配自动实现的属性“Rational.Rational.Numerator”的支持字段。考虑从构造函数初始值设定项调用默认构造函数。

错误 4 在将“this”对象的所有字段分配给

之前，无法使用该对象

我的代码： 命名空间 Rational

{
    //       (Rational is underline)     here the 2 and 3 error
    public struct Rational : IComparable<Rational>
    {
        public long Numerator { get; set; }
        public long Denominator { get; set; }

        public Rational(long num, long den)
        {
             // and here (GCD is underline) the 4. error
            long simple = GCD(num, den);
            this.Numerator = num/simple;
            this.Denominator = den/simple;
        }

        public long GCD(long a, long b)
        {
            long c = Math.Abs(a);
            long d = Math.Abs(b);
            if (d == 0) return c;
            return GCD(d, c % d);
        }

        public override string ToString()
        {
            if (Denominator==1)
            {
                return Numerator + "";
            }
            return Numerator+"/"+Denominator;
        }

        public override bool Equals(object obj)
        {
            bool result = false;
            if (obj is Rational)
            {
                Rational r = (Rational)obj;
                result = this.Equals(r);
            }
            return result;            
        }

        public bool Equals(Rational r)
        {
            if ((object)r ==null)
            {
                return false;
            }
            return this.Denominator == r.Denominator && this.Numerator == r.Numerator;
        }

        public int CompareTo(Rational other)
        {
      ...

Answer 1

您可以向构造函数添加

this()

，或者用字段支持的属性替换自动属性。

 public Rational(long num, long den)
 {
         // and here (GCD is underline) the 4. error
        long simple = GCD(num, den);
        this.Numerator = num;
        this.Denominator = den;
 }

在为支持属性的自动生成字段分配值之前，您可以在此处访问实例方法

GCD

。

您应该将此方法设为静态。

接下来您将再次遇到相同的错误，这次是因为您访问了 auto 属性

Numerator

。您可以通过保留 auto 属性并将

:this()

添加到构造函数来解决此问题：

 public Rational(long num, long den)
   :this()
 {

这会导致在您自己的构造函数代码运行之前将字段初始化为

0

。

替代方法是切换到字段：

public struct Rational : IComparable<Rational>
{
    private long _numerator;
    private long _denominator;

    public long Numerator { get{return _numerator;}; set{_numerator=value;} }
    public long Denominator{ get{return denominator;}; set{_denominator=value;} }

    public Rational(long num, long den)
    {
         // and here (GCD is underline) the 4. error
        long simple = GCD(num, den);
        this._numerator = num;
        this._denominator = den;
    }

---

除此之外，您的代码还有几个问题：

1）您正在使用可变结构。这通常是糟糕的设计。从您的属性中删除 setter 或将其设置为私有。

2）您不会覆盖

GetHashCode()

以与

Equals

保持一致（或者它只是没有显示在您的代码摘录中）

3）我建议实施

IEquatable<Rational>

。您已经实现了

Equals(Rational)

，因此不需要添加任何其他方法。

4) 你的代码很容易产生 int 溢出。考虑使用

BigInteger

代替

long

。

5）除非你标准化你的有理数（分母>0并除以GCD），否则你会得到数学上等价的有理数，但比较起来并不相等。

Answer 2

您需要调用默认构造函数才能使其工作：

public Rational(long num, long den) : this()
{
    // and here (GCD is underline) the 4. error
    long simple = GCD(num, den);
    this.Numerator = num;
    this.Denominator = den;
}

这里一个更大的问题是你有一个可变的结构。这绝不是一个好主意。我会做到的：

public long Numerator {get; private set;}

Answer 3

我注意到在

Rational

的构造函数中，您正在调用 GCD 并将结果存储在

simple

中，但您不使用结果。

Answer 4

使您的

GCD

函数静态。

它不使用任何实例成员，并且因为它是在设置实例成员之前调用的，所以它不能。