Content deleted Content added
Reason for rewrite |
|||
| (83 intermediate revisions by 43 users not shown) | |||
Line 1:
{{WikiProject banner shell|class=Start|
{{WikiProject Computing|importance=}}
}}
==[Untitled]==
This topic needs more general discussion of callbacks and their use, with simpler examples that explain the concept of a callback. I am rewriting most of this article to include much more information. -- ''Who said this and when? [[User:Mattsenate|Mattsenate]] ([[User talk:Mattsenate|talk]]) 01:07, 13 December 2012 (UTC)''
This article suggests that you can pass the name of a function to be used as a callback to another function for the languages JavaScript, Lua, Python, Perl and PHP. This is not true for at least Python and JavaScript; you must use the function objects themselves. There is a way to use the name of the function to denote the function itself in Python, but that is out of scope for this article. I will do some research for the other three languages before changing this. In the meantime, someone more knowledgeable, please change this!
A nice Python or Ruby callback example would be super, too. If no one gets to that before me, I will add that.
[[User:Deathweasel|Deathweasel]] ([[User talk:Deathweasel|talk]]) 22:01, 1 April 2013 (UTC)
== Suggestion ==
I think we should give simple example about this topic.coz this article is so COMPLICATED..THANKZ <span style="font-size: smaller;" class="autosigned">—Preceding [[Wikipedia:Signatures|unsigned]] comment added by [[Special:Contributions/202.60.56.249|202.60.56.249]] ([[User talk:202.60.56.249|talk]]) 00:24, 17 February 2009 (UTC)</span><!-- Template:UnsignedIP --> <!--Autosigned by SineBot-->
The definition at the top of the page is ambigious for me. Please could someone write something clearer. <!-- Template:Unsigned IP --><small class="autosigned">— Preceding [[Wikipedia:Signatures|unsigned]] comment added by [[Special:Contributions/79.69.3.69|79.69.3.69]] ([[User talk:79.69.3.69#top|talk]]) 12:03, 29 July 2022 (UTC)</small> <!--Autosigned by SineBot-->
I agree that this article needs some rewriting and simpler examples, and I make some suggestions. The
long code on the page doesn't help, especially if C is not a language you are familiar with.
As part of a program A, suppose that a procedure or function B is called from A. Normally B would execute completely
(perhaps including calls to other procedures/functions C, D ...) before returning control (and results) to A. With
callback, A calls B, but passes to B information that allows B to call A2, a procedure or function which is part of
the program A (i.e. is included in the code of A). The function of A2 may be to accept some partial results from B
which can be passed back to A before execution of B is complete, or to carry out some action in A's environment that
B is permitted to control. The implementation of callback is possible by passing procedures/functions as parameters
but it is not the only mechanism.
Suggested example: data compression. Main program A wants to compress some data and output the compressed data in
some way, such as to a file. Within A, a procedure A2 exists to accept some data and output it to a file. A calls
B to pass data for compression and B compresses it, passing compressed data back by callback to A2, as and when it
is convenient for B. Notice that this simplifies B, because it does not have to store all the compressed data and
pass it back to A, and it also reduces the memory requirement within B, because compressed data that it no longer
needs can be passed by callback to A2. However, the final return from B to A does not occur until B itself has
determined that its task is finished. When this final return occurs, A knows that all the compressed data has
already been output, and only requires to finalise the file output, perhaps by closing the file.
Implementation addition: in Ada, callback can be implemented by the use of generic procedure or function parameters
as well as by 'pointers' (called access values in Ada) to procedures or functions passed as parameters.
[[User:Sangwine|Sangwine]] 20:39, 6 September 2006 (UTC)
== Example ==
Line 8 ⟶ 48:
Why 9 is before 10, in hex?
* Fixed: temporay loss of sanity. [[User:Dysprosia|Dysprosia]] 12:50, 15 Dec 2003 (UTC)
== Need to keep example code very simple ==
Ldo, I'm afraid that your changes (on 17 Sep 2004) have really gone farther than needed. This page is now overly complicated and reads more of a disertation on sorting algorithms rather than a simple encyclopedic article on the callback function. I think keeping any example to the minimal possible to show the concept of callback is best, and leave the lengthy programming textbook and best practices explanation elsewhere. Also some of your text is too gramatically casual, especially the paragraphs full of questions. - [[User:Dmeranda|Dmeranda]] 06:54, 15 Oct 2004 (UTC)
== The "language extension and adaptation" closure method ==
The article currently gives the following as one way to do callbacks:
:Some systems have built-in programming languages to support extension and adaptation. These languages provide callbacks without the need for separate software development tools.
Can someone turn this into a more concrete claim? What are people thinking of here? LISP macros, perhaps? --[[User:Ryguasu|Ryguasu]] 29 June 2005 19:00 (UTC)
== This article is difficult to understand ==
I'm a software engineer (a real one (yeah, I know this is a very inflammatory way to start ;))) and I have difficulties understanding this article. For example, in the ''Motivation'' section it is mentioned that the code of the iterator must be duplicated everywhere the list must be iterated over. Why? Are we talking about the machine code (even then, I wouldn't understand why it would need to be inlined) or about the high-level language code? E.g. in Java, when I have to iterate over a Collection, I don't see myself duplicating any code. --[[User:132.210.56.50|132.210.56.50]] 15:21, 28 February 2006 (UTC)
:'''''Me again'''''. After reading the code examples that come right after, I got it.. we were talking about the high-level language repetition of the "get the iterator/loop until itr.next() returns null" stuff. Maybe it should be made explicit in the text? I'm too slow? ;) --[[User:132.210.56.50|132.210.56.50]] 15:30, 28 February 2006 (UTC)
Now that I've gotten some distance from it, yeah, it is pretty difficult to understand. It assumes familiarity with many concepts and terms, and the example is somewhat motivated. I've made a note to revise it. [[User:Gazpacho|Gazpacho]] 19:48, 30 March 2006 (UTC)
I think what he means is that the entire code block within the loop must be run again each time the index is increased.
== Callbacks > Polymorphism?? ==
I don't agree with this passage:
:A callback can be used as a simpler alternative to polymorphism and generic programming, in that the exact behavior of a function can be dynamically determined by passing different (yet compatible) function pointers or handles to the lower-level function.
That's at least misleading. It sounds like it's advocating using function pointers rather than polymorphism because "the exact behavior of a function can be dynamically determined by passing different ... function pointers". Polymorphism and generic programming can do the same thing (at least as well, IMHO). You might be able to argue that function pointers are simpler, buy anyone who has tried to use them in C++ knows that (1) the syntax is horrific and (2) using member function pointers for callbacks is a nightmare. By the way, it may be worth mentioning boost::function somewhere in the article, which is a superb library that uses generic programming to make function pointer-like objects which can be used very effectively for callbacks.
::I believe the point was that function pointers are more general, which they are. [[User:Rp|Rp]] ([[User talk:Rp|talk]]) 20:09, 1 March 2010 (UTC)
== User exit? ==
A friend just did a wikipedia search on "user exit" and was brought to this page. They then checked with me as it seemed wrong. I don't agree that a Callback is the same thing as a user exit. At a generic high level a user exit is simply a break in current execution where some 3rd party code or another application is run. I believe the term comes from the need/ability for a user to exit from an application run a command in the shell for example and then return. More commonly now user exits are automatic in that they happen without human intervention where someone wants to execute a script or some code in the middle of something else. A callback is something else entirely (as described correctly in the article)... thoughts? --[[User:Bleveret|Bleveret]] 11:29, 13 March 2007 (UTC)
:I added the term '''user exit''' to this article primarily because there was no suitable article for the term. A [http://en.wikipedia.org/wiki/Special:Search?search=usre+exit&fulltext=Search Wiki search] yielded little more than a reference in ''[[Exit (command)]]''.
:I first heard the term being used by IBM mainframe programmers in the 70s, whereby a user program provided its own versions of predefined subroutines that took the place of the default routines (usually stubs that did nothing but a ''return'') provided by the package/library vendor. Typical usage was in a sort/merge package, which provided user exits for record comparison routines and the like. So by this usage, "user exit" does not quite agree with your definition above.
:I think user exits ''differ'' from callbacks in that they are established by the user program not by being passed to a registration function, but by being linked directly into the executable image. Consequently, they must have the names of the routines they are replacing, instead of having any name the user desires. On the other hand, I think they ''resemble'' callbacks enough to be relevant to this article.
:Perhaps "user exit" should be a separate section in this article to explain how it compares to a "callback". Or perhaps it should have its own article? In any case, the term "user exit" should point to something informative in Wiki. — [[User:Loadmaster|Loadmaster]] 15:01, 13 March 2007 (UTC)
::I think we are in agreement that although similar in some cases the two terms are not synonymous. I have no problem with the redirect but i think the phrase 'a callback (also known as a user exit)' is incorrect. Would you be happy if this phrase was removed and reference was made to the term "user exit" elsewhere in the article? --[[User:Bleveret|Bleveret]] 15:45, 13 March 2007 (UTC)
:::Yeah, that would be fine. Like I said, we could simply add a subsection to the existing article. This would allow us to describe the distinction between the two, and perhaps later the subsection could be expanded into its own article. — [[User:Loadmaster|Loadmaster]] 20:20, 13 March 2007 (UTC)
I created a short (stub) article for ''[[user exit]]''. I also changed the into para of this article, removing the "also called a user exit" phrase, and adding a link to the new article in the "See also" section. — [[User:Loadmaster|Loadmaster]] 18:54, 14 March 2007 (UTC)
== Augh! ==
The second paragraph of this current article is absolutely horrible. 99.999999% of the world doesn't exist in the original author's stream of consciousness. Can someone please translate it from spaz into English? <span style="font-size: smaller;" class="autosigned">—Preceding [[Wikipedia:Signatures|unsigned]] comment added by [[Special:Contributions/75.147.10.25|75.147.10.25]] ([[User talk:75.147.10.25|talk]]) 15:43, 31 March 2009 (UTC)</span><!-- Template:UnsignedIP --> <!--Autosigned by SineBot-->
:I agree. I was able to benefit from the example, but it isn't quite encyclopedic. It's kind of unprofessional. I would have loved it if it were in a blog post, but this needs to be as comprehensible as possible, which means simple and dry. If I think of a good way to rephrase the example, perhaps I'll make an edit. [[Special:Contributions/68.82.50.201|68.82.50.201]] ([[User talk:68.82.50.201|talk]]) 17:39, 5 April 2009 (UTC)
:i guess i disagree. i checked out this article after reading some gtk+ documentation and i think it makes sense from my perspective. i loved the quirkiness and am glad to see that people can still have a sense of humour when they write something that is helpful. <span style="font-size: smaller;" class="autosigned">—Preceding [[Wikipedia:Signatures|unsigned]] comment added by [[Special:Contributions/24.230.180.254|24.230.180.254]] ([[User talk:24.230.180.254|talk]]) 03:26, 7 April 2009 (UTC)</span><!-- Template:UnsignedIP --> <!--Autosigned by SineBot-->
:I rewrote the article to actually talk about callbacks and not handling [[2012 doomsday prediction|2012]]; also, we cannot have a sense of humor - such things inevitably obscure the content. [[User:BioTube|BioTube]] ([[User talk:BioTube|talk]]) 23:34, 3 June 2009 (UTC)
:Too many platform specific references, ie Linux, Unix. Needs to be abstracted away from punks/hackers prosaic tendencies and their favorite languages and towards compsci academics. <span style="font-size: smaller;" class="autosigned">—Preceding [[Wikipedia:Signatures|unsigned]] comment added by [[Special:Contributions/71.15.154.180|71.15.154.180]] ([[User talk:71.15.154.180|talk]]) 04:37, 28 July 2010 (UTC)</span><!-- Template:UnsignedIP --> <!--Autosigned by SineBot-->
:LOL [[User:Stevebroshar|Stevebroshar]] ([[User talk:Stevebroshar|talk]]) 13:58, 11 April 2024 (UTC)
== <nowiki></nowiki> ==
sam <span style="font-size: smaller;" class="autosigned">—Preceding [[Wikipedia:Signatures|unsigned]] comment added by [[Special:Contributions/196.217.165.28|196.217.165.28]] ([[User talk:196.217.165.28|talk]]) 18:50, 9 July 2009 (UTC)</span><!-- Template:UnsignedIP --> <!--Autosigned by SineBot-->
'''The C signal example'''
is this a good example of where a callback is needed? I've seen in books where a simple function call to a signal handler is used. Also this compiles with a warning:sigtest.c:11: warning: passing argument 2 of ‘signal’ from incompatible pointer type.
I don't know C that well but I'm actually trying to get sorted in my head what really differentiates a callback function from a regular call to a function; I'm not sure the signal example does that.[[Special:Contributions/98.96.221.102|98.96.221.102]] ([[User talk:98.96.221.102|talk]]) 00:28, 15 August 2009 (UTC)
== Example code now TOO simple ==
Example code now doesn't show a function with a callback in it - it presumes the readeer already has some other window open somewhere showing them the prototype for signal(), which is, I feel, not a safe assumption.
I feel that a comprehensive example needs at least three functions: main(), the function that takes the callback as a parameter, and the callback function itself.
It should not assume anything system dependant, nor more than the most basic of knowledge of the language, and even that should be guessable from knowledge of other languages (printf, rand).
So, I've put up a suggestion, but I'm sure it can be improved on. [[Special:Contributions/24.28.66.63|24.28.66.63]] ([[User talk:24.28.66.63|talk]]) 18:49, 17 December 2010 (UTC)
== Example doesn't compile. ==
So you know. --[[User:Fs|<b><span style="color:#336666;">f</span><span style="color:#339999;">s</span></b>]] 07:16, 19 December 2010 (UTC)
: Compiles just fine now (for me, at least). I take it this talk thread could be deleted now. --[[User:Rs2|rs2]] ([[User talk:Rs2|talk]]) 21:47, 13 July 2011 (UTC)
== Please disambiguate "predicates" ==
Having come to this site to (re)learn about callbacks, I followed the "predicates" link from the following quote and none of the provided definitions really make sense to me here. I guess [[Branch predication]] seems like a fairly close fit, but I'm not feeling it. Can someone who understands what was intended provide the disambiguated link? --[[User:Rs2|rs2]] ([[User talk:Rs2|talk]]) 21:33, 13 July 2011 (UTC)
: Callbacks may also be used to control whether a function acts or not: [[Xlib]] allows custom [[predicates]] to be specified to determine whether a program wishes to handle an event.
== Remove rand calls in Example Code? ==
Especially for (very) beginner programmers, I feel that the use of rand() calls in the example functions isn't particularly necessary to illustrate how callbacks work, and might serve to unnecessarily confuse, say, a primary-school CS student comparing their program output to the example output listed. I think rand() calls should be deleted from the functions defined in the example, though it could be left in the first line of main() to illustrate that callbacks can be used with already-present functions as well. In the defined functions, simple integer returns should do. [[User:Zbbentley|Zbbentley]] ([[User talk:Zbbentley|talk]]) 21:53, 2 August 2011 (UTC)
:I think anyone interested in callbacks will know what rand() does. --[[User:Byteality|Byteality]] ([[User talk:Byteality|talk]]) 16:33, 6 January 2012 (UTC)
::I completely agree with Zbbentley. The less parasitic problems there is to read a given article, the better. [[User:Ptyxs|Ptyxs]] ([[User talk:Ptyxs|talk]]) 17:10, 3 August 2012 (UTC)
:Yeah. The C example is way too complicated. I'm going to simplify it. ... The original comment is from 2011 and no one has simplified it in the past 13 years! [[User:Stevebroshar|Stevebroshar]] ([[User talk:Stevebroshar|talk]]) 13:56, 11 April 2024 (UTC)
== function pointers page ==
Needs a link to [[function pointers]] <span style="font-size: smaller;" class="autosigned">— Preceding [[Wikipedia:Signatures|unsigned]] comment added by [[Special:Contributions/203.41.222.1|203.41.222.1]] ([[User talk:203.41.222.1|talk]]) 09:26, 30 May 2012 (UTC)</span><!-- Template:Unsigned IP --> <!--Autosigned by SineBot-->
:Sounds good. Add it. [[User:Stevebroshar|Stevebroshar]] ([[User talk:Stevebroshar|talk]]) 13:53, 11 April 2024 (UTC)
== C++11 ==
A brief discussion of the new std::function<> class, enabled by the recent C++11 addenda to C++ should be in order, don't you think so ?
See for instance : [http://en.cppreference.com/w/cpp/utility/functional/function]
[[User:Ptyxs|Ptyxs]] ([[User talk:Ptyxs|talk]]) 17:07, 3 August 2012 (UTC)
:To note: std::function objects make it possible to call : 1) a non member function 2) a static member function 3) a functional object 4) a lambda function 5) a non static member function (via std::bind). That is they can refer to any callable entity with compatible signature and are particularly useful to callback.[[User:Ptyxs|Ptyxs]] ([[User talk:Ptyxs|talk]]) 08:07, 4 August 2012 (UTC)
:I don't think the page should (or feasibly could) cover every syntax that supports callback. But, if you must, add an example for C++. [[User:Stevebroshar|Stevebroshar]] ([[User talk:Stevebroshar|talk]]) 13:53, 11 April 2024 (UTC)
== Should mention / link to the [[futures and promises]] article ==
This article goes into deferred callbacks, but it should go further and mention the article on that very concept, '''[[futures and promises]]'''. — [[User:Hippietrail|Hippietrail]] ([[User talk:Hippietrail|talk]]) 16:32, 8 August 2012 (UTC)
:Well, it's not going to add itself :) IOW A good way to get something done is to do it yourself. [[User:Stevebroshar|Stevebroshar]] ([[User talk:Stevebroshar|talk]]) 13:50, 11 April 2024 (UTC)
== Added JavaScript Example, Re-ordered==
Hey all, not an expert, but learning a lot and wanted to improve this article as I did so. I provided a basic JavaScript example that dovetails into the more complicated (but awesome!) C examples below it. I also re-ordered so that the explanation of differences between synchronous and asynchronous callbacks is made explicit early on. Next comes the implementation list, and finally some concrete examples under "Use". Happy to see improvements on this, leave a note if there are other low-barrier-to-entry examples we should tack on? -- [[User:Mattsenate|Mattsenate]] ([[User talk:Mattsenate|talk]]) 01:07, 13 December 2012 (UTC)
:I just modified/simplified the JS example. It was good, but still more complicated than I think it could/should be. ... FWIW, I find the C example (which may or may not be what it was in 2012) to be poor (far from awesome). I'm planning to work on it, but don't know where to start. [[User:Stevebroshar|Stevebroshar]] ([[User talk:Stevebroshar|talk]]) 13:49, 11 April 2024 (UTC)
== Do not over-complicate examples ==
Please avoid using irrelevant concepts in the examples. For example, the python example on this page was,
<syntaxhighlight lang="pycon">
>>> def my_square(val):
... """ the callback """
... return val ** 2
...
>>> def caller(val, func):
... return func(val)
...
>>> for i in range(5):
... j = caller(i, my_square)
... print("{0} ** 2 = {1}".format(i, j))
...
0 ** 2 = 0
1 ** 2 = 1
2 ** 2 = 4
3 ** 2 = 9
4 ** 2 = 16
</syntaxhighlight>
Why should we assume that the reader knows
* for loops
* the method range
* string formatting (especially in a style quite unique to python)
I have since changed the above to:
<syntaxhighlight lang="pycon">
>>> def get_square(val):
... """ the callback """
... return val ** 2
...
>>> def caller(func, val):
... return func(val)
...
>>> caller(get_square, 5)
25
</syntaxhighlight>
'''Caveat''': The example is complex because it demonstrates how callbacks can be implemented to achieve some complex behaviour; however, the program written to demonstrate this still should not include ''unnecessary'' concepts and be as simplistic as possible.
The Lua example seems to suffer from this. It seems like it was copy-pasted from some project's source code. Besides concerns about the license of the project, I believe that the program should be stripped down to something as simple as possible, while still demonstrating the behaviour it aims to demonstrate. Can someone proficient in Lua take a look?
[[User:NingOTI|NingOTI]] ([[User talk:NingOTI|talk]]) 15:29, 9 January 2018 (UTC)
:Amen (to the desire for simplicity). Thanks for KISSing it. [[User:Stevebroshar|Stevebroshar]] ([[User talk:Stevebroshar|talk]]) 13:44, 11 April 2024 (UTC)
== Why not mention delegates in C# ? ==
Dear all,
I don't understand why in the C# section for [[Callback (computer programming)]] there is not a mention to delegates, that are a usual way of creating callbacks in C#.
All the best,<br/>
--[[User:Hgfernan|Hgfernan]] ([[User talk:Hgfernan|talk]]) 11:59, 2 December 2019 (UTC)
:I agree, it is part of the expected and well-typed way of defining callbacks in C#. [[User:Rp|Rp]] ([[User talk:Rp|talk]]) 13:39, 2 December 2019 (UTC)
:You are not ''directly'' asking a question or proposing something. I suggest a more direct approach; otherwise your comment will not result in action. IMO, the best way to get action on WP (any wiki) is to roll up your sleaves and edit. [[User:Stevebroshar|Stevebroshar]] ([[User talk:Stevebroshar|talk]]) 13:43, 11 April 2024 (UTC)
== Sorry, I couldn't resist and edited page ==
You don't understand what it is because the term itself is misleading. (Evgeniy)--[[Special:Contributions/85.140.3.98|85.140.3.98]] ([[User talk:85.140.3.98|talk]]) 12:01, 14 September 2024 (UTC)
"Callback" - is noob term in [[computer programming]] into [[Abstraction (computer science)|abstraction layer]], implying supposedly a [[Function (computer programming)|function]] that sended as a parameter to another function and may be called by it. Although in fact it is not the function itself that is transferred, but only its address of ___location in memory (pointer), as a rule, this is 32-bit or 64-bit address. Calling a function means going to this address, as a rule, using the assembler command call and returning after performing all operations using the assembler command ret. Thus, this term misleads programmers, since the actual transfer of the code itself does not occur, but the transfer of the address occurs, and the call itself is not reverse, but direct.
:I find what you're writing difficult to follow, and I think it is too implementation specific, but I do agree that the opening sentence is confusing and needs to be changed.
:It says: ''a callback is a function that is stored as data (a reference) and designed to be called by another function – often back to the original abstraction layer.'' I have two objections to this:
:First, "a function that is stored as data (a reference)" is nonsense. Either you pass a function itself, or you pass a reference to the function; both are possible, but they are not the same thing.
:Second, what is this "original abstraction layer" doing there? Callbacks are simply a mechanism; they may or may not be used to create an abstraction layer of some kind, but no such layer needs to exist for a callback to be created.
:This is much like starting an article on ''Apple'' with the sentence: ''an apple is a fruit that is stored as organic matter (a word) and designed to be eaten by man - notably, in the creation of original sin''. No, sir or madam, either you pass an apple or you pass the word "apple", but they are not the same thing; and while passing an apple was part of the creation of original sin, apples exist completely separately from it and there is no need to mention it in the first sentence on apples. [[User:Rp|Rp]] ([[User talk:Rp|talk]]) 20:49, 16 September 2024 (UTC)
| |||