Search code examples
programming-languagesquine

How to write a self reproducing code (prints the source on exec)?


I have seen a lot of C/C++ based solutions to this problem where we have to write a program that upon execution prints its own source.

some solutions --

http://www.cprogramming.com/challenges/solutions/self_print.html

Quine Page solution in many languages

There are many more solutions on the net, each different from the other. I wonder how do we approach to such a problem, what goes inside the mind of the one who solves it. Lend me some insights into this problem... While solutions in interpreted languages like perl, php, ruby, etc might be easy... i would like to know how does one go about designing it in compiled languages...


Solution

  • Aside from cheating¹ there is no difference between compiled and interpreted languages.

    The generic approach to quines is quite easy. First, whatever the program looks like, at some point it has to print something:

    print ...
    

    However, what should it print? Itself. So it needs to print the "print" command:

    print "print ..."
    

    What should it print next? Well, in the mean time the program grew, so it needs to print the string starting with "print", too:

    print "print \"print ...\""
    

    Now the program grew again, so there's again more to print:

    print "print \"print \\\"...\\\"\""
    

    And so on. With every added code there's more code to print. This approach is getting nowhere, but it reveals an interesting pattern: The string "print \"" is repeated over and over again. It would be nice to put the repeating part into a variable:

    a = "print \""
    print a
    

    However, the program just changed, so we need to adjust a:

    a = "a = ...\nprint a"
    print a
    

    When we now try to fill in the "...", we run into the same problems as before. Ultimately, we want to write something like this:

    a = "a = " + (quoted contents of a) + "\nprint a"
    print a
    

    But that is not possible, because even if we had such a function quoted() for quoting, there's still the problem that we define a in terms of itself:

    a = "a = " + quoted(a) + "\nprint a"
    print a
    

    So the only thing we can do is putting a place holder into a:

    a = "a = @\nprint a"
    print a
    

    And that's the whole trick! Anything else is now clear. Simply replace the place holder with the quoted contents of a:

    a = "a = @\nprint a"
    print a.replace("@", quoted(a))
    

    Since we have changed the code, we need to adjust the string:

    a = "a = @\nprint a.replace(\"@\", quoted(a))"
    print a.replace("@", quoted(a))
    

    And that's it! All quines in all languages work that way (except the cheating ones).

    Well, you should ensure that you replace only the first occurence of the place holder. And if you use a second place holder, you can avoid needing to quote the string.

    But those are minor issues and easy to solve. If fact, the realization of quoted() and replace() are the only details in which the various quines really differ.


    ¹ by making the program read its source file