Czy możliwe jest wpisanie w szablonie typu wskaźnik-do-zewnętrznego typu "C"?

Question

Chcę dodać publiczny typedef do szablonu dla wskaźnika do funkcji biorących jeden argument, który używa powiązania języka "C".

Próbowałem:

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

oraz:

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

oraz:

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

bez powodzenia.

Czy to, co próbuję osiągnąć, jest możliwe?

Answer 1

C++ 03, §7.5p4:

A linkage-specification shall occur only in namespace scope. … A C language linkage is ignored for the names of class members and the member function type of class member functions.

Niestety, po prostu nie może tego zrobić w bieżącym C++. Ten tekst pozostaje niezmieniony w najnowszym szkicu C++ 0x, ale "szablon typedefs" może być w stanie go wykonać.

Answer 2

Rozważ typedef z obiektu boost::function lub obiektów funkcji STL ... nie można również zdefiniować szablonu wewnątrz zewnętrznego bloku "C" z oczywistych powodów, jeśli się nad tym zastanowić.

Answer 3

Wszystko wydaje się dobrze dla mnie, jeśli po prostu pomijam extern "C" od Twojego typedef. Oznacza to, że poniższe linki, kompiluje i działa bez ostrzeżenia, błędy lub problemy:

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); 
} 

Dla C++ guru: Nie znam dokładniejszych punktów tego, co odróżnia C-link od C++. Czy są jakieś ukryte problemy, które nie pojawią się w prostym przykładzie takim jak ten?