d自动取消`extern(C)`

原文

//% cat test.d
extern(C):

unittest
{
    extern(C) static void foo(){};
    pragma(msg, typeof(foo));
    pragma(msg, typeof(&foo));
}//取消了extern(C)
//命令.
% dmd test.d
void()
void function()
//这里

如果意思是'extern(C)',在编译指示输出中丢失了,那么我就不能重现.我得到:

pure nothrow @nogc @safe extern (C) void()
extern (C) void function() pure nothrow @nogc @safe

它未修复,你看:

$ cat test.d 
unittest
{
    extern(C) static void foo(){}
    pragma(msg, typeof(foo));
    pragma(msg, typeof(&foo));
}

extern(C):
unittest
{
    static void bar(){}
    pragma(msg, typeof(bar));
    pragma(msg, typeof(&bar));
}

unittest
{
    extern(C) static void baz(){}//两级
    pragma(msg, typeof(baz));
    pragma(msg, typeof(&baz));
}

$ dmd -unittest -o- test.d
pure nothrow @nogc @safe extern (C) void()
extern (C) void function() pure nothrow @nogc @safe

pure nothrow @nogc @safe void()
void function() pure nothrow @nogc @safe

pure nothrow @nogc @safe void()
void function() pure nothrow @nogc @safe

为什么认为extern(C)应该深入应用至嵌套函数呢?据我所知,它只应用至第一层声明.对推导嵌套函数前面的属性也是如此.
还有,为什么要让它有外部(C)链接,可从unittest/function内调用它(即使可从C代码调用该函数,它也是D代码),即,它不能从C代码调用(除非逃逸,但假定很少).无论哪种,该漏洞是无效的.有令人信服的用例吗?

为什么需要extern(C)静态局部函数呢?简单用例就是按回调把它传递给C函数.
但这不是重点,报告重点是typeof(foo)是extern(C),而typeof(baz)不是.

为什么要让静态/非静态嵌套函数继承上层链接属性呢?
我认为一般不会(按回调)逃逸嵌套函数,但是如果这样,可手动添加extern(C).

但extern(C)就是手动添加的.这是缺陷:

extern(C):
unittest
{
    extern(C) void baz() {}
    pragma(msg, "typeof(baz): ", typeof(baz));
}

'baz'没有'extern(C)',但把单元测试改为函数,'baz'就有'extern(C)'了.