Як програміст, ви, звичайно, знаєте помилку переповнення стека через очевидну рекурсію. Але, безумовно, існує багато дивних і незвичайних способів, як заставити свою улюблену мову виплюнути цю помилку.

Цілі:

1. Повинно викликати переповнення стека, що добре видно на виході помилки.
2. Не дозволяється використовувати очевидну рекурсію.

Приклади недійсних програм:

// Invalid, direct obvious recursion.
methodA(){ methodA(); }

// Invalid, indirect, but obvious recursion.
methodA(){ methodB(); }
methodB(){ methodA(); }

Найбільш креативні способи є найкращими, оскільки це конкурс на популярність . Тобто, уникайте нудних очевидних відповідей, як це:

throw new StackOverflowError(); // Valid, but very boring and downvote-deserving.

Незважаючи на те, що я прийняв відповідь зараз, додати більше відповідей все одно добре :)

Пітон

import sys
sys.setrecursionlimit(1)

Це призведе до негайного відмови перекладача:

$ cat test.py
import sys
sys.setrecursionlimit(1)
$ python test.py
Exception RuntimeError: 'maximum recursion depth exceeded' in <function _remove at 0x10e947b18> ignored
Exception RuntimeError: 'maximum recursion depth exceeded' in <function _remove at 0x10e8f6050> ignored
$ 

Замість використання рекурсії він просто скорочує стек, щоб він негайно переповнювався.

Пітон

import webbrowser
webbrowser.open("http://stackoverflow.com/")

C / Linux 32bit

void g(void *p){
        void *a[1];
        a[2]=p-5;
}
void f(){
        void *a[1];
        g(a[2]);
}
main(){
        f();
        return 0;
}

Працює шляхом заміни зворотної адреси, Тому gповертається до пункту, mainперш ніж дзвонити f. Працює для будь-якої платформи, де зворотні адреси знаходяться на стеці, але можуть знадобитися налаштування.

Звичайно, запис поза масивом - це невизначена поведінка , і ви не маєте гарантії, що це спричинить переповнення стека, а не, скажімо, пофарбуйте вуса синім кольором. Деталі прапорців платформи, компілятора та компіляції можуть мати велике значення.

JavaScript / DOM

with (document.body) {
    addEventListener('DOMSubtreeModified', function() {
        appendChild(firstChild);
    }, false);

    title = 'Kill me!';
}

Якщо ви хочете вбити свій браузер, спробуйте це в консолі.

Java

Побачив щось подібне десь тут:

Редагувати: Знайдено там, де я це бачив: відповідь Джо K на найкоротшу програму, яка кидає помилку StackOverflow

public class A {
    String val;
    public String toString() {
        return val + this;
    }

    public static void main(String[] args) {
        System.out.println(new A());
    }
}

Це може заплутати деяких початківців Java. Він просто приховує рекурсивний виклик. val + thisстаєval + this.toString() тому, що valє струною.

Дивіться його тут: http://ideone.com/Z0sXiD

С

Досить легко:

int main()
{
    int large[10000000] = {0};
    return 0;
}

Нерекурсивний переповнення стека в C

Викликання невідповідності конвенції

typedef void __stdcall (* ptr) (int);

void __cdecl hello (int x) { }

void main () {
  ptr goodbye = (ptr)&hello;
  while (1) 
    goodbye(0);
}

Компілювати з gcc -O0.

__cdeclфункції очікують, що абонент очистить стек, і __stdcallочікує, що викликає це робити, тому, зателефонувавши через покажчик функції typecast, очищення ніколи не робиться - mainнатискає параметр на стек для кожного виклику, але нічого не з'являється, і в кінцевому підсумку стек заливки.

JavaScript

window.toString = String.toLocaleString;
+this;

Мене розчарував той факт, що java 7 та java 8 не захищені від мого злого коду в попередній відповіді . Тому я вирішив, що патч для цього необхідний.

Успіху! Я зробив printStackTrace()кидок StackOverflowError. printStackTrace()зазвичай використовується для налагодження та ведення журналів, і ніхто обґрунтовано не підозрює, що це може бути небезпечно. Не важко помітити, що цим кодом можна було б зловживати, щоб створити серйозні проблеми безпеки:

public class StillMoreEvilThanMyPreviousOne {
    public static void main(String[] args) {
        try {
            evilMethod();
        } catch (Exception e) {
            e.printStackTrace();
        }
    }

    private static void evilMethod() throws Exception {
        throw new EvilException();
    }

    public static class EvilException extends Exception {
        @Override
        public Throwable getCause() {
            return new EvilException();
        }
    }
}

Деякі люди можуть подумати, що це очевидна рекурсія. Це не так. EvilExceptionКонструктор не викликає getCause()метод, так що виключення на насправді може бути викинуто благополучно в кінці кінців. Виклик getCause()методу також не призведе StackOverflowError. Рекурсія знаходиться у звичайній несподіваній printStackTrace()поведінці JDK та будь-якій сторонній бібліотеці для налагодження та ведення журналів, які використовуються для перевірки виключення. Далі, ймовірно, що місце, де викинуто виняток, знаходиться дуже далеко від місця, де воно обробляється.

У будь-якому випадку, тут є код, який дійсно кидає a StackOverflowErrorі не містить рекурсивних викликів методів. Це StackOverflowErrorвідбувається поза mainметодом у JDK UncaughtExceptionHandler:

public class StillMoreEvilThanMyPreviousOneVersion2 {
    public static void main(String[] args) {
        evilMethod();
    }

    private static void evilMethod() {
        throw new EvilException();
    }

    public static class EvilException extends RuntimeException {
        @Override
        public Throwable getCause() {
            return new EvilException();
        }
    }
}

Exception: java.lang.StackOverflowError thrown from the UncaughtExceptionHandler in thread "main"

Linux x86 NASM Assembly

section .data
    helloStr:     db 'Hello world!',10 ; Define our string
    helloStrLen:  equ $-helloStr       ; Define the length of our string

section .text
    global _start

    doExit:
        mov eax,1 ; Exit is syscall 1
        mov ebx,0 ; Exit status for success
        int 80h   ; Execute syscall

    printHello:
        mov eax,4           ; Write syscall is No. 4
        mov ebx,1           ; File descriptor 1, stdout
        mov ecx,helloStr    ; Our hello string
        mov edx,helloStrLen ; The length of our hello string
        int 80h             ; execute the syscall

    _start:
        call printHello ; Print "Hello World!" once
        call doExit     ; Exit afterwards

Спойлер:

Забувши повернутися з printHello, тому ми знову стрибаємо прямо у _start.

C ++ під час компіляції

template <unsigned N>
struct S : S<N-1> {};

template <>
struct S<0> {};

template
struct S<-1>;

$ g ++ -c test.cc-глибина шаблону = 40000
g ++: внутрішня помилка компілятора: помилка сегментації (програма cc1plus)
Надішліть повний звіт про помилку,
з попередньо обробленим джерелом, якщо це доречно.
Дивіться інструкції.

У цьому вихідному файлі немає рекурсії, жоден з класів не є базовим класом, навіть не побічно. (У C ++ у такому класі шаблонів, S<1>і S<2>це абсолютно різні класи.) Помилка сегментації пояснюється переповненням стека після рекурсії в компіляторі.

Bash (Попередження про небезпеку)

while true
do 
  mkdir x
  cd x
done

Строго кажучи, це не буде безпосередньо стеком переповнення, але генерує те, що може бути позначено як " стійка ситуація, що генерує стек-переповнення ": коли ви запускаєте це, поки ваш диск не заповниться, і хочете видалити безлад з "rm -rf х ", той, хто потрапив.

Однак це відбувається не у всіх системах. Деякі є більш надійними, ніж інші.

Велика небезпека УВАГА:

деякі системи справляються з цим дуже погано, і, можливо, вам доведеться дуже важко очистити (адже "rm -rf" сам по собі виникне у проблемі рекусії). Можливо, вам доведеться написати аналогічний сценарій для очищення.

Краще спробуйте це з нульовим VM, якщо не впевнений.

PS: те ж саме стосується, звичайно, якщо вони запрограмовані або виконані в пакетному сценарії.
PPS: можливо, вам цікаво отримати коментар від вас, як поводиться ваша конкретна система ...

Java

Гарний від Java Puzzlers . Що воно друкує?

public class Reluctant {
    private Reluctant internalInstance = new Reluctant();

    public Reluctant() throws Exception {
        throw new Exception("I'm not coming out");
    }

    public static void main(String[] args) {
        try {
            Reluctant b = new Reluctant();
            System.out.println("Surprise!");
        } catch (Exception ex) {
            System.out.println("I told you so");
        }
    }
}

Він фактично не працює з StackOverflowError.

Виняток у конструкторі - просто червона оселедець. Про це має сказати книга:

Коли ви викликаєте конструктор, ініціалізатори змінної екземпляра запускаються перед тілом конструктора . У цьому випадку ініціалізатор змінної internalInstanceвикликає конструктор рекурсивно. Цей конструктор, у свою чергу, ініціалізує своє власне internalInstanceполе, викликаючи конструктор Reluctant знову і так далі, ad infinitum. Ці рекурсивні виклики викликають а, StackOverflowErrorперш ніж тіло конструктора колись отримає шанс виконати. Оскільки StackOverflowErrorпідтип є, Errorа не Exceptionпідпунктом, то застереження у програмі mainне підходить .

LaTeX

\end\end

Вхідний стек переповнюється, тому що \endнеодноразово розширюється у нескінченному циклі, як пояснено тут .

TeX виходить з ладу з TeX capacity exceeded, sorry [input stack size=5000]подібним або подібним.

BF

З часом переповнюється стек, просто залежить, як довго інтерпретатор робить стек ...

+[>+]

C #, під час компіляції

Існує кілька способів змусити компілятор Microsoft C # підірвати свій стек; кожного разу, коли ви побачите помилку "вираз занадто складний для компілювання" від компілятора C #, що майже напевно, тому що стек підірвався.

Аналізатор має рекурсивний спуск, тому будь-які досить глибоко вкладені мовні структури підірвуть стек:

 class C { class C { class C { ....

Аналізатор виразів досить розумний щодо усунення рекурсій на стороні, що зазвичай повторюється. Зазвичай:

x = 1 + 1 + 1 + 1 + .... + 1;

яке будує надзвичайно глибокий розбір дерева, не підірве стека. Але якщо ви змусите рекурсію відбутися з іншого боку:

x = 1 + (1 + (1 + (1 + ....+ (1 + 1))))))))))))))))))))))))))))))))))))))))))...;

тоді стек можна роздути.

Вони мають неелегантну властивість, що програма дуже велика. Можна також змусити семантичний аналізатор переходити до необмежених рекурсій за допомогою невеликої програми, оскільки він недостатньо розумний для видалення певних непарних циклів у системі типів. (Рослін це може покращити.)

public interface IN<in U> {}
public interface IC<X> : IN<IN<IC<IC<X>>>> {}
...
IC<double> bar = whatever;
IN<IC<string>> foo = bar;  // Is this assignment legal? 

Я описую, чому цей аналіз переходить у нескінченну рекурсію тут:

http://blogs.msdn.com/b/ericlippert/archive/2008/05/07/covariance-and-contravariance-part-twelve-to-infinity-but-not-beyond.aspx

а ще для багатьох цікавих прикладів слід прочитати цей документ:

http://research.microsoft.com/en-us/um/people/akenn/generics/FOOL2007.pdf

В Інтернеті (використовується мільйонами людей на день)

Redirects, HTTP status code: 301

Наприклад, на веб-сайті служби підтримки Dell (без образи, вибачте Dell):

Якщо ви вилучите TAG підтримки з URL-адреси, вона переходить у нескінченні переадресації . У наступній URL-адресі ###### є будь-яка підтримка TAG.

http://www.dell.com/support/drivers/uk/en/ukdhs1/ServiceTag/######?s=BSD&~ck=mn

Я вважаю, що це еквівалентно переповненню стека.

PHP

Поток потоку, виконаний лише з петельними елементами.

$a = array(&$a);
while (1) {
    foreach ($a as &$tmp) {
        $tmp = array($tmp, &$a);
    }
}

Пояснення (наведіть курсор, щоб побачити спойлер):

Програма буде за замовчуванням, коли інтерпретатор намагається зібрати сміття зібрати $tmpмасив (при переназначенні $tmpтут). Просто тому, що масив занадто глибокий (самонавіювання), і тоді сміттєзбірник закінчується рекурсією.

Java

Я зробив навпаки - програму, яка, очевидно, повинна викинути помилку переповнення стека, але не робить.

public class Evil {
    public static void main(String[] args) {
        recurse();
    }

    private static void recurse() {
        try {
            recurse();
        } finally {
            recurse();
        }
    }
}

Підказка: програма запускається в O (2 ⁿ ) час, а n - розмір стека (зазвичай 1024).

Із загадок Java № 45:

Припустимо, що наша машина може виконувати 10 ¹⁰ дзвінків в секунду і генерувати 10 ¹⁰ винятків в секунду, що досить щедро за сучасними стандартами. Згідно з цими припущеннями, програма закінчиться приблизно через 1,7 × 10 ²⁹¹ рік. Якщо говорити про це , то час життя нашого сонця оцінюється в 10 ¹⁰ років, тому це безпечна ставка, що ніхто з нас не буде навколо, щоб ця програма припинилася. Хоча це не нескінченна петля, все-таки може бути.

C #

Перший пост, тому будь ласка, будь ласка, на мене.

class Program
{
    static void Main()
    {
        new System.Diagnostics.StackTrace().GetFrame(0).GetMethod().Invoke(null, null);
    }
}

Це просто створює слід стека, захоплює верхній кадр (який буде нашим останнім дзвінком Main()), отримує метод і викликає його.

Java

• У Java 5 printStackTrace()входить нескінченний цикл.
• На Java 6 printStackTrace()кидки StackOverflowError.
• У Java 7 і 8 це було виправлено.

Божевільна річ у тому, що в Java 5 та 6 вона не походить від коду користувача, це відбувається з кодом JDK. Ніхто з розумних підозрюваних не printStackTrace()може бути небезпечним для страти.

public class Bad {
    public static void main(String[] args) {
        try {
            evilMethod();
        } catch (Exception e) {
            e.printStackTrace();
        }
    }

    private static void evilMethod() throws Exception {
        Exception a = new Exception();
        Exception b = new Exception(a);
        a.initCause(b);
        throw a;
    }
}

JavaScript: Нерекурсивна, ітеративна мутація функції

var f = function() {
    console.log(arguments.length);
};

while (true) {
    f = f.bind(null, 1);
    f();
}

Тут взагалі немає рекурсії. fбуде неодноразово кривитися все більше аргументів, поки він не зможе переповнити стек в одному виклику функції. Theconsole.logЧастина НЕ є обов'язковою в разі , якщо ви хочете , щоб побачити , скільки аргументів він приймає , щоб зробити це. Це також гарантує, що розумні двигуни JS не оптимізують це.

Версія коду-гольфу в CoffeeScript, 28 символів:

f=->
do f=f.bind f,1 while 1

C # з епічним провалом

using System.Xml.Serialization;

[XmlRoot]
public class P
{
    public P X { get { return new P(); } set { } }
    static void Main()
    {
        new XmlSerializer(typeof(P)).Serialize(System.Console.Out, new P());
    }
}

Те, як це не вдалося, епічне, воно повністю підірвало мою думку:

Це лише один кадр із, здавалося б, нескінченної трипінг-серії дивних зображень.

Це повинно бути найдивовижнішою річчю. Хтось може пояснити? Мабуть, постійно зростаюча кількість пробілів, що використовуються для відступу, викликає появу білих блоків. Це відбувається в Win7 Enterprise x64 з .NET 4.5.

Я ще не бачив кінця цьому. Якщо замінити System.Console.Outз System.IO.Stream.Null, вона вмирає досить швидко.

Пояснення досить просте. Я складаю клас, який має єдине властивість, і він завжди повертає новий екземпляр його типу, що містить. Отже, це нескінченно глибока ієрархія об'єктів. Тепер нам потрібно щось, що намагається прочитати через це. Ось де я використовую XmlSerializer, що робить саме це. І, мабуть, для цього використовується рекурсія.

баш

_(){ _;};_

Хоча багато хто може визнати, що рекурсія очевидна , але це здається гарним. Немає?

Після виконання ви гарантовано побачите:

Segmentation fault (core dumped)

Хаскелл

(сумно, але правда, поки щонайменше ghc-7.6, хоча з O1або більше вона оптимізує проблему)

main = print $ sum [1 .. 100000000]

Невеличка розмова

Це створює новий метод на льоту, який
  створює новий метод на льоту, який
    створює новий метод на льоту, який
      ...
    ...
  ..
і потім передається йому.

Додаткова маленька спеція походить від того, що підкреслює стек-пам'ять І купує пам’ять одночасно, створюючи і довше, і довше ім'я методу, і величезну кількість в якості приймача, коли ми потрапляємо в діру ... (але рекурсія вражає нас першими ).

компілювати в цілий ряд:

downTheRabbitHole
    |name deeperName nextLevel|

    nextLevel := self * 2.
    name := thisContext selector.
    deeperName := (name , '_') asSymbol.
    Class withoutUpdatingChangesDo:[
        nextLevel class 
            compile:deeperName , (thisContext method source copyFrom:name size+1).
    ].
    Transcript show:self; showCR:' - and down the rabbit hole...'.
    "/ self halt. "/ enable for debugging
    nextLevel perform:deeperName.

потім стрибайте, оцінюючи "2 downTheRabbitHole"...
... через деякий час, ви опинитесь на налагоджувачі, показуючи RecursionException.

Тоді вам доведеться очистити весь безлад (і в SmallInteger, і в LargeInteger зараз є безліч кодів чудес):

{SmallInteger . LargeInteger } do:[:eachInfectedClass |
    (eachInfectedClass methodDictionary keys 
        select:[:nm| nm startsWith:'downTheRabbitHole_'])
            do:[:each| eachInfectedClass removeSelector:each]

або ще провести деякий час у браузері, видаляючи країну чудес Аліси.

Ось дещо з голови сліду:

2 - and down the rabbit hole...
4 - and down the rabbit hole...
8 - and down the rabbit hole...
16 - and down the rabbit hole...
[...]
576460752303423488 - and down the rabbit hole...
1152921504606846976 - and down the rabbit hole...
2305843009213693952 - and down the rabbit hole...
[...]
1267650600228229401496703205376 - and down the rabbit hole...
2535301200456458802993406410752 - and down the rabbit hole...
5070602400912917605986812821504 - and down the rabbit hole...
[...]
162259276829213363391578010288128 - and down the rabbit hole...
324518553658426726783156020576256 - and down the rabbit hole...
[...]
and so on...

PS: додано "withoutUpdatingChangesFile:", щоб потім не очищати стійкий файл журналу змін Smalltalk.

PPS: дякую за виклик: думати про щось нове та інноваційне було весело!

PPPS: Я хотів би зазначити, що деякі діалекти / версії Smalltalk копіюють переповнені кадри стека в купу - тому вони можуть наштовхуватися на ситуацію поза пам'яттю.

C #

Дійсно великий struct, без рекурсії, чистий C #, не небезпечний код.

public struct Wyern
{
    double a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z;
}
public struct Godzilla
{
    Wyern a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z;
}
public struct Cyclops
{
    Godzilla a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z;
}
public struct Titan
{
    Cyclops a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z;
}
class Program
{
    static void Main(string[] args)
    {
        // An unhandled exception of type 'System.StackOverflowException' occurred in ConsoleApplication1.exe
        var A=new Titan();
        // 26×26×26×26×8 = 3655808 bytes            
        Console.WriteLine("Size={0}", Marshal.SizeOf(A));
    }
}

як ударник розбиває вікна налагодження, заявляючи, що {Cannot evaluate expression because the current thread is in a stack overflow state.}

І загальна версія (спасибі за пропозицію NPSF3000)

public struct Wyern<T>
    where T: struct
{
    T a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z;        
}


class Program
{
    static void Main(string[] args)
    {
        // An unhandled exception of type 'System.StackOverflowException' occurred in ConsoleApplication1.exe
        var A=new Wyern<Wyern<Wyern<Wyern<int>>>>();
    }
}

C #

Несправна реалізація переопределеного ==оператора:

public class MyClass
{
    public int A { get; set; }

    public static bool operator ==(MyClass obj1, MyClass obj2)
    {
        if (obj1 == null)
        {
            return obj2 == null;
        }
        else
        {
            return obj1.Equals(obj2);
        }
    }

    public static bool operator !=(MyClass obj1, MyClass obj2)
    {
        return !(obj1 == obj2);
    }

    public override bool Equals(object obj)
    {
        MyClass other = obj as MyClass;
        if (other == null)
        {
            return false;
        }
        else
        {
            return A == other.A;
        }
    }
}

Можна сказати, що очевидно, що operator==дзвонить сам за допомогою ==оператора, але зазвичай так не думаєш ==, тому легко потрапити в цю пастку.

Початок відповіді за допомогою SnakeYAML

class A
{

    public static void main(String[] a)
    {
         new org.yaml.snakeyaml.Yaml().dump(new java.awt.Point());
    }
}

Редагувати

Читач дізнається, як це працює: P (порада: stackoverflow.com)

До речі: рекурсія динамічно проводиться SnakeYAML (ви помітите, якщо знаєте, як вона виявляє поля, які вона серіалізує, і перегляньте потім Point )

Редагувати: розповідаючи, як це працює:

SnakeYAML шукає пару getXXXі setXXXmthod з однаковою назвою для XXXі тип повернення геттера, що відповідає параметру setter; і дивно, що Pointклас має Point getLocation()і void setLocation(Point P)який повертається сам; SnakeYAML цього не помічає і повторюється на цій вигадці та StackOverflows. Виявив це, коли працював з ними всередині HashMapта запитував на сайті stackoverflow.com.

C #

неправильно реалізований майстер отримання власності

class C
{
   public int P { get { return P; } }
}

static void Main()
{
   int p = new C().P;
}