タイプxからタイプxに変換できませんか？

Question

（のMicrosoft Visual C++ 2005のExpressの）コードのこの作品コンパイル：

'=': cannot convert from 'A (__cdecl *)(void)' to 'A (__cdecl *)(void)'

私には意味がありません。

struct A 
{ 
    template< typename T > static A Foo(void) { return A(); } 
    struct S 
    { 
     template< typename T > static S GetInstance(void) 
     { 
      S Result; 
      Result.m_funcFoo = &A::Foo<T>; 
      return Result; 
     } 
     A (*m_funcFoo)(void); 
    }; 
}; 

int main(int argc, char* argv[]) 
{ 
    A::S::GetInstance<int>(); 
} 

私はC2440エラーが発生します。エラーテキストに指定された2つのタイプは明らかに同じです。 また、Fooの戻り値をintに変更すると、そのようなエラーはありません。

これはバグですか、何か間違っていますか？

編集： だから、これはバグだと誰かがこれを解決する方法を知っていますか？たぶんキャストを使用することによって？私はこのコードをコンパイルする必要があります...

Answer 1

これはコンパイラのバグです。 VC++は非常に奇妙なことをやっています。

例えば、これは非常に異なるエラーメッセージを生成：

struct A 
{ 
    template< typename T > static struct A Foo(void) { return A(); } 
    struct S 
    { 
     template< typename T > static S GetInstance(void) 
     { 
      S Result; 
      Result.m_funcFoo = &A::Foo<T>; 
      return Result; 
     } 
     A (*m_funcFoo)(void); 
    }; 
}; 

sourceFile.cpp(5) : error C3856: 'A::Foo': class is not a class template 

をそして、これは動作します：

struct X {}; 

struct A 
{ 
    template< typename T > static X Foo(void) { return X(); } 
    struct S 
    { 
     template< typename T > static S GetInstance(void) 
     { 
      S Result; 
      Result.m_funcFoo = &A::Foo<T>; 
      return Result; 
     } 
     X (*m_funcFoo)(void); 
    }; 
}; 

は明らかにそれが基底クラスを参照する必要があります名前A、によって混乱です。

typedefを追加すると助けになりませんでした。struct Aの順方向宣言も、::Aまたはstruct Aの修飾もしません。

奇妙なことに、VC++ 7はそれをうまくコンパイルします。

回避策：はこのようにそれを変更する：

struct A 
{ 
    template< typename T > static A Foo(void) { return A(); } 

    struct S; 
}; 

struct A::S 
{ 
    template< typename T > static S GetInstance(void) 
    { 
     S Result; 
     Result.m_funcFoo = &A::Foo<T>; 
     return Result; 
    } 
    A (*m_funcFoo)(void); 
}; 

は結果を反転させ、今VC++ 8は、[OK]をコンパイルし、VC++ 7は、同じエラーメッセージを生成します。

私は、完成後に不完全な型と同じ型の間に型の識別の問題があると思います。

すべてのテストは、私がダウンして問題を追跡しようとしましたが、今ではこの奇妙なエラーを生成するテンプレートの機能またはネストされた構造体を持っている必要もないように思えるDinkumware Multi-Compiler Test Tool

Answer 2

コンパイラのバグかどうかわかりませんが、少なくともmsdnに記載されています。私は手元に2005コンパイラを持っていませんが、VS2010は、このようにそれを書いた場合、あなたのコードをコンパイル
：

struct A 
{ 
    template< typename T > static A Foo(void) { return A(); } 
    struct S 
    { 
     A (*m_funcFoo)(void);  

     template< typename T > static S GetInstance(void); 
    }; 
}; 

template< typename T > 
A::S A::S::GetInstance(void) 
{ 
    S Result; 
    Result.m_funcFoo = &A::Foo<T>; 
    return Result; 
} 

Answer 3

はバグのように見える - それはコモ（http://www.comeaucomputing.com/tryitout）に罰金コンパイル。

Answer 4

を使用して実行します。

struct A 
{ 
    typedef A (* SimpleFuncPtr)(void); 
    static void Foo(void) 
    { 
     SimpleFuncPtr func1 = 0;  // Ok. 
     SimpleFuncPtr func2 = func1; // Ok. 
     A (* func3)(void) = func1; // C2440 on both VS2005 and VS2010 
    } 
}; 

上記のコードを見ると、実際にはコンパイラのバグ（私の意見では）であることが明らかです。