كيفية الكشف عن حلقة لا نهائية في العودية الاتصال ؟

Question

لدي وظيفة بشكل متكرر تطلق على نفسها و أريد أن كشف وإنهاء إذا كان يذهب في حلقة لا نهائية ، هـ - الحصول دعا نفس المشكلة مرة أخرى.ما هي أسهل طريقة للقيام بذلك ؟

تحرير:هذه هي وظيفة ما كان يسمى بشكل متكرر مع مختلف قيم x و y.أريد إنهاء إذا كان في مكالمة العودية ، قيمة الزوج (x,y) تتكرر.

int fromPos(int [] arr, int x, int y)

Answer 1

وإذا كانت وظيفة وظيفية بحتة، أي أنه ليس له أي آثار الدولة أو الجانب، ثم هل يمكن الحفاظ على Set من الحجج (تحرير: رؤية تحرير الخاص بك، فإنك سوف تحتفظ مجموعة من أزواج من (س، ص)) أن وقد دعا إليها، وفي كل مرة فقط معرفة ما اذا كان حجة الحالية في المجموعة. بهذه الطريقة، يمكنك الكشف عن دورة إذا قمت بتشغيل إلى ذلك بسرعة كبيرة. ولكن إذا كان الفضاء حجة كبيرة ويستغرق وقتا طويلا للحصول على تكرار، قد نفدت الذاكرة الخاص بك قبل الكشف عن دورة. بشكل عام، وبطبيعة الحال، لا يمكنك أن تفعل ذلك لأن هذا هو مشكلة وقف.

Answer 2

ويتمثل أحد السبل لتمرير متغير depth من مكالمة واحدة إلى أخرى، تزايد في كل مرة تدعو الدالة نفسها. تأكد من أن depth لا تنمو أكبر من بعض عتبة معينة. مثال:

int fromPos(int [] arr, int x, int y)
{
    return fromPos(arr, x, y, 0);
}

int fromPos(int [] arr, int x, int y, int depth)
{
    assert(depth < 10000);

    // Do stuff

    if (condition)
        return fromPos(arr, x+1, y+1, depth + 1);
    else
        return 0;
}

Answer 3

وسوف تحتاج إلى العثور على عمل حول، لأنه كما كنت قد طلبت ذلك، لا يوجد حل عام. انظر مشكلة وقف للحصول على مزيد من المعلومات.

Answer 4

وطريقة سهلة سيكون لتنفيذ أحد الإجراءات التالية:

وتمرير القيمة السابقة والقيمة الجديدة للدعوة متكررة وجعل الخطوة الأولى فحص لمعرفة ما اذا انهم نفس - وهذا هو حالة متكررة الخاص بك ربما

وتمرير المتغير للإشارة إلى عدد المرات التي تم استدعاء الدالة، وبشكل تعسفي يحد من عدد المرات التي يمكن أن يطلق عليه.

Answer 5

ويمكنك الكشف فقط هم أتفه باستخدام التحليل البرنامج. أفضل ما يمكن فعله هو إضافة الحراس في ظرف معينة وتمرير سياق مستوى العمق. يكاد يكون من المستحيل للكشف عن الحالة العامة وتفرق الاستخدام الشرعي للخوارزميات متكررة.

Answer 6

ويمكنك إما استخدام الزائد للتوقيع ثابت (وهذا هو أفضل طريقة)، أو يمكنك استخدام متغير ثابت:

int someFunc(int foo)
{
    static recursionDepth = 0;
    recursionDepth++;
    if (recursionDepth > 10000)
    {
        recurisonDepth = 0;
        return -1;
    }
    if (foo < 1000)
        someFunc(foo + 3);
    recursionDepth = 0;
    return foo;
}

والجواب جون Kugelman مع الحمولة الزائدة هي أفضل في نتيجة انها موضوع آمن، في حين المتغيرات ثابتة ليست كذلك.

وBilly3

Answer 7

ويبدو أنك قد تعمل على مجموعة 2D. إذا كنت قد حصلت على الجزء الضئيل لتجنيب في قيم المصفوفة، يمكنك استخدامه بمثابة العلم. التحقق من ذلك، وإنهاء العودية إذا تم تعيين العلم. ثم تعيينها قبل أن يسافرا.

إذا لم يكن لديك قليلا لقطع الغيار في القيم، يمكنك دائما أن مجموعة من الأشياء بدلا من ذلك.

Answer 8

إذا كنت تريد أن تبقي توقيع الأسلوب الخاص بك، هل يمكن أن تبقى بضع مجموعات لتسجيل القيم القديمة x و y.

static Set<Integer> xs;
static Set<Integer> ys;//Initialize this!
static int n=0;//keeps the count function calls.

int fromPos(int [] arr, int x, int y){

 int newX= getX(x);
 int newY= getY(y);
 n++; 
 if ((!xs.add(Integer.valueOf(newX)) && !ys.add(Integer.valueOf(newY))){

   assert(n<threshold); //threshold defined elsewhere.
   fromPos(arr,newx,newy);
 }
}

Answer 9

وIMHO حلقات فقط يمكن أن تذهب في حلقة لا نهائية.

إذا طريقة لديه مستوى العديد جدا من العودية وJVM سوف رمي StackOverflowError. يمكنك فخ هذا الخطأ مع كتلة حاول / الصيد والقيام بكل ما كنت تنوي القيام به عند حدوث مثل هذه الحالة.

Answer 10

وظيفة متكررة تنتهي في حالة الشرط.

أمثلة:

• نتيجة وظيفة 0 أو هو 1
• أقصى عدد من المكالمات يتم التوصل إلى
• والنتيجة هي أقل/أكبر من قيمة المدخلات

في حالة الشرط ([x0,y0] == [xN,yN]) OR ([x1,y1] == [xN,yN]) OR ([xN-1,yN-1] == [xN,yN])

0, 1, ...N هي مؤشرات من أزواج

وبالتالي تحتاج حاوية(ناقلات, قائمة, خريطة) لتخزين السابقة أزواج ومقارنتها الحالية الزوج.

Answer 11

والأولى findbugs استخدام mvn: واجهة المستخدم الرسومية لفتح واجهة المستخدم الرسومية التي تشير إلى السطر حيث وجود هذا الخطأ

وأنا أيضا واجهت نفس المشكلة وحلها I بإضافة متغير منطقية في التحقق حلقة.

ورمز من قبل ->

for (local = 0; local < heightOfDiv; local = local + 200) { // Line under Error
          tileInfo = appender.append(tileInfo).append(local).toString();
          while (true) {
            try {
              tileInfo = appender.append(tileInfo).append(getTheTextOfTheElement(getTheXpathOfTile(incr))).toString();
              incr++;
            } catch (Exception e) {
              incr = 1;
              tileInfo = appender.append(tileInfo).append("/n").toString();
            }
          }

لحل هذه المشكلة، أنا فقط واضاف متغير منطقية وتعيينه إلى false في كتلة الصيد. تحقق عليه

for (local = 0; local < heightOfDiv; local = local + 200) {
          tileInfo = appender.append(tileInfo).append(local).toString();
          boolean terminationStatus = true;
          while (terminationStatus) {
            try {
              tileInfo = appender.append(tileInfo).append(getTheTextOfTheElement(getTheXpathOfTile(incr))).toString();
              incr++;
            } catch (Exception e) {
              incr = 1;
              tileInfo = appender.append(tileInfo).append("/n").toString();
              terminationStatus = false;
            }
          }

وهذه هي الطريقة التي أنا تحل هذه المشكلة. نأمل أن يكون هذا سوف يساعد. :)