In the C# language specifications it explicitly states:
Delegates are similar to the concept
of function pointers found in some
other languages, but unlike function
pointers, delegates are
object-oriented and type-safe.
I understand delegates need to be a little more flexible than pointers because .NET moves memory around. That’s the only difference I’m aware of, but I am not sure how this would turn a delegate into in OO concept…?
What makes a function pointer not object oriented? Are pointers and function pointers equivalent?
Well, Wikipedia says that “object oriented” means using “features such as data abstraction, encapsulation, messaging, modularity, polymorphism, and inheritance.” Lacking a better definition, let’s go with that.
Function pointers don’t contain data, they don’t encapsulate implementation details, they neither send nor receive messages, they are not modular, they are not typically used in a polymorphic manner (though I suppose they could in theory be covariant and contravariant in their return and formal parameter types, as delegates now are in C# 4) and they do not participate in an inheritance hierarchy. They are not self-describing; you can’t ask a function pointer for its type because it doesn’t have one.
By contrast, delegates capture data — they hold on to the receiver. They support messaging in the sense that you can “message” a delegate by calling its ToString or GetType or Invoke or BeginInvoke methods to tell it to do something, and it “messages” you back with the result. Delegate types can be restricted to certain accessibility domains if you choose to do so. They are self-describing objects that have metadata and at runtime know their own type. They can be combined with other delegates. They can be used polymorphically as System.MulticastDelegate or System.Delegate, the types from which they inherit. And they can be used polymorphically in the sense that in C# 4 delegate types may be covariant and contravariant in their return and parameter types.