2012-03-27 5 views
1

Ich verstehe nicht, warum dieser Code nicht kompiliert in main() wegen "mehrdeutige Klassenvorlage Instanziierung" bei der Verwendung &T::b und &T::c. Ist es ein Bug von g ++ 4.6.1?Mehrdeutigkeit partielle Vorlage Spezialisierung für Member-und Member-Funktionen

#include <iostream> 
#include <string> 
using namespace std; 

struct T{ 
    int a; 
    void b(){} 
    int c() 
    { 
     return 1; 
    } 
}; 

template<typename CT, CT> struct member_helper; 

template<typename FT, FT(T::*mem)> 
struct member_helper<FT(T::*), mem> { 
    static string worker() 
    { 
     return "for members"; 
    } 
}; 

template<typename Return, typename... Args, Return(T::*fun)(Args...)> 
struct member_helper<Return(T::*)(Args...), fun> { 
    static string worker() 
    { 
     return "for member functions returning non void"; 
    } 
}; 

template<typename... Args, void(T::*fun)(Args...)> 
struct member_helper<void(T::*)(Args...), fun> { 
    static string worker() 
    { 
     return "for member functions returning void"; 
    } 
}; 

int main() { 
    cout << member_helper<decltype(&T::a), &T::a>::worker(); //prints for members, ok 
    cout << member_helper<decltype(&T::b), &T::b>::worker(); //cannot distinguish between all of the three 
    cout << member_helper<decltype(&T::c), &T::c>::worker(); //cannot distinguish between member function returning non void and member 
} 

EDIT:

hier ist die vollständige Fehlermeldung:

g++ -O0 -g3 -Wall -c -fmessage-length=0 -std=c++0x -MMD -MP -MF"main.d" -MT"main.d" -o "main.o" "../main.cpp" 
../main.cpp: In function ‘int main()’: 
../main.cpp:27:45: error: ambiguous class template instantiation for ‘struct member_helper’ 
../main.cpp:13:43: error: candidates are: struct member_helper 
../main.cpp:17:78: error: struct member_helper 
../main.cpp:21:59: error: struct member_helper 
../main.cpp:27:8: error: incomplete type ‘member_helper’ used in nested name specifier 
../main.cpp:28:45: error: ambiguous class template instantiation for ‘struct member_helper’ 
../main.cpp:13:43: error: candidates are: struct member_helper 
../main.cpp:17:78: error: struct member_helper 
../main.cpp:28:8: error: incomplete type ‘member_helper’ used in nested name specifier make: * [main.o] Errore 1 

und dies ist die copmiler Version:

Mit Einbau-Spezifikationen. COLLECT_GCC =/usr/bin/g ++ - 4.6.real COLLECT_LTO_WRAPPER =/usr/lib/gcc/x86_64-linux-gnu/4.6.1/lto-wrapper Ziel: x86_64-linux-gnu Konfiguriert mit: ../src/configure -v --with-pkgversion = 'Ubuntu/Linaro 4.6.1-9ubuntu3' --with-bugurl = datei: ///usr/share/doc/gcc-4.6/README.Bugs - Sprachen verfügbar = c, C++, fortran, objc, obj-C++, gehen --prefix =/usr --programm-suffix = -4.6 --enable-shared --enable-linker-build-id - mit-system-zlib - -libexecdir =/usr/lib --ohne-included-gettext --enable-threads = posix - mit-gxx-include-dir =/usr/include/C++/4.6 --libdir =/usr/lib --fähig -nls --with-sysroot =/--enable-clocale = gnu --enable-libstdcxx-debug --openable-libstdcxx-time = yes --enable-plugin --openable-objc-gc --disable-werror - -with-arch-32 = i686 --mit-tune = generisch --enable-checking = release --build = x86_64-linux-gnu --host = x86_64-linux-gnu --target = x86_64-linux-gnu Thread Modell: Posix gcc Version 4.6.1 (Ubuntu/Linaro 4.6.1-9u buntu3)

+1

Geben Sie die vollständige Fehlermeldung ein. – Nawaz

+1

(@Nawaz: T ist ein echter Typ, die Struktur gerade oben - wirklich verwirrend obwohl) – Mat

+0

@Mat: Lustig. Er arbeitet mit Vorlagen und hat "T" als Klasse definiert, was zu Verwirrung führt, obwohl Englisch Alphabet 26 Buchstaben hat. – Nawaz

Antwort

1

Dies ist ein g ++ bug - es wurde in 4.8.x für diejenigen behoben, die in der Zukunft über diese laufen.