是否可以在模板中 typedef 指向外部“C”函数类型的指针？

Question

我想向模板添加一个公共 typedef ，作为指向使用“C”语言链接的函数采用一个参数的指针。

我尝试过：

extern "C" {
    template <typename return_t_, typename arg1_t_>
    struct test
    {
        typedef return_t_ (*C_fun1_t)(arg1_t_);
    };
}

和：

template <typename return_t_, typename arg1_t_>
struct test
{
    extern "C" {
        typedef return_t_ (*C_fun1_t)(arg1_t_);
    }
};

和：

template <typename return_t_, typename arg1_t_>
struct test
{
    extern "C" typedef return_t_ (*C_fun1_t)(arg1_t_);
};

没有成功。

我想要完成的事情可能吗？

Answer 1

C++03，§7.5p4：

链接规范只能出现在命名空间范围内。 …对于类成员的名称和类成员函数的成员函数类型，AC 语言链接被忽略。

不幸的是，在当前的 C++ 中您根本无法做到这一点。该文本在最新的 C++0x 草案中没有变化，但“模板 typedefs”也许能够完成它。

Answer 2

考虑 boost::function 或 STL 函数对象的 typedef ...而且由于一些非常明显的原因，您也无法在 extern“C”块内定义模板如果你想一想。

Answer 3

如果我从你的 typedef 中省略 extern "C" ，一切似乎对我来说都工作得很好。也就是说，以下代码编译、链接和运行时不会出现警告、错误或问题：

foo.c:

#include <stdio.h>
int foo(int x) {
    return printf("%x\n", x);
}

test.cpp:

extern "C" int foo(int);

template <typename return_t_, typename arg1_t_>
struct test
{
    typedef return_t_ (*C_fun1_t)(arg1_t_);
    C_fun1_t myFn;
};

int main() {
    test<int, int> t;
    t.myFn = foo;
    return t.myFn(5);
}

对于 C++ 专家：我不知道 C 链接与 C++ 之间的区别。是否存在在这样的简单示例中不会出现的隐藏问题？