Bug 4288 – Error on passing delegate to C linkage function.
Status
RESOLVED
Resolution
FIXED
Severity
normal
Priority
P2
Component
dmd
Product
D
Version
D1 (retired)
Platform
x86
OS
All
Creation time
2010-06-06T09:24:00Z
Last change time
2014-02-15T02:19:47Z
Assigned to
nobody
Creator
adam.chrapkowski
Comments
Comment #0 by adam.chrapkowski — 2010-06-06T09:24:38Z
Error occurs, when you try to use a delegate as a parameter to a C linked function.
ex:
extern (C)
void c_func(void delegate() dg);
void d_func(void delegate() dg) { c_func(dg); }
Error: function test.c_func (void delegate()) does not match parameter types (void delegate())
Error: cannot implicitly convert expression (dg) of type void delegate() to void delegate()
Comment #1 by robert — 2010-06-06T09:59:33Z
I don't think this bug is valid, something does need to be done about it though. The following works:
----
alias extern(C) void delegate() cdg;
extern (C)
void c_func(void delegate() dg);
void d_func(cdg dg) { c_func(dg); }
----
So the problem is the linkage of the delegates doesn't match, there's no way to get around it without an alias though, you can't have extern(C) in the function parameters. Either the error needs improving, or there needs to be a way to specify the linkage in the function args.
Comment #2 by adam.chrapkowski — 2010-06-06T11:11:41Z
So two questions:
1. Why the following is allowed:
extern (C) void c_func(void delegate());
?
2. What does mean extern (C) void delegate() ?
Delegate is just a 'data structure which consists of two pointers' and anything more. Something like C delegate does not exists. Linkage is related to functions not data structures delegate is a data structure.
So if D data structures are disallowed in C functions why the following is allowed?
extern (C) void c_func(string, Foo);
class Foo{...}
void d_func() {
scope foo = new Foo();
string str = "Hello World!";
c_func(str, foo);
}
string is a data structure as delegate, foo is a pointer to a data structure.