为什么这些方法无限递归?

问题描述

我一直在开发一个创建有理数的程序,当我调用这些方法中的任何一个时,都会由于递归而导致堆栈溢出。

public Rational(){
      new Rational(0,1);
}
public Rational(int n){
      new Rational(n,1);
}
public Rational(int numerator,int denominator){
      new Rational(numerator,denominator);
}

有人可以向我解释为什么这些方法无限递归吗?

解决方法

这些不仅是任何方法,它们是构造函数,并且以递归方式调用它们,几乎可以肯定,这不是您想要的。例如。当您调用第一个构造函数时,它将创建两个新对象(this以及构造函数主体中的新Rational,后者将调用另一个,后者将调用另一个...)

要回答您的问题:当第三个构造函数运行时,它会自行调用。没有结束递归的基本情况,因此它将递归直到堆栈溢出。

,
public Rational(int numerator,int denominator){
      new Rational(numerator,denominator);
}

此构造函数使用给定的参数调用自身。除非我缺少某些东西(C#不是我非常熟悉的语言),否则您永远都不会退出函数,只是不断产生越来越多的Rational。您的构造函数应该看起来像。

public Rational(){
    numerator = 0;
    denominator = 1;
}
public Rational(int n){
    numerator = n;
    denominator = 1;
}
public Rational(int n,int d){
    numerator = n;
    denominator = d;
}
,

new将创建一个新实例,它将不会继续初始化当前对象。因此,您有一个递归调用,其中构造函数创建一个新实例,该实例创建一个新实例,等等。

我认为您正在寻找的是这个

namespace ConsoleApp18
{
    public class Rational
    {
        // A
        public Rational() : this(0,1) // Calls C
        {
        }

        // B
        public Rational(int n) : this(n,1) // Calls C
        {
        }

        // C
        public Rational(int numerator,int denominator)
        {
            // Init here
        }
    }
}

也可以这样链接:

namespace ConsoleApp18
{
    public class Rational
    {
        // A
        public Rational() : this(0) // Calls B
        {
        }

        // B
        public Rational(int n) : this(n,int denominator)
        {
            // Init here
        }
    }
}