テンプレート内にextern- "C" -function型をtypedefすることは可能ですか？

Question

「C」言語リンケージを使用する関数を取る1つの引数へのポインタのテンプレートに、公開typedefを追加します。

私が試した：

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：残念ながら

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.

、あなたは、単に現在のC++でこれを行うことはできません。このテキストは最新のC++ 0xドラフトでは変更されていませんが、「テンプレートのtypedef」がそれを達成できるかもしれません。

Answer 2

boost::functionのtypedefまたはSTL関数オブジェクトを考えてみてください。あなたはそれを考えるとかなり明白な理由から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++を区別する細かい点を知らない。このような簡単な例の中に現れない隠された問題はありますか？